2021/07/26 by Andreas Mihatsch, Mihatsch, Andreas
Computer Science · Mathematics · #Polynomial and algebraic computation #Commutative Algebra and Its Applications
paper · pdf · doi:10.48550/arxiv.2107.12067
We develop a tropical intersection formalism of forms and currents that extends classical tropical intersection theory in two ways. First, it allows to work with arbitrary polytopes, also non-rational ones. Second, it allows for smooth differential forms as coefficients. The intersection product in our formalism can be defined through the diagonal intersection method of Allermann--Rau or the fan displacement rule. We prove with a limiting argument that both definitions agree.