Our main result in this article is a compactness result which states that a noncollapsed sequence of asymptotically locally Euclidean (ALE) scalar-flat Kähler metrics on a minimal Kähler surface whose Kähler classes stay in a compact subset of the interior of the Kähler cone must have a convergent subsequence. As an application, we prove the existence of global moduli spaces of scalar-flat Kähler ALE metrics for several infinite families of Kähler ALE spaces.

Suppose that $\mathbf{G}$ is a connected reductive group over a finite extension $F/\mathbb{Q}_{p}$ and that $C$ is a field of characteristic $p$. We prove that the group $\mathbf{G}(F)$ admits an irreducible admissible supercuspidal, or equivalently supersingular, representation over $C$.

We start by recalling the following theorem of Rohrlich [17]. To state it, let $\unicode[STIX]{x1D714}_{\mathfrak{z}}$ denote half of the size of the stabilizer $\unicode[STIX]{x1D6E4}_{\mathfrak{z}}$ of $\mathfrak{z}\in \mathbb{H}$ in $\text{SL}_{2}(\mathbb{Z})$ and for a meromorphic function $f:\mathbb{H}\rightarrow \mathbb{C}$ let $\text{ord}_{\mathfrak{z}}(f)$ be the order of vanishing of $f$ at $\mathfrak{z}$. Moreover, define $\unicode[STIX]{x1D6E5}(z):=q\prod _{n\geqslant 1}(1-q^{n})^{24}$, where $q:=e^{2\unicode[STIX]{x1D70B}iz}$, and set $\unicode[STIX]{x1D55B}(z):=\frac{1}{6}\log (y^{6}|\unicode[STIX]{x1D6E5}(z)|)+1$, where $z=x+iy$. Rohrlich’s theorem may be stated in terms of the Petersson inner product, denoted by $\langle ~,\,\rangle$.

Purely algebraic objects like abstract groups, coset spaces, and G-modules do not have a notion of hole as do analytical and topological objects. However, equipping an algebraic object with a global action reveals holes in it and thanks to the homotopy theory of global actions, the holes can be described and quantified much as they are in the homotopy theory of topological spaces. Part I of this article, due to the first author, starts by recalling the notion of a global action and describes in detail the global actions attached to the general linear, elementary, and Steinberg groups. With these examples in mind, we describe the elementary homotopy theory of arbitrary global actions, construct their homotopy groups, and revisit their covering theory. We then equip the set $Um_{n}(R)$ of all unimodular row vectors of length $n$ over a ring $R$ with a global action. Its homotopy groups $\unicode[STIX]{x1D70B}_{i}(Um_{n}(R)),i\geqslant 0$ are christened the vector $K$-theory groups $K_{i+1}(Um_{n}(R)),i\geqslant 0$ of $Um_{n}(R)$. It is known that the homotopy groups $\unicode[STIX]{x1D70B}_{i}(\text{GL}_{n}(R))$ of the general linear group $\text{GL}_{n}(R)$ viewed as a global action are the Volodin $K$-theory groups $K_{i+1,n}(R)$. The main result of Part I is an algebraic construction of the simply connected covering map $\mathit{StUm}_{n}(R)\rightarrow \mathit{EUm}_{n}(R)$ where $\mathit{EUm}_{n}(R)$ is the path connected component of the vector $(1,0,\ldots ,0)\in Um_{n}(R)$. The result constructs the map as a specific quotient of the simply connected covering map $St_{n}(R)\rightarrow E_{n}(R)$ of the elementary global action $E_{n}(R)$ by the Steinberg global action $St_{n}(R)$. As expected, $K_{2}(Um_{n}(R))$ is identified with $\text{Ker}(\mathit{StUm}_{n}(R)\rightarrow \mathit{EUm}_{n}(R))$. Part II of the paper provides an exact sequence relating stability for the Volodin $K$-theory groups $K_{1,n}(R)$ and $K_{2,n}(R)$ to vector $K$-theory groups.

