# A11

Secondary fans of Riemann surfaces

## Study the combinatorics and geometry of polyhedral fans whose cones correspond to ideal tesselations

**
A famous construction of Gelfand, Kapranov, and Zelevinsky associates to each finite point configuration in $\mathbb{R}^n$ its secondary fan, which stratifies the space of height functions by the combinatorial types of coherent subdivisions. A completely analogous construction associates to each punctured Riemann surface a polyhedral fan, whose cones correspond to the ideal tessellations of the surface that occur as horocyclic Delaunay tessellations in the sense of Penner's convex hull construction. We suggest to call this fan the secondary fan of the punctured Riemann surface. The purpose of this project is to study these secondary fans of Riemann surfaces and explore how their geometric and combinatorial structure can be used to answer questions about Riemann surfaces, algebraic curves, and moduli spaces.
**

**Group:**A. Geometry-
**Principal Investigators:**Prof. Dr. Michael Joswig, Prof. Dr. Boris Springborn -
**Investigators:**Robert Loewe, Dr. Frank H. Lutz **University:**TU Berlin**Term:**since 2016

#### Scientific Details+

One point of departure of this project is a construction of Gelfand, Kapranov, and Zelevinsky (GKZ) that associates to any point configuration $V=\{P_{1},\ldots,P_{n}\}\subset\mathbb{R}^{d}$ a convex polytope in $\mathbb{R}^{n}$ and its normal fan, called the *secondary polytope* and the *secondary fan* of $V$. This project is concerned with an analogous construction for point configurations in Riemann surfaces, which will be explained later.

The GKZ construction of the secondary fan can easily be explained in terms of height functions and convex liftings. Raise each of the points $P_{k}\in\mathbb{R}^{d}$ to $(P_{k},h_{k})\in\mathbb{R}^{d}\times\mathbb{R}$. The lower convex hull of the raised points projects to a polytopal subdivision of $conv(V)$ whose vertex set is contained in $V$. This associates to each height function $h\in\mathbb{R}^{V}$ a convex lifting and, by projection, a polytopal subdivision of $conv(V)$. Not all polytopal subdivisions can be obtained in this way; those subdivisions that come from convex liftings are called *coherent *(or *regular*). The set of height functions that induce a particular coherent subdivision $\Delta$ is a (relatively open) convex polyhedral cone in $\mathbb{R}^{n}$, the *secondary cone* of $\Delta$. The set of all secondary cones, one for each coherent subdivision, forms the secondary fan of $V$. The partial ordering of the (closed) secondary cones of $V$ by inclusion is anti-isomorphic with poset of all coherent subdivisions of $V$. In particular, the maximal cones correspond to the most refined subdivisions, the triangulations.

The GKZ construction of secondary fans can be adapted to point configurations $V=\{P_{1},\ldots,P_{n}\}$ in a compact Riemann surface $M$. There are at least two natural ways to do this: either with marked points or with punctures.

*Riemann surfaces with marked points.* The most straightforward approach is to equip $M$ with a conformal metric of constant curvature. To fix ideas, let us assume that the genus of $M$ is at least two, so the metric is hyperbolic. The notion of weighted Delaunay tessellations carries over almost without change. The construction of Gelfand, Kapranov & Zelvinsky (raising points and taking convex hulls) carries over as follows: Use the hyperboloid model of the hyperbolic plane, $H^{2}=\{x\in\mathbb{R}^{2,1}: \langle x,x\rangle=-1, x_{3}>0\}$, and realize the hyperbolic surface as the quotient space $M=H^{2}/\Gamma$ of its universal cover $H^{2}$ by the group $\Gamma<SO^{+}(2,1)$ of deck transformations. Each $P_{k}\in V$ corresponds to an orbit $\Gamma x_{k}$ for some representative $x_{k}\in H^{2}$. For each $w\in\mathbb{R}_{\geq 0}^{n}$, $w\not=0$, the convex hull of the union of orbits $\Gamma(w_{k}^{-1}x_{k})$ is a $\Gamma$-invariant convex polytope. Its boundary induces a geodesic cell decomposition of $M$ with vertices in $V$. The sets of weights $w$ leading to a particular decomposition are relatively open polyhedral cones that form the secondary fan of the Riemann surface with marked points $(M,V)$. Their union is $\mathbb{R}_{\geq 0}^{n}\setminus\{0\}$. The cases when $M$ is a sphere or a torus can be treated similarly.

*Punctured Riemann surfaces.* In this project we will mostly follow a different approach involving the construction of Epstein and Penner, which is peculiar to hyperbolic geometry. Consider the *punctured Riemann surface* $M\setminus V$, equipped with the unique complete hyperbolic metric of finite area. (If $M$ is the sphere, we have to assume $n\geq 3$ for such a hyperbolic metric to exist.) Each point $P_{k}\in V$ corresponds to the ideal point of a cusp of the hyperbolic surface. When the surface is realized as quotient $H^{2}/\Gamma$ as in the previous paragraph, each point $P_{k}$ corresponds to an orbit $\Gamma(\mathbb{R}_{>0} x_{k})$ of rays $\mathbb{R}_{>0} x_{k}$ in the positive light cone, i.e., each $x_{k}$ is a future-pointing light-like vector. For each $w\in\mathbb{R}_{\geq 0}^{n}$, $w\not=0$, the convex hull of the union of orbits $\Gamma(w_{k}^{-1}x_{k})$ is a $\Gamma$-invariant convex polytope. Its boundary induces an ideal polygonal decomposition of $M$ with vertex set $V$. (The details of this construction were worked out by Epstein and Penner.) The sets of weights $w$ leading to a particular decomposition are relatively open polyhedral cones that form the secondary fan of the punctured Riemann surface $M\setminus V$. Their union is $\mathbb{R}_{\geq 0}^{n}\setminus\{0\}$. These constructions have yet to be worked out in full detail. For instance, the maximal secondary cones will not necessarily correspond to triangulations.

