Showing 1–18 of 18 results for author: Corey, D

Tropical Abel-Jacobi theory

Authors: Omid Amini, Daniel Corey, Leonid Monin

Abstract: To a compact tropical variety of arbitrary dimension, we associate a collection of intermediate Jacobians defined in terms of tropical homology and tropical monodromy. We then develop an Abel-Jacobi theory in the tropical setting by defining functorial Abel-Jacobi maps. We introduce, in particular, tropical Albanese varieties and formulate obstructions to algebraic equivalence of tropical cycles.… ▽ More To a compact tropical variety of arbitrary dimension, we associate a collection of intermediate Jacobians defined in terms of tropical homology and tropical monodromy. We then develop an Abel-Jacobi theory in the tropical setting by defining functorial Abel-Jacobi maps. We introduce, in particular, tropical Albanese varieties and formulate obstructions to algebraic equivalence of tropical cycles. In dimension 1, we show that this recovers the existing Abel-Jacobi theory for tropical curves. As an application, we consider the Ceresa class of a tropical curve which is defined as the image of the Ceresa cycle in an appropriate intermediate Jacobian under the Abel-Jacobi map. We give an explicit formula for this class entirely in terms of the combinatorics of the tropical curve. △ Less

Submitted 19 April, 2025; originally announced April 2025.

Comments: 44 pages, 6 figures

MSC Class: Primary: 14T10; 14T20; Secondary: 05C25; 05E14; 14C25; 14H40

Regular subdivisions, bounds on initial ideals, and categorical limits

Authors: George Balla, Daniel Corey, Igor Makhlin, Victoria Schleis

Abstract: Several known constructions relate initial degenerations of projective toric varieties and Grassmannians to regular subdivisions of appropriate point configurations. We define a general framework which allows for partial generalizations of these constructions to arbitrary projective schemes (as well as their very affine parts). We associate a point configuration $A$ with any homogeneous ideal $I$.… ▽ More Several known constructions relate initial degenerations of projective toric varieties and Grassmannians to regular subdivisions of appropriate point configurations. We define a general framework which allows for partial generalizations of these constructions to arbitrary projective schemes (as well as their very affine parts). We associate a point configuration $A$ with any homogeneous ideal $I$. We obtain upper and lower bounds on every initial ideal of $I$, defining them in terms of the regular subdivision of $A$ given by the same weight. Furthermore, both bounds are interpreted categorically via (co)limits over the face poset of the subdivision. We also investigate when these bounds are exact, showing that the respective weights form a subfan in the secondary fan of $A$. △ Less

Submitted 19 May, 2025; v1 submitted 19 November, 2024; originally announced November 2024.

Comments: First full version of the paper

Quantum automorphisms of matroids

Authors: Daniel Corey, Michael Joswig, Julien Schanz, Marcel Wack, Moritz Weber

Abstract: Motivated by the vast literature of quantum automorphism groups of graphs, we define and study quantum automorphism groups of matroids. A key feature of quantum groups is that there are many quantizations of a classical group, and this phenomenon manifests in the cryptomorphic characterizations of matroids. Our primary goals are to understand, using theoretical and computational techniques, the re… ▽ More Motivated by the vast literature of quantum automorphism groups of graphs, we define and study quantum automorphism groups of matroids. A key feature of quantum groups is that there are many quantizations of a classical group, and this phenomenon manifests in the cryptomorphic characterizations of matroids. Our primary goals are to understand, using theoretical and computational techniques, the relationship between these quantum groups and to find when these quantum groups exhibit quantum symmetry. Finally, we prove a matroidal analog of Lovász's theorem characterizing graph isomorphisms in terms of homomorphism counts. △ Less

Submitted 20 December, 2023; originally announced December 2023.

Comments: 22 pages, 1 figure, 6 tables

MSC Class: 16T30 (primary); 05B35; 05E16; 16-04 (secondary)

Matroids in OSCAR

Authors: Daniel Corey, Lukas Kühne, Benjamin Schröter

Abstract: OSCAR is an innovative new computer algebra system which combines and extends the power of its four cornerstone systems - GAP (group theory), Singular (algebra and algebraic geometry), Polymake (polyhedral geometry), and Antic (number theory). Here, we present parts of the module handeling matroids in OSCAR, which will appear as a chapter of the upcoming OSCAR book. A matroid is a fundamental and… ▽ More OSCAR is an innovative new computer algebra system which combines and extends the power of its four cornerstone systems - GAP (group theory), Singular (algebra and algebraic geometry), Polymake (polyhedral geometry), and Antic (number theory). Here, we present parts of the module handeling matroids in OSCAR, which will appear as a chapter of the upcoming OSCAR book. A matroid is a fundamental and actively studied object in combinatorics. Matroids generalize linear dependency in vector spaces as well as many aspects of graph theory. Moreover, matroids form a cornerstone of tropical geometry and a deep link between algebraic geometry and combinatorics. Our focus lies in particular on computing the realization space and the Chow ring of a matroid. △ Less