Toeplitz conjectured that any simple planar loop inscribes a square. Here we prove variants of Toeplitz’s square peg problem. We prove Hadwiger’s 1971 conjecture that any simple loop in $3$-space inscribes a parallelogram. We show that any simple planar loop inscribes sufficiently many rectangles that their vertices are dense in the loop. If the loop is rectifiable, there is a rectangle that cuts the loop into four pieces which can be rearranged to form two loops of equal length. (The previous two results are independently due to Schwartz.) A rectifiable loop in $d$-space can be cut into $(r-1)(d+1)+1$ pieces that can be rearranged by translations to form $r$ loops of equal length. We relate our results to fair divisions of necklaces in the sense of Alon and to Tverberg-type results. This provides a new approach and a common framework to obtain inscribability results for the class of all continuous curves.

We provide a general program for finding nice arrangements of points in real or complex projective space from transitive actions of finite groups. In many cases, these arrangements are optimal in the sense of maximizing the minimum distance. We introduce our program in terms of general Schurian association schemes before focusing on the special case of Gelfand pairs. Notably, our program unifies a variety of existing packings with heretofore disparate constructions. In addition, we leverage our program to construct the first known infinite family of equiangular lines with Heisenberg symmetry.

We show that there is nonuniqueness for the Calderón problem with partial data for Riemannian metrics with Hölder continuous coefficients in dimension greater than or equal to three. We provide simple counterexamples in the case of cylindrical Riemannian manifolds with boundary having two ends. The coefficients of these metrics are smooth in the interior of the manifold and are only Hölder continuous of order $\unicode[STIX]{x1D70C}<1$ at the end where the measurements are made. More precisely, we construct a toroidal ring $(M,g)$ and we show that there exist in the conformal class of $g$ an infinite number of Riemannian metrics $\tilde{g}=c^{4}g$ such that their corresponding partial Dirichlet-to-Neumann maps at one end coincide. The corresponding smooth conformal factors are harmonic with respect to the metric $g$ and do not satisfy the unique continuation principle.

For a split reductive group $G$ over a finite field, we show that the intersection (cohomology) motive of the moduli stack of iterated $G$-shtukas with bounded modification and level structure is defined independently of the standard conjectures on motivic $t$-structures on triangulated categories of motives. This is in accordance with general expectations on the independence of $\ell$ in the Langlands correspondence for function fields.

Given integers $g,n\geqslant 0$ satisfying $2-2g-n<0$, let ${\mathcal{M}}_{g,n}$ be the moduli space of connected, oriented, complete, finite area hyperbolic surfaces of genus $g$ with $n$ cusps. We study the global behavior of the Mirzakhani function $B:{\mathcal{M}}_{g,n}\rightarrow \mathbf{R}_{{\geqslant}0}$ which assigns to $X\in {\mathcal{M}}_{g,n}$ the Thurston measure of the set of measured geodesic laminations on $X$ of hyperbolic length ${\leqslant}1$. We improve bounds of Mirzakhani describing the behavior of this function near the cusp of ${\mathcal{M}}_{g,n}$ and deduce that $B$ is square-integrable with respect to the Weil–Petersson volume form. We relate this knowledge of $B$ to statistics of counting problems for simple closed hyperbolic geodesics.

An abstract system of congruences describes a way of partitioning a space into finitely many pieces satisfying certain congruence relations. Examples of abstract systems of congruences include paradoxical decompositions and $n$-divisibility of actions. We consider the general question of when there are realizations of abstract systems of congruences satisfying various measurability constraints. We completely characterize which abstract systems of congruences can be realized by nonmeager Baire measurable pieces of the sphere under the action of rotations on the $2$-sphere. This answers a question by Wagon. We also construct Borel realizations of abstract systems of congruences for the action of $\mathsf{PSL}_{2}(\mathbb{Z})$ on $\mathsf{P}^{1}(\mathbb{R})$. The combinatorial underpinnings of our proof are certain types of decomposition of Borel graphs into paths. We also use these decompositions to obtain some results about measurable unfriendly colorings.

