We prove an asymptotic expansion of the second moment of the central values of the $\mathrm {GL}(n)\times \mathrm {GL}(n)$ Rankin–Selberg L-functions $L(1/2,\pi \otimes \pi _0)$ for a fixed cuspidal automorphic representation $\pi _0$ over the family of $\pi $ with analytic conductors bounded by a quantity that is tending to infinity. Our proof uses the integral representations of the L-functions, period with regularised Eisenstein series and the invariance properties of the analytic newvectors.

We find defining equations for the Shimura curve of discriminant 15 over $\mathbb{Z}[1/15]$. We then determine the graded ring of automorphic forms over the 2-adic integers, as well as the higher cohomology. We apply this to calculate the homotopy groups of a spectrum of ‘topological automorphic forms’ associated to this curve, as well as one associated to a quotient by an Atkin–Lehner involution.

The author finds a limit on the singularities that arise in geometric generic fibers of morphisms between smooth varieties of positive characteristic by studying changes in embedding dimension under inseparable field extensions. This result is then used in the context of the minimal model program to rule out the existence of smooth varieties fibered by certain nonnormal del Pezzo surfaces over bases of small dimension.

We prove that, for any countable acylindrically hyperbolic group G, there exists a generating set S of G such that the corresponding Cayley graph $\Gamma (G,S)$ is hyperbolic, $|\partial \Gamma (G,S)|>2$, the natural action of G on $\Gamma (G,S)$ is acylindrical and the natural action of G on the Gromov boundary $\partial \Gamma (G,S)$ is hyperfinite. This result broadens the class of groups that admit a non-elementary acylindrical action on a hyperbolic space with a hyperfinite boundary action.

We show that there exists a cubic threefold defined by an invertible polynomial that, when quotiented by the maximal diagonal symmetry group, has a derived category that does not have a full exceptional collection consisting of line bundles. This provides a counterexample to a conjecture of Lekili and Ueda.

We construct an increasing ${\it\omega}$ -sequence $\langle \boldsymbol{a}_{n}\rangle$ of Turing degrees which forms an initial segment of the Turing degrees, and such that each $\boldsymbol{a}_{n+1}$ is diagonally nonrecursive relative to $\boldsymbol{a}_{n}$ . It follows that the DNR principle of reverse mathematics does not imply the existence of Turing incomparable degrees.

We give an upper bound on the volume $\operatorname {vol}(P^*)$ of a polytope $P^*$ dual to a d-dimensional lattice polytope P with exactly one interior lattice point in each dimension d. This bound, expressed in terms of the Sylvester sequence, is sharp and achieved by the dual to a particular reflexive simplex. Our result implies a sharp upper bound on the volume of a d-dimensional reflexive polytope. Translated into toric geometry, this gives a sharp upper bound on the anti-canonical degree $(-K_X)^d$ of a d-dimensional Fano toric variety X with at worst canonical singularities.

We show that the measure of maximal entropy of every complex Hénon map is exponentially mixing of all orders for Hölder observables. As a consequence, the Central Limit Theorem holds for all Hölder observables.

Let n be a nonnegative integer. For each composition $\alpha $ of n, Berg, Bergeron, Saliola, Serrano and Zabrocki introduced a cyclic indecomposable $H_n(0)$ -module $\mathcal {V}_{\alpha }$ with a dual immaculate quasisymmetric function as the image of the quasisymmetric characteristic. In this paper, we study $\mathcal {V}_{\alpha }$ s from the homological viewpoint. To be precise, we construct a minimal projective presentation of $\mathcal {V}_{\alpha }$ and a minimal injective presentation of $\mathcal {V}_{\alpha }$ as well. Using them, we compute $\mathrm {Ext}^1_{H_n(0)}(\mathcal {V}_{\alpha }, \mathbf {F}_{\beta })$ and $\mathrm {Ext}^1_{H_n(0)}( \mathbf {F}_{\beta }, \mathcal {V}_{\alpha })$ , where $\mathbf {F}_{\beta }$ is the simple $H_n(0)$ -module attached to a composition $\beta $ of n. We also compute $\mathrm {Ext}_{H_n(0)}^i(\mathcal {V}_{\alpha },\mathcal {V}_{\beta })$ when $i=0,1$ and $\beta \le _l \alpha $ , where $\le _l$ represents the lexicographic order on compositions.

