John Rognes developed a notion of Galois extension of commutative ring spectra, and this includes a criterion for identifying an extension as unramified. Ramification for commutative ring spectra can be detected by relative topological Hochschild homology and by topological André–Quillen homology. In the classical algebraic context, it is important to distinguish between tame and wild ramification. Noether’s theorem characterizes tame ramification in terms of a normal basis, and tame ramification can also be detected via the surjectivity of the trace map. For commutative ring spectra, we suggest to study the Tate construction as a suitable analog. It tells us at which integral primes there is tame or wild ramification, and we determine its homotopy type in examples in the context of topological K-theory and topological modular forms.

Let $D$ be a division algebra, finite-dimensional over its center, and $R=D[t;\;\sigma,\delta ]$ a skew polynomial ring.

Using skew polynomials $f\in R$, we construct division algebras and maximum rank distance codes consisting of matrices with entries in a noncommutative division algebra or field. These include Jha Johnson semifields, and the classes of classical and twisted Gabidulin codes constructed by Sheekey.

We present a combinatorial proof for the existence of the sign-refined grid homology in lens spaces and a self-contained proof that $\partial _{\mathbb{Z}}^2 = 0$. We also present a Sage programme that computes $\widehat{\mathrm{GH}} (L(p,q),K;\mathbb{Z})$ and provide empirical evidence supporting the absence of torsion in these groups.

Using totally symmetric sets, Chudnovsky–Kordek–Li–Partin gave a superexponential lower bound on the cardinality of non-abelian finite quotients of the braid group. In this paper, we develop new techniques using multiple totally symmetric sets to count elements in non-abelian finite quotients of the braid group. Using these techniques, we improve the lower bound found by Chudnovsky et al. We exhibit totally symmetric sets in the virtual and welded braid groups and use our new techniques to find superexponential bounds for the finite quotients of the virtual and welded braid groups.

Erdős considered the second moment of the gap-counting function of prime divisors in 1946 and proved an upper bound that is not of the right order of magnitude. We prove asymptotics for all moments. Furthermore, we prove a generalisation stating that the gaps between primes p for which there is no $\mathbb{Q}_p$ -point on a random variety are Poisson distributed.

We calculate asymptotic estimates for the conjugacy growth function of finitely generated class 2 nilpotent groups whose derived subgroups are infinite cyclic, including the so-called higher Heisenberg groups. We prove that these asymptotics are stable when passing to commensurable groups, by understanding their twisted conjugacy growth. We also use these estimates to prove that, in certain cases, the conjugacy growth series cannot be a holonomic function.

The Horikawa index and the local signature are introduced for relatively minimal fibered surfaces whose general fiber is a non-hyperelliptic curve of genus 4 with unique trigonal structure.

We prove a double commutant theorem for separable subalgebras of a wide class of corona C*-algebras, largely resolving a problem posed by Pedersen in 1988. Double commutant theorems originated with von Neumann, whose seminal result evolved into an entire field now called von Neumann algebra theory. Voiculescu later proved a C*-algebraic double commutant theorem for subalgebras of the Calkin algebra. We prove a similar result for subalgebras of a much more general class of so-called corona C*-algebras.

We classify all $\mathbb{Q}$-factorial Fano intrinsic quadrics of dimension three and Picard number one having at most canonical singularities.

An associative ring R is called potent provided that for every $x\in R$, there is an integer $n(x)>1$ such that $x^{n(x)}=x$. A celebrated result of N. Jacobson is that every potent ring is commutative. In this note, we show that a ring R is potent if and only if every nonzero subring S of R contains a nonzero idempotent. We use this result to give a generalization of a recent result of Anderson and Danchev for reduced rings, which in turn generalizes Jacobson’s theorem.

We classify embeddings of the finite groups $A_4$ , $S_4$ and $A_5$ in the Lie group $G_2(\mathbb C)$ up to conjugation.