Let $X$ be a space of homogeneous type and $L$ be a nonnegative self-adjoint operator on $L^{2}(X)$ satisfying Gaussian upper bounds on its heat kernels. In this paper, we develop the theory of weighted Besov spaces ${\dot{B}}_{p,q,w}^{\unicode[STIX]{x1D6FC},L}(X)$ and weighted Triebel–Lizorkin spaces ${\dot{F}}_{p,q,w}^{\unicode[STIX]{x1D6FC},L}(X)$ associated with the operator $L$ for the full range $0<p,q\leqslant \infty$, $\unicode[STIX]{x1D6FC}\in \mathbb{R}$ and $w$ being in the Muckenhoupt weight class $A_{\infty }$. Under rather weak assumptions on $L$ as stated above, we prove that our new spaces satisfy important features such as continuous characterizations in terms of square functions, atomic decompositions and the identifications with some well-known function spaces such as Hardy-type spaces and Sobolev-type spaces. One of the highlights of our result is the characterization of these spaces via noncompactly supported functional calculus. An important by-product of this characterization is the characterization via the heat kernel for the full range of indices. Moreover, with extra assumptions on the operator $L$, we prove that the new function spaces associated with $L$ coincide with the classical function spaces. Finally we apply our results to prove the boundedness of the fractional power of $L$, the spectral multiplier of $L$ in our new function spaces and the dispersive estimates of wave equations.

We consider the nonlinear wave equation (NLW) on the $d$-dimensional torus $\mathbb{T}^{d}$ with a smooth nonlinearity of order at least 2 at the origin. We prove that, for almost any mass, small and smooth solutions of high Sobolev indices are stable up to arbitrary long times with respect to the size of the initial data. To prove this result, we use a normal form transformation decomposing the dynamics into low and high frequencies with weak interactions. While the low part of the dynamics can be put under classical Birkhoff normal form, the high modes evolve according to a time-dependent linear Hamiltonian system. We then control the global dynamics by using polynomial growth estimates for high modes and the preservation of Sobolev norms for the low modes. Our general strategy applies to any semilinear Hamiltonian Partial Differential Equations (PDEs) whose linear frequencies satisfy a very general nonresonance condition. The (NLW) equation on $\mathbb{T}^{d}$ is a good example since the standard Birkhoff normal form applies only when $d=1$ while our strategy applies in any dimension.

We introduce a notion of $q$-deformed rational numbers and $q$-deformed continued fractions. A $q$-deformed rational is encoded by a triangulation of a polygon and can be computed recursively. The recursive formula is analogous to the $q$-deformed Pascal identity for the Gaussian binomial coefficients, but the Pascal triangle is replaced by the Farey graph. The coefficients of the polynomials defining the $q$-rational count quiver subrepresentations of the maximal indecomposable representation of the graph dual to the triangulation. Several other properties, such as total positivity properties, $q$-deformation of the Farey graph, matrix presentations and $q$-continuants are given, as well as a relation to the Jones polynomial of rational knots.

We prove that sums of length about $q^{3/2}$ of Hecke eigenvalues of automorphic forms on $\operatorname{SL}_{3}(\mathbf{Z})$ do not correlate with $q$-periodic functions with bounded Fourier transform. This generalizes the earlier results of Munshi and Holowinsky–Nelson, corresponding to multiplicative Dirichlet characters, and applies, in particular, to trace functions of small conductor modulo primes.

In order to treat multiplicative phenomena in twisted (co)homology, we introduce a new point-set-level framework for parametrized homotopy theory. We provide a convolution smash product that descends to the corresponding $\infty$-categorical product and allows for convenient constructions of commutative parametrized ring spectra. As an immediate application, we compare various models for generalized Thom spectra. In a companion paper, this approach is used to compare homotopical and operator algebraic models for twisted $K$-theory.

