In this paper we construct an abelian category of mixed perverse sheaves attached to any realization of a Coxeter group, in terms of the associated Elias–Williamson diagrammatic category. This construction extends previous work of the first two authors, where we worked with parity complexes instead of diagrams, and we extend most of the properties known in this case to the general setting. As an application we prove that the split Grothendieck group of the Elias–Williamson diagrammatic category is isomorphic to the corresponding Hecke algebra, for any choice of realization.

A class of graphs is bridge-addable if given a graph $G$ in the class, any graph obtained by adding an edge between two connected components of $G$ is also in the class. The authors recently proved a conjecture of McDiarmid, Steger, and Welsh stating that if ${\mathcal{G}}$ is bridge-addable and $G_{n}$ is a uniform $n$-vertex graph from ${\mathcal{G}}$, then $G_{n}$ is connected with probability at least $(1+o_{n}(1))e^{-1/2}$. The constant $e^{-1/2}$ is best possible, since it is reached for the class of all forests.

In this paper, we prove a form of uniqueness in this statement: if ${\mathcal{G}}$ is a bridge-addable class and the random graph $G_{n}$ is connected with probability close to $e^{-1/2}$, then $G_{n}$ is asymptotically close to a uniform $n$-vertex random forest in a local sense. For example, if the probability converges to $e^{-1/2}$, then $G_{n}$ converges in the sense of Benjamini–Schramm to the uniformly infinite random forest $F_{\infty }$. This result is reminiscent of so-called “stability results” in extremal graph theory, the difference being that here the stable extremum is not a graph but a graph class.

We answer Mark Kac’s famous question, “Can one hear the shape of a drum?” in the positive for orbifolds that are 3-dimensional and 4-dimensional lens spaces; we thus complete the answer to this question for orbifold lens spaces in all dimensions. We also show that the coefficients of the asymptotic expansion of the trace of the heat kernel are not sufficient to determine the above results.

We study the dynamics of a singular holomorphic vector field at $(\mathbb{C}^{2},0)$. Using the associated flow and its pullback to the blow-up manifold, we provide invariants relating the vector field, a non-invariant analytic branch of curve, and the deformation of this branch by the flow. This leads us to study the conjugacy classes of singular branches under the action of holomorphic flows. In particular, we show that there exists an analytic class that is not complete, meaning that there are two elements of the class that are not analytically conjugated by a local biholomorphism embedded in a one-parameter flow. Our techniques are new and offer an approach dual to the one used classically to study singularities of holomorphic vector fields.

We enlarge the class of Rapoport–Zink spaces of Hodge type by modifying the centers of the associated $p$-adic reductive groups. Such obtained Rapoport–Zink spaces are said to be of abelian type. The class of Rapoport–Zink spaces of abelian type is strictly larger than the class of Rapoport–Zink spaces of Hodge type, but the two type spaces are closely related as having isomorphic connected components. The rigid analytic generic fibers of Rapoport–Zink spaces of abelian type can be viewed as moduli spaces of local $G$-shtukas in mixed characteristic in the sense of Scholze.

We prove that Shimura varieties of abelian type can be uniformized by the associated Rapoport–Zink spaces of abelian type. We construct and study the Ekedahl–Oort stratifications for the special fibers of Rapoport–Zink spaces of abelian type. As an application, we deduce a Rapoport–Zink type uniformization for the supersingular locus of the moduli space of polarized K3 surfaces in mixed characteristic. Moreover, we show that the Artin invariants of supersingular K3 surfaces are related to some purely local invariants.

In this paper we extend the definition of slice-torus invariant to links. We prove a few properties of the newly-defined slice-torus link invariants: the behaviour under crossing change, a slice genus bound, an obstruction to strong sliceness, and a combinatorial bound. Furthermore, we provide an application to the computation of the splitting number. Finally, we use the slice-torus link invariants and the Whitehead doubling to define new strong concordance invariants for links, which are proven to be independent of the corresponding slice-torus link invariant.

We apply the filtered and graded methods developed in earlier works to find (noncommutative) free group algebras in division rings.

If $L$ is a Lie algebra, we denote by $U(L)$ its universal enveloping algebra. P. M. Cohn constructed a division ring $\mathfrak{D}_{L}$ that contains $U(L)$. We denote by $\mathfrak{D}(L)$ the division subring of $\mathfrak{D}_{L}$ generated by $U(L)$.