We calculate the moments of the characteristic polynomials of $N\times N$ matrices drawn from the Hermitian ensembles of Random Matrix Theory, at a position t in the bulk of the spectrum, as a series expansion in powers of t. We focus in particular on the Gaussian Unitary Ensemble. We employ a novel approach to calculate the coefficients in this series expansion of the moments, appropriately scaled. These coefficients are polynomials in N. They therefore grow as $N\to\infty$ , meaning that in this limit the radius of convergence of the series expansion tends to zero. This is related to oscillations as t varies that are increasingly rapid as N grows. We show that the $N\to\infty$ asymptotics of the moments can be derived from this expansion when $t=0$ . When $t\ne 0$ we observe a surprising cancellation when the expansion coefficients for N and $N+1$ are formally averaged: this procedure removes all of the N-dependent terms leading to values that coincide with those expected on the basis of previously established asymptotic formulae for the moments. We obtain as well formulae for the expectation values of products of the secular coefficients.

In this note, we give a classification of the maximal order Abelian subgroups of finite irreducible Coxeter groups. We also prove a Weyl group analog of Cartan’s theorem that all maximal tori in a connected compact Lie group are conjugate.

Let K be an infinite field of characteristic $p>0$ and let $\lambda, \mu$ be partitions, where $\mu$ has two parts. We find sufficient arithmetic conditions on $p, \lambda, \mu$ for the existence of a nonzero homomorphism $\Delta(\lambda) \to \Delta (\mu)$ of Weyl modules for the general linear group $GL_n(K)$. Also, for each p we find sufficient conditions so that the corresponding homomorphism spaces have dimension at least 2.

It is well known that the category of comodules over a flat Hopf algebroid is abelian but typically fails to have enough projectives, and more generally, the category of graded comodules over a graded flat Hopf algebroid is abelian but typically fails to have enough projectives. In this short paper, we prove that the category of connective graded comodules over a connective, graded, flat, finite-type Hopf algebroid has enough projectives. Applications to algebraic topology are given: the Hopf algebroids of stable co-operations in complex bordism, Brown–Peterson homology, and classical mod p homology all have the property that their categories of connective graded comodules have enough projectives. We also prove that categories of connective graded comodules over appropriate Hopf algebras fail to be equivalent to categories of graded connective modules over a ring.

We provide a complete classification of the singularities of cluster algebras of finite type with trivial coefficients. Alongside, we develop a constructive desingularization of these singularities via blowups in regular centers over fields of arbitrary characteristic. Furthermore, from the same perspective, we study a family of cluster algebras which are not of finite type and which arise from a star shaped quiver.

We characterize when a set of simple closed curves in an orientable surface forms a bouquet, in terms of relations between the corresponding Dehn twists.

Recently Ovsienko and Tabachnikov considered extensions of Somos and Gale-Robinson sequences, defined over the algebra of dual numbers. Ovsienko used the same idea to construct so-called shadow sequences derived from other nonlinear recurrence relations exhibiting the Laurent phenomenon, with the original motivation being the hope that these examples should lead to an appropriate notion of a cluster superalgebra, incorporating Grassmann variables. Here, we present various explicit expressions for the shadow of Somos-4 sequences and describe the solution of a general Somos-4 recurrence defined over the $\mathbb{C}$ -algebra of dual numbers from several different viewpoints: analytic formulae in terms of elliptic functions, linear difference equations, and Hankel determinants.

We initiate the study of C*-algebras and groupoids arising from left regular representations of Garside categories, a notion which originated from the study of Braid groups. Every higher rank graph is a Garside category in a natural way. We develop a general classification result for closed invariant subspaces of our groupoids as well as criteria for topological freeness and local contractiveness, properties which are relevant for the structure of the corresponding C*-algebras. Our results provide a conceptual explanation for previous results on gauge-invariant ideals of higher rank graph C*-algebras. As another application, we give a complete analysis of the ideal structures of C*-algebras generated by left regular representations of Artin–Tits monoids.

We introduce and study a fermionisation procedure for the cohomological Hall algebra $\mathcal{H}_{\Pi_Q}$ of representations of a preprojective algebra, that selectively switches the cohomological parity of the BPS Lie algebra from even to odd. We do so by determining the cohomological Donaldson–Thomas invariants of central extensions of preprojective algebras studied in the work of Etingof and Rains, via deformed dimensional reduction. Via the same techniques, we determine the Borel–Moore homology of the stack of representations of the $\unicode{x03BC}$ -deformed preprojective algebra introduced by Crawley–Boevey and Holland, for all dimension vectors. This provides a common generalisation of the results of Crawley-Boevey and Van den Bergh on the cohomology of smooth moduli schemes of representations of deformed preprojective algebras and my earlier results on the Borel–Moore homology of the stack of representations of the undeformed preprojective algebra.