Searcharxiv⌕ Search

arXiv subjects

Tyler L. Kelly

Publications and source records attributed to Tyler L. Kelly.

18 recordsLinked to original sources
arXiv2026

Open enumerative geometries for Landau-Ginzburg models

We survey the recent progress in defining open enumerative theories for Landau-Ginzburg models. We illustrate the ideas required to develop these new foundations. In particular, we describe how to define the open enumerative invariants as integrals of multisections of certain vector bundles over a moduli space that is a real orbifold with corners, after prescribing boundary conditions for the multisections. We then explain the known situations where the open invariants satisfy certain forms of topological recursion relations, integrable hierarchies, or mirror symmetry. We end with a list of open questions and problems.

math.AG↗
arXiv2025

Kuznetsov Categories for Gauged Linear Sigma Models

We define Kuznetsov and anti-Kuznetsov categories for gauged linear sigma models. We show that for complete intersections of ample divisors in smooth projective toric varieties, the Kuznetsov category is left orthogonal to an exceptional collection. We prove that any complete intersection of $r \ge 2$ ample divisors in a Fano GIT quotient is a Fano visitor and the derived category of its Fano host is equivalent to an anti-Kuznetsov category of a gauged linear sigma model.

math.AG↗
arXiv2024

Hypergeometric Motives from Euler Integral Representations

We revisit certain one-parameter families of affine covers arising naturally from Euler's integral representation of hypergeometric functions. We introduce a partial compactification of this family. We show that the zeta function of the fibers in the family can be written as an explicit product of $L$-series attached to nondegenerate hypergeometric motives and zeta functions of tori, twisted by Hecke Grossencharacters. This permits a combinatorial algorithm for computing the Hodge numbers of the family.

math.NT↗
arXiv2024

Toric Exoflops and Categorical Resolutions

An exoflop takes a gauged Landau-Ginzburg (LG) model, partially compactifies it, and then performs certain birational transformations on it. When certain criteria hold, this can provide a crepant categorical resolution or equivalence of derived categories associated to the gauged LG models. We provide sufficient criteria for when this provides categorical resolutions for (or equivalences between) certain complete intersections in toric stacks.

math.AG↗
arXiv2023

Genus-zero $r$-spin theory

We provide an explicit formula for all primary genus-zero $r$-spin invariants. Our formula is piecewise polynomial in the monodromies at each marked point and in $r$. To deduce the structure of these invariants, we use a tropical realization of the corresponding cohomological field theories. We observe that the collection of all WDVV relations is equivalent to the relations deduced from the fact that genus-zero tropical CohFT cycles are balanced.

math.AG↗
arXiv2023

Exceptional Collections for Mirrors of Invertible Polynomials

We prove the existence of a full exceptional collection for the derived category of equivariant matrix factorizations of an invertible polynomial with its maximal symmetry group. This proves a conjecture of Hirano--Ouchi. In the Gorenstein case, we also prove a stronger version of this conjecture due to Takahashi. Namely, that the full exceptional collection is strong.

math.AG↗
arXiv2022

Mirror Symmetry for open r-spin invariants

We show that a generating function for open $r$-spin enumerative invariants produces a universal unfolding of the polynomial $x^r$. Further, the coordinates parametrizing this universal unfolding are flat coordinates on the Frobenius manifold associated to the Landau-Ginzburg model $(\mathbb{C},x^r)$ via Saito-Givental theory. This result provides evidence for the same phenomenon to occur in higher dimension, proven in a sequel paper.

math.AG↗
arXiv2022

Open FJRW Theory and Mirror Symmetry

We construct an open enumerative theory for the Landau-Ginzburg (LG) model $(\mathbb{C}^2, \mu_r\times \mu_s, x^r+y^s)$. The invariants are defined as integrals of multisections of a Witten bundle with descendents over a moduli space that is a real orbifold with corners. In turn, a generating function for these open invariants yields the mirror LG model and a versal deformation of it with flat coordinates. After establishing an open topological recursion result, we prove an LG/LG open mirror symmetry theorem in dimension two with all descendents. The open invariants we define are not unique but depend on boundary conditions that, when altered, exhibit wall-crossing phenomena for the invariants. We describe an LG wall-crossing group classifying the wall-crossing transformations that can occur.

math.AG↗
arXiv2021

Fano Schemes of Complete Intersections in Toric Varieties

