Related papers: On Fields of rationality for automorphic represent…

The formal degree of a unipotent discrete series character of a simple linear algebraic group over a non-archimedean local field (in the sense of Lusztig), is a rational function of the cardinality q of the residue field. The irreducible…

We prove that the Steinberg representation of a connected reductive group over an infinite field is irreducible. For finite fields, this is a classical theorem of Steinberg and Curtis.

In this paper, we introduce the concept of stable automorphic forms for semisimple algebraic groups and use the stability of automorphic forms to study the geometry of infinite dimensional arithmetic quotients.

In this paper we investigate algebraic function fields in positive characteristic mainly obtained as double Artin-Schreier extensions of rational function fields with a plane model. The goal is to extend to such extensions large…

A notion of a quantum automorphism group of a finite quantum group, generalising that of a classical automorphism group of a finite group, is proposed and a corresponding existence result proved.

Let G be a connected reductive algebraic group over a perfect field. We study the representability of the equivariant automorphism group of G-varieties. For a broad class of complexity-one G-varieties, we show that this group is…

Does a space enjoying good finiteness properties admit an algebraic model with commensurable finiteness properties? In this note, we provide a rational homotopy obstruction for this to happen. As an application, we show that the maximal…

We determine the quantum automorphism groups of finite spaces and find they are all compact quantum groups in the sense of Woronowicz. This solves a problem of Connes for finite spaces.

Unitary principal series representations of the conformal group appear in the dS/CFT correspondence. These are infinite dimensional irreducible representations, without highest weights. In earlier work of Guijosa and the author it was shown…

We prove that arbitrary homomorphisms from one of the groups ${\rm Homeo}(\ca)$, ${\rm Homeo}(\ca)^\N$, ${\rm Aut}(\Q,<)$, ${\rm Homeo}(\R)$, or ${\rm Homeo}(S^1)$ into a separable group are automatically continuous. This has consequences…

We resolve an algebraic version of Schoenberg's celebrated theorem [Duke Math.J., 1942] characterizing entrywise matrix transforms that preserve positive definiteness. Compared to the classical real and complex settings, we consider…

We consider stable minimal surfaces of genus 1 in Euclidean space and in Riemannian manifolds. Under the condition of covering stability (all finite covers are stable) we show that a genus 1 finite total curvature minimal surface in…

This is the second installment of an exposition of an ACL2 formalization of finite group theory. The first, which was presented at the 2022 ACL2 workshop, covered groups and subgroups, cosets, normal subgroups, and quotient groups,…

Let k be an algebraically closed field of characteristic zero, F its algebraically closed extension, and G be the group of k-automorphisms of F endowed with a natural topology. One of the purposes of this paper is to show that any…

The homology groups of the automorphism group of a free group are known to stabilize as the number of generators of the free group goes to infinity, and this paper relativizes this result to a family of groups that can be defined in terms…

Let $R$ be a semilocal principal ideal domain. Two algebraic objects over $R$ in which scalar extension makes sense (e.g. quadratic spaces) are said to be of the same genus if they become isomorphic after extending scalars to all…

We find sharp upper bounds on the order of the automorphism group of a hypersurface in complex projective space in every dimension and degree. In each case, we prove that the hypersurface realizing the upper bound is unique up to…

In this paper we study abstract group homomorphisms between the groups of rational points of linear algebraic groups which are not necessarily reductive. One of our main goal is to obtain results on homomorphisms from the groups of rational…

A definable set $X$ in the first-order language of rings defines a family of random vectors: for each finite field $\mathbb{F}_q$, let the distribution be supported and uniform on the $\mathbb{F}_q$-rational points of $X$. We employ results…

We investigate the group structure of center-preserving automorphisms of the finite Heisenberg group over $\mathbb Z_N$ with $U(1)$ extension, which arises in finite-dimensional quantum mechanics on a discrete phase space. Constructing an…