Submitted 15 November, 2023; originally announced November 2023.

Comments: 13 pages, 1 figure

MSC Class: 05-04 (05-02; 05E14)

Journal ref: Chapter in the book "The Computer Algebra System OSCAR. Algorithms and Computation in Mathematics", 2-2025

Singular matroid realization spaces

Authors: Daniel Corey, Dante Luber

Abstract: We study smoothness of realization spaces of matroids for small rank and ground set. For $\mathbb{C}$-realizable matroids, when the rank is $3$, we prove that the realization spaces are all smooth when the ground set has $11$ or fewer elements, and there are singular realization spaces for $12$ and greater elements. For rank $4$ and $9$ or fewer elements, we prove that these realization spaces are… ▽ More We study smoothness of realization spaces of matroids for small rank and ground set. For $\mathbb{C}$-realizable matroids, when the rank is $3$, we prove that the realization spaces are all smooth when the ground set has $11$ or fewer elements, and there are singular realization spaces for $12$ and greater elements. For rank $4$ and $9$ or fewer elements, we prove that these realization spaces are smooth. As an application, we prove that $\text{Gr}^{\circ}(3,n;\mathbb{C})$ -- the locus of the Grassmannian where all Plücker coordinates are nonzero -- is not schön for $n\geq 12$. △ Less

Submitted 14 March, 2025; v1 submitted 21 July, 2023; originally announced July 2023.

Comments: Resubmission following feedback and acceptance for publication by Annali della Scuola Normale Superiore di Pisa, Classe di Scienze

MSC Class: 14B05 (primary) 05E14; 14T90; 52B40 (secondary)

The virtual Euler characteristic for binary matroids

Authors: Madeline Brandt, Juliette Bruce, Daniel Corey

Abstract: Inspired by Kontsevich's graphic orbifold Euler characteristic we define a virtual Euler characteristic for any finite set of isomorphism classes of matroids of rank $r$. Our main result provides a simple formula for the virtual Euler characteristic for the set of isomorphism classes of matroids of rank $r$ realizable over $\mathbb{F}_2$ (i.e., binary matroids). We prove this formula by relating t… ▽ More Inspired by Kontsevich's graphic orbifold Euler characteristic we define a virtual Euler characteristic for any finite set of isomorphism classes of matroids of rank $r$. Our main result provides a simple formula for the virtual Euler characteristic for the set of isomorphism classes of matroids of rank $r$ realizable over $\mathbb{F}_2$ (i.e., binary matroids). We prove this formula by relating the virtual Euler characteristic for binary matroids to the point counts of certain subsets of Grassmanians over finite fields. We conclude by providing several follow-up questions in relation to matroids realizable over other finite prime fields, matroid homology, and beta invariants. △ Less

Submitted 24 January, 2023; originally announced January 2023.

Comments: 10 pages, 1 figure

MSC Class: 05B35 (primary); 05A10; 14M15; 15B33 (secondary)

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)

Initial degenerations of flag varieties

Authors: Daniel Corey, Jorge Alberto Olarte

Abstract: We prove that the initial degenerations of the flag variety admit closed immersions into finite inverse limits of flag matroid strata, where the diagrams are derived from matroidal subdivisions of a suitable flag matroid polytope. As an application, we prove that the initial degenerations of $\operatorname{F\ell}^{\circ}(n)$ -- the open subvariety of the complete flag variety… ▽ More We prove that the initial degenerations of the flag variety admit closed immersions into finite inverse limits of flag matroid strata, where the diagrams are derived from matroidal subdivisions of a suitable flag matroid polytope. As an application, we prove that the initial degenerations of $\operatorname{F\ell}^{\circ}(n)$ -- the open subvariety of the complete flag variety $\operatorname{F\ell}(n)$ consisting of flags in general position -- are smooth and irreducible when $n\leq 4$. We also study the Chow quotient of $\operatorname{F\ell}(n)$ by the diagonal torus of $\operatorname{PGL}(n)$, and show that, for $n=4$, this is a log crepant resolution of its log canonical model. △ Less

Submitted 17 July, 2022; originally announced July 2022.

