代数几何
We prove that the automorphism group $\mathrm{Aut}(X)$ of an affine spherical variety $X$ acts transitively on the set of smooth points $X^{reg}.$ If every invertible regular function on $X$ is constant, we prove that $X$ is flexible, i.e.,…
We study the minimal model program on the geometric generic fiber of a fibration $f:X\to S$ such that for a Zariski dense subset $S'\subseteq S$, $X_s$ is an $\varepsilon$-lc log Calabi--Yau type for every $s\in S'$. We prove that for a…
We prove a motivic version of the Donaldson--Thomas/Pandharipande--Thomas (DT/PT) correspondence on Calabi--Yau threefolds. The proof combines Toda's wall crossing framework and the motivic integral identity recently proved by Bu. This…
We prove the BPS decomposition theorem (a.k.a. cohomological integrality theorem) decomposing the cohomology of smooth symmetric stacks into the Weyl-invariant part of the cohomological Hall induction of the intersection cohomology of good…
We compute the Chow quotient of the complete flag variety of subspaces of a four dimensional complex vector space, show that it is smooth and a Mori Dream Space, and describe in detail its birational geometry.
Motivated by super-Yang-Mills theory on a Calabi-Yau 4-fold, Nekrasov and Piazzalunga have assigned weights to $r$-tuples of solid partitions and conjectured a formula for their weighted generating function. We define $K$-theoretic virtual…
B. Toen defined a Riemann-Roch map from the rational algebraic K-theory of a tame Deligne-Mumford quotient stack to the \'etale K-theory of its inertia. He proved that this map is an isomorphism and that it is covariant with respect to…
The purpose of this paper is to study motivic aspects of the Hitchin system for $\mathrm{GL}_n$. Our results include the following. (a) We prove the motivic decomposition conjecture of Corti-Hanamura for the Hitchin system; in particular,…
Let $\mathcal{T}$ be an $\mathcal{O}_K$-linear idempotent-complete, small smooth proper stable $\infty$-category, where $K$ is a finite extension of $\mathbb{Q}_p$. We give a Breuil-Kisin module structure on the topological negative cyclic…
We prove a generalization of the Jacobian criterion of Fargues-Scholze for spaces of sections of a smooth quasi-projective variety over the Fargues-Fontaine curve. Namely, we show how to use their criterion to deduce an analogue for spaces…
We introduce a general theory of homological Milnor-Witt cycle modules over an excellent base scheme equipped with a dimension function, extending both Rost's cycle modules and Feld's theory over fields. To any such module we associate a…
Let $P$ and $I$ be a projective and an injective representations of a Dynkin quiver. We consider quiver Grassmannians of subrepresentations of dimension $\dim P$ inside representations of dimension $\dim P + \dim I$. Based on extensive…
We show that the geometric Sen morphism of a de Rham torsor over a smooth rigid analytic variety over a $p$-adic field is the unique lift, along a natural map, of the Kodaira--Spencer morphism of the associated filtered torsor with…
In this article, we describe the irreducible components of the Hilbert scheme of $d$ points on $\mathbb{A}^n$ for $d=9,10$. The main techniques we use are the variety of commuting matrices and analyzing loci of local algebras with a…
We revisit and give a detailed proof of a lemma of Okounkov showing that, for a scheme X with a torus action, the Euler characteristic generating function associated with a "factorisable" sequence of torus-equivariant coherent sheaves on…
The aim of this paper is to classify reduction types of algebraic curves. Reduction types capture the discrete invariants of fibres in one-dimensional families of curves, and they have been described in genus 1, 2 and 3. For fixed genus…
In this monograph, we lay the foundations for a new theory that generalizes real algebraic geometry. Let $R|K$ be a field extension, where $R$ is a real closed field and $K$ is an ordered subfield of $R$. The main objective is to study…
We present an effective criterion for determining whether a (augmented) vertically parametrized polynomial system admits multiple positive zeros for some choice of parameter values. Our method builds on previous algorithms from chemical…
A 2022 result of Karpenko establishes a conjecture of Hoffmann-Totaro on the possible values of the first higher isotropy index of an arbitrary anisotropic quadratic form of given dimension over an arbitrary field. For nondegenerate forms,…
We study the question of the existence of a decomposition of the diagonal for very general quartic and $(2,3)$-complete intersection $n$-folds. Using cycle-theoretic techniques of Lange, Pavic and Schreieder we reduce the question via a…