Showing 1–10 of 10 results for author: Hampe, S

Algorithms for Tight Spans and Tropical Linear Spaces

Authors: Simon Hampe, Michael Joswig, Benjamin Schröter

Abstract: We describe a new method for computing tropical linear spaces and more general duals of polyhedral subdivisions. It is based on Ganter's algorithm (1984) for finite closure systems. We describe a new method for computing tropical linear spaces and more general duals of polyhedral subdivisions. It is based on Ganter's algorithm (1984) for finite closure systems. △ Less

Submitted 15 September, 2017; v1 submitted 12 December, 2016; originally announced December 2016.

Comments: 14 pages, 3 figures, 1 table added a computational result (Proposition 5.5) about the difference of the Dressian $Dr(3,8)$ and the tropical Grassmanians $Gr_p(3,8)$, as well as minor edits, corrections and additions

MSC Class: 14T05; 06A15; 05B35

Journal ref: Journal of Symbolic Computation (special issue MEGA 2017) 91 (2019), 116-128

Tropical Computations in polymake

Authors: Simon Hampe, Michael Joswig

Abstract: We give an overview of recently implemented polymake features for computations in tropical geometry. The main focus is on explicit examples rather than technical explanations. Our computations employ tropical hypersurfaces, moduli of tropical plane curves, tropical linear spaces and Grassmannians, lines on tropical cubic surfaces as well as intersection rings of matroids We give an overview of recently implemented polymake features for computations in tropical geometry. The main focus is on explicit examples rather than technical explanations. Our computations employ tropical hypersurfaces, moduli of tropical plane curves, tropical linear spaces and Grassmannians, lines on tropical cubic surfaces as well as intersection rings of matroids △ Less

Submitted 8 December, 2016; originally announced December 2016.

Comments: 20 pages, 6 figures, 21 code examples

MSC Class: 14T05; 14-04

Journal ref: Algorithmic and experimental methods in algebra, geometry, and number theory, 361-385, Springer, Cham, 2017

The polymake XML file format

Authors: Ewgenij Gawrilow, Simon Hampe, Michael Joswig

Abstract: We describe an XML file format for storing data from computations in algebra and geometry. We also present a formal specification based on a RELAX-NG schema. We describe an XML file format for storing data from computations in algebra and geometry. We also present a formal specification based on a RELAX-NG schema. △ Less

Submitted 17 May, 2016; originally announced May 2016.

Comments: 8 pages. Extended abstract for the 5th International Congress on Mathematical Software (ICMS), Berlin 2016

The intersection ring of matroids

Authors: Simon Hampe

Abstract: We study a particular graded ring structure on the set of all loopfree matroids on a fixed labeled ground set, which occurs naturally in tropical geometry. The product is given by matroid intersection and the additive structure is defined by assigning to each matroid the indicator vector of its chains of flats. We show that this ring is generated in corank one, more precisely that any matroid can… ▽ More We study a particular graded ring structure on the set of all loopfree matroids on a fixed labeled ground set, which occurs naturally in tropical geometry. The product is given by matroid intersection and the additive structure is defined by assigning to each matroid the indicator vector of its chains of flats. We show that this ring is generated in corank one, more precisely that any matroid can be written as a linear combination of products of corank one matroids. Moreover, we prove that a basis for the graded part of rank r matroids is given by the set of nested matroids and that the total number of these is a Eulerian number. Derksen's G-invariant then defines a Z-linear map on this ring, which implies for example that the Tutte polynomial is linear on it as well. Finally we show that the ring is the cohomology ring of the toric variety of the permutohedron and thus fulfills Poincaré duality. △ Less

Submitted 30 August, 2016; v1 submitted 23 February, 2016; originally announced February 2016.

Comments: 28 pages, 3 figures. Heavily revised, now contains proof of linearity of the G-invariant and a much shorter proof of Poincaré duality, using toric geometry

MSC Class: 05B35; 14T05

Tropical linear spaces and tropical convexity

Authors: Simon Hampe

Abstract: In classical geometry, a linear space is a space that is closed under linear combinations. In tropical geometry, it has long been a consensus that tropical varieties defined by valuated matroids are the tropical analogue of linear spaces. It is not difficult to see that each such space is tropically convex, i.e. closed under tropical linear combinations. However, we will also show that the convers… ▽ More In classical geometry, a linear space is a space that is closed under linear combinations. In tropical geometry, it has long been a consensus that tropical varieties defined by valuated matroids are the tropical analogue of linear spaces. It is not difficult to see that each such space is tropically convex, i.e. closed under tropical linear combinations. However, we will also show that the converse is true: Each tropical variety that is also tropically convex is supported on the complex of a valuated matroid. We also prove a tropical local-to-global principle: Any closed, connected, locally tropically convex set is tropically convex. △ Less

Submitted 8 May, 2015; originally announced May 2015.

Comments: 17 pages, 5 figures

MSC Class: 14T05; 52A99

On rational equivalence in tropical geometry

Authors: Lars Allermann, Simon Hampe, Johannes Rau

Abstract: This article discusses the concept of rational equivalence in tropical geometry (and replaces the older and imperfect version arXiv:0811.2860). We give the basic definitions in the context of tropical varieties without boundary points and prove some basic properties. We then compute the "bounded" Chow groups of $\mathbb{R}^n$ by showing that they are isomorphic to the group of fan cycles. The main… ▽ More This article discusses the concept of rational equivalence in tropical geometry (and replaces the older and imperfect version arXiv:0811.2860). We give the basic definitions in the context of tropical varieties without boundary points and prove some basic properties. We then compute the "bounded" Chow groups of $\mathbb{R}^n$ by showing that they are isomorphic to the group of fan cycles. The main step in the proof is of independent interest: We show that every tropical cycle in $\mathbb{R}^n$ is a sum of (translated) fan cycles. This also proves that the intersection ring of tropical cycles is generated in codimension 1 (by hypersurfaces). △ Less