We show that for infinitely many primes p there exist dual functions of order k over ${\mathbb{F}}_p^n$ that cannot be approximated in $L_\infty $-distance by polynomial phase functions of degree $k-1$. This answers in the negative a natural finite-field analogue of a problem of Frantzikinakis on $L_\infty $-approximations of dual functions over ${\mathbb{N}}$ (a.k.a. multiple correlation sequences) by nilsequences.

Let A be a finite set with , let n be a positive integer, and let $A^n$ denote the discrete $n\text {-dimensional}$ hypercube (that is, $A^n$ is the Cartesian product of n many copies of A). Given a family $\langle D_t:t\in A^n\rangle $ of measurable events in a probability space (a stochastic process), what structural information can be obtained assuming that the events $\langle D_t:t\in A^n\rangle $ are not behaving as if they were independent? We obtain an answer to this problem (in a strong quantitative sense) subject to a mild ‘stationarity’ condition. Our result has a number of combinatorial consequences, including a new (and the most informative so far) proof of the density Hales-Jewett theorem.

We develop a theory of parabolic induction and restriction functors relating modules over Coulomb branch algebras, in the sense of Braverman-Finkelberg-Nakajima. Our functors generalize Bezrukavnikov-Etingof’s induction and restriction functors for Cherednik algebras, but their definition uses different tools.

After this general definition, we focus on quiver gauge theories attached to a quiver $\Gamma $. The induction and restriction functors allow us to define a categorical action of the corresponding symmetric Kac-Moody algebra $\mathfrak {g}_{\Gamma }$ on category $ \mathcal {O}$ for these Coulomb branch algebras. When $ \Gamma $ is of Dynkin type, the Coulomb branch algebras are truncated shifted Yangians and quantize generalized affine Grassmannian slices. Thus, we regard our action as a categorification of the geometric Satake correspondence.

To establish this categorical action, we define a new class of ‘flavoured’ KLRW algebras, which are similar to the diagrammatic algebras originally constructed by the second author for the purpose of tensor product categorification. We prove an equivalence between the category of Gelfand-Tsetlin modules over a Coulomb branch algebra and the modules over a flavoured KLRW algebra. This equivalence relates the categorical action by induction and restriction functors to the usual categorical action on modules over a KLRW algebra.

In this paper, we prove that klt singularities are invariant under deformations if the generic fiber is $\mathbb {Q}$ -Gorenstein. We also obtain a similar result for slc singularities. These are generalizations of results of Esnault-Viehweg [Math. Ann. 271 (1985), 439–449] and S. Ishii [Math. Ann. 275 (1986), 139–148; Singularities (Iowa City, IA, 1986) Contemporary Mathematics, vol. 90 (American Mathematical Society, Providence, RI, 1989), 135–145].

This project uses methods in geometric analysis to study almost complex manifolds. We introduce the notion of biharmonic almost complex structure on a compact almost Hermitian manifold and study its regularity and existence in dimension four. First, we show that there always exists smooth energy-minimizing biharmonic almost-complex structures for any almost Hermitian four manifold. Then, we study the existence problem where the homotopy class is specified. Given a homotopy class $[\tau ]$ of an almost complex structure, using the fact $\pi _4(S^2)=\mathbb {Z}_2$ , there exists a canonical operation p on the homotopy classes satisfying $p^2=\text {id}$ such that $p([\tau ])$ and $[\tau ]$ have the same first Chern class. We prove that there exists an energy-minimizing biharmonic almost complex structure in the companion homotopy classes $[\tau ]$ and $p([\tau ])$ . Our results show that, When M is simply connected, there exists an energy-minimizing biharmonic almost complex structure in the homotopy classes with the given first Chern class.

