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.

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
  • R. Haraway, R. Löwe, D. Tate, and S. Tillmann.
    On Moduli Spaces of Convex Projective Structures on Surfaces: Outitude and Cell-Decomposition in Fock-Goncharov Coordinates.
    Preprint, 2019.
    arXiv:1911.04176.
  • Michael Joswig, Robert Löwe, and Boris Springborn.
    Secondary fans and secondary polyhedra of punctured Riemann surfaces.
    Exp. Math., 2019.
    arXiv:1708.08714, doi:10.1080/10586458.2018.1477078.
  • Lars Kastner and Robert Löwe.
    The Newton polytope of the discriminant of a cubic quaternary form.
    Preprint, 2019.
    arXiv:1909.08910.
  • Simon Hampe, Michael Joswig, and Benjamin Schröter.
    Algorithms for Tight Spans and Tropical Linear Spaces.
    Journal of Symbolic Computation, 2018. Proceedings of MEGA 2017.
    arXiv:1612.03592, doi:10.1016/j.jsc.2018.06.016.
  • Holger Eble, Michael Joswig, Lisa Lamberti, and Will Ludington.
    Cluster partitions and fitness landscapes of the Drosophila fly microbiome.
    Preprint, 2018.
    arXiv:1809.02533.
  • Xavier Allamigeon, Pascal Benchimol, Stéphane Gaubert, and Michael Joswig.
    Log-barrier interior point methods are not strongly polynomial.
    SIAM J. Appl. Algebra Geom., 2(1):140–178, 2018.
    arXiv:1708.01544, doi:10.1137/17M1142132.
  • Charles Jordan, Michael Joswig, and Lars Kastner.
    Parallel enumeration of triangulations.
    Electron. J. Combin., 25(3):Paper 3.6, 27, 2018.
    URL: http://www.combinatorics.org/ojs/index.php/eljc/article/view/v25i3p6, arXiv:1709.04746.
  • Michael Joswig and Ben Smith.
    Polyhedral Tropical Geometry of Higher Rank.
    preprint, 2018.
    arXiv:1809.01457.
  • Timo Burggraf, Michael Joswig, Marc E. Pfetsch, Manuel Radons, and Stefan Ulbrich.
    Semi-automatically optimized calibration of internal combustion engines.
    Preprint, 2018.
    arXiv:1806.10980.
  • Michael Joswig and Benjamin Schrüter.
    The degree of a tropical basis.
    Proc. Amer. Math. Soc., 146(3):961–970, 2018.
    arXiv:1511.08123, doi:10.1090/proc/13787.
  • Benjamin Assarf, Michael Joswig, and Julian Pfeifle.
    Webs of stars or how to triangulate free sums of point configurations.
    J. Combin. Theory Ser. A, 159:183–214, 2018.
    arXiv:1512.08411, doi:10.1016/j.jcta.2018.05.007.
  • F. H. Lutz, J. K. Mason, E. A. Lazar, and R. D. MacPherson.
    Roundness of grains in cellular microstructures.
    Phys. Rev. E, 96:023001, August 2017.
    doi:10.1103/PhysRevE.96.023001.
  • Benjamin Assarf, Ewgenij Gawrilow, Katrin Herr, Michael Joswig, Benjamin Lorenz, Andreas Paffenholz, and Thomas Rehn.
    Computing convex hulls and counting integer points with $\texttt polymake$.
    Math. Program. Comput., 9(1):1–38, 2017.
    arXiv:1408.4653v2, doi:10.1007/s12532-016-0104-z.
  • Michael Joswig and Benjamin Schröter.
    Matroids from hypersimplex splits.
    Journal of Combinatorial Theory, Series A, 151:254–284, 2017.
    arXiv:1607.06291, doi:10.1016/j.jcta.2017.05.001.
  • Michael Joswig and Georg Loho.
    Monomial tropical cones for multicriteria optimization.
    Preprint, 2017.
    arXiv:1707.09305.
  • Simon Hampe and Michael Joswig.
    Tropical computations in polymake.
    In Gebhard Böckle, Wolfram Decker, and Gunter Malle, editors, Algorithmic and experimental methods in algebra, geometry, and number theory, pages 361–385. Springer, Cham, 2017.
    arXiv:1612.02581.
  • Michael Joswig, Joe Kileel, Bernd Sturmfels, and André Wagner.
    Rigid multiview varieties.
    International Journal of Algebra and Computation, 26(04):775–788, 2016.
    arXiv:1509.03257, doi:10.1142/S021819671650034X.
  • Michael Joswig and Georg Loho.
    Weighted digraphs and tropical cones.
    Linear Algebra and its Applications, 501:304–343, 2016.
    arXiv:1503.04707, doi:10.1016/j.laa.2016.02.027.
  • Xavier Allamigeon, Pascal Benchimol, Stéphane Gaubert, and Michael Joswig.
    Tropicalizing the simplex algorithm.
    SIAM Journal on Discrete Mathematics, 29(2):751–795, 2015.
    arXiv:1308.0454, doi:10.1137/130936464.

Team+

Prof. Dr. Michael Joswig   +

Prof. Dr. Boris Springborn   +

Projects: A01
University: TU Berlin, Institut für Mathematik, MA 871
Address: Straße des 17. Juni 136, 10623 Berlin, GERMANY
Tel: +49 30 31423617
Fax: +49 30 31479282
E-Mail: boris.springborn[at]tu-berlin.de
Website: http://page.math.tu-berlin.de/~springb/


Robert Loewe   +

University: TU Berlin
E-Mail: loewe[at]math.tu-berlin.de


Dr. Frank H. Lutz   +

University: TU Berlin
E-Mail: lutz[at]math.tu-berlin.de