SearcharxivSearch

arXiv subjects

Kristin Shaw

Publications and source records attributed to Kristin Shaw.

18 recordsLinked to original sources

Tropical compactification via Ganter's algorithm

We describe a canonical compactification of a polyhedral complex in Euclidean space. When the recession cones of the polyhedral complex form a fan, the compactified polyhedral complex is a subspace of a tropical toric variety. In this case, the procedure is analogous to the tropical compactifications of subvarieties of tori. We give an analysis of the combinatorial structure of the compactification and show that its Hasse diagram can be computed via Ganter's algorithm. Our algorithm is implemented in and shipped with polymake.

math.AG

Bounding the Betti numbers of real hypersurfaces near the tropical limit

We prove a bound conjectured by Itenberg on the Betti numbers of real algebraic hypersurfaces near non-singular tropical limits. These bounds are given in terms of the Hodge numbers of the complexification. To prove the conjecture we introduce a real variant of tropical homology and define a filtration on the corresponding chain complex inspired by Kalinin's filtration. The spectral sequence associated to this filtration converges to the homology groups of the real algebraic variety and we show that the terms of the first page are tropical homology groups with $\mathbb{Z}_2$-coefficients. The dimensions of these homology groups correspond to the Hodge numbers of complex projective hypersurfaces. The bounds on the Betti numbers of the real part follow, as well as a criterion to obtain a maximal variety. We also generalise a known formula relating the signature of the complex hypersurface and the Euler characteristic of the real algebraic hypersurface, as well as Haas' combinatorial criterion for the maximality of plane curves near the tropical limit.

math.AG

Tropical floor plans and enumeration of complex and real multi-nodal surfaces

The family of complex projective surfaces in projective three space of degree $d$ having precisely $δ$ nodes as their only singularities has codimension $δ$ in the linear system of surfaces of degree $d$ for sufficiently large $d$ and is of degree $N_{δ,complex}(d)=(4(d-1)^3)^δ/δ!+O(d^{3δ-3})$. In particular, this number is polynomial in $d$. By means of tropical geometry, we explicitly describe $(4d^3)^δ/δ!+O(d^{3δ-1})$ surfaces passing through a suitable generic configuration of $n=\binom{d+3}{3}-δ-1$ points in projective three space. These surfaces are close to tropical limits which we characterize combinatorially, introducing the concept of floor plans for multinodal tropical surfaces. The concept of floor plans is similar to the well-known floor diagrams (a combinatorial tool for tropical curve counts): with it, we keep the combinatorial essentials of a multinodal tropical surface which are sufficient to reconstruct the surface. In the real case, we estimate the range for possible numbers of real multi-nodal surfaces satisfying point conditions. We show that, for a special configuration $w$ of real points, the number $N_{δ,real}(d,w)$ of real surfaces of degree $d$ having $δ$ real nodes and passing through $w$ is bounded from below by $(\frac{3}{2}d^3)^δ/δ! +O(d^{3δ-1})$. We prove analogous statements for counts of multinodal surfaces in $P^1\times P^2$ and $P^1\times P^1\times P^1$.

math.AG

Lefschetz section theorems for tropical hypersurfaces

We establish variants of the Lefschetz hyperplane section theorem for the integral tropical homology groups of tropical hypersurfaces of toric varieties. It follows from these theorems that the integral tropical homology groups of non-singular tropical hypersurfaces which are compact or contained in $\mathbb{R}^n$ are torsion free. We prove a relationship between the coefficients of the $\chi_y$ genera of complex hypersurfaces in toric varieties and Euler characteristics of the integral tropical cellular chain complexes of their tropical counterparts. It follows that the integral tropical homology groups give the Hodge numbers of compact non-singular hypersurfaces of complex toric varieties. Finally for tropical hypersurfaces in certain affine toric varieties, we relate the ranks of their tropical homology groups to the Hodge-Deligne numbers of their complex counterparts.

math.AG

Lefschetz (1,1)-theorem in tropical geometry

For a tropical manifold of dimension n we show that the tropical homology classes of degree (n-1, n-1) which arise as fundamental classes of tropical cycles are precisely those in the kernel of the eigenwave map. To prove this we establish a tropical version of the Lefschetz (1, 1)-theorem for rational polyhedral spaces that relates tropical line bundles to the kernel of the wave homomorphism on cohomology. Our result for tropical manifolds then follows by combining this with Poincaré duality for integral tropical homology.

math.AG

The separating semigroup of a real curve

We introduce the separating semigroup of a real algebraic curve of dividing type. The elements of this semigroup record the possible degrees of the covering maps obtained by restricting separating morphisms to the real part of the curve. We also introduce the hyperbolic semigroup which consists of elements of the separating semigroup arising from morphisms which are compositions of a linear projection with an embedding of the curve to some projective space. We completely determine both semigroups in the case of maximal curves. We also prove that any embedding of a real curve to projective space of sufficiently high degree is hyperbolic. Using these semigroups we show that the hyperbolicity locus of an embedded curve is in general not connected.

math.AG

Toric degenerations of Grassmannians from matching fields

