つり合い条件
内容
を2変数の熱帯多項式とし、 をその熱帯曲線 の頂点とする。 に接続する の辺が、原始整数方向ベクトル (いずれも から離れる向き)と正の整数の重み を持つとする。このとき が成り立つ。
なぜ正しいのか?
これは保存則であり、構造的には電気回路の節点におけるキルヒホッフの電流則と同一である: の近くでは、多項式 は で等しくなるアフィン片の最小値であり、各辺はそのうちちょうど2つが一致し続ける場所である。 の周りを一周歩くと、辺を横切るたびに の傾きは に比例する量だけ跳ぶ。 は一意に定まる連続関数であるから、これらの跳びは一周した後には打ち消し合わなければならず、それがまさにつり合いの方程式である。単なる多面体複体ではなく、この局所的な打ち消し合いこそが、熱帯曲線を真に代数的なもの——すなわち、任意の半直線と線分の寄せ集めではなく、正真正銘の熱帯多項式の角の軌跡——たらしめているのである。
証明の概略
は、各点 を高さ に持ち上げてから下側凸包を平面へ射影して得られる、そのニュートン多角形 の正則細分 と双対であることを思い出そう。 の各辺 は のある辺 と双対である: は と直交し( 回転)、その重み は の格子長に等しい。 の各頂点 は のある 次元胞(多角形) と双対であり、 に接続する の辺は、対応する巡回順序で、ちょうど の境界辺に対応する。閉多角形 の境界を一周たどると、その辺ベクトル の和はゼロになる——多角形は出発点に戻ってくるからである:。 回転は線形写像 であり、各 は(固定された向きの選び方のもとで) に等しい(重み は の格子長であり、 は を回転・原始ベクトルへ再スケールしたものである)。線形写像 を の両辺に適用すると が得られ、これがまさにつり合い条件である。
この定理を使うトピック
ステップごとの証明
この定理のステップごとの証明はまだありません。
参考文献
- Diane Maclagan, Bernd Sturmfels (2015). Introduction to Tropical Geometry
- Grigory Mikhalkin (2005). Enumerative tropical algebraic geometry in R^2 · arXiv:math/0312530
- Imre Simon (1978). Limited subsets of a free monoid · DOI:10.1109/SFCS.1978.21