Maximal prime homomorphic images of mod-p Iwasawa algebras

Let k be a finite field of characteristic p, and G a compact p-adic analytic group. Write kG for the completed group ring of G over k. In this paper, we describe the structure of the ring kG/P, where P is a minimal prime ideal of kG. We give an explicit isomorphism between kG/P and a matrix ring with coefficients in the ring ${(k'G')_\alpha }$ , where $k'/k$ is a finite field extension, $G'$ is a large subquotient of G with no finite normal subgroups, and (–) α is a “twisting” operation that preserves many desirable properties of the ring structure. We demonstrate the usefulness of this isomorphism by studying the correspondence induced between certain ideals of kG and those of ${(k'G')_\alpha }$ , and showing that this preserves many useful “group-theoretic” properties of ideals, in particular almost-faithfulness and control by a closed normal subgroup.

Bounding the covolume of lattices in products

We study lattices in a product $G=G_{1}\times \cdots \times G_{n}$ of non-discrete, compactly generated, totally disconnected locally compact (tdlc) groups. We assume that each factor is quasi just-non-compact, meaning that $G_{i}$ is non-compact and every closed normal subgroup of $G_{i}$ is discrete or cocompact (e.g. $G_{i}$ is topologically simple). We show that the set of discrete subgroups of $G$ containing a fixed cocompact lattice $\unicode[STIX]{x1D6E4}$ with dense projections is finite. The same result holds if $\unicode[STIX]{x1D6E4}$ is non-uniform, provided $G$ has Kazhdan’s property (T). We show that for any compact subset $K\subset G$, the collection of discrete subgroups $\unicode[STIX]{x1D6E4}\leqslant G$ with $G=\unicode[STIX]{x1D6E4}K$ and dense projections is uniformly discrete and hence of covolume bounded away from $0$. When the ambient group $G$ is compactly presented, we show in addition that the collection of those lattices falls into finitely many $\operatorname{Aut}(G)$-orbits. As an application, we establish finiteness results for discrete groups acting on products of locally finite graphs with semiprimitive local action on each factor. We also present several intermediate results of independent interest. Notably it is shown that if a non-discrete, compactly generated quasi just-non-compact tdlc group $G$ is a Chabauty limit of discrete subgroups, then some compact open subgroup of $G$ is an infinitely generated pro-$p$ group for some prime $p$. It is also shown that in any Kazhdan group with discrete amenable radical, the lattices form an open subset of the Chabauty space of closed subgroups.

Inducing Super-Approximation

Let $\Gamma _2\subseteq \Gamma _1$ be finitely generated subgroups of ${\operatorname{GL}}_{n_0}({\mathbb{Z}}[1/q_0])$ where $q_0$ is a positive integer. For $i=1$ or $2$, let ${\mathbb{G}}_i$ be the Zariski-closure of $\Gamma _i$ in $({\operatorname{GL}}_{n_0})_{{\mathbb{Q}}}$, ${\mathbb{G}}_i^{\circ }$ be the Zariski-connected component of ${\mathbb{G}}_i$, and let $G_i$ be the closure of $\Gamma _i$ in $\prod _{p\nmid q_0}{\operatorname{GL}}_{n_0}({\mathbb{Z}}_p)$. In this article we prove that if ${\mathbb{G}}_1^{\circ }$ is the smallest closed normal subgroup of ${\mathbb{G}}_1^{\circ }$ that contains ${\mathbb{G}}_2^{\circ }$ and $\Gamma _2\curvearrowright G_2$ has spectral gap, then $\Gamma _1\curvearrowright G_1$ has spectral gap.

Semi-free subgroups of a profinite surface group

We show that every closed normal subgroup of infinite index in a profinite surface group Γ is contained in a semi-free profinite normal subgroup of Γ. This answers a question of Bary-Soroker, Stevenson, and Zalesskii

The Howe-Moore property for real and $p$-adic groups

We consider in this paper a relative version of the Howe-Moore property, about vanishing at infinity of coefficients of unitary representations. We characterize this property in terms of ergodic measure-preserving actions. We also characterize, for linear Lie groups or $p$-adic Lie groups, the pairs with the relative Howe-Moore property with respect to a closed, normal subgroup. This involves, in one direction, structural results on locally compact groups all of whose proper closed characteristic subgroups are compact, and, in the other direction, some results about the vanishing at infinity of oscillatory integrals.

SCALING ALGEBRAS AND SUPERSELECTION SECTORS: STUDY OF A CLASS OF MODELS

We analyze a class of quantum field theory models illustrating some of the possibilities that have emerged in the general study of the short distance properties of superselection sectors, performed in a previous paper (together with R. Verch). In particular, we show that for each pair (G, N), with G a compact Lie group and N a closed normal subgroup, there is a net of observable algebras which has (a subset of) DHR sectors in 1-1 correspondence with classes of irreducible representations of G, and such that only the sectors corresponding to representations of G/N are preserved in the scaling limit. In the way of achieving this result, we derive sufficient conditions under which the scaling limit of a tensor product theory coincides with the product of the scaling limit theories.

Recapturing semigroup compactifications of a group from those of its closed normal subgroups

We know that ifSis a subsemigroup of a semitopological semigroupT, and𝔉stands for one of the spaces𝒜𝒫,𝒲𝒜𝒫,𝒮𝒜𝒫,𝒟orℒ𝒞, and(ϵ,T𝔉)denotes the canonical𝔉-compactification ofT, whereThas the property that𝔉(S)=𝔉(T)|s, then(ϵ|s,ϵ(S)¯)is an𝔉-compactification ofS. In this paper, we try to show the converse of this problem whenTis a locally compact group andSis a closed normal subgroup ofT. In this way we construct various semigroup compactifications ofTfrom the same type compactifications ofS.

Classification of Demushkin Groups

A pro-p-group G is said to be a Demushkin group if(1)dimFp H1(G, Z/pZ) < ∞,(2)dimFp H2(G, Z/pZ) = 1,(3)the cup product H1(G, Z/pZ) × H1(G, Z/pZ) → H2(G, Z/pZ) is a non-degenerate bilinear form. Here FP denotes the field with p elements. If G is a Demushkin group, then G is a finitely generated topological group with n(G) = dim H1(G, Z/pZ) as the minimal number of topological generators; cf. §1.3. Condition (2) means that there is only one relation among a minimal system of generators for G; that is, G is isomorphic to a quotient F/(r), where F is a free pro-p-group of rank n = n(G) and (r) is the closed normal subgroup of F generated by an element r ∈ F9 (F, F); cf. §1.4.