6 citations · 13 across the 18 of their papers we have counts for
22 papers
Projective moduli of log Calabi--Yau fibrations over curves
Giovanni Inchiostro, Junyan Zhao
We introduce a new stability condition for log Calabi--Yau fibrations over curves. We prove that it gives rise to a proper Deligne--Mumford stack with a projective coarse moduli sp…
TheoremGraph: Bridging Formal and Informal Mathematics
Simon Kurgan, Evan Wang, Eric Leonen +6
Mathematical knowledge is organized around statements and their dependencies, but this structure is exposed unevenly: informal papers cite mostly at the document level, while forma…
Evaluation of LLMs for Mathematical Formalization in Lean
Tyson Klingner, Drew Bladek, Escher Crawford +6
Within the past few years, the ability of Large Language Models (LLMs) to generate formal mathematical proofs has improved drastically. We provide a comparison of various LLMs' eff…
Semantic Search over 9 Million Mathematical Theorems
Luke Alexander, Eric Leonen, Sophie Szeto +5
Searching for mathematical results remains difficult: most existing tools retrieve entire papers, while mathematicians and theorem-proving agents often seek a specific theorem, lem…
Moduli of surfaces fibered in (log) Calabi-Yau pairs II: elliptic surfaces
Giovanni Inchiostro, Junyan Zhao
This paper continues the study initiated in [ISZ25] on the moduli of surfaces admitting lc-trivial fibrations. Using the techniques developed in [ISZ25], we (1) provide a classific…
Moduli of surfaces fibered in log Calabi-Yau pairs
Giovanni Inchiostro, Roberto Svaldi, Junyan Zhao
We study the moduli spaces of surface pairs admitting a log Calabi--Yau fibration . We develop a series of results on stable reduction and apply them to give a…
Root stack valuative criterion for good moduli spaces
Dori Bejleri, Giovanni Inchiostro, Matthew Satriano
We prove a root stack valuative criterion for good moduli space maps and for gerbes for reductive groups under some mild assumptions on the residue characteristic. We give several…
Stable maps to quotient stacks with a properly stable point
Andrea Di Lorenzo, Giovanni Inchiostro
We compactify moduli stacks of maps from curves to a large class of quotient stacks admitting projective good moduli spaces. Our construction extends quasimap-theoretic com…
Moduli of elliptic surfaces of Kodaira dimension one fibered over rational curves
Dori Bejleri, Josiah Foster, Andres Fernandez Herrero +3
In this article, we construct an infinite sequence of irreducible components of Kollár--Shepherd-Barron (KSB-) moduli spaces of surfaces of arbitrarily large volumes, and describe…
A criterion for smooth weighted blow-downs
Veronica Arena, Andrea Di Lorenzo, Giovanni Inchiostro +3
We establish a criterion for determining when a smooth Deligne-Mumford stack is a weighted blow-up. More precisely, given a smooth Deligne-Mumford stack and a Cartier…
Moduli of boundary polarized Calabi-Yau pairs
Kenneth Ascher, Dori Bejleri, Harold Blum +4
We develop the moduli theory of boundary polarized CY pairs, which are slc Calabi-Yau pairs such that is ample. The motivation for studying this moduli problem is to co…
Effective morphisms and quotient stacks
Andrea Di Lorenzo, Giovanni Inchiostro
We give a valuative criterion for when a smooth algebraic stack with a separated good moduli space is the quotient of a separated Deligne-Mumford stack by a torus. For doing so, we…
Degenerations of twisted maps to algebraic stacks
Andrea Di Lorenzo, Giovanni Inchiostro
We give a definition of twisted map to a quotient stack with projective good moduli space, and we show that the resulting functor satisfies the existence part of the valuative crit…
Dimers and Beauville integrable systems
Terrence George, Giovanni Inchiostro
Associated to a convex integral polygon in the plane are two integrable systems: the cluster integrable system of Goncharov and Kenyon, constructed from the dimer model on bipa…
The integral Chow rings of moduli of Weierstrass fibrations
Samir Canning, Andrea Di Lorenzo, Giovanni Inchiostro
We compute the Chow rings with integral coefficients of moduli stacks of minimal Weierstrass fibrations over the projective line. For each integer , there is a moduli stac…
Moduli of genus one curves with two marked points as a weighted blow-up
Giovanni Inchiostro
We give an explicit description of as a weighted blow-up of a weighted projective stack. We use this description to compute the Brauer group of $\ove…
Moduli of -Gorenstein pairs and applications
Stefano Filipazzi, Giovanni Inchiostro
We develop a framework to construct moduli spaces of -Gorenstein pairs. To do so, we fix certain invariants; these choices are encoded in the notion of -sta…
Wall crossing for moduli of stable log pairs
Kenneth Ascher, Dori Bejleri, Giovanni Inchiostro +1
We prove, under suitable conditions, that there exist wall-crossing and reduction morphisms for moduli spaces of stable log pairs in all dimensions as one varies the coefficients o…
The cluster modular group of the dimer model
Terrence George, Giovanni Inchiostro
Associated to a convex integral polygon is a cluster integrable system constructed from the dimer model. We compute the group of symmetries of $\mathcal X_…
Stable pairs with a twist and gluing morphisms for moduli of surfaces
Dori Bejleri, Giovanni Inchiostro
We propose an alternative definition for families of stable pairs over a possibly non-reduced base when is reduced, by replacing with an appropriate orbifold pa…
Moduli of Weierstrass fibrations with marked section
Giovanni Inchiostro
We study the the moduli space of KSBA stable pairs , consisting of a Weierstrass fibration , its section , and some fibers . We find a compactificat…
The Picard group of the moduli of smooth complete intersections of two quadrics
Shamil Asgarli, Giovanni Inchiostro
We study the moduli space of smooth complete intersections of two quadrics in by relating it to the geometry of the singular members of the corresponding pencils. Gi…