Let $k$ be a field of characteristic zero, and let $L$ be a nonabelian Lie $k$-algebra. If either $L$ is residually nilpotent or $U(L)$ is an Ore domain, we show that $\mathfrak{D}(L)$ contains (noncommutative) free group algebras. In those same cases, if $L$ is equipped with an involution, we are able to prove that the free group algebra in $\mathfrak{D}(L)$ can be chosen generated by symmetric elements in most cases.

Let $G$ be a nonabelian residually torsion-free nilpotent group, and let $k(G)$ be the division subring of the Malcev–Neumann series ring generated by the group algebra $k[G]$. If $G$ is equipped with an involution, we show that $k(G)$ contains a (noncommutative) free group algebra generated by symmetric elements.

J. Bellaïche and M. Dimitrov showed that the $p$-adic eigencurve is smooth but not étale over the weight space at $p$-regular theta series attached to a character of a real quadratic field $F$ in which $p$ splits. In this paper we prove the existence of an isomorphism between the subring fixed by the Atkin–Lehner involution of the completed local ring of the eigencurve at these points and a universal ring representing a pseudo-deformation problem. Additionally, we give a precise criterion for which the ramification index is exactly 2. We finish this paper by proving the smoothness of the nearly ordinary and ordinary Hecke algebras for Hilbert modular forms over $F$ at the overconvergent cuspidal Eisenstein points, being the base change lift for $\text{GL}(2)_{/F}$ of these theta series. Our approach uses deformations and pseudo-deformations of reducible Galois representations.

The joint Brown measure and joint Haagerup–Schultz projections for tuples of commuting operators in a von Neumann algebra equipped with a faithful tracial state are investigated, and several natural properties are proved for these. It is shown that the support of the joint Brown measure is contained in the Taylor joint spectrum of the tuple, and also in the ostensibly smaller left Harte spectrum. A simultaneous upper triangularization result for finite commuting tuples is proved, and the joint Brown measure and joint Haagerup–Schultz projections are shown to behave well under the Arens multivariate holomorphic functional calculus of such a commuting tuple.

We define a natural lattice structure on all subsets of a finite root system that extends the weak order on the elements of the corresponding Coxeter group. For crystallographic root systems, we show that the subposet of this lattice induced by antisymmetric closed subsets of roots is again a lattice. We then study further subposets of this lattice that naturally correspond to the elements, the intervals, and the faces of the permutahedron and the generalized associahedra of the corresponding Weyl group. These results extend to arbitrary finite crystallographic root systems the recent results of G. Chatel, V. Pilaud, and V. Pons on the weak order on posets and its induced subposets.

In this paper we study the behavior of the first Zassenhaus conjecture (ZC1) under direct products, as well as the General Bovdi Problem (Gen-BP), which turns out to be a slightly weaker variant of (ZC1). Among other things, we prove that (Gen-BP) holds for Sylow tower groups, and so in particular for the class of supersolvable groups.

(ZC1) is established for a direct product of Sylow-by-abelian groups provided the normal Sylow subgroups form together a Hall subgroup. We also show (ZC1) for certain direct products with one of the factors a Frobenius group.

We extend the classical HeLP method to group rings with coefficients from any ring of algebraic integers. This is used to study (ZC1) for the direct product $G\times A$, where $A$ is a finite abelian group and $G$ has order at most 95. For most of these groups we show that (ZC1) is valid and for all of them that (Gen-BP) holds. Moreover, we also prove that (Gen-BP) holds for the direct product of a Frobenius group with any finite abelian group.

We study genuine local Hecke algebras of the Iwahori type of the double cover of $\operatorname{SL}_{2}(\mathbb{Q}_{p})$ and translate the generators and relations to classical operators on the space $S_{k+1/2}(\unicode[STIX]{x1D6E4}_{0}(4M))$, $M$ odd and square-free. In [9] Manickam, Ramakrishnan, and Vasudevan defined the new space of $S_{k+1/2}(\unicode[STIX]{x1D6E4}_{0}(4M))$ that maps Hecke isomorphically onto the space of newforms of $S_{2k}(\unicode[STIX]{x1D6E4}_{0}(2M))$. We characterize this newspace as a common $-1$-eigenspace of a certain pair of conjugate operators that come from local Hecke algebras. We use the classical Hecke operators and relations that we obtain to give a new proof of the results in [9] and to prove our characterization result.

