arXiv++ Combinatorics

We introduce tropical vector bundles, morphisms and rational sections of these bundles and define the pull-back of a tropical vector bundle and of a rational section along a morphism. Afterwards we use the bounded rational sections of a tropical vector bundle to define the Chern classes of this bundle and prove some basic properties of Chern classes. Finally we give a complete classification of all vector bundles on an elliptic curve up to isomorphisms.

In analogy to chapter 9 of arXiv:0709.3705 we define an intersection product of tropical cycles on tropical linear spaces L^n_k, i.e. on tropical fans of the type max{0,x_1,...,x_n}^(n-k)*R^n. Afterwards we use this result to obtain an intersection product of cycles on every smooth tropical variety, i.e. on every tropical variety that arises from gluing such tropical linear spaces. In contrast to classical algebraic geometry these products always yield well-defined cycles, not cycle classes only. Using these intersection products we are able to define the pull-back of a tropical cycle along a morphism between smooth tropical varieties. In the present article we stick to the definitions, notions and concepts introduced in arXiv:0709.3705.

We introduce an improved version of rational equivalence in tropical intersection theory which can be seen as a replacement of chapter 8 of our previous article arXiv:0709.3705v2. Using this new definition, rational equivalence is compatible with push-forwards of cycles. Moreover, we prove that every tropical cycle in R^r is equivalent to a uniquely determined affine cycle, called its degree.

We establish first parts of a tropical intersection theory. Namely, we define cycles, Cartier divisors and intersection products between these two (without passing to rational equivalence) and discuss push-forward and pull-back. We do this first for fans in R^n and then for "abstract" cycles that are fans locally. With regard to applications in enumerative geometry, we finally have a look at rational equivalence and intersection products of cycles and cycle classes in R^n.