Related papers: Profinite equivariant spectra and their tensor-tri…
We consider a Deligne-Mumford stack $X$ which is the quotient of an affine scheme $\operatorname{Spec}A$ by the action of a finite group $G$ and show that the Balmer spectrum of the tensor triangulated category of perfect complexes on $X$…
We prove structural theorems for computing the completion of a G-spectrum at the augmentation ideal of the Burnside ring of a finite group G. First we show that a G-spectrum can be replaced by a spectrum obtained by allowing only isotropy…
We introduce and study equivariant Seiberg-Witten invariants for $4$-manifolds equipped with a smooth action of a finite group $G$. Our invariants come in two types: cohomological, valued in the group cohomology of $G$ and $K$-theoretic,…
The category $\mathrm{FI}_G$ was first defined and explored by Sam-Snowden. Here, we develop more of the machinery of $\mathrm{FI}_G$-modules and find numerous examples to apply it to, extending the work of Church-Ellenberg-Farb and Wilson.…
For any finite group G we define the moduli space of pointed admissible G-covers and the concept of a G-equivariant cohomological field theory (G-CohFT), which, when G is the trivial group, reduce to the moduli space of stable curves and a…
Having in view the study of a version of Gel'fand-Neumark duality adapted to the context of Alain Connes' spectral triples, in this very preliminary review, we first present a description of the relevant categories of geometrical spaces,…
Let $(\mathcal{G},\Gamma)$ be an abstract graph of finite groups. If $\Gamma$ is finite, we can construct a profinite graph of groups in a natural way $(\hat{\mathcal{G}},\Gamma)$, where $\hat{\mathcal{G}}(m)$ is the profinite completion of…
In this paper we study the category of discrete G-spectra for a profinite group G. We consider an embedding of module objects in spectra into a category of module objects in discrete G-spectra, and study the relationship between the…
If K is a discrete group and Z is a K-spectrum, then the homotopy fixed point spectrum Z^{hK} is Map_*(EK_+, Z)^K, the fixed points of a familiar expression. Similarly, if G is a profinite group and X is a discrete G-spectrum, then X^{hG}…
Let G < SL(V) be a finite group, V is finite dimensional over a field F, p=char F and S(V) is the symmetric algebra of V. We determine when the subring of G-invariants S(V)^G is a polynomial ring. As a consequence, we classify, if F is…
Let $G$ be a profinite group, $X$ a discrete $G$-spectrum with trivial action, and $X^{hG}$ the continuous homotopy fixed points. For any $N \trianglelefteq_o G$ ("$o$" for open), $X = X^N$ is a $G/N$-spectrum with trivial action. We…
A central question in equivariant algebraic K-theory asks whether there exists an equivariant K-theory machine from genuine symmetric monoidal G-categories to orthogonal G-spectra that preserves equivariant algebraic structures. We answer…
We note a parallel between some ideas of stable model theory and certain topics in finite combinatorics related to the sum-product phenomenon. For a simple linear group G, we show that a finite subset X with |X X \^{-1} X |/ |X| bounded is…
Stable commutator length scl_G(g) of an element g in a group G is an invariant for group elements sensitive to the geometry and dynamics of G. For any group G acting on a tree, we prove a sharp bound scl_G(g)>=1/2 for any g acting without…
Given an algebraic stack $X$, one may compare the derived category of quasi-coherent sheaves on $X$ with the category of dg-modules over the dg-ring of functions on $X$. We study the analogous question in stable homotopy theory, for derived…
We define the profinite completion of a C*-algebra, which is a pro-C*-algebra, as well as the pro-C*-algebra of a profinite group. We show that the continuous representations of the pro-C*-algebra of a profinite group correspond to the…
Let $S$ be either a free group or the fundamental group of a closed hyperbolic surface. We show that if $G$ is a finitely generated residually-$p$ group with the same pro-$p$ completion as $S$, then two-generated subgroups of $G$ are free.…
We study in detail the profinite group G arising as geometric \'etale iterated monodromy group of an arbitrary quadratic polynomial over a field of characteristic different from two. This is a self-similar closed subgroup of the group of…
Equipping a non-equivariant topological E_\infty operad with the trivial G-action gives an operad in G-spaces. The algebra structure encoded by this operad in G-spectra is characterised homotopically by having no non-trivial multiplicative…
We give a characterization of toral relatively hyperbolic virtually special groups in terms of the profinite completion. We also prove a Tits alternative for subgroups of the profinite completion $\hat G$ of a relatively hyperbolic…