We study local properties of the Bakry–Émery curvature function ${\mathcal{K}}_{G,x}:(0,\infty ]\rightarrow \mathbb{R}$ at a vertex $x$ of a graph $G$ systematically. Here ${\mathcal{K}}_{G,x}({\mathcal{N}})$ is defined as the optimal curvature lower bound ${\mathcal{K}}$ in the Bakry–Émery curvature-dimension inequality $CD({\mathcal{K}},{\mathcal{N}})$ that $x$ satisfies. We provide upper and lower bounds for the curvature functions, introduce fundamental concepts like curvature sharpness and $S^{1}$-out regularity, and relate the curvature functions of $G$ with various spectral properties of (weighted) graphs constructed from local structures of $G$. We prove that the curvature functions of the Cartesian product of two graphs $G_{1},G_{2}$ are equal to an abstract product of curvature functions of $G_{1},G_{2}$. We explore the curvature functions of Cayley graphs and many particular (families of) examples. We present various conjectures and construct an infinite increasing family of 6-regular graphs which satisfy $CD(0,\infty )$ but are not Cayley graphs.

We solve two problems in representation theory for the periplectic Lie superalgebra $\mathfrak{p}\mathfrak{e}(n)$, namely, the description of the primitive spectrum in terms of functorial realisations of the braid group and the decomposition of category ${\mathcal{O}}$ into indecomposable blocks.

To solve the first problem, we establish a new type of equivalence between category ${\mathcal{O}}$ for all (not just simple or basic) classical Lie superalgebras and a category of Harish-Chandra bimodules. The latter bimodules have a left action of the Lie superalgebra but a right action of the underlying Lie algebra. To solve the second problem, we establish a BGG reciprocity result for the periplectic Lie superalgebra.

We show the existence of a measurable selector in Carpenter’s Theorem due to Kadison. This solves a problem posed by Jasper and the first author in an earlier work. As an application we obtain a characterization of all possible spectral functions of shift-invariant subspaces of $L^{2}(\mathbb{R}^{d})$ and Carpenter’s Theorem for type $\text{I}_{\infty }$ von Neumann algebras.

We consider a multimarginal transport problem with repulsive cost, where the marginals are all equal to a fixed probability $\unicode[STIX]{x1D70C}\in {\mathcal{P}}(\mathbb{R}^{d})$. We prove that, if the concentration of $\unicode[STIX]{x1D70C}$ is less than $1/N$, then the problem has a solution of finite cost. The result is sharp, in the sense that there exists $\unicode[STIX]{x1D70C}$ with concentration $1/N$ for which the cost is infinite.

In this paper we characterize the Fourier transformability of strongly almost periodic measures in terms of an integrability condition for their Fourier–Bohr series. We also provide a necessary and sufficient condition for a strongly almost periodic measure to be the Fourier transform of a measure. We discuss the Fourier transformability of a measure on $\mathbb{R}^{d}$ in terms of its Fourier transform as a tempered distribution. We conclude by looking at a large class of such measures coming from the cut and project formalism.

A new method for classifying naturally reductive spaces is presented. This method relies on a new construction and the structure theory of naturally reductive spaces recently developed by the author. This method is applied to obtain the classification of all naturally reductive spaces in dimension 7 and 8.

A finitely presented 1-ended group $G$ has semistable fundamental group at infinity if $G$ acts geometrically on a simply connected and locally compact ANR $Y$ having the property that any two proper rays in $Y$ are properly homotopic. This property of $Y$ captures a notion of connectivity at infinity stronger than “1-ended”, and is in fact a feature of $G$, being independent of choices. It is a fundamental property in the homotopical study of finitely presented groups. While many important classes of groups have been shown to have semistable fundamental group at infinity, the question of whether every $G$ has this property has been a recognized open question for nearly forty years. In this paper we attack the problem by considering a proper but non-cocompact action of a group $J$ on such an $Y$. This $J$ would typically be a subgroup of infinite index in the geometrically acting over-group $G$; for example $J$ might be infinite cyclic or some other subgroup whose semistability properties are known. We divide the semistability property of $G$ into a $J$-part and a “perpendicular to $J$” part, and we analyze how these two parts fit together. Among other things, this analysis leads to a proof (in a companion paper) that a class of groups previously considered to be likely counter examples do in fact have the semistability property.

We conjecture that bounded generalised polynomial functions cannot be generated by finite automata, except for the trivial case when they are ultimately periodic.

Using methods from ergodic theory, we are able to partially resolve this conjecture, proving that any hypothetical counterexample is periodic away from a very sparse and structured set. In particular, we show that for a polynomial $p(n)$ with at least one irrational coefficient (except for the constant one) and integer $m\geqslant 2$, the sequence $\lfloor p(n)\rfloor \hspace{0.2em}{\rm mod}\hspace{0.2em}m$ is never automatic.

We also prove that the conjecture is equivalent to the claim that the set of powers of an integer $k\geqslant 2$ is not given by a generalised polynomial.