We study the algebraic combinatorics of monomial degenerations of Plücker forms which is governed by matching fields in the sense of Sturmfels and Zelevinsky. We provide a necessary condition for a matching field to yield a Khovanskii basis of the Plücker algebra for $3$-planes in $n$-space. When the ideal associated to the matching field is quadratically generated this condition is both necessary and sufficient. Finally, we describe a family of matching fields, called $2$-block diagonal, whose ideals are quadratically generated. These matching fields produce a new family of toric degenerations of $\Gr(3, n)$.

math.AG

Superforms, Tropical Cohomology, and Poincaré Duality

We establish a canonical isomorphism between two bigraded cohomology theories for polyhedral spaces: Dolbeault cohomology of superforms and tropical cohomology. Furthermore, we prove Poincaré duality for cohomology of tropical manifolds, which are polyhedral spaces locally given by Bergman fans of matroids.

math.AG

Chern-Schwartz-MacPherson cycles of matroids

We define Chern-Schwartz-MacPherson (CSM) cycles of an arbitrary matroid. These are balanced weighted fans supported on the skeleta of the corresponding Bergman fan. In the case that the matroid arises from a complex hyperplane arrangement A, we show that these cycles represent the CSM class of the complement of A. We also prove that for any matroid, the degrees of its CSM cycles are given by the coefficients of (a shift of) the reduced characteristic polynomial, and that CSM cycles are valuations under matroid polytope subdivisions.

math.CO

Non-existence of torically maximal hypersurfaces

Torically maximal curves (known also as simple Harnack curves) are real algebraic curves in the projective plane such that their logarithmic Gauß map is totally real. In this paper we show that hyperplanes in projective spaces are the only torically maximal hypersurfaces of higher dimensions.

math.AG

Cellular sheaf cohomology in Polymake

This chapter provides a guide to our polymake extension cellularSheaves. We first define cellular sheaves on polyhedral complexes in Euclidean space, as well as cosheaves, and their (co)homologies. As motivation, we summarise some results from toric and tropical geometry linking cellular sheaf cohomologies to cohomologies of algebraic varieties. We then give an overview of the structure of the extension cellularSheaves for polymake. Finally, we illustrate the usage of the extension with examples from toric and tropical geometry.

math.AG

Tropical Hopf manifolds and contracting germs

Classical Hopf manifolds are compact complex manifolds whose universal covering is $\mathbb{C}^d \setminus \{0\}$. We investigate the tropical analogues of Hopf manifolds, and relate their geometry to tropical contracting germs. To do this we develop a procedure called monomialization which transforms non-degenerate tropical germs into morphisms, up to tropical modification. A link is provided between tropical Hopf manifolds and the analytification of Hopf manifolds over a non-archimedean field. We conclude by computing the tropical Picard group and $(p,q)$-homology groups.

math.AG

Tropical surfaces

We present tools and definitions to study abstract tropical manifolds in dimension 2, which we call simply tropical surfaces. This includes explicit descriptions of intersection numbers of 1-cycles, normal bundles to some curves and tropical Chern cycles and numbers. We provide a new method for constructing tropical surfaces, called the tropical sum, similar to the fiber sum of usual manifolds. We prove a tropical adjunction formula for curves in compact tropical surfaces satisfying a local condition, a partial Castelnuovo-Enriques criterion for contracting (-1)-curves, and also invariance of (p, q)-homology and Chow groups under tropical modification. Finally we prove a tropical version of Noether's formula for compact surfaces constructed from tropical toric surfaces by way of summations and tropical modifications.

math.AG

Brief introduction to tropical geometry

The paper consists of lecture notes for a mini-course given by the authors at the Gökova Geometry \& Topology conference in May 2014. We start the exposition with tropical curves in the plane and their applications to problems in classical enumerative geometry, and continue with a look at more general tropical varieties and their homology theories.

math.AG

Tropicalization of Del Pezzo Surfaces

We determine the tropicalizations of very affine surfaces over a valued field that are obtained from del Pezzo surfaces of degree 5, 4 and 3 by removing their (-1)-curves. On these tropical surfaces, the boundary divisors are represented by trees at infinity. These trees are glued together according to the Petersen, Clebsch and Schläfli graphs, respectively. There are 27 trees on each tropical cubic surface, attached to a bounded complex with up to 73 polygons. The maximal cones in the 4-dimensional moduli fan reveal two generic types of such surfaces.

math.AG

A bit of tropical geometry

This friendly introduction to tropical geometry is meant to be accessible to first year students in mathematics. The topics discussed here are basic tropical algebra, tropical plane curves, some tropical intersections, and Viro's patchworking. Each definition is explained with concrete examples and illustrations. To a great exten, this text is an updated of a translation from a french text by the first author. There is also a newly added section highlighting new developments and perspectives on tropical geometry. In addition, the final section provides an extensive list of references on the subject.

math.AG

Tropical (1, 1)-homology for floor decomposed surfaces

The tropical (p, q)-homology groups of Itenberg, Katzarkov, Mikhalkin and Zharkov are the tropical analogues of the Hodge decomposition of the cohomology of complex algebraic varieties. There is a well-defined intersection pairing on tropical (1, 1)-classes of a compact non-singular tropical surface. Here we compute directly the (1, 1)-homology of a non-singular floor decomposed tropical surface in tropical projective space, along with the intersection form.

math.AG