arXiv++ Combinatorics

In this paper, we investigate vector fields on polyhedral complexes and their associated trajectories. We study vector fields which are analogue of the gradient vector field of a function in the smooth case. Our goal is to define a nice theory of trajectories of such vector fields, so that the set of them captures the topology of the polyhedral complex, as in classical Morse theory. Since we do not assume the polyhedral complex to be a manifold, the definition of vector fields on it is very different from the smooth case. Nevertheless, we will show that there exist nice classes of functions and metrics which give gradient vector fields with desired properties. Our construction relies on Forman's discrete Morse theory. In particular, the class of functions we use is an improvement of Forman's discrete Morse functions. A notable feature of our theory is that our gradient vector fields are defined purely from functions and metrics as in the smooth case, contrary to the case of discrete Morse theory where we need the data of dimension of cells. This allows us to implement several useful constructions which were not available in the discrete case.

In this paper we study a construction of algebraic curves from combinatorial data. In the study of algebraic curves through degeneration, graphs usually appear as the dual intersection graph of the central fiber. Properties of such graphs can be encoded in so-called tropical curves. Our main concern is the relation between algebraic curves and tropical curves where the deformation problem is obstructed. Particular emphasis is put on the role of higher valent vertices of tropical curves, which has not been developed well so far in spite of its importance in this area of study. We will give a general formula describing the obstruction, a new criterion for the vanishing of the obstruction, and a relation between the number of algebraic curves and the number of integral points in certain polytopes. We also prove the optimal version of the correspondence between tropical curves and algebraic curves when the tropical curves are regular, generalizing previous results.