76 citations · 284 across the 25 of their papers we have counts for
28 papers
Proper moduli spaces of isolated non-normal singularities
Jiucheng Dai, Daniel Halpern-Leistner, Mingjun Sun +2
We study the moduli of isolated non-normal singularities by introducing the functor of crimpings of corank . This globalizes Ishii's moduli f…
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…
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…
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…
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…
On the structure of equivariant derived categories
Daniel Halpern-Leistner
In this expository note, we discuss some results of the author on the structure of derived categories of equivariant coherent sheaves and the derived categories of geometric invari…