熱帯サイクルにおけるPorteousの公式の応用に関する熱帯幾何学的枠組み

本稿では、熱帯ベクトル束と特性類の理論を用いて、熱帯サイクルにおけるPorteousの公式の類似を証明し、退化軌跡の基本類に対する行列式による表示を与えている。