We study Fano schemes $F_k(X)$ for complete intersections $X$ in a projective toric variety $Y\subset \mathbb{P}^n$. Our strategy is to decompose $F_k(X)$ into closed subschemes based on the irreducible decomposition of $F_k(Y)$ as studied by Ilten and Zotine. We define the expected dimension for these subschemes, which always gives a lower bound on the actual dimension. Under additional assumptions, we show that these subschemes are non-empty and smooth of the expected dimension. Using tools from intersection theory, we can apply these results to count the number of linear subspaces in $X$ when the expected dimension of $F_k(X)$ is zero.

math.AG↗
arXiv2020

Hypergeometric decomposition of symmetric K3 quartic pencils

We study the hypergeometric functions associated to five one-parameter deformations of Delsarte K3 quartic hypersurfaces in projective space. We compute all of their Picard--Fuchs differential equations; we count points using Gauss sums and rewrite this in terms of finite field hypergeometric sums; then we match up each differential equation to a factor of the zeta function, and we write this in terms of global L-functions. This computation gives a complete, explicit description of the motives for these pencils in terms of hypergeometric motives.

math.NT↗
arXiv2019

Derived Categories of BHK Mirrors

We prove a derived analogue to the results of Borisov, Clarke, Kelly, and Shoemaker on the birationality of Berglund-Hubsch-Krawitz mirrors. Heavily bootstrapping off work of Seidel and Sheridan, we obtain Homological Mirror Symmetry for Berglund-Hubsch-Krawitz mirror pencils to hypersurfaces in projective space.

math.AG↗
arXiv2018

Equivalences of Families of Stacky Toric Calabi-Yau Hypersurfaces

Given the same anti-canonical linear system on two distinct toric varieties, we provide a derived equivalence between partial crepant resolutions of the corresponding stacky hypersurfaces. The applications include: a derived unification of toric mirror constructions, calculations of Picard lattices for linear systems of quartic surfaces, and a birational reduction of Reid's list to 81 families.

math.AG↗
arXiv2018

Zeta functions of alternate mirror Calabi-Yau families

We prove that if two Calabi-Yau invertible pencils have the same dual weights, then they share a common factor in their zeta functions. By using Dwork cohomology, we demonstrate that this common factor is related to a hypergeometric Picard--Fuchs differential equation. The factor in the zeta function is defined over the rationals and has degree at least the order of the Picard--Fuchs equation. As an application, we relate several pencils of K3 surfaces to the Dwork pencil, obtaining new cases of arithmetic mirror symmetry.

math.NT↗
arXiv2017

Fractional Calabi-Yau Categories from Landau-Ginzburg Models

We give criteria for the existence of a Serre functor on the derived category of a gauged Landau-Ginzburg model. This is used to provide a general theorem on the existence of an admissible (fractional) Calabi-Yau subcategory of a gauged Landau-Ginzburg model and a geometric context for crepant categorical resolutions. We explicitly describe our framework in the toric setting. As a consequence, we generalize several theorems and examples of Orlov and Kuznetsov, ending with new examples of semi-orthogonal decompositions containing (fractional) Calabi-Yau categories.

math.AG↗
arXiv2016

Proof of a Conjecture of Batyrev and Nill

We prove equivalences of derived categories for the various mirrors in the Batyrev-Borisov construction. In particular, we obtain a positive answer to a conjecture of Batyrev and Nill. The proof involves passing to an associated category of singularities and toric variation of geometric invariant theory quotients.

math.AG↗
arXiv2013

Berglund-Hübsch-Krawitz Mirrors via Shioda Maps

We give an elementary approach to proving the birationality of multiple Berglund-Hübsch-Krawitz (BHK) mirrors by using Shioda maps. We do this by creating a birational picture of the BHK correspondence in general. Although a similar result has been obtained in recent months by Shoemaker, our proof is new in that it sidesteps using toric geometry and drops an unnecessary hypothesis. We give an explicit quotient of a Fermat variety to which the mirrors are birational.

math.AG↗
arXiv2008

Mirror Quintics, discrete symmetries and Shioda Maps

In a recent paper, Doran, Greene and Judes considered one parameter families of quintic threefolds with finite symmetry groups. A surprising result was that each of these six families has the same Picard Fuchs equation associated to the holomorphic 3-form. In this paper we give an easy argument, involving the family of Mirror Quintics, which implies this result. Using a construction due to Shioda, we also relate certain quotients of these one parameter families to the family of Mirror Quintics. Our constructions generalize to degree n Calabi Yau varieties in (n-1)-dimensional projective space.

math.AG↗