The K-theoretic Schur P- and Q-functions $G\hspace {-0.2mm}P_\lambda $ and $G\hspace {-0.2mm}Q_\lambda $ may be concretely defined as weight-generating functions for semistandard shifted set-valued tableaux. These symmetric functions are the shifted analogues of stable Grothendieck polynomials and were introduced by Ikeda and Naruse for applications in geometry. Nakagawa and Naruse specified families of dual K-theoretic Schur P- and Q-functions $g\hspace {-0.1mm}p_\lambda $ and $g\hspace {-0.1mm}q_\lambda $ via a Cauchy identity involving $G\hspace {-0.2mm}P_\lambda $ and $G\hspace {-0.2mm}Q_\lambda $. They conjectured that the dual power series are weight-generating functions for certain shifted plane partitions. We prove this conjecture. We also derive a related generating function formula for the images of $g\hspace {-0.1mm}p_\lambda $ and $g\hspace {-0.1mm}q_\lambda $ under the $\omega $ involution of the ring of symmetric functions. This confirms a conjecture of Chiu and the second author. Using these results, we verify a conjecture of Ikeda and Naruse that the $G\hspace {-0.2mm}Q$-functions are a basis for a ring.

We give conditions for a uniruled variety of dimension at least 2 to be nonsolid. This study provides further evidence to a conjecture by Abban and Okada on the solidity of Fano 3-folds. To complement our results we write explicit birational links from Fano 3-folds of high codimension embedded in weighted projective spaces.

We prove that the derived categories of abelian categories have unique enhancements—all of them, the unbounded, bounded, bounded above and bounded below derived categories. The unseparated and left completed derived categories of a Grothendieck abelian category are also shown to have unique enhancements. Finally, we show that the derived category of complexes with quasi-coherent cohomology and the category of perfect complexes have unique enhancements for quasi-compact and quasi-separated schemes.

Dirac rings are commutative algebras in the symmetric monoidal category of $\mathbb {Z}$-graded abelian groups with the Koszul sign in the symmetry isomorphism. In the prequel to this paper, we developed the commutative algebra of Dirac rings and defined the category of Dirac schemes. Here, we embed this category in the larger $\infty $-category of Dirac stacks, which also contains formal Dirac schemes, and develop the coherent cohomology of Dirac stacks. We apply the general theory to stable homotopy theory and use Quillen’s theorem on complex cobordism and Milnor’s theorem on the dual Steenrod algebra to identify the Dirac stacks corresponding to $\operatorname {MU}$ and $\mathbb {F}_p$ in terms of their functors of points. Finally, in an appendix, we develop a rudimentary theory of accessible presheaves.

The total energy of an eigenstate in a composite quantum system tends to be distributed equally among its constituents. We identify the quantum fluctuation around this equipartition principle in the simplest disordered quantum system consisting of linear combinations of Wigner matrices. As our main ingredient, we prove the Eigenstate Thermalisation Hypothesis and Gaussian fluctuation for general quadratic forms of the bulk eigenvectors of Wigner matrices with an arbitrary deformation.

Recently, Gross, Mansour and Tucker introduced the partial-dual polynomial of a ribbon graph as a generating function that enumerates all partial duals of the ribbon graph by Euler genus. It is analogous to the extensively studied polynomial in topological graph theory that enumerates by Euler genus all embeddings of a given graph. To investigate the partial-dual polynomial, one only needs to focus on bouquets: that is, ribbon graphs with exactly one vertex. In this paper, we shall further show that the partial-dual polynomial of a bouquet essentially depends on the signed intersection graph of the bouquet rather than on the bouquet itself. That is to say, two bouquets with the same signed intersection graph have the same partial-dual polynomial. We then give a characterisation of when a bouquet has a planar partial dual in terms of its signed intersection graph. Finally, we consider a conjecture posed by Gross, Mansour and Tucker that there is no orientable ribbon graph whose partial-dual polynomial has only one nonconstant term; this conjecture is false, and we give a characterisation of when all partial duals of a bouquet have the same Euler genus.