arXiv subjects

Patrick Kennedy-Hunt

Publications and source records attributed to Patrick Kennedy-Hunt.

8 recordsLinked to original sources

arXiv2026

Coherent sheaves in logarithmic geometry

This paper introduces an abelian category of logarithmic coherent sheaves that arranges coherent sheaves across all expansions and root stacks of a simple normal crossing degeneration. Formally, logarithmic coherent sheaves are coherent sheaves in the full logarithmic \'etale topology. We develop a suite of tools that reduces the evaluation of the basic functors of homological algebra to the conventional calculation on a computable logarithmic alteration. A second paper will establish good properties of the associated logarithmic derived category. We thus offer a unified perspective on logarithmic moduli spaces of coherent sheaves: The logarithmic Quot spaces motivated by Maulik and Ranganathan's logarithmic Donaldson--Thomas theory, the logarithmic Picard group constructed by Molcho and Wise, and moduli spaces of logarithmic parabolic sheaves as developed by Borne, Talpo, and Vistoli. In establishing the connection with logarithmic Picard groups, we offer a new interpretation of chip firing as the combinatorial shadow to a logarithmic version of S-equivalence.

math.AG↗

arXiv2025

Logarithmic Quot spaces, boundedness, and K-tropicalizations

Logarithmic Hilbert and Quot spaces are generalizations of their traditional versions adapted to study pairs and degenerations. The logarithmic Quot spaces of $(X,D)$ parameterize "algebraically transverse" (logarithmically flat) quotient sheaves on degenerations of $X$. We prove boundedness and deduce properness of logarithmic Quot spaces. The results complete the basic foundations of logarithmic Quot spaces and specialize to work of Li-Wu and Maulik and the second author in special cases. Boundedness relies on two results of independent interest. First, we show that for a simple normal crossing pair $(X, D)$ and a subscheme $Z$, there is a smallest logarithmic space ${X}^\flat$ modifying $X$ such that the strict transform of $Z$ is algebraically transverse. Precisely, given $Z$ in $X$, there is a canonical logarithmic space $X^\flat$ over $X$ with the following universal property - an snc logarithmic blowup $X'\to X$ makes the strict transform of $Z$ algebraically transverse if and only if $X'$ is a modification of $X^\flat$. Parallel results hold for arbitrary coherent sheaves. This proves boundedness for logarithmic quotients with fixed tropicalization. A logarithmic quotient sheaf defines a K-tropicalization, an enhancement of tropicalization that is sensitive to scheme structures. The K-tropicalization has the same relationship to K-theory as traditional tropicalization has to Chow, and is related to Gr\"obner theory and convex geometry via state and secondary polytopes. Using the K-theory of toric bundles, we derive a balancing condition for K-tropicalizations that imposes strong finiteness properties. The second key result is that K-tropicalizations with fixed numerics are parametrized by a finite-dimensional polyhedral complex.

math.AG↗

arXiv2025

Refined curve counting with descendants and quantum mirrors

Given a log Calabi--Yau surface $(Y,D)$, Bousseau has constructed a quantization of the mirror algebra of this pair. We give a formula for structure constants of this quantization in terms of higher genus descendant logarithmic Gromov--Witten invariants of $(Y,D)$. Our result generalises the weak Frobenius structure conjecture for surfaces to the $q$-refined setting, and is proved by relating these invariants to counts of quantum broken lines in the associated quantum scattering diagram.

math.AG↗

arXiv2024

Divisors and curves on logarithmic mapping spaces

We determine the rational class and Picard groups of the moduli space of stable logarithmic maps in genus zero, with target projective space relative a hyperplane. For the class group we exhibit an explicit basis consisting of boundary divisors. For the Picard group we exhibit a spanning set indexed by piecewise-linear functions on the tropicalisation. In both cases a complete set of boundary relations is obtained by pulling back the WDVV relations from the space of stable curves. Our proofs hinge on a controlled technique for manufacturing test curves in logarithmic mapping spaces, opening up the topology of these spaces to further study.

math.AG↗

arXiv2024

The K-moduli space of a family of conic bundle threefolds

