7 papers
Quantum operations on the ring of symmetric functions
Daniel Halpern-Leistner, Andres Fernandez Herrero
We define a version of stable maps into the classifying stack , and develop a corresponding notion of -theoretic Gromov-Witten invariants. In this setting, the e…
A categorical perspective on non-abelian localization
Daniel Halpern-Leistner
In equivariant geometry, a localization (a.k.a., concentration) theorem is typically interpreted as a relationship between the equivariant geometry of a space with a group action a…
Full exceptional collections of vector bundles on rank-two linear GIT quotients
Daniel Halpern-Leistner, Kimoi Kemboi
We produce full strong exceptional collections consisting of vector bundles on the geometric invariant theory quotient of certain linear actions of a split reductive group of r…
Aristotle: IMO-level Automated Theorem Proving
Tudor Achim, Alex Best, Alberto Bietti +20
We introduce Aristotle, an AI system that combines formal verification with informal reasoning, achieving gold-medal-equivalent performance on the 2025 International Mathematical O…
Intrinsic Donaldson-Thomas theory. I. Component lattices of stacks
Chenjing Bu, Daniel Halpern-Leistner, Andrés Ibáñez Núñez +1
This is the first paper in a series on intrinsic Donaldson-Thomas theory, where we develop a new framework for enumerative geometry that allows the generalization of constructions…
Projectivity of the moduli of equidimensional branchvarieties
Daniel Halpern-Leistner, Andres Fernandez Herrero, Trevor Jones +1
We resolve an open problem posed by Alexeev-Knutson on the projectivity of the moduli of branchvarieties in the equidimensional case. As an application, we construct projective mod…