Showing 1–45 of 45 results for author: Ranganathan, D

The many faces of a logarithmic scheme

Authors: Thibault Poiret, Dhruv Ranganathan

Abstract: A standard assumption in the study of logarithmic structures is "fineness", but this assumption is not preserved by intersections, fiber products, and more general limits. We explain how a coherent logarithmic scheme $X$ has a natural decomposition into "fine faces" -- a collection of fine logarithmic subschemes. This allows for importation of the techniques of tropical geometry into the study of… ▽ More A standard assumption in the study of logarithmic structures is "fineness", but this assumption is not preserved by intersections, fiber products, and more general limits. We explain how a coherent logarithmic scheme $X$ has a natural decomposition into "fine faces" -- a collection of fine logarithmic subschemes. This allows for importation of the techniques of tropical geometry into the study of more general logarithmic schemes. We explain the relevance of the construction in enumerative geometry and moduli via a range of examples. Techniques developed in the study of binomial schemes lead to effective algorithms for computing the fine faces. △ Less

Submitted 16 December, 2024; originally announced December 2024.

Comments: 24 pages including bibliography. All comments are welcome

Logarithmic tautological rings of the moduli spaces of curves

Authors: Rahul Pandharipande, Dhruv Ranganathan, Johannes Schmitt, Pim Spelier