Comments: 26 pages, 13 figures

MSC Class: 14T90 (primary) 14M15; 14C05; 52B20 (secondary)

The Grassmannian of 3-planes in $\mathbb{C}^{8}$ is schön

Authors: Daniel Corey, Dante Luber

Abstract: We prove that the open subvariety $\operatorname{Gr}_0(3,8)$ of the Grassmannian $\operatorname{Gr}(3,8)$ determined by the nonvanishing of all Plücker coordinates is schön, i.e., all of its initial degenerations are smooth. Furthermore, we find an initial degeneration that has two connected components, and show that the remaining initial degenerations, up to symmetry, are irreducible. As an appli… ▽ More We prove that the open subvariety $\operatorname{Gr}_0(3,8)$ of the Grassmannian $\operatorname{Gr}(3,8)$ determined by the nonvanishing of all Plücker coordinates is schön, i.e., all of its initial degenerations are smooth. Furthermore, we find an initial degeneration that has two connected components, and show that the remaining initial degenerations, up to symmetry, are irreducible. As an application, we prove that the Chow quotient of $\operatorname{Gr}(3,8)$ by the diagonal torus of $\operatorname{PGL}(8)$ is the log canonical compactification of the moduli space of $8$ lines in $\mathbb{P}^2$, resolving a conjecture of Hacking, Keel, and Tevelev. Along the way we develop various techniques to study finite inverse limits of schemes. △ Less

Submitted 29 June, 2022; originally announced June 2022.

Comments: 27 pages, 7 figures

MSC Class: 14T90 (primary); 05E14; 14C05; 52B40 (secondary)

The Ceresa class and tropical curves of hyperelliptic type

Authors: Daniel Corey, Wanlin Li

Abstract: We define a new algebraic invariant of a graph $G$ called the Ceresa-Zharkov class and show that it is trivial if and only if $G$ is of hyperelliptic type, equivalently, $G$ does not have as a minor the complete graph on 4 vertices or the loop of 3 loops. After choosing edge-lengths, this class specializes to an algebraic invariant of a tropical curve with underlying graph $G$ that is closely rela… ▽ More We define a new algebraic invariant of a graph $G$ called the Ceresa-Zharkov class and show that it is trivial if and only if $G$ is of hyperelliptic type, equivalently, $G$ does not have as a minor the complete graph on 4 vertices or the loop of 3 loops. After choosing edge-lengths, this class specializes to an algebraic invariant of a tropical curve with underlying graph $G$ that is closely related to the Ceresa cycle for an algebraic curve defined over $\mathbb{C}(\!(t)\!)$. △ Less

Submitted 13 April, 2022; originally announced April 2022.

Comments: 21 pages, 3 figures

MSC Class: 14T25 (primary) 57K20 (secondary)

Syzygies of $\mathbb{P}^{1}\times \mathbb{P}^{1}$: data and conjectures

Authors: Juliette Bruce, Daniel Corey, Daniel Erman, Steve Goldstein, Robert P. Laudone, Jay Yang

Abstract: We provide a number of new conjectures and questions concerning the syzygies of $\mathbb{P}^1\times \mathbb{P}^1$. The conjectures are based on computing the graded Betti tables and related data for large number of different embeddings of $\mathbb{P}^1\times \mathbb{P}^1$. These computations utilize linear algebra over finite fields and high-performance computing. We provide a number of new conjectures and questions concerning the syzygies of $\mathbb{P}^1\times \mathbb{P}^1$. The conjectures are based on computing the graded Betti tables and related data for large number of different embeddings of $\mathbb{P}^1\times \mathbb{P}^1$. These computations utilize linear algebra over finite fields and high-performance computing. △ Less

Submitted 29 April, 2021; originally announced April 2021.

MSC Class: 13D02

Initial degenerations of spinor varieties

Authors: Daniel Corey

Abstract: We construct closed immersions from initial degenerations of the spinor variety $\mathbb{S}_n$ to inverse limits of strata associated to even $Δ$-matroids. As an application, we prove that these initial degenerations are smooth and irreducible for $n\leq 5$ and identify the log canonical model of the Chow quotient of $\mathbb{S}_5$ by the action of the diagonal torus of $\operatorname{GL}(5)$. We construct closed immersions from initial degenerations of the spinor variety $\mathbb{S}_n$ to inverse limits of strata associated to even $Δ$-matroids. As an application, we prove that these initial degenerations are smooth and irreducible for $n\leq 5$ and identify the log canonical model of the Chow quotient of $\mathbb{S}_5$ by the action of the diagonal torus of $\operatorname{GL}(5)$. △ Less

