activity
20152022
most citedLearning selection strategies in Buchberger's algorithm

11 citations · 21 across the 3 of their papers we have counts for

collaborators
Showing math.AGShow all

6 papers · 1 filter

math.AG2022

Artin algebraization for pairs with applications to the local structure of stacks and Ferrand pushouts

Jarod Alper, Daniel Halpern-Leistner, Jack Hall +1

We give a variant of Artin algebraization along closed subschemes and closed substacks. Our main application is the existence of étale, smooth, or syntomic neighborhoods of closed…

math.AG2020

On properness of K-moduli spaces and optimal degenerations of Fano varieties

Harold Blum, Daniel Halpern-Leistner, Yuchen Liu +1

We establish an algebraic approach to prove the properness of moduli spaces of K-polystable Fano varieties and reduce the problem to a conjecture on destabilizations of K-unstable…

math.AG2019

Reductivity of the automorphism group of K-polystable Fano varieties

Jarod Alper, Harold Blum, Daniel Halpern-Leistner +1

We prove that K-polystable log Fano pairs have reductive automorphism groups. In fact, we deduce this statement by establishing more general results concerning the S-completeness a…

math.AG2019

Cartan-Iwahori-Matsumoto decompositions for reductive groups

Jarod Alper, Daniel Halpern-Leistner, Jochen Heinloth

We provide a short and self-contained argument for the existence of Cartan-Iwahori-Matsumoto decompositions for reductive groups.

math.AG2015

Tannaka duality revisited

Bhargav Bhatt, Daniel Halpern-Leistner

We establish several strengthened versions of Lurie's Tannaka duality theorem for certain classes of spectral algebraic stacks. Our most general version of Tannaka duality identifi…

math.AG201510 cited

Remarks on Theta-stratifications and derived categories

Daniel Halpern-Leistner

This note extends some recent results on the derived category of a geometric invariant theory quotient to the setting of derived algebraic geometry. Our main result is a structure…