Submitted 25 August, 2015; v1 submitted 7 August, 2014; originally announced August 2014.

Comments: 17 pages, 2 figures, updated to fit published version, Canadian Journal of Mathematics (2015)

MSC Class: 14T05

Journal ref: Canad. J. Math. 68.2 (2016), pp. 241-257

Combinatorics of tropical Hurwitz cycles

Authors: Simon Hampe

Abstract: We study properties of the tropical double Hurwitz loci defined by Bertram, Cavalieri and Markwig. We show that all such loci are connected in codimension one. If we mark preimages of simple ramification points, then for a generic choice of such points the resulting cycles are weakly irreducible, i.e. an integer multiple of an irreducible cycle. We study how Hurwitz cycles can be written as diviso… ▽ More We study properties of the tropical double Hurwitz loci defined by Bertram, Cavalieri and Markwig. We show that all such loci are connected in codimension one. If we mark preimages of simple ramification points, then for a generic choice of such points the resulting cycles are weakly irreducible, i.e. an integer multiple of an irreducible cycle. We study how Hurwitz cycles can be written as divisors of rational functions and show that they are numerically equivalent to a tropical version of a representation as a sum of boundary divisors. The results and counterexamples in this paper were obtained with the help of a-tint, an extension for polymake for tropical intersection theory. △ Less

Submitted 25 June, 2015; v1 submitted 15 July, 2014; originally announced July 2014.

Comments: 29 pages, 16 figures. Minor revisions, to appear in Journal of Algebraic Combinatorics

MSC Class: 14T05; 14N10

Journal ref: Journal of Algebraic Combinatorics: Volume 42, Issue 4 (2015), Page 1027-1058

Moduli spaces of rational weighted stable curves and tropical geometry

Authors: Renzo Cavalieri, Simon Hampe, Hannah Markwig, Dhruv Ranganathan

Abstract: We study moduli spaces of rational weighted stable tropical curves, and their connections with the classical Hassett spaces. Given a vector w of weights, the moduli space of tropical w-stable curves can be given the structure of a balanced fan if and only if w has only heavy and light entries. In this case, we can express the moduli space as the Bergman fan of a graphic matroid. Furthermore, we re… ▽ More We study moduli spaces of rational weighted stable tropical curves, and their connections with the classical Hassett spaces. Given a vector w of weights, the moduli space of tropical w-stable curves can be given the structure of a balanced fan if and only if w has only heavy and light entries. In this case, we can express the moduli space as the Bergman fan of a graphic matroid. Furthermore, we realize the tropical moduli space as a geometric tropicalization, and as a Berkovich skeleton, of the classical moduli space. This builds on previous work of Tevelev, Gibney--Maclagan, and Abramovich--Caporaso--Payne. Finally, we construct the moduli spaces of heavy/light weighted tropical curves as fiber products of unweighted spaces, and explore parallels with the algebraic world. △ Less

Submitted 27 April, 2016; v1 submitted 29 April, 2014; originally announced April 2014.

Comments: 26 pages, 8 TikZ figures. v3: Minor changes and corrections. Final version to appear in Forum of Mathematics, Sigma

MSC Class: 14T05; 14D22; 14H10

Journal ref: Forum of Mathematics, Sigma (2016) Vol. 9, e9, 35 pages

A-Tint: A polymake extension for algorithmic tropical intersection theory

Authors: Simon Hampe

Abstract: In this paper we study algorithmic aspects of tropical intersection theory. We analyse how divisors and intersection products on tropical cycles can actually be computed using polyhedral geometry. The main focus of this paper is the study of moduli spaces, where the underlying combinatorics of the varieties involved allow a much more efficient way of computing certain tropical cycles. The algorith… ▽ More In this paper we study algorithmic aspects of tropical intersection theory. We analyse how divisors and intersection products on tropical cycles can actually be computed using polyhedral geometry. The main focus of this paper is the study of moduli spaces, where the underlying combinatorics of the varieties involved allow a much more efficient way of computing certain tropical cycles. The algorithms discussed here have been implemented in an extension for polymake, a software for polyhedral computations. △ Less

Submitted 9 October, 2013; v1 submitted 21 August, 2012; originally announced August 2012.

Comments: 32 pages, 5 figures, 4 tables. Second version: Revised version, to be published in European Journal of Combinatorics

MSC Class: 14T05; 14C17; 14D22

Journal ref: European Journal of Combinatorics 36C (2014), pp. 579-607

Universal families of rational tropical curves

Authors: Georges Francois, Simon Hampe

Abstract: We introduce the notion of families of n-marked smooth rational tropical curves over smooth tropical varieties and establish a one-to-one correspondence between (equivalence classes of) these families and morphisms from smooth tropical varieties into the moduli space of n-marked abstract rational tropical curves. We introduce the notion of families of n-marked smooth rational tropical curves over smooth tropical varieties and establish a one-to-one correspondence between (equivalence classes of) these families and morphisms from smooth tropical varieties into the moduli space of n-marked abstract rational tropical curves. △ Less

Submitted 18 April, 2012; v1 submitted 9 May, 2011; originally announced May 2011.

Comments: 24 pages, 3 figures Second version: Generalisations and corrections (e.g. a general tropical fibre product) Third version: Minor changes and corrections (version as published in Canadian Journal of Mathematics)

MSC Class: 14T05; 14D22

Journal ref: Can. J. Math.-J. Can. Math. 65 (2013) 120-148