Frieze patterns, as introduced by Coxeter in the 1970s, are closely related to cluster algebras without coefficients. A suitable generalization of frieze patterns, linked to cluster algebras with coefficients, has only briefly appeared in an unpublished manuscript by Propp. In this paper, we study these frieze patterns with coefficients systematically and prove various fundamental results, generalizing classic results for frieze patterns. As a consequence, we see how frieze patterns with coefficients can be obtained from classic frieze patterns by cutting out subpolygons from the triangulated polygons associated with classic Conway–Coxeter frieze patterns. We address the question of which frieze patterns with coefficients can be obtained in this way and solve this problem completely for triangles. Finally, we prove a finiteness result for frieze patterns with coefficients by showing that for a given boundary sequence there are only finitely many (nonzero) frieze patterns with coefficients with entries in a subset of the complex numbers without an accumulation point.

Several well-known open questions (such as: are all groups sofic/hyperlinear?) have a common form: can all groups be approximated by asymptotic homomorphisms into the symmetric groups $\text{Sym}(n)$ (in the sofic case) or the finite-dimensional unitary groups $\text{U}(n)$ (in the hyperlinear case)? In the case of $\text{U}(n)$, the question can be asked with respect to different metrics and norms. This paper answers, for the first time, one of these versions, showing that there exist finitely presented groups which are not approximated by $\text{U}(n)$ with respect to the Frobenius norm $\Vert T\Vert _{\text{Frob}}=\sqrt{\sum _{i,j=1}^{n}|T_{ij}|^{2}},T=[T_{ij}]_{i,j=1}^{n}\in \text{M}_{n}(\mathbb{C})$. Our strategy is to show that some higher dimensional cohomology vanishing phenomena implies stability, that is, every Frobenius-approximate homomorphism into finite-dimensional unitary groups is close to an actual homomorphism. This is combined with existence results of certain nonresidually finite central extensions of lattices in some simple $p$-adic Lie groups. These groups act on high-rank Bruhat–Tits buildings and satisfy the needed vanishing cohomology phenomenon and are thus stable and not Frobenius-approximated.

We compute the Hodge ideals of $\mathbb{Q}$-divisors in terms of the $V$-filtration induced by a local defining equation, inspired by a result of Saito in the reduced case. We deduce basic properties of Hodge ideals in this generality, and relate them to Bernstein–Sato polynomials. As a consequence of our study we establish general properties of the minimal exponent, a refined version of the log canonical threshold, and bound it in terms of discrepancies on log resolutions, addressing a question of Lichtin and Kollár.

We prove a lower bound for the free energy (per unit volume) of the two-dimensional Bose gas in the thermodynamic limit. We show that the free energy at density $\unicode[STIX]{x1D70C}$ and inverse temperature $\unicode[STIX]{x1D6FD}$ differs from the one of the noninteracting system by the correction term $4\unicode[STIX]{x1D70B}\unicode[STIX]{x1D70C}^{2}|\ln \,a^{2}\unicode[STIX]{x1D70C}|^{-1}(2-[1-\unicode[STIX]{x1D6FD}_{\text{c}}/\unicode[STIX]{x1D6FD}]_{+}^{2})$. Here, $a$ is the scattering length of the interaction potential, $[\cdot ]_{+}=\max \{0,\cdot \}$ and $\unicode[STIX]{x1D6FD}_{\text{c}}$ is the inverse Berezinskii–Kosterlitz–Thouless critical temperature for superfluidity. The result is valid in the dilute limit $a^{2}\unicode[STIX]{x1D70C}\ll 1$ and if $\unicode[STIX]{x1D6FD}\unicode[STIX]{x1D70C}\gtrsim 1$.