Submitted 25 August, 2022; v1 submitted 7 April, 2021; originally announced April 2021.

Comments: 29 pages; major updates to Section 7, and small updates throughout

MSC Class: 14T05 (primary) 15A66; 52B40 (secondary)

The Ceresa class: tropical, topological, and algebraic

Authors: Daniel Corey, Jordan Ellenberg, Wanlin Li

Abstract: The Ceresa cycle is an algebraic cycle attached to a smooth algebraic curve with a marked point, which is trivial when the curve is hyperelliptic with a marked Weierstrass point. The image of the Ceresa cycle under a certain cycle class map provides a class in étale cohomology called the Ceresa class. Describing the Ceresa class explicitly for non-hyperelliptic curves is in general not easy. We pr… ▽ More The Ceresa cycle is an algebraic cycle attached to a smooth algebraic curve with a marked point, which is trivial when the curve is hyperelliptic with a marked Weierstrass point. The image of the Ceresa cycle under a certain cycle class map provides a class in étale cohomology called the Ceresa class. Describing the Ceresa class explicitly for non-hyperelliptic curves is in general not easy. We present a "combinatorialization" of this problem, explaining how to define a Ceresa class for a tropical algebraic curve, and also for a topological surface endowed with a multiset of commuting Dehn twists (where it is related to the Morita cocycle on the mapping class group). We explain how these are related to the Ceresa class of a smooth algebraic curve over $\mathbb{C}(\!(t)\!)$, and show that the Ceresa class in each of these settings is torsion. △ Less

Submitted 11 April, 2022; v1 submitted 22 September, 2020; originally announced September 2020.

Comments: 37 pages, 9 figures. Major updates in Sections 4 and 6, and minor updates throughout

MSC Class: 14T25 (primary); and 14H30; 15C50; 57K20 (secondary)

Tropical curves of hyperelliptic type

Authors: Daniel Corey

Abstract: We introduce the notion of tropical curves of hyperelliptic type. These are tropical curves whose Jacobian is isomorphic to that of a hyperelliptic tropical curve, as polarized tropical abelian varieties. We show that this property depends only on the underlying graph of a tropical curve and is preserved when passing to genus $\geq 2$ connected minors. The main result is an excluded minors charact… ▽ More We introduce the notion of tropical curves of hyperelliptic type. These are tropical curves whose Jacobian is isomorphic to that of a hyperelliptic tropical curve, as polarized tropical abelian varieties. We show that this property depends only on the underlying graph of a tropical curve and is preserved when passing to genus $\geq 2$ connected minors. The main result is an excluded minors characterization of tropical curves of hyperelliptic type. △ Less

Submitted 22 October, 2019; originally announced October 2019.

Comments: 12 pages, 6 figures

MSC Class: 14T05; 05C83; 05C22

Tropical moduli spaces as symmetric Delta-complexes

Authors: Daniel Allcock, Daniel Corey, Sam Payne

Abstract: We develop techniques for studying fundamental groups and integral singular homology of symmetric Delta-complexes, and apply these techniques to study moduli spaces of stable tropical curves of unit volume, with and without marked points. As one application, we show that Delta_g and Delta_{g,n} are simply connected, for positive g. We also show that Delta_3 is homotopy equivalent to the 5-sphere,… ▽ More We develop techniques for studying fundamental groups and integral singular homology of symmetric Delta-complexes, and apply these techniques to study moduli spaces of stable tropical curves of unit volume, with and without marked points. As one application, we show that Delta_g and Delta_{g,n} are simply connected, for positive g. We also show that Delta_3 is homotopy equivalent to the 5-sphere, and that Delta_4 has 3-torsion in H_5. △ Less

Submitted 23 April, 2020; v1 submitted 21 August, 2019; originally announced August 2019.

Comments: 12 pages. v2: improved exposition, added Remark 6.2 with an alternate proof via geometric group theory that tropical moduli spaces of curves are simply connected, revised title to more fully reflect range of content in paper

MSC Class: 14T05; 14H10; 57Q05

Journal ref: Bull. Lond. Math. Soc. 54 (2022), no. 1, 193-205

Initial degenerations of Grassmannians

Authors: Daniel Corey

