Related papers: Lifting Theorems and Smooth Profinite Groups

Replacing symmetric powers by divided powers and working over Witt vectors instead of ground fields, I generalize Kawamatas T^1-lifting theorem to characteristic p>0. Combined with the work of Deligne-Illusie on degeneration of the Hodge-de…

To a "stable homotopy theory" (a presentable, symmetric monoidal stable $\infty$-category), we naturally associate a category of finite \'etale algebra objects and, using Grothendieck's categorical machine, a profinite group that we call…

Let $\rho: G \to \operatorname{GL}(V)$ be a rational representation of a reductive linear algebraic group $G$ defined over $\mathbb C$ on a finite dimensional complex vector space $V$. We show that, for any generic smooth (resp. $C^M$)…

Let $p$ be prime, and $n,m \in \mathbb{N}$. When $K/F$ is a cyclic extension of degree $p^n$, we determine the $\mathbb{Z}/p^m\mathbb{Z}[\text{Gal}(K/F)]$-module structure of $K^\times/K^{\times p^m}$. With at most one exception, each…

We construct and study the moduli of continuous representations of a profinite group with integral $p$-adic coefficients. We present this moduli space over the moduli space of continuous pseudorepresentations and show that this morphism is…

Let $p$ be a prime number and let $V$ be a continuous representation of $\mathrm{Gal}(\overline {\mathbf Q}/\mathbf Q)$ on a finite dimensional $\mathbf Q_p$-vector space, which is geometric. One of the Bloch-Kato conjectures for $V$…

For an arithmetical scheme X, K. Kato introduced a certain complex of Gersten-Bloch-Ogus type whose component in degree a involves Galois cohomology groups of the residue fields of all the points of X of dimension a. He stated a conjecture…

We use the newly developed stacky prismatic technology of Drinfeld and Bhatt-Lurie to give a uniform, group-theoretic construction of smooth stacks $\mathrm{BT}^{G,\mu}_{n}$ attached to a smooth affine group scheme $G$ over $\mathbb{Z}_p$…

Galois cohomology groups $H^i(K,M)$ are widely used in algebraic number theory, in such contexts as Selmer groups of elliptic curves, Brauer groups of fields, class field theory, and Iwasawa theory. The standard construction of these groups…

For a prime number $p$, we show that if two certain canonical finite quotients of a finitely generated Bloch-Kato pro-$p$ group $G$ coincide, then $G$ has a very simple structure, i.e., $G$ is a $p$-adic analytic pro-$p$ group. This result…

If $\mathfrak{g} \subseteq \mathfrak{h}$ is an extension of Lie algebras over a field $k$ such that ${\rm dim}_k (\mathfrak{g}) = n$ and ${\rm dim}_k (\mathfrak{h}) = n + m$, then the Galois group ${\rm Gal} \, (\mathfrak{h}/\mathfrak{g})$…

We identify additional structure on a conservative lax monoidal functor from a closed monoidal category $\mathcal{C}$ to a Grothendieck-Verdier category $\mathcal{D}$, such that the Grothendieck-Verdier structure of $\mathcal{D}$ lifts to…

We prove a strengthening of Brauer's height zero conjecture for principal 2-blocks with Galois automorphisms. This requires a new extension of the It\^o--Michler theorem for the prime~2, again with Galois automorphisms. We close, this time…

We prove the universal lifting theorem: for an $\alpha$-simply connected and $\alpha$-connected Lie groupoid $\gm$ with Lie algebroid $A$, the graded Lie algebra of multi-differentials on $A$ is isomorphic to that of multiplicative…

We prove a version of Quillen's stratification theorem in equivariant homotopy theory for a finite group $G$, generalizing the classical theorem in two directions. Firstly, we work with arbitrary commutative equivariant ring spectra as…

Let $X$ be a complete smooth variety defined over number field $K$ and $i$ an integer. The absolute Galois group of $K$ acts on the $i$th $l$-adic etale cohomology of $X$ for all $l$, producing a system of $l$-adic representations…

Let G be a simple, simply connected algebraic group defined over an algebraically closed field k of positive characteristic p. Let \sigma:G->G be a strict endomorphism (i. e., the subgroup G(\sigma) of \sigma-fixed points is finite). Also,…

We prove homology stability for elementary and special linear groups over rings with many units improving known stability ranges. Our result implies stability for unstable Quillen K-groups and proves a conjecture of Bass. For commutative…

Let $G$ be a connected reductive group defined over a non-Archimedean local field $F$ of residue characteristic $p$. Let $\ell$ be a prime number distinct from $p$. Let $E$ be a cyclic Galois extension of $F$ with $[E:F]=\ell$. Let $\Pi$ be…

We relate two different proposals to extend the \'etale topology into homotopy theory, namely via the notion of finite cover introduced by Mathew and via the notion of separable commutative algebra introduced by Balmer. We show that finite…