We describe the 6-dimensional compact K-moduli space of Fano threefolds in deformation family No 2.18. These Fano threefolds are double covers of $\mathbb P^1\times\mathbb P^2$ branched along smooth $(2,2)$-surfaces, and Cheltsov--Fujita--Kishimoto--Park proved that any smooth Fano threefold in this family is K-stable. A member of family No 2.18 admits the structures of a conic bundle and a quadric surface bundle. We prove that K-polystable limits of these Fano threefolds admit conic bundle structures, but not necessarily del Pezzo fibration structures. We study this K-moduli space via the moduli space of log Fano pairs $(\mathbb P^1\times\mathbb P^2, c R)$ for $c=1/2$ and $R$ a $(2,2)$-divisor, which we construct using wall-crossings. In the case where the divisor is proportional to the anti-canonical divisor, the first author, together with Ascher and Liu, developed a framework for wall crossings in K-moduli and proved that there are only finitely many walls, which occur at rational values of the coefficient $c$. This paper constructs the first example of wall-crossing in K-moduli in the non-proportional setting, and we find a wall at an irrational value of $c$. In particular, we obtain explicit descriptions of the GIT and K-moduli spaces (for $c \leq 1/2$) of these $(2,2)$-divisors. Furthermore, using the conic bundle structure, we study the relationship with the GIT moduli space of plane quartic curves.

math.AG↗

arXiv2023

The Logarithmic Quot space: foundations and tropicalisation

We construct a logarithmic version of the Hilbert scheme, and more generally the Quot scheme, of a simple normal crossings pair. The logarithmic Quot space admits a natural tropicalisation called the space of tropical supports, which is a functor on the category of cone complexes. The fibers of the map to the space of tropical supports are algebraic. The space of tropical supports is representable by ``piecewise linear spaces'', which are introduced here to generalise fans and cone complexes to allow non--convex geometries. The space of tropical supports can be seen as a polyhedral analogue of the Hilbert scheme. The logarithmic Quot space parameterises quotient sheaves on logarithmic modifications that satisfy a natural transversality condition. We prove that our moduli space is a separated and universally closed logarithmic algebraic space. The logarithmic Hilbert space parameterizes families of proper monomorphisms, and in this way is exactly analogous to the classical Hilbert scheme. The new complexity of the space can then be viewed as stemming from the complexity of proper monomorphisms in logarithmic geometry. Our construction generalises the logarithmic Donaldson--Thomas space studied by Maulik--Ranganathan to arbitrary rank and dimension, and the good degenerations of Quot schemes of Li--Wu to simple normal crossings geometries.

math.AG↗

arXiv2023

Tropical refined curve counting with descendants

We prove a $q$-refined tropical correspondence theorem for higher genus descendant logarithmic Gromov--Witten invariants with a $\lambda_g$ class in toric surfaces. Specifically, a generating series of such logarithmic Gromov--Witten invariants agrees with a $q$-refined count of rational tropical curves satisfying higher valency conditions. As a corollary, we obtain a geometric proof of the deformation invariance of this tropical count. In particular, our results give an algebro--geometric meaning to the tropical count defined by Blechman and Shustin. Our strategy is to use the logarithmic degeneration formula, and the key new technique is to reduce to computing integrals against double ramification cycles and connect these integrals to the non--commutative KdV hierarchy.

math.AG↗

arXiv2023

Logarithmic Pandharipande--Thomas Spaces and the Secondary Polytope

Maulik and Ranganathan have recently introduced moduli spaces of logarithmic stable pairs. We examine the theory in the case of toric surfaces, and recast the theory in this case using three ingredients: Gelfand, Kapranov and Zelevinsky secondary polytopes, Hilbert schemes of points, and tautological vector bundles. In particular logarithmic stable pairs spaces are expressed as the zero set of an explicit section of a vector bundle on a logarithmically smooth space, thus providing an explicit description of their virtual fundamental class. A key feature of our construction is that moduli spaces are completely canonical, unlike the existing construction, which is only well-defined up to logarithmic modifications. We calculate the Euler-Satake characteristics of our moduli spaces in a number of basic examples. These computations indicate the complexity of the spaces we construct.

math.AG↗