Abstract: We construct closed immersions from initial degenerations of $\operatorname*{Gr}_{0}(d,n)$---the open cell in the Grassmannian $\operatorname*{Gr}(d,n)$ given by the nonvanishing of all Plücker coordinates---to limits of thin Schubert cells associated to diagrams induced by the face poset of the corresponding tropical linear space. These are isomorphisms when $(d,n)$ equals $(2,n)$, $(3,6)$ and… ▽ More We construct closed immersions from initial degenerations of $\operatorname*{Gr}_{0}(d,n)$---the open cell in the Grassmannian $\operatorname*{Gr}(d,n)$ given by the nonvanishing of all Plücker coordinates---to limits of thin Schubert cells associated to diagrams induced by the face poset of the corresponding tropical linear space. These are isomorphisms when $(d,n)$ equals $(2,n)$, $(3,6)$ and $(3,7)$. As an application we prove $\operatorname*{Gr}_0(3,7)$ is schön, and the Chow quotient of $\operatorname*{Gr}(3,7)$ by the maximal torus in $ \operatorname*{PGL}(7)$ is the log canonical compactification of the moduli space of 7 points in $\mathbb{P}^2$ in linear general position, making progress on a conjecture of Hacking, Keel, and Tevelev. △ Less

Submitted 23 April, 2020; v1 submitted 9 August, 2017; originally announced August 2017.

Comments: 43 pages, 3 TikZ figures

MSC Class: 14T05 (primary); 14M15; 14E25 (secondary)

Khovanskii bases of Cox-Nagata rings and tropical geometry

Authors: Martha Bernal, Daniel Corey, Maria Donten-Bury, Naoki Fujita, Georg Merz

Abstract: The Cox ring of a del Pezzo surface of degree 3 has a distinguished set of 27 minimal generators. We investigate conditions under which the initial forms of these generators generate the initial algebra of this Cox ring. Sturmfels and Xu provide a classification in the case of degree 4 del Pezzo surfaces by subdividing the tropical Grassmannian $\operatorname{TGr}(2,\mathbb{Q}^5)$. After providing… ▽ More The Cox ring of a del Pezzo surface of degree 3 has a distinguished set of 27 minimal generators. We investigate conditions under which the initial forms of these generators generate the initial algebra of this Cox ring. Sturmfels and Xu provide a classification in the case of degree 4 del Pezzo surfaces by subdividing the tropical Grassmannian $\operatorname{TGr}(2,\mathbb{Q}^5)$. After providing the necessary background on Cox-Nagata rings and Khovanskii bases, we review the classification obtained by Sturmfels and Xu. Then we describe our classification problem in the degree 3 case and its connections to tropical geometry. In particular, we show that two natural candidates, $\operatorname{TGr}(3,\mathbb{Q}^6)$ and the Naruki fan, are insufficient to carry out the classification. △ Less

Submitted 12 January, 2017; originally announced January 2017.

Comments: 22 pages

Report number: Fields 2016 CAG book

Continuity properties of vectors realizing points in the classical field of values

Authors: Dan Corey, Charles R. Johnson, Ryan Kirk, Brian Lins, Ilya Spitkovsky

Abstract: For an $n$-by-$n$ matrix $A$, let $f_A$ be its "field of values generating function" defined as $f_A\colon x\mapsto x^*Ax$. We consider two natural versions of the continuity, which we call strong and weak, of $f_A^{-1}$ (which is of course multi-valued) on the field of values $F(A)$. The strong continuity holds, in particular, on the interior of $F(A)$, and at such points $z \in \partial F(A)$ wh… ▽ More For an $n$-by-$n$ matrix $A$, let $f_A$ be its "field of values generating function" defined as $f_A\colon x\mapsto x^*Ax$. We consider two natural versions of the continuity, which we call strong and weak, of $f_A^{-1}$ (which is of course multi-valued) on the field of values $F(A)$. The strong continuity holds, in particular, on the interior of $F(A)$, and at such points $z \in \partial F(A)$ which are either corner points, belong to the relative interior of flat portions of $\partial F(A)$, or whose preimage under $f_A$ is contained in a one-dimensional set. Consequently, $f_A^{-1}$ is continuous in this sense on the whole $F(A)$ for all normal, 2-by-2, and unitarily irreducible 3-by-3 matrices. Nevertheless, we show by example that the strong continuity of $f_A^{-1}$ fails at certain points of $\partial F(A)$ for some (unitarily reducible) 3-by-3 and (unitarily irreducible) 4-by-4 matrices. The weak continuity, in its turn, fails for some unitarily reducible 4-by-4 and untiarily irreducible 6-by-6 matrices. △ Less

Submitted 18 July, 2013; originally announced July 2013.

Comments: 9 pages, 2 figures. Linear and Multilinear Algebra 2013

MSC Class: Primary 15A60; 47A12; Secondary 54C08