We prove that every algebraic stack, locally of finite type over an algebraically closed field with affine stabilizers, is étale-locally a quotient stack in a neighborhood of a point with a linearly reductive stabilizer group. The proof uses an equivariant version of Artin's algebraization theorem proved in the appendix. We provide numerous applications of the main theorems.

The endoscopic classification via the stable trace formula comparison provides certain character relations between irreducible cuspidal automorphic representations of classical groups and their global Arthur parameters, which are certain automorphic representations of general linear groups. It is a question of J. Arthur and W. Schmid that asks how to construct concrete modules for irreducible cuspidal automorphic representations of classical groups in term of their global Arthur parameters? In this paper, we formulate a general construction of concrete modules, using Bessel periods, for cuspidal automorphic representations of classical groups with generic global Arthur parameters. Then we establish the theory for orthogonal and unitary groups, based on certain well expected conjectures. Among the consequences of the theory in this paper is that the global Gan-Gross-Prasad conjecture for those classical groups is proved in full generality in one direction and with a global assumption in the other direction.

In this article, a six-parameter family of highly connected 7-manifolds which admit an $\mathrm{SO}(3)$-invariant metric of non-negative sectional curvature is constructed and the Eells-Kuiper invariant of each is computed. In particular, it follows that all exotic spheres in dimension 7 admit an $\mathrm{SO}(3)$-invariant metric of non-negative curvature.

We develop a geometric version of the circle method and use it to compute the compactly supported cohomology of the space of rational curves through a point on a smooth affine hypersurface of sufficiently low degree.

We introduce a general strategy for proving quantitative and uniform bounds on the number of common points of height zero for a pair of inequivalent height functions on $\mathbb{P}^1(\overline{\mathbb{Q}})$. We apply this strategy to prove a conjecture of Bogomolov, Fu, and Tschinkel asserting uniform bounds on the number of common torsion points of elliptic curves in the case of two Legendre curves over $\mathbb{C}$. As a consequence, we obtain two uniform bounds for a two-dimensional family of genus $2$ curves: a uniform Manin-Mumford bound for the family over $\mathbb{C}$,and a uniform Bogomolov bound for the family over $\overline{\mathbb{Q}}$.

We prove a version of Jonsson-Mustaţǎ's Conjecture, which says for any graded sequence of ideals, there exists a quasi-monomial valuation computing its log canonical threshold. As a corollary, we confirm Chi Li's conjecture that a minimizer of the normalized volume function is always quasi-monomial.

Applying our techniques to a family of klt singularities, we show that the volume of klt singularities is a constructible function. As a corollary, we prove that in a family of klt log Fano pairs, the K-semistable ones form a Zariski open set. Together with previous works by many people, we conclude that all K-semistable klt Fano varieties with a fixed dimension and volume are parametrized by an Artin stack of finite type, which then admits a separated good moduli space, whose geometric points parametrize K-polystable klt Fano varieties.