Abstract: We define the logarithmic tautological rings of the moduli spaces of Deligne-Mumford stable curves (together with a set of additive generators lifting the decorated strata classes of the standard tautological rings). While these algebras are infinite dimensional, a connection to polyhedral combinatorics via a new theory of homological piecewise polynomials allows an effective study. A complete cal… ▽ More We define the logarithmic tautological rings of the moduli spaces of Deligne-Mumford stable curves (together with a set of additive generators lifting the decorated strata classes of the standard tautological rings). While these algebras are infinite dimensional, a connection to polyhedral combinatorics via a new theory of homological piecewise polynomials allows an effective study. A complete calculation is given in genus 0 via the algebra of piecewise polynomials on the cone stack of the associated Artin fan (lifting Keel's presentation of the Chow ring of $\overline{\mathcal{M}}_{0,n}$). Counterexamples to the simplest generalizations in genus 1 are presented. We show, however, that the structure of the log tautological rings is determined by the complete knowledge of all relations in the standard tautological rings of the moduli spaces of curves. In particular, Pixton's conjecture concerning relations in the standard tautological rings lifts to a complete conjecture for relations in the log tautological rings of the moduli spaces of curves. Several open questions are discussed. We develop the entire theory of logarithmic tautological classes in the context of arbitrary smooth normal crossings pairs $(X,D)$ with explicit formulas for intersection products. As a special case, we give an explicit set of additive generators of the full logarithmic Chow ring of $(X,D)$ in terms of Chow classes on the strata of $X$ and piecewise polynomials on the cone stack. △ Less

Submitted 8 April, 2025; v1 submitted 29 October, 2024; originally announced October 2024.

Comments: 71 pages. v2: minor changes. Final version, to appear in Advances in Mathematics

Report number: MPIM-Bonn-2021 MSC Class: 14H10; 14A21

Combinatorics of Hurwitz degenerations and tropical realizability

Authors: Mia Lam, Chi Kin Ng, Dhruv Ranganathan

Abstract: We investigate the realizability of balanced functions on tropical curves, establishing new sufficient criteria for superabundant functions on genus two curves, analogous to the well-spacedness condition in genus one. We find that realizability is sensitive to the precise locations of conjugate and Weierstrass points on the tropical curve. The key input is a combinatorial comparison of semistable… ▽ More We investigate the realizability of balanced functions on tropical curves, establishing new sufficient criteria for superabundant functions on genus two curves, analogous to the well-spacedness condition in genus one. We find that realizability is sensitive to the precise locations of conjugate and Weierstrass points on the tropical curve. The key input is a combinatorial comparison of semistable limit theorems for maps of curves. Amini-Baker-Brugallé-Rabinoff previously showed that realizability of functions is equivalent to ``modifiability'' to a tropical admissible cover. The resulting criteria are typically inexplicit; we develop combinatorial techniques to derive explicit, verifiable criteria from these. We then develop a dimensional reduction technique to deduce statements about maps to $\mathbb{R}^r$ from ones about maps to $\mathbb{R}$. By proving directly that modifiability and well-spacedness are equivalent in genus one, we obtain a new proof that well-spaced maps are realizable. Along the way, we explain how the modifiability criterion can be viewed as a comparison result for properness statements for moduli of relative maps and admissible covers. △ Less

Submitted 28 October, 2024; originally announced October 2024.

Comments: 38 pages, 16 figures

Logarithmic negative tangency and root stacks

Authors: Luca Battistella, Navid Nabijou, Dhruv Ranganathan

Abstract: We study stable maps to normal crossings pairs with possibly negative tangency orders. There are two independent models: punctured Gromov-Witten theory of pairs and orbifold Gromov-Witten theory of root stacks with extremal ages. Exploiting the tropical structure of the punctured mapping space, we define and study a new virtual class for the punctured theory. This arises as a refined intersection… ▽ More We study stable maps to normal crossings pairs with possibly negative tangency orders. There are two independent models: punctured Gromov-Witten theory of pairs and orbifold Gromov-Witten theory of root stacks with extremal ages. Exploiting the tropical structure of the punctured mapping space, we define and study a new virtual class for the punctured theory. This arises as a refined intersection product on the Artin fan, and produces a distinguished sector of punctured Gromov-Witten invariants. Restricting to genus zero, we show that these invariants coincide with the orbifold invariants, first for smooth pairs, and then for normal crossings pairs after passing to a sufficiently refined blowup. This builds on previous work to provide a complete picture of the logarithmic-orbifold comparison in genus zero, which is compatible with splitting and thus allows for the wholesale importation of orbifold techniques, including boundary recursion and torus localisation. Contemporaneous work of Johnston uses the comparison to give a new proof of the associativity of the Gross-Siebert intrinsic mirror ring. △ Less

Submitted 21 March, 2024; v1 submitted 12 February, 2024; originally announced February 2024.

Comments: 50 pages. Comments are welcome. v2: minor changes

MSC Class: 14N35; 14A21

Logarithmic enumerative geometry for curves and sheaves

Authors: Davesh Maulik, Dhruv Ranganathan

Abstract: We propose a logarithmic enhancement of the Gromov-Witten/Donaldson-Thomas correspondence, with descendants, and study its behavior under simple normal crossings degenerations. The formulation of the logarithmic correspondence requires a matching of tangency conditions with relative insertions. This is achieved via a version of the Nakajima basis for the cohomology of the Hilbert schemes of points… ▽ More We propose a logarithmic enhancement of the Gromov-Witten/Donaldson-Thomas correspondence, with descendants, and study its behavior under simple normal crossings degenerations. The formulation of the logarithmic correspondence requires a matching of tangency conditions with relative insertions. This is achieved via a version of the Nakajima basis for the cohomology of the Hilbert schemes of points on a logarithmic surface. Next, we establish a strong form of the degeneration formula in logarithmic DT theory - the numerical DT invariants of the general fiber of a degeneration are determined by the numerical DT invariants attached to strata of the special fiber. The GW version of this result, which we prove in all target dimensions, strengthens currently known formulas. A key role is played by a certain exotic class of insertions, introduced here, that impose non-local incidence conditions coupled across multiple boundary strata of the target geometry. Finally, we prove compatibility of the new logarithmic GW/DT correspondence with degenerations. In particular, the logarithmic conjecture for all strata of the special fiber of a degeneration implies the traditional GW/DT conjecture on the general fiber. Compatibility is a strong constraint, and can be used to calculate logarithmic DT invariants. Several examples are included to illustrate the nature and utility of the formula. △ Less

Submitted 18 January, 2025; v1 submitted 23 November, 2023; originally announced November 2023.

Comments: 90 pages. v2: Minor changes. Final version, to appear in Cambridge Journal of Mathematics

Journal ref: Cambridge Journal of Mathematics, Volume 13 (2025) Number 1, pp. 51-172

Logarithmic Gromov-Witten theory and double ramification cycles

Authors: Dhruv Ranganathan, Ajith Urundolil Kumaran

Abstract: We examine the logarithmic Gromov-Witten cycles of a toric variety relative to its full toric boundary. The cycles are expressed as products of double ramification cycles and natural tautological classes in the logarithmic Chow ring of the moduli space of curves. We introduce a simple new technique that relates the Gromov-Witten cycles of rigid and rubber geometries; the technique is based on a st… ▽ More We examine the logarithmic Gromov-Witten cycles of a toric variety relative to its full toric boundary. The cycles are expressed as products of double ramification cycles and natural tautological classes in the logarithmic Chow ring of the moduli space of curves. We introduce a simple new technique that relates the Gromov-Witten cycles of rigid and rubber geometries; the technique is based on a study of maps to the logarithmic algebraic torus. By combining this with recent work on logarithmic double ramification cycles, we deduce that all logarithmic Gromov-Witten pushforwards, for maps to a toric variety relative to its full toric boundary, lie in the tautological ring of the moduli space of curves. A feature of the approach is that it avoids the as yet undeveloped logarithmic virtual localization formula, instead relying directly on piecewise polynomial functions to capture the structure that would be provided by such a formula. The results give a common generalization of work of Faber-Pandharipande, and more recent work of Holmes-Schwarz and Molcho-Ranganathan. The proof passes through general structure results on the space of stable maps to the logarithmic algebraic torus, which may be of independent interest. △ Less

Submitted 7 December, 2023; v1 submitted 21 December, 2022; originally announced December 2022.

Comments: 37 pages. v3: minor changes. Final version to appear in Journal für die reine und angewandte Mathematik

MSC Class: 14N35; 14A21

Counting tropical curves in $\mathbb{P}^1\times\mathbb{P}^1$: computation & polynomiality properties

Authors: Daniel Corey, Hannah Markwig, Dhruv Ranganathan

Abstract: Counts of curves in $\mathbb{P}^1\times\mathbb{P}^1$ with fixed contact order with the toric boundary and satisfying point conditions can be determined with tropical methods by Mikhalkin. If we require that our curves intersect the zero- and infinity-section only in points of contact order $1$, but allow arbitrary contact order for the zero- and infinity-fiber, the corresponding numbers reveal bea… ▽ More Counts of curves in $\mathbb{P}^1\times\mathbb{P}^1$ with fixed contact order with the toric boundary and satisfying point conditions can be determined with tropical methods by Mikhalkin. If we require that our curves intersect the zero- and infinity-section only in points of contact order $1$, but allow arbitrary contact order for the zero- and infinity-fiber, the corresponding numbers reveal beautiful structural properties such as piecewise polynomiality, similar to the case of double Hurwitz numbers counting covers of $\mathbb{P}^1$ with special ramification profiles over zero and infinity by Ardila and Brugallé. This result was obtained using the floor diagram method to count tropical curves. Here, we expand the tropical tools to determine counts of curves in $\mathbb{P}^1\times\mathbb{P}^1$. We provide a computational tool (building on Polymake by Gawrilow and Joswig) that determines such numbers of tropical curves for any genus and any contact orders via a straightforward generalization of Mikhalkin's lattice path algorithm. The tool can also be used for other toric surfaces. To enable efficient computations also by hand, we introduce a new counting tool (for the case of rational curves with transverse contacts with the infinity section) which can be seen as a combination of the floor diagram and the lattice path approach: subfloor diagrams. We use both our computational tool and the subfloor diagrams for experiments revealing structural properties of these counts. We obtain first results on the (piecewise) polynomial structure of counts of rational curves in $\mathbb{P}^1\times\mathbb{P}^1$ with arbitrary contact orders on the zero- and infinity-fiber and restricted choices for the contact orders on the zero- and infinity-section. △ Less

Submitted 21 December, 2022; originally announced December 2022.

Comments: 31 pages, 17 figures

MSC Class: 14T90 (primary); 14N10; 14M25; 05E14 (secondary)

Pluricanonical cycles and tropical covers

Authors: Renzo Cavalieri, Hannah Markwig, Dhruv Ranganathan

Abstract: We extract a system of numerical invariants from logarithmic intersection theory on pluricanonical double ramification cycles, and show that these invariants exhibit a number of properties that are enjoyed by double Hurwitz numbers. Among their properties are (i) the numbers can be efficiently calculated by counts of tropical curves with a modified balancing condition, (ii) they are piecewise poly… ▽ More We extract a system of numerical invariants from logarithmic intersection theory on pluricanonical double ramification cycles, and show that these invariants exhibit a number of properties that are enjoyed by double Hurwitz numbers. Among their properties are (i) the numbers can be efficiently calculated by counts of tropical curves with a modified balancing condition, (ii) they are piecewise polynomial in the entries of the ramification vector, and (iii) they are matrix elements of operators on the Fock space. The numbers are extracted from the logarithmic double ramification cycle, which is a lift of the standard double ramification cycle to a blowup of the moduli space of curves. The blowup is determined by tropical geometry. We show that the traditional double Hurwitz numbers are intersections of the refined cycle with the cohomology class of a piecewise polynomial function on the tropical moduli space of curves. This perspective then admits a natural, combinatorially motivated, generalization to the pluricanonical setting. Tropical correspondence results for the new invariants lead immediately to the structural results for these numbers. △ Less

Submitted 8 May, 2025; v1 submitted 28 June, 2022; originally announced June 2022.

Comments: 41 pages, 14 figures. v4: Corrects a gap in the published version of the article. See introduction and Section 4.1 for details

Gromov-Witten theory via roots and logarithms

Authors: Luca Battistella, Navid Nabijou, Dhruv Ranganathan

Abstract: Orbifold and logarithmic structures provide independent routes to the virtual enumeration of curves with tangency orders for a simple normal crossings pair $(X|D)$. The theories do not coincide and their relationship has remained mysterious. We prove that the genus zero orbifold theories of multi-root stacks of strata blowups of $(X|D)$ converge to the corresponding logarithmic theory of $(X|D)$.… ▽ More Orbifold and logarithmic structures provide independent routes to the virtual enumeration of curves with tangency orders for a simple normal crossings pair $(X|D)$. The theories do not coincide and their relationship has remained mysterious. We prove that the genus zero orbifold theories of multi-root stacks of strata blowups of $(X|D)$ converge to the corresponding logarithmic theory of $(X|D)$. With fixed numerical data, there is an explicit combinatorial criterion that guarantees when a blowup is sufficiently refined for the theories to coincide. There are two key ideas in the proof. The first is the construction of a naive Gromov-Witten theory, which serves as an intermediary between roots and logarithms. The second is a smoothing theorem for tropical stable maps; the geometric theorem then follows via virtual intersection theory relative to the universal target. The results import new computational tools into logarithmic Gromov-Witten theory. As an application, we show that the genus zero logarithmic Gromov-Witten theory of a pair is determined by the absolute Gromov-Witten theories of its strata. △ Less

Submitted 29 June, 2023; v1 submitted 31 March, 2022; originally announced March 2022.

Comments: 37 pages. v4: An incorrect file was uploaded in the v3. Final version to appear in Geometry & Topology

MSC Class: 14N35; 14A21

Gromov-Witten theory and invariants of matroids

Authors: Dhruv Ranganathan, Jeremy Usatine

Abstract: We use techniques from Gromov-Witten theory to construct new invariants of matroids taking value in the Chow groups of spaces of rational curves in the permutohedral toric variety. When the matroid is realizable by a complex hyperplane arrangement, our invariants coincide with virtual fundamental classes used to define the logarithmic Gromov-Witten theory of wonderful models of arrangement complem… ▽ More We use techniques from Gromov-Witten theory to construct new invariants of matroids taking value in the Chow groups of spaces of rational curves in the permutohedral toric variety. When the matroid is realizable by a complex hyperplane arrangement, our invariants coincide with virtual fundamental classes used to define the logarithmic Gromov-Witten theory of wonderful models of arrangement complements, for any logarithmic structure supported on the wonderful boundary. When the boundary is empty, this implies that the quantum cohomology ring of a hyperplane arrangement's wonderful model is a combinatorial invariant, i.e., it depends only on the matroid. When the boundary divisor is maximal, we use toric intersection theory to convert the virtual fundamental class into a balanced weighted fan in a vector space, having the expected dimension. We explain how the associated Gromov-Witten theory is completely encoded by intersections with this weighted fan. We include a number of questions whose positive answers would lead to a well-defined Gromov-Witten theory of non-realizable matroids. △ Less

Submitted 2 May, 2022; v1 submitted 19 August, 2021; originally announced August 2021.

Comments: 23 pages. v2: Minor changes. Final version to appear in Selecta Mathematica

A case study of intersections on blowups of the moduli of curves

Authors: Sam Molcho, Dhruv Ranganathan

Abstract: We explain how logarithmic structures select principal components in an intersection of schemes. These manifest in Chow homology and can be understood using strict transforms under logarithmic blowups. Our motivation comes from Gromov--Witten theory. The \textit{toric contact cycles} in the moduli space of curves parameterize curves that admit a map to a fixed toric variety with prescribed contact… ▽ More We explain how logarithmic structures select principal components in an intersection of schemes. These manifest in Chow homology and can be understood using strict transforms under logarithmic blowups. Our motivation comes from Gromov--Witten theory. The \textit{toric contact cycles} in the moduli space of curves parameterize curves that admit a map to a fixed toric variety with prescribed contact orders. We show that they are intersections of virtual strict transforms of double ramification cycles in blowups of the moduli space of curves. We supply a calculation scheme for the virtual strict transforms, and deduce that toric contact cycles lie in the tautological ring of the moduli space of curves. This is a higher dimensional analogue of a result of Faber--Pandharipande. The operational Chow rings of Artin fans play a basic role, and are shown to be isomorphic to rings of piecewise polynomials on associated cone complexes. The ingredients in our analysis are Fulton's blowup formula, Aluffi's formulas for Segre classes of monomial schemes, piecewise polynomials, and degeneration methods. A model calculation in toric intersection theory is treated without logarithmic methods and may be read independently. △ Less

Submitted 31 October, 2023; v1 submitted 29 June, 2021; originally announced June 2021.

Comments: 45 pages. v3: minor changes. Final version to appear in Algebra and Number Theory

Logarithmic Donaldson-Thomas theory

Authors: Davesh Maulik, Dhruv Ranganathan

Abstract: Let $X$ be a smooth threefold with a simple normal crossings divisor $D$. We construct the Donaldson-Thomas theory of the pair $(X|D)$ enumerating ideal sheaves on $X$ relative to $D$. These moduli spaces are compactified by studying subschemes in expansions of the target geometry, and the moduli space carries a virtual fundamental class leading to numerical invariants with expected properties. We… ▽ More Let $X$ be a smooth threefold with a simple normal crossings divisor $D$. We construct the Donaldson-Thomas theory of the pair $(X|D)$ enumerating ideal sheaves on $X$ relative to $D$. These moduli spaces are compactified by studying subschemes in expansions of the target geometry, and the moduli space carries a virtual fundamental class leading to numerical invariants with expected properties. We formulate punctual evaluation, rationality and wall-crossing conjectures, in parallel with the standard theory. Our formalism specializes to the Li-Wu theory of relative ideal sheaves when the divisor is smooth, and is parallel to recent work on logarithmic Gromov-Witten theory with expansions. △ Less

Submitted 5 January, 2024; v1 submitted 11 June, 2020; originally announced June 2020.

Comments: v4: 71 pages. Expository changes. Final version to appear in Forum of Mathematics, Pi

MSC Class: 14N35; 14A21; 14T90

A note on the cycle of curves in a product of pairs

Authors: Dhruv Ranganathan

Abstract: We prove that the cycle-valued logarithmic Gromov--Witten theory of a product of simple normal crossings pairs $X\times Y$ decomposes into a product of pieces coming from $X$ and $Y$, provided that the decomposition is considered over a blowup of the moduli space of curves. The result is established by applying the toroidal semistable reduction theorem to the stabilization morphism on the stack of… ▽ More We prove that the cycle-valued logarithmic Gromov--Witten theory of a product of simple normal crossings pairs $X\times Y$ decomposes into a product of pieces coming from $X$ and $Y$, provided that the decomposition is considered over a blowup of the moduli space of curves. The result is established by applying the toroidal semistable reduction theorem to the stabilization morphism on the stack of maps to the Artin fans. Since products of smooth pairs are naturally simple normal crossings pairs, the result provides a direct avenue of access to questions in logarithmic Gromov--Witten theory via relative Gromov--Witten theory. △ Less

Submitted 17 September, 2022; v1 submitted 1 October, 2019; originally announced October 2019.

Comments: 14 pages. v2: Minor corrections, various expository improvements, new discussion in Section 2. Comments are welcome

Gromov-Witten theory with maximal contacts

Authors: Navid Nabijou, Dhruv Ranganathan

Abstract: We propose an intersection-theoretic method to reduce questions in genus zero logarithmic Gromov-Witten theory to questions in the Gromov-Witten theory of smooth pairs, in the presence of positivity. The method is applied to the enumerative geometry of rational curves with maximal contact orders along a simple normal crossings divisor and to recent questions about its relationship to local curve c… ▽ More We propose an intersection-theoretic method to reduce questions in genus zero logarithmic Gromov-Witten theory to questions in the Gromov-Witten theory of smooth pairs, in the presence of positivity. The method is applied to the enumerative geometry of rational curves with maximal contact orders along a simple normal crossings divisor and to recent questions about its relationship to local curve counting. Three results are established. We produce counterexamples to the local/logarithmic conjectures of van Garrel-Graber-Ruddat and Tseng-You. We prove that a weak form of the conjecture holds for product geometries. Finally, we explicitly determine the difference between local and logarithmic theories, in terms of relative invariants for which efficient algorithms are known. The polyhedral geometry of the tropical moduli of maps plays an essential and intricate role in the analysis. △ Less

Submitted 1 December, 2021; v1 submitted 13 August, 2019; originally announced August 2019.

Comments: 34 pages, 1 figure. Final version to appear in Forum of Mathematics, Sigma

MSC Class: 14N35; 14H10

Journal ref: Forum of Mathematics, Sigma, vol. 10, e5 (2022)

Curve counting in genus one: elliptic singularities & relative geometry

Authors: Luca Battistella, Navid Nabijou, Dhruv Ranganathan

Abstract: We construct and study the reduced, relative, genus one Gromov--Witten theory of very ample pairs. These invariants form the principal component contribution to relative Gromov--Witten theory in genus one and are relative versions of Zinger's reduced Gromov--Witten invariants. We relate the relative and absolute theories by degeneration of the tangency conditions, and the resulting formulas genera… ▽ More We construct and study the reduced, relative, genus one Gromov--Witten theory of very ample pairs. These invariants form the principal component contribution to relative Gromov--Witten theory in genus one and are relative versions of Zinger's reduced Gromov--Witten invariants. We relate the relative and absolute theories by degeneration of the tangency conditions, and the resulting formulas generalise a well-known recursive calculation scheme put forward by Gathmann in genus zero. The geometric input is a desingularisation of the principal component of the moduli space of genus one logarithmic stable maps to a very ample pair, using the geometry of elliptic singularities. Our study passes through general techniques for calculating integrals on logarithmic blowups of moduli spaces of stable maps, which may be of independent interest. △ Less

Submitted 29 March, 2021; v1 submitted 28 June, 2019; originally announced July 2019.

Comments: 38 pages, 11 figures, comments welcome! v2: exposition improved thanks to the referee's comments. Final version to appear in Algebraic Geometry

MSC Class: 14N35; 14H10

Journal ref: Algebraic Geometry 8 (6) (2021) 637-679

Logarithmic Gromov-Witten theory with expansions

Authors: Dhruv Ranganathan

Abstract: We construct relative Gromov--Witten theory with expanded degenerations in the normal crossings setting and establish a degeneration formula for the resulting invariants. Given a simple normal crossings pair $(X,D)$, we show that there exist proper moduli spaces of curves in $X$ with prescribed boundary conditions along $D$, equipped with virtual classes. Each point in such a moduli space paramete… ▽ More We construct relative Gromov--Witten theory with expanded degenerations in the normal crossings setting and establish a degeneration formula for the resulting invariants. Given a simple normal crossings pair $(X,D)$, we show that there exist proper moduli spaces of curves in $X$ with prescribed boundary conditions along $D$, equipped with virtual classes. Each point in such a moduli space parameterizes a map from a nodal curve to an expanded degeneration of $X$ that is dimensionally transverse to the strata. In the context of maps to a simple normal crossings degeneration, the virtual fundamental class is known to decompose as a sum over tropical maps. We use the expanded formalism to prove the degeneration formula -- we reconstruct the virtual class attached to a tropical map in terms of spaces of maps to expansions attached to the vertices. △ Less

Submitted 2 May, 2022; v1 submitted 21 March, 2019; originally announced March 2019.

Comments: 47 pages, 7 figures. v3: Minor changes. Final version to appear in Algebraic Geometry

MSC Class: 14N35; 14A21; 14T90

Rational curves in the logarithmic multiplicative group

Authors: Dhruv Ranganathan, Jonathan Wise

Abstract: The logarithmic multiplicative group is a proper group object in logarithmic schemes, which morally compactifies the usual multiplicative group. We study the structure of the stacks of logarithmic maps from rational curves to this logarithmic torus, and show that in most cases, it is a product of the logarithmic torus with the space of rational curves. This gives a conceptual explanation for earli… ▽ More The logarithmic multiplicative group is a proper group object in logarithmic schemes, which morally compactifies the usual multiplicative group. We study the structure of the stacks of logarithmic maps from rational curves to this logarithmic torus, and show that in most cases, it is a product of the logarithmic torus with the space of rational curves. This gives a conceptual explanation for earlier results on the moduli spaces of logarithmic stable maps to toric varieties. △ Less

Submitted 15 June, 2019; v1 submitted 24 January, 2019; originally announced January 2019.

Comments: v2: 8 pages, minor changes. Final version to appear in Proceedings of the American Mathematical Society

MSC Class: 14H10; 14T05

Journal ref: Proceedings of the American Mathematical Society, 148 (2020), 103-110

Motivic Hilbert zeta functions of curves are rational

Authors: Dori Bejleri, Dhruv Ranganathan, Ravi Vakil

Abstract: The motivic Hilbert zeta function of a variety is the generating function for classes in the Grothendieck ring of varieties of Hilbert schemes of points of the variety. In this paper, the motivic Hilbert zeta function of a reduced curve is shown to be rational. The motivic Hilbert zeta function of a variety is the generating function for classes in the Grothendieck ring of varieties of Hilbert schemes of points of the variety. In this paper, the motivic Hilbert zeta function of a reduced curve is shown to be rational. △ Less

Submitted 2 May, 2018; v1 submitted 11 October, 2017; originally announced October 2017.

Comments: 16 pages, 2 figures. v2: Minor changes. Final version to appear in the Journal of the Institute of Mathematics of Jussieu

Journal ref: J. Inst. Math. Jussieu 19 (2020) 947-964

Moduli of stable maps in genus one and logarithmic geometry II

Authors: Dhruv Ranganathan, Keli Santos-Parker, Jonathan Wise

Abstract: This is the second in a pair of papers developing a framework to apply logarithmic methods in the study of singular curves of genus $1$. This volume focuses on logarithmic Gromov--Witten theory and tropical geometry. We construct a logarithmically nonsingular moduli space of genus $1$ curves mapping to any toric variety. The space is a birational modification of the principal component of the Abra… ▽ More This is the second in a pair of papers developing a framework to apply logarithmic methods in the study of singular curves of genus $1$. This volume focuses on logarithmic Gromov--Witten theory and tropical geometry. We construct a logarithmically nonsingular moduli space of genus $1$ curves mapping to any toric variety. The space is a birational modification of the principal component of the Abramovich--Chen--Gross--Siebert space of logarithmic stable maps and produces an enumerative genus $1$ curve counting theory. We describe the non-archimedean analytic skeleton of this moduli space and, as a consequence, obtain a full resolution to the tropical realizability problem in genus $1$. △ Less

Submitted 4 July, 2019; v1 submitted 1 September, 2017; originally announced September 2017.

Comments: 36 pages, 5 figures. Final version to appear in Algebra & Number Theory

Journal ref: Alg. Number Th. 13 (2019) 1765-1805

Incidence geometry and universality in the tropical plane

Authors: Milo Brandt, Michelle Jones, Catherine Lee, Dhruv Ranganathan

Abstract: We examine the incidence geometry of lines in the tropical plane. We prove tropical analogs of the Sylvester-Gallai and Motzkin-Rabin theorems in classical incidence geometry. This study leads naturally to a discussion of the realizability of incidence data of tropical lines. Drawing inspiration from the von Staudt constructions and Mnëv's universality theorem, we prove that determining whether a… ▽ More We examine the incidence geometry of lines in the tropical plane. We prove tropical analogs of the Sylvester-Gallai and Motzkin-Rabin theorems in classical incidence geometry. This study leads naturally to a discussion of the realizability of incidence data of tropical lines. Drawing inspiration from the von Staudt constructions and Mnëv's universality theorem, we prove that determining whether a given tropical linear incidence datum is realizable by a tropical line arrangement requires solving an arbitrary linear programming problem over the integers. △ Less

Submitted 13 May, 2018; v1 submitted 1 September, 2017; originally announced September 2017.

Comments: v2: 20 pages, 20 figures. Final version to appear in Journal of Combinatorial Theory, Series A

Journal ref: Journal of Combinatorial Theory, Series A Volume 159, October 2018, Pages 26-53

Topology of tropical moduli of weighted stable curves

Authors: Alois Cerbu, Steffen Marcus, Luke Peilen, Dhruv Ranganathan, Andrew Salmon

Abstract: The moduli space $Δ_{g,w}$ of tropical $w$-weighted stable curves of volume $1$ is naturally identified with the dual complex of the divisor of singular curves in Hassett's spaces of $w$-weighted stable curves. If at least two of the weights are $1$, we prove that $Δ_{0,w}$ is homotopic to a wedge sum of spheres, possibly of varying dimensions. Under additional natural hypotheses on the weight vec… ▽ More The moduli space $Δ_{g,w}$ of tropical $w$-weighted stable curves of volume $1$ is naturally identified with the dual complex of the divisor of singular curves in Hassett's spaces of $w$-weighted stable curves. If at least two of the weights are $1$, we prove that $Δ_{0,w}$ is homotopic to a wedge sum of spheres, possibly of varying dimensions. Under additional natural hypotheses on the weight vector, we establish explicit formulas for the Betti numbers of the spaces. We exhibit infinite families of weights for which the space $Δ_{0,w}$ is disconnected and for which the fundamental group of $Δ_{0,w}$ has torsion. In the latter case, the universal cover is shown to have a natural modular interpretation. This places the weighted variant of the space in stark contrast to the heavy/light cases studied previously by Vogtmann and Cavalieri-Hampe-Markwig-Ranganathan. Finally, we prove a structural result relating the spaces of weighted stable curves in genus $0$ and $1$, and leverage this to extend several of our genus $0$ results to the spaces $Δ_{1,w}$. △ Less

Submitted 1 April, 2019; v1 submitted 18 August, 2017; originally announced August 2017.

Comments: 17 pages, 4 figures. Final version to appear in Advances in Geometry

Moduli of stable maps in genus one and logarithmic geometry I

Authors: Dhruv Ranganathan, Keli Santos-Parker, Jonathan Wise

Abstract: This is the first in a pair of papers developing a framework for the application of logarithmic structures in the study of singular curves of genus $1$. We construct a smooth and proper moduli space dominating the main component of Kontsevich's space of stable genus $1$ maps to projective space. A variation on this theme furnishes a modular interpretation for Vakil and Zinger's famous desingulariz… ▽ More This is the first in a pair of papers developing a framework for the application of logarithmic structures in the study of singular curves of genus $1$. We construct a smooth and proper moduli space dominating the main component of Kontsevich's space of stable genus $1$ maps to projective space. A variation on this theme furnishes a modular interpretation for Vakil and Zinger's famous desingularization of the Kontsevich space of maps in genus $1$. Our methods also lead to smooth and proper moduli spaces of pointed genus $1$ quasimaps to projective space. Finally, we present an application to the log minimal model program for $\mathcal{M}_{1,n}$. We construct explicit factorizations of the rational maps among Smyth's modular compactifications of pointed elliptic curves. △ Less

Submitted 25 March, 2019; v1 submitted 7 August, 2017; originally announced August 2017.

Comments: 37 pages, 4 figures. Final version to appear in Geometry & Topology

Journal ref: Geometry & Topology 23 (2019) 3315-3366

Counting curves on Hirzebruch surfaces: tropical geometry and the Fock space

Authors: Renzo Cavalieri, Paul Johnson, Hannah Markwig, Dhruv Ranganathan

Abstract: We study the stationary descendant Gromov-Witten theory of toric surfaces by combining and extending a range of techniques - tropical curves, floor diagrams, and Fock spaces. A correspondence theorem is established between tropical curves and descendant invariants on toric surfaces using maximal toric degenerations. An intermediate degeneration is then shown to give rise to floor diagrams, giving… ▽ More We study the stationary descendant Gromov-Witten theory of toric surfaces by combining and extending a range of techniques - tropical curves, floor diagrams, and Fock spaces. A correspondence theorem is established between tropical curves and descendant invariants on toric surfaces using maximal toric degenerations. An intermediate degeneration is then shown to give rise to floor diagrams, giving a geometric interpretation of this well-known bookkeeping tool in tropical geometry. In the process, we extend floor diagram techniques to include descendants in arbitrary genus. These floor diagrams are then used to connect tropical curve counting to the algebra of operators on the bosonic Fock space, and are shown to coincide with the Feynman diagrams of appropriate operators. This extends work of a number of researchers, including Block-Göttche, Cooper -Pandharipande, and Block-Gathmann-Markwig. △ Less

Submitted 28 March, 2020; v1 submitted 16 June, 2017; originally announced June 2017.

Comments: v3: 38 pages, 15 figures. Final version to appear in the Mathematical Proceedings of the Cambridge Philosophical Society

Brill-Noether theory for curves of a fixed gonality

Authors: David Jensen, Dhruv Ranganathan

Abstract: We prove a generalization of the Brill-Noether theorem for the variety of special divisors $W^r_d(C)$ on a general curve $C$ of prescribed gonality. Our main theorem gives a closed formula for the dimension of $W^r_d(C)$. We build on previous work of Pflueger, who used an analysis of the tropical divisor theory of special chains of cycles to give upper bounds on the dimensions of Brill--Noether va… ▽ More We prove a generalization of the Brill-Noether theorem for the variety of special divisors $W^r_d(C)$ on a general curve $C$ of prescribed gonality. Our main theorem gives a closed formula for the dimension of $W^r_d(C)$. We build on previous work of Pflueger, who used an analysis of the tropical divisor theory of special chains of cycles to give upper bounds on the dimensions of Brill--Noether varieties on such curves. We prove his conjecture, that this upper bound is achieved for a general curve. Our methods introduce logarithmic stable maps as a systematic tool in Brill-Noether theory. A precise relation between the divisor theory on chains of cycles and the corresponding tropical maps theory is exploited to prove new regeneration theorems for linear series with negative Brill-Noether number. The strategy involves blending an analysis of obstruction theories for logarithmic stable maps with the geometry of Berkovich curves. To show the utility of these methods, we provide a short new derivation of lifting for special divisors on a chain of cycles with generic edge lengths, proved using different techniques by Cartwright, Jensen, and Payne. A crucial technical result is a new realizability theorem for tropical stable maps in obstructed geometries, generalizing a well-known theorem of Speyer on genus one curves to arbitrary genus. △ Less

Submitted 17 November, 2020; v1 submitted 23 January, 2017; originally announced January 2017.

Comments: 35 pages, 10 TikZ figures. v2: Minor corrections. Final version to appear in Forum of Mathematics, Pi

MSC Class: 14H51; 14T05

Journal ref: Forum of Mathematics Pi Vol. 9 (2021), Paper No. e1

Logarithmic Picard groups, chip firing, and the combinatorial rank

Authors: Tyler Foster, Dhruv Ranganathan, Mattia Talpo, Martin Ulirsch

Abstract: Illusie has suggested that one should think of the classifying group of $M_X^{gp}$-torsors on a logarithmically smooth curve $X$ over a standard logarithmic point as a logarithmic analogue of the Picard group of $X$. This logarithmic Picard group arises naturally as a quotient of the algebraic Picard group by lifts of the chip firing relations of the associated dual graph. We connect this perspect… ▽ More Illusie has suggested that one should think of the classifying group of $M_X^{gp}$-torsors on a logarithmically smooth curve $X$ over a standard logarithmic point as a logarithmic analogue of the Picard group of $X$. This logarithmic Picard group arises naturally as a quotient of the algebraic Picard group by lifts of the chip firing relations of the associated dual graph. We connect this perspective to Baker and Norine's theory of ranks of divisors on a finite graph, and to Amini and Baker's metrized complexes of curves. Moreover, we propose a definition of a combinatorial rank for line bundles on $X$ and prove that an analogue of the Riemann-Roch formula holds for our combinatorial rank. Our proof proceeds by carefully describing the relationship between the logarithmic Picard group on a logarithmic curve and the Picard group of the associated metrized complex. This approach suggests a natural categorical framework for metrized complexes, namely the category of logarithmic curves. △ Less

Submitted 26 October, 2017; v1 submitted 30 November, 2016; originally announced November 2016.

Comments: 15 pages, minor changes. Final version to appear in Mathematische Zeitschrift

MSC Class: 14H10; 14T05

Journal ref: Mathematische Zeitschrift, Volume 291, pages 313-327 (2019)

Skeletons of stable maps II: Superabundant geometries

Authors: Dhruv Ranganathan

Abstract: We implement new techniques involving Artin fans to study the realizability of tropical stable maps in superabundant combinatorial types. Our approach is to understand the skeleton of a fundamental object in logarithmic Gromov--Witten theory -- the stack of prestable maps to the Artin fan. This is used to examine the structure of the locus of realizable tropical curves and derive 3 principal conse… ▽ More We implement new techniques involving Artin fans to study the realizability of tropical stable maps in superabundant combinatorial types. Our approach is to understand the skeleton of a fundamental object in logarithmic Gromov--Witten theory -- the stack of prestable maps to the Artin fan. This is used to examine the structure of the locus of realizable tropical curves and derive 3 principal consequences. First, we prove a realizability theorem for limits of families of tropical stable maps. Second, we extend the sufficiency of Speyer's well-spacedness condition to the case of curves with good reduction. Finally, we demonstrate the existence of liftable genus 1 superabundant tropical curves that violate the well-spacedness condition. △ Less

Submitted 24 February, 2017; v1 submitted 22 September, 2016; originally announced September 2016.

Comments: 17 pages, 1 figure. v2 fixes a minor gap in the proof of Theorem D and adds details to the construction of the skeleton of a toroidal Artin stack. Minor clarifications throughout. To appear in Research in the Mathematical Sciences

Journal ref: Research in the Mathematical Science (2017) 4:11

A note on Brill--Noether existence for graphs of low genus

Authors: Stanislav Atanasov, Dhruv Ranganathan

Abstract: In an influential 2008 paper, Baker proposed a number of conjectures relating the divisor theory of algebraic curves with an analogous combinatorial theory on finite graphs. In this note, we examine Baker's Brill--Noether existence conjecture for special divisors. For $g\leq 5$ and $ρ(g,r,d)$ non-negative, every graph of genus $g$ is shown to admit a divisor of rank $r$ and degree at most $d$. Mor… ▽ More In an influential 2008 paper, Baker proposed a number of conjectures relating the divisor theory of algebraic curves with an analogous combinatorial theory on finite graphs. In this note, we examine Baker's Brill--Noether existence conjecture for special divisors. For $g\leq 5$ and $ρ(g,r,d)$ non-negative, every graph of genus $g$ is shown to admit a divisor of rank $r$ and degree at most $d$. Moreover, the conjecture is shown to hold in rank $1$ for a number of families of highly connected combinatorial types of graphs of arbitrarily high genus. In the relevant genera, our arguments give the first combinatorial proof of the Brill--Noether existence theorem for metric graphs, giving a partial answer to a related question of Baker. △ Less

Submitted 3 November, 2016; v1 submitted 7 September, 2016; originally announced September 2016.

Comments: 19 pages, 36 TikZ figures. v2: Minor changes. Final version to appear in the Michigan Mathematical Journal

MSC Class: 14T05

Journal ref: Michigan Mathematical Journal 67 (1) (2018): pp 175-198

A graphical interface for the Gromov--Witten theory of curves

Authors: Renzo Cavalieri, Paul Johnson, Hannah Markwig, Dhruv Ranganathan

Abstract: We explore the explicit relationship between the descendant Gromov--Witten theory of target curves, operators on Fock spaces, and tropical curve counting. We prove a classical/tropical correspondence theorem for descendant invariants and give an algorithm that establishes a tropical Gromov--Witten/Hurwitz equivalence. Tropical curve counting is related to an algebra of operators on the Fock space… ▽ More We explore the explicit relationship between the descendant Gromov--Witten theory of target curves, operators on Fock spaces, and tropical curve counting. We prove a classical/tropical correspondence theorem for descendant invariants and give an algorithm that establishes a tropical Gromov--Witten/Hurwitz equivalence. Tropical curve counting is related to an algebra of operators on the Fock space by means of bosonification. In this manner, tropical geometry provides a convenient "graphical user interface" for Okounkov and Pandharipande's celebrated GW/H correspondence. An important goal of this paper is to spell out the connections between these various perspectives for target dimension 1, as a first step in studying the analogous relationship between logarithmic descendant theory, tropical curve counting, and Fock space formalisms in higher dimensions. △ Less

Submitted 7 December, 2016; v1 submitted 25 April, 2016; originally announced April 2016.

Comments: 26 pages, 7 figures. v2: Minor expository changes. Final version to appear in the Proceedings of the AMS Algebraic Geometry Summer Institute (Salt Lake City, 2015)

Journal ref: Algebraic Geometry: Salt Lake City 2015, Proceedings of Symposia in Pure Mathematics, Part II pp 139-168

Enumerative geometry of elliptic curves on toric surfaces

Authors: Yoav Len, Dhruv Ranganathan

Abstract: We establish the equality of classical and tropical curve counts for elliptic curves on toric surfaces with fixed $j$-invariant, refining results of Mikhalkin and Nishinou--Siebert. As an application, we determine a formula for such counts on $\mathbb P^2$ and all Hirzebruch surfaces. This formula relates the count of elliptic curves with the number of rational curves on the surface satisfying a s… ▽ More We establish the equality of classical and tropical curve counts for elliptic curves on toric surfaces with fixed $j$-invariant, refining results of Mikhalkin and Nishinou--Siebert. As an application, we determine a formula for such counts on $\mathbb P^2$ and all Hirzebruch surfaces. This formula relates the count of elliptic curves with the number of rational curves on the surface satisfying a small number of tangency conditions with the toric boundary. Furthermore, the combinatorial tropical multiplicities of Kerber and Markwig for counts in $\mathbb P^2$ are derived and explained algebro-geometrically, using Berkovich geometry and logarithmic Gromov--Witten theory. As a consequence, a new proof of Pandharipande's formula for counts of elliptic curves in $\mathbb P^2$ with fixed $j$-invariant is obtained. △ Less

Submitted 26 June, 2017; v1 submitted 28 October, 2015; originally announced October 2015.

Comments: v3: 23 pages, 11 TikZ figures. Several details added to clarify Section 3, other minor changes. To appear in the Israel Journal of Mathematics

Journal ref: Israel Journal of Mathematics, June 2018, Volume 226, Issue 1, pp 351-385

Degenerations of toric varieties over valuation rings

Authors: Tyler Foster, Dhruv Ranganathan

Abstract: We develop a theory of multi-stage degenerations of toric varieties over finite rank valuation rings, extending the Mumford--Gubler theory in rank one. Such degenerations are constructed from fan-like structures over totally ordered abelian groups of finite rank. Our main theorem describes the geometry of successive special fibers in the degeneration in terms of the polyhedral geometry of a system… ▽ More We develop a theory of multi-stage degenerations of toric varieties over finite rank valuation rings, extending the Mumford--Gubler theory in rank one. Such degenerations are constructed from fan-like structures over totally ordered abelian groups of finite rank. Our main theorem describes the geometry of successive special fibers in the degeneration in terms of the polyhedral geometry of a system of recession complexes associated to the fan. △ Less

Submitted 2 July, 2016; v1 submitted 17 August, 2015; originally announced August 2015.

Comments: 13 pages. v3: Added Example 4.1.8 and new references. To appear in Bulletin of the London Mathematical Society

Journal ref: Bulletin of the London Mathematical Society (2016) 48 (5): 835-847

Skeletons of stable maps I: Rational curves in toric varieties

Authors: Dhruv Ranganathan

Abstract: We study the Berkovich analytification of the space of genus $0$ logarithmic stable maps to a toric variety $X$ and present applications to both algebraic and tropical geometry. On algebraic side, insights from tropical geometry give two new geometric descriptions of this space of maps -- (1) as an explicit toroidal modification of $\overline M_{0,n}\times X$ and (2) as a tropical compactification… ▽ More We study the Berkovich analytification of the space of genus $0$ logarithmic stable maps to a toric variety $X$ and present applications to both algebraic and tropical geometry. On algebraic side, insights from tropical geometry give two new geometric descriptions of this space of maps -- (1) as an explicit toroidal modification of $\overline M_{0,n}\times X$ and (2) as a tropical compactification in a toric variety. On the combinatorial side, we prove that the tropicalization of the space of genus $0$ logarithmic stable maps coincides with the space of tropical stable maps, giving a large new collection of examples of faithful tropicalizations for moduli. Moreover, we identify the optimal settings in which the tropicalization of the moduli space of maps is faithful. The Nishinou--Siebert correspondence theorem is shown to be a consequence of this geometric connection between the algebraic and tropical moduli spaces. △ Less

Submitted 17 January, 2017; v1 submitted 11 June, 2015; originally announced June 2015.

Comments: 28 pages, 5 TikZ figures. Final version to appear in Journal of the London Mathematical Society

Journal ref: Journal of the London Mathematical Society (2017) Vol. 95 Issue 3 804-832

Superabundant curves and the Artin fan

Authors: Dhruv Ranganathan

Abstract: We prove that every balanced 1-dimensional polyhedral complex arises as the tropicalization of a smooth curve over a non-Archimedean field mapping to a toric Artin fan, namely the quotient of a toric variety by its dense torus. We prove that every balanced 1-dimensional polyhedral complex arises as the tropicalization of a smooth curve over a non-Archimedean field mapping to a toric Artin fan, namely the quotient of a toric variety by its dense torus. △ Less

Submitted 16 March, 2016; v1 submitted 30 April, 2015; originally announced April 2015.

Comments: 9 pages, 1 figure. v2: Restructured proof of Main Theorem. Other minor changes. To appear in Int. Math. Res. Not

MSC Class: 14T05

Journal ref: International Mathematics Research Notices (2017) 2017 (4): 1103-1115

Hahn analytification and connectivity of higher rank tropical varieties

Authors: Tyler Foster, Dhruv Ranganathan

Abstract: We show that the tropicalization of a connected variety over a higher rank valued field is a path connected topological space. This establishes an affirmative answer to a question posed by Banerjee. Higher rank tropical varieties are studied as the images of "Hahn analytifications", introduced in this paper. A Hahn analytification is a space of valuations on a scheme over a higher rank valued fiel… ▽ More We show that the tropicalization of a connected variety over a higher rank valued field is a path connected topological space. This establishes an affirmative answer to a question posed by Banerjee. Higher rank tropical varieties are studied as the images of "Hahn analytifications", introduced in this paper. A Hahn analytification is a space of valuations on a scheme over a higher rank valued field. We prove that the Hahn analytification is related to higher rank tropicalization by means of an inverse limit theorem, extending well-known results in the non-Archimedean case. We also establish comparison results between the Hahn analytification and the Huber and Berkovich analytifications, as well as the Hrushovski-Loeser stable completion. △ Less

Submitted 15 March, 2016; v1 submitted 27 April, 2015; originally announced April 2015.

Comments: v2: 19 pages, 1 figure. Minor changes and corrections. To appear in manuscripta mathematica

Journal ref: Manuscripta Mathematica (2016) Volume 151, Issue 3, pp 353-374

Toric graph associahedra and compactifications of $M_{0,n}$

Authors: Rodrigo Ferreira da Rosa, David Jensen, Dhruv Ranganathan

Abstract: To any graph $G$ one can associate a toric variety $X(\mathcal{P}G)$, obtained as a blowup of projective space along coordinate subspaces corresponding to connected subgraphs of $G$. The polytope of this toric variety is the graph associahedron of $G$, a class of polytopes that includes the permutohedron, associahedron, and stellahedron. We show that the space $X(\mathcal{P}{G})$ is isomorphic to… ▽ More To any graph $G$ one can associate a toric variety $X(\mathcal{P}G)$, obtained as a blowup of projective space along coordinate subspaces corresponding to connected subgraphs of $G$. The polytope of this toric variety is the graph associahedron of $G$, a class of polytopes that includes the permutohedron, associahedron, and stellahedron. We show that the space $X(\mathcal{P}{G})$ is isomorphic to a Hassett compactification of $M_{0,n}$ precisely when $G$ is an iterated cone over a discrete set. This may be viewed as a generalization of the well-known fact that the Losev--Manin moduli space is isomorphic to the toric variety associated to the permutohedron. △ Less

Submitted 13 August, 2015; v1 submitted 3 November, 2014; originally announced November 2014.

Comments: 11 pages, 4 figures. Final Version: Minor clarifications. To appear in Journal of Algebraic Combinatorics

Journal ref: Journal of Algebraic Combinatorics (2016) Vol. 43 Issue 1 pp 139-151

Realization of groups with pairing as Jacobians of finite graphs

Authors: Louis Gaudet, David Jensen, Dhruv Ranganathan, Nicholas Wawrykow, Theodore Weisman

Abstract: We study which groups with pairing can occur as the Jacobian of a finite graph. We provide explicit constructions of graphs whose Jacobian realizes a large fraction of odd groups with a given pairing. Conditional on the generalized Riemann hypothesis, these constructions yield all groups with pairing of odd order, and unconditionally, they yield all groups with pairing whose prime factors are suff… ▽ More We study which groups with pairing can occur as the Jacobian of a finite graph. We provide explicit constructions of graphs whose Jacobian realizes a large fraction of odd groups with a given pairing. Conditional on the generalized Riemann hypothesis, these constructions yield all groups with pairing of odd order, and unconditionally, they yield all groups with pairing whose prime factors are sufficiently large. For groups with pairing of even order, we provide a partial answer to this question, for a certain restricted class of pairings. Finally, we explore which finite abelian groups occur as the Jacobian of a simple graph. There exist infinite families of finite abelian groups that do not occur as the Jacobians of simple graphs. △ Less

Submitted 18 September, 2017; v1 submitted 19 October, 2014; originally announced October 2014.

Comments: 18 pages, 8 TikZ figures. v2: Main results strengthened. Final version to appear in the Annals of Combinatorics

Journal ref: Annals of Combinatorics, December 2018, Volume 22, Issue 4, pp 781-801

Tropical compactification and the Gromov--Witten theory of $\mathbb{P}^1$

Authors: Renzo Cavalieri, Hannah Markwig, Dhruv Ranganathan

Abstract: We use tropical and nonarchimedean geometry to study the moduli space of genus $0$ stable maps to $\mathbb{P}^1$ relative to two points. This space is exhibited as a tropical compactification in a toric variety. Moreover, the fan of this toric variety may be interpreted as a moduli space for tropical relative stable maps with the same discrete data. As a consequence, we confirm an expectation of B… ▽ More We use tropical and nonarchimedean geometry to study the moduli space of genus $0$ stable maps to $\mathbb{P}^1$ relative to two points. This space is exhibited as a tropical compactification in a toric variety. Moreover, the fan of this toric variety may be interpreted as a moduli space for tropical relative stable maps with the same discrete data. As a consequence, we confirm an expectation of Bertram and the first two authors, that the tropical Hurwitz cycles are tropicalizations of classical Hurwitz cycles. As a second application, we obtain a full descendant correspondence for genus $0$ relative invariants of $\mathbb{P}^1$. △ Less

Submitted 23 August, 2016; v1 submitted 10 October, 2014; originally announced October 2014.

Comments: 29 pages, 7 TikZ figures. v2: Minor revisions. To appear in Selecta Mathematica

Journal ref: Selecta Mathematica (2017) Vol. 23 Issue 2 pp 1027-1060

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

Tropicalizing the space of admissible covers

Authors: Renzo Cavalieri, Hannah Markwig, Dhruv Ranganathan

Abstract: We study the relationship between tropical and classical Hurwitz moduli spaces. Following recent work of Abramovich, Caporaso and Payne, we outline a tropicalization for the moduli space of generalized Hurwitz covers of an arbitrary genus curve. Our approach is to appeal to the geometry of admissible covers, which compactify the Hurwitz scheme. We define and construct a moduli space of tropical ad… ▽ More We study the relationship between tropical and classical Hurwitz moduli spaces. Following recent work of Abramovich, Caporaso and Payne, we outline a tropicalization for the moduli space of generalized Hurwitz covers of an arbitrary genus curve. Our approach is to appeal to the geometry of admissible covers, which compactify the Hurwitz scheme. We define and construct a moduli space of tropical admissible covers, and study its relationship with the skeleton of the Berkovich analytification of the classical space of admissible covers. We use techniques from non-archimedean geometry to show that the tropical and classical tautological maps are compatible via tropicalization, and that the degree of the classical branch map can be recovered from the tropical side. As a consequence, we obtain a proof, at the level of moduli spaces, of the equality of classical and tropical Hurwitz numbers. △ Less

Submitted 25 June, 2015; v1 submitted 18 January, 2014; originally announced January 2014.

Comments: 34 pages, 12 TikZ figures. v3: An error in the references has been corrected. To appear in Mathematische Annalen

Journal ref: Mathematische Annalen, Volume 364, Issue 3, April 2016, pp 1275-1313

Brill-Noether Theory of Maximally Symmetric Graphs

Authors: Timothy Leake, Dhruv Ranganathan

Abstract: We analyze the Brill-Noether theory of trivalent graphs and multigraphs having largest possible automorphism group in a fixed genus. For trivalent multigraphs with loops of genus at least 3, we show that there exists a graph with maximal automorphism group which is Brill-Noether special. We prove similar results for multigraphs without loops of genus at least 6, as well as simple graphs of genus a… ▽ More We analyze the Brill-Noether theory of trivalent graphs and multigraphs having largest possible automorphism group in a fixed genus. For trivalent multigraphs with loops of genus at least 3, we show that there exists a graph with maximal automorphism group which is Brill-Noether special. We prove similar results for multigraphs without loops of genus at least 6, as well as simple graphs of genus at least 7. This analysis yields counterexamples, in any sufficiently large genus, to a conjecture of Caporaso. △ Less

Submitted 17 December, 2014; v1 submitted 29 July, 2013; originally announced July 2013.

Comments: 15 pages, 9 figures, v2: minor corrections and improved exposition. To appear in European Journal of Combinatorics

Journal ref: European Journal of Combinatorics, Volume 46, May 2015, Pages 115-125

Gromov-Witten Theory of P^1xP^1xP^1

Authors: Dagan Karp, Dhruv Ranganathan

Abstract: We use elementary geometric techniques to exhibit an explicit equivalence between certain sectors of the Gromov-Witten theories of blowups of P^1xP^1xP^1 and P^3. In particular, we prove that the all genus, virtual dimension zero Gromov-Witten theory of the blowup of P^3 at points coincides with that of the blowup at points of P^1xP^1xP^1, for non-exceptional classes. We observe a toric symmetry o… ▽ More We use elementary geometric techniques to exhibit an explicit equivalence between certain sectors of the Gromov-Witten theories of blowups of P^1xP^1xP^1 and P^3. In particular, we prove that the all genus, virtual dimension zero Gromov-Witten theory of the blowup of P^3 at points coincides with that of the blowup at points of P^1xP^1xP^1, for non-exceptional classes. We observe a toric symmetry of the Gromov-Witten theory of P^1xP^1xP^1 analogous and intimately related to Cremona symmetry of P^3. Enumerative applications are given. △ Less

Submitted 30 January, 2016; v1 submitted 20 January, 2012; originally announced January 2012.

Comments: v3: 9 pages. Introduction has been rewritten. Several expository improvements throughout. To appear in Journal of Pure and Applied Algebra

Journal ref: Journal of Pure and Applied Algebra, Volume 220, Issue 8, August 2016, Pages 3000-3009

Toric Symmetry of CP^3

Authors: Dagan Karp, Dhruv Ranganathan, Paul Riggins, Ursula Whitcher

Abstract: We exhaustively analyze the toric symmetries of CP^3 and its toric blowups. Our motivation is to study toric symmetry as a computational technique in Gromov-Witten theory and Donaldson-Thomas theory. We identify all nontrivial toric symmetries. The induced nontrivial isomorphisms lift and provide new symmetries at the level of Gromov-Witten Theory and Donaldson-Thomas Theory. The polytopes of the… ▽ More We exhaustively analyze the toric symmetries of CP^3 and its toric blowups. Our motivation is to study toric symmetry as a computational technique in Gromov-Witten theory and Donaldson-Thomas theory. We identify all nontrivial toric symmetries. The induced nontrivial isomorphisms lift and provide new symmetries at the level of Gromov-Witten Theory and Donaldson-Thomas Theory. The polytopes of the toric varieties in question include the permutohedron, the cyclohedron, the associahedron, and in fact all graph associahedra, among others. △ Less

Submitted 23 September, 2011; originally announced September 2011.

Comments: 20 pages, many figures. Comments welcome!

Journal ref: Advances in Theoretical and Mathematical Physics, Vol. 16, No. 4, 2012

Properties of a Polarization based Phase Operator

Authors: Chandra Prajapati, D. Ranganathan

Abstract: We define a Hermitian phase operator for zero mass spin one particles (photons) by taking account polarization. The Hilbert space includes the positive helicity states and negative helicity states with opposite circular polarization. We define an operator which corresponds to the physical process of reversing the sense of polarization and acts as a bridge between positive helicity states and negat… ▽ More We define a Hermitian phase operator for zero mass spin one particles (photons) by taking account polarization. The Hilbert space includes the positive helicity states and negative helicity states with opposite circular polarization. We define an operator which corresponds to the physical process of reversing the sense of polarization and acts as a bridge between positive helicity states and negative helicity states. The exponential phase operator obtained using the entire set is unitary and acts as ladder operator over all the states. The phase operator derived from this exponential operator satisfies the canonical commutation relations with the number operator. We have calculated the density matrix and the phase probability distribution of various states like coherent states, squeezed states and thermal states, to illustrate the utility of our operator. △ Less

Submitted 21 June, 2011; originally announced June 2011.

Comments: 11 pages, 6 figures

A phase operator for photons

Authors: Chandra Prajapati, D. Ranganathan

Abstract: We define a unitary phase operator for photons in a single momentum mode. The operator acts on a Hilbert space with basis consisting of all number states in both polarizations. The Susskind Glogower operator, ${\hat{E}} = e^{i \hatφ}$, thus defined is unitary and acts as a true ladder operator over all the states. It satisfies the commutation relation $[{\hat{E}}, {\hat{n}}] = {\hat{E}}$; conseque… ▽ More We define a unitary phase operator for photons in a single momentum mode. The operator acts on a Hilbert space with basis consisting of all number states in both polarizations. The Susskind Glogower operator, ${\hat{E}} = e^{i \hatφ}$, thus defined is unitary and acts as a true ladder operator over all the states. It satisfies the commutation relation $[{\hat{E}}, {\hat{n}}] = {\hat{E}}$; consequently, the phase $\hatφ$ satisfies the canonical commutation relation $[{\hat{n}}, {\hatφ}] = i$. The eigenstates of the Susskind Glogower operator are found. Our model is able to directly account for phase measurements when polarization changes cannot be neglected and at the same time gives a well defined phase operator. △ Less

Submitted 13 May, 2011; originally announced May 2011.

Exact solutions to the Chandrasekhar Page angular equation

Authors: D. Ranganathan

Abstract: Exact solutions are found for the Chandrasekhar Page angular equation which results when the Dirac equation in a Kerr Newman space time is separated into its radial and angular parts. The solutions turn out to be remarkably simple in form while satisfying the asymptotic conditions deduced earlier. The eigenvalues are found to be the square root of the total angular momentum as first found by Dir… ▽ More Exact solutions are found for the Chandrasekhar Page angular equation which results when the Dirac equation in a Kerr Newman space time is separated into its radial and angular parts. The solutions turn out to be remarkably simple in form while satisfying the asymptotic conditions deduced earlier. The eigenvalues are found to be the square root of the total angular momentum as first found by Dirac for flat space; supplemented by a term which is the product of the mass of the Dirac particle times the specific angular momentum of the black hole. The additional contribution is what is expected from frame dragging. △ Less

Submitted 22 January, 2006; v1 submitted 16 January, 2006; originally announced January 2006.

Comments: Tyos corrected, Revtex, 6 pages

A self consistent solution to the Einstein Maxwell Dirac Equations

Authors: D. Ranganathan

Abstract: A self consistent solution to Dirac equation in a Kerr Newman space-time with $M^2 > a^2 + Q^2$ is presented for the case when the Dirac particle is the source of the curvature and the electromagnetic field. The solution is localised, continuous everywhere and valid only for a special choice of the parameters appearing in the Dirac equation. A self consistent solution to Dirac equation in a Kerr Newman space-time with $M^2 > a^2 + Q^2$ is presented for the case when the Dirac particle is the source of the curvature and the electromagnetic field. The solution is localised, continuous everywhere and valid only for a special choice of the parameters appearing in the Dirac equation. △ Less

Submitted 20 June, 2003; v1 submitted 19 June, 2003; originally announced June 2003.

Comments: Revtex4, 5 pages. Corrected typos