Related papers: Galois extensions of structured ring spectra

An extension B\subset A of algebras over a commutative ring k is an H-extension for an L-bialgebroid H if A is an H-comodule algebra and B is the subalgebra of its coinvariants. It is H-Galois if the canonical map A\otimes_B A\to A\otimes_L…

We study Galois extensions Coinv(M)<M for M an H-comodule algebra and H a Frobenius Hopf algebroid. We obtain generalizations of various theorems in Hopf-Galois theory by Kreimer-Takeuchi, Doi-Takeuchi and Cohen-Fischman-Montgomery. An…

The theory of general Galois-type extensions is presented, including the interrelations between coalgebra extensions and algebra (co)extensions, properties of corresponding (co)translation maps, and rudiments of entwinings and…

Let us take for granted that L_{K(n)}S^0 --> E_n is some kind of a G_n-Galois extension. Of course, this is in the setting of continuous G_n-spectra. How much structure does this continuous G-Galois extension have? How much structure does…

Let E be a k-local profinite G-Galois extension of an E_infty-ring spectrum A (in the sense of Rognes). We show that E may be regarded as producing a discrete G-spectrum. Also, we prove that if E is a profaithful k-local profinite extension…

We extend the duality theory for topological groups from the classical theory for compact Lie groups, via the topological study by J. R. Klein [Kl01] and the p-complete study for p-compact groups by T. Bauer [Ba04], to a general duality…

The adjunction between coalgebras and Hopf algebras, first described by Takeuchi, allows one to prove that the semi-abelian category of cocommutative Hopf algebras has enough $\mathcal E$-projective objects with respect to the class…

In 2010, V. Futorny and S. Ovsienko gave a realization of $U(\mathfrak{gl}_n)$ as a subalgebra of the ring of invariants of a certain noncommutative ring with respect to the action of $S_1\times S_2\times\cdots\times S_n$, where $S_j$ is…

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…

We prove the "divisible case" of the Milnor-Bloch-Kato conjecture (which is the first step of Voevodsky's proof of this conjecture for arbitrary prime l) in a rather clear and elementary way. Assuming this conjecture, we construct a 6-term…

Galois rings and orders, introduced by Futorny and Ovsienko, are embedded into fixed subrings of skew group (or monoid) rings and have many interesting applications to the structure and representation theory of algebras. The paper focuses…

Let $k$ be a perfect field of characteristic $p > 2$, and let $K$ be a finite totally ramified extension of $W(k)[\frac{1}{p}]$. We prove that the locus of potentially semi-stable $\mathrm{Gal}(\bar{K}/K)$-representations of a given…

We generalize Sen theory to extensions $K_\infty/K$ whose Galois group is a $p$-adic Lie group of arbitrary dimension. To do so, we replace Sen's space of $K$-finite vectors by Schneider and Teitelbaum's space of locally analytic vectors.…

We introduce a condition for Hopf-Galois extensions that generalizes the notion of Kummer Galois extension. Namely, an $H$-Galois extension $L/K$ is $H$-Kummer if $L$ can be generated by adjoining to $K$ a finite set $S$ of eigenvectors for…

We introduce an $A_\infty$-algebra structure on the Hochschild cohomology of the endomorphism bimodule of a finite-dimensional representation of an associative algebra. We prove that this structure determines a presentation for…

We investigate the Galois group $G_S(p)$ of the maximal $p$-extension unramified outside a finite $S$ of primes of a number field in the (tame) case, when no prime dividing $p$ is in $S$. We show that the cohomology of $G_S(p)$ is 'often'…

Coalgebra-Galois extensions generalise Hopf-Galois extensions, which can be viewed as non-commutative torsors. In this paper it is analysed when a coalgebra-Galois extension is a separable, split, or strongly separable extension.

Let E/F be a CM field split above a finite place v of F, let l be a rational prime number which is prime to v, and let S be the set of places of E dividing lv. If E_S denotes a maximal algebraic extension of E unramified outside S, and if u…

Given a Galois cover of curves X to Y with Galois group G which is totally ramified at a point x and unramified elsewhere, restriction to the punctured formal neighborhood of x induces a Galois extension of Laurent series rings…

We construct commutative algebra spectra that represent the operator $K$-theory of $C^*$-algebras, which are algebras over the commutative ring spectra that represent topological $K$-theory. The spectral multiplicative structure introduces…