#### Publications+

##### Papers

###### Algorithms for Tight Spans and Tropical Linear Spaces

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

**Journal: **Journal of Symbolic Computation

**Note: **Proceedings of MEGA 2017

**Date: **
2018

**DOI: **
10.1016/j.jsc.2018.06.016

**Download: **
external
arXiv

###### Cluster partitions and fitness landscapes of the Drosophila fly microbiome

**Authors: **
Eble, Holger and
Joswig, Michael and
Lamberti, Lisa and
Ludington, Will

**Note: **Preprint arXiv 1809.02533

**Date: **
2018

**Download: **
arXiv

###### Log-barrier interior point methods are not strongly polynomial

**Authors: **
Allamigeon, Xavier and
Benchimol, Pascal and
Gaubert, Stéphane and
Joswig, Michael

**Journal: **SIAM J. Appl. Algebra Geom.,
2(1):140-178

**Date: **
2018

**DOI: **
10.1137/17M1142132

**Download: **
external
arXiv

###### Parallel enumeration of triangulations

**Authors: **
Jordan, Charles and
Joswig, Michael and
Kastner, Lars

**Journal: **Electron. J. Combin.,
25(3):Paper 3.6, 27

**Date: **
2018

**Download: **
external
arXiv

###### Polyhedral Tropical Geometry of Higher Rank

**Authors: **
Joswig, Michael and
Smith, Ben

**Note: **Preprint arXiv 1809.01457

**Date: **
2018

**Download: **
arXiv

###### Semi-automatically optimized calibration of internal combustion engines

**Authors: **
Burggraf, Timo and
Joswig, Michael and
Pfetsch, Marc E. and
Radons, Manuel and
Ulbrich, Stefan

**Note: **Preprint arXiv 1806.10980

**Date: **
2018

**Download: **
arXiv

###### The degree of a tropical basis

**Authors: **
Joswig, Michael and
Schrüter, Benjamin

**Journal: **Proc. Amer. Math. Soc.,
146(3):961-970

**Date: **
2018

**DOI: **
10.1090/proc/13787

**Download: **
external
arXiv

###### Webs of stars or how to triangulate free sums of point configurations

**Authors: **
Assarf, Benjamin and
Joswig, Michael and
Pfeifle, Julian

**Journal: **J. Combin. Theory Ser. A,
159:183--214

**Date: **
2018

**DOI: **
10.1016/j.jcta.2018.05.007

**Download: **
external
arXiv

###### Computing convex hulls and counting integer points with \polymake

**Authors: **
Assarf, Benjamin and
Gawrilow, Ewgenij and
Herr, Katrin and
Joswig, Michael and
Lorenz, Benjamin and
Paffenholz, Andreas and
Rehn, Thomas

**Journal: **Math. Program. Comput.,
9(1):1-38

**Date: **
2017

**DOI: **
10.1007/s12532-016-0104-z

**Download: **
external
arXiv

###### Matroids from hypersimplex splits

**Authors: **
Joswig, Michael and
Schröter, Benjamin

**Journal: **Journal of Combinatorial Theory, Series A,
151:254--284

**Date: **
2017

**DOI: **
10.1016/j.jcta.2017.05.001

**Download: **
external
arXiv

###### Monomial tropical cones for multicriteria optimization

**Authors: **
Joswig, Michael and
Loho, Georg

**Note: **Preprint

**Date: **
2017

**Download: **
arXiv

###### Tropical computations in polymake

**Authors: **
Hampe, Simon and
Joswig, Michael

**In Collection: **
Algorithmic and experimental methods in algebra, geometry, and number theory, Springer, Cham

**Date: **
2017

**Download: **
arXiv

###### Rigid multiview varieties

**Authors: **
Joswig, Michael and
Kileel, Joe and
Sturmfels, Bernd and
Wagner, André

**Journal: **International Journal of Algebra and Computation,
26(04):775--788

**Date: **
2016

**DOI: **
10.1142/S021819671650034X

**Download: **
external
arXiv

###### Weighted digraphs and tropical cones

**Authors: **
Joswig, Michael and
Loho, Georg

**Journal: **Linear Algebra and its Applications,
501:304--343

**Date: **
2016

**DOI: **
10.1016/j.laa.2016.02.027

**Download: **
external
arXiv

###### Tropicalizing the simplex algorithm

**Authors: **
Allamigeon, Xavier and
Benchimol, Pascal and
Gaubert, Stéphane and
Joswig, Michael

**Journal: **SIAM Journal on Discrete Mathematics,
29(2):751--795

**Date: **
2015

**DOI: **
10.1137/130936464

**Download: **
external
arXiv

#### Team+

#### Prof. Dr. Michael Joswig +

**Projects: **
A11,
II

**University: **
TU Berlin

**E-Mail: **
joswig[at]math.tu-berlin.de

**Website: **http://page.math.tu-berlin.de/~joswig/

#### Prof. Dr. Boris Springborn +

**Projects: **
A01,
A11

**University: **
TU Berlin

**E-Mail: **
springb[at]math.TU-Berlin.DE

**Website: **http://page.math.tu-berlin.de/~springb/

#### Robert Loewe +

**Projects: **
A11

**University: **
TU Berlin

**E-Mail: **
loewe[at]math.tu-berlin.de

#### Dr. Frank H. Lutz +

**Projects: **
A11

**University: **
TU Berlin

**E-Mail: **
lutz[at]math.tu-berlin.de