Related papers: K-theory, genotypes, and biset functors
Let $K$ be a field and $G$ be a finite group. Let $G$ act on the rational function field $K(x(g):g\in G)$ by $K$ automorphisms defined by $g\cdot x(h)=x(gh)$ for any $g,h\in G$. Denote by $K(G)$ the fixed field $K(x(g):g\in G)^G$. Noether's…
We prove that there exist finitely presented, residually finite groups that are profinitely rigid in the class of all finitely presented groups but not in the class of all finitely generated groups. These groups are of the form $\Gamma…
A new proof, depending only on genus theory, is given of a theorem of Stankewicz, which characterizes the primes $p$ for which the class equation $H_D(X)$ of the maximal order of the imaginary quadratic field $K=\mathbb{Q}(\sqrt{D})$ has a…
We give a streamlined and effective proof of Ozaki's theorem that any finite $p$-group $\Gamma$ is the Galois group of the $p$-Hilbert class field tower of some number field $\rm F$. Our work is inspired by Ozaki's and applies in broader…
A finite simple graph $\Gamma$ determines a quotient $P_\Gamma$ of the pure braid group, called a graphic arrangement group. We analyze homomorphisms of these groups defined by deletion of sets of vertices, using methods developed in prior…
Let T be a k-regular tree (k>2) and A its automorphism group. We analyze a generic finitely generated subgroup Gamma of A. We show that Gamma is free and establish a trichotomy on the closure of Gamma: it is either discrete, compact or has…
Let $p$ be a prime, $k$ a finite extension of $\mathbf{F}_p$ of cardinal $q$, $l$ a finite extension of $k$ of group $\Sigma=\mathrm{Gal}(l|k)$, and $T$ a subgroup of $l^\times$. Using the method of "little groups", we classify irreducible…
Let $\Gamma=\langle a,b | a b^{p} a^{-1} = b^{q}\rangle$ be a Baumslag--Solitar group and $G$ be a complex reductive algebraic group with maximal compact subgroup $K<G$. We show that, when $p$ and $q$ are relatively prime with distinct…
In this note we study sets of normal generators of finitely presented residually $p$-finite groups. We show that if an infinite, finitely presented, residually $p$-finite group $G$ is normally generated by $g_1,\dots,g_k$ with order…
Let $p$ be an odd rational prime and consider the cyclotomic number field $K = \mathbb{Q}(\zeta_{p})$ of conductor $p$. We construct a directed graph $Y$ on $p-1$ vertices for which the torsion part of the corresponding Bowen--Franks group…
We apply quantitative (or controlled) $K$-theory to prove that a certain $L^p$ assembly map is an isomorphism for $p\in[1,\infty)$ when an action of a countable discrete group $\Gamma$ on a compact Hausdorff space $X$ has finite dynamical…
Let $K$ be a field and $G$ be a finite group. Let $G$ act on the rational function field $K(x(g):g\in G)$ by $K$-automorphisms defined by $g\cdot x(h)=x(gh)$ for any $g,h\in G$. Denote by $K(G)$ the fixed field $K(x(g):g\in G)^G$. Noether's…
Let $G$ be a finite group and $k$ a field of prime characteristic $p$. We give a complete classification of endotrivial complexes, i.e. determine the Picard group $\mathcal{E}_k(G)$ of the tensor-triangulated category…
We show that, for a finitely generated residually finite group $\Gamma$, the word $[x_1, \ldots, x_k]$ is a probabilistic identity of $\Gamma$ if and only if $\Gamma$ is virtually nilpotent of class less than $k$. Related results,…
Let $\Gamma$ be a centerless irreducible higher rank arithmetic lattice in characteristic zero. We prove that if $\Gamma$ is either non-uniform or is uniform of orthogonal type and dimension at least 9, then $\Gamma$ is bi-interpretable…
Let $K$ be a field and $G$ be a finite group. Let $G$ act on the rational function field $K(x(g):g\in G)$ by $K$ automorphisms defined by $g\cdot x(h)=x(gh)$ for any $g,h\in G$. Denote by $K(G)$ the fixed field $K(x(g):g\in G)^G$. Noether's…
Let p be an odd prime. When n>2, we show that each tensor factor of form E \otimes \Gamma in H(Z,n;Z_p) is an A-infinity bialgebra with non-trivial structure. We give explicit formulas for the structure maps and the quadratic relations…
For the purposes of this paper supercongruences are congruences between terminating hypergeometric series and quotients of $p$-adic Gamma functions that are stronger than those one can expect to prove using commutative formal group laws. We…
Let $(W,S)$ be a Coxeter system and $\Gamma$ be a group of automorphisms of $W$ such that $\gamma(S)=S$ for all $\gamma \in \Gamma$. Then it is known that the group of fixed points $W^\Gamma$ is again a Coxeter group with a canonically…
We show that Mandell's inverse $K$-theory functor from $\Gamma$-categories to permutative categories preserves multiplicative structure. This is a first step towards an equivariant generalization that would be inverse to the construction of…