热带横截系统的通用根计数——OSCAR 中热带几何的导引
代数几何
2023-12-01 v1
摘要
本文的主要数学关注点是一类我们称之为热带横截的参数化多项式系统。我们展示其通用解数如何表示为一个修正系统的混合体积。随后，我们利用初等热带几何，对 Borovik 等人近期关于耦合非线性振子平衡数目的结果给出另一种证明。该证明运用了热带几何中广泛的概念，我们借此机会对 OSCAR 中的各类热带特征给出首次概览。
引用
@article{arxiv.2311.18018,
title = {Generic root counts of tropically transverse systems -- An invitation to tropical geometry in OSCAR},
author = {Isaac Holt and Yue Ren},
journal= {arXiv preprint arXiv:2311.18018},
year = {2023}
}
备注
33 pages, 2 figures, submitted as chapter for the upcoming book on the computer algebra system OSCAR