Related papers: Noncommutative Kummer theory

We discuss a generalization of Kummer construction which, on the base of an integral representation of a finite group and local resolution of its quotient, produces a higher dimensional variety with trivial canonical class. As an…

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…

A vanishing theorem is proved for Ext groups over non-commutative graded algebras. Along the way, an "infinite" version is proved of the non-commutative Auslander-Buchsbaum theorem.

We generalize the notion of a projective profinite group to a projective pair of a profinite group and a closed subgroup. We establish the connection with Pseudo Algebraically Closed (PAC) extensions of PAC fields: Let M be an algebraic…

We describe a project to formalize Galois theory using the Lean theorem prover, which is part of a larger effort to formalize all of the standard undergraduate mathematics curriculum in Lean. We discuss some of the challenges we faced and…

We give a few properties equivalent to the Bloch-Kato conjecture (now the norm residue isomorphism theorem).

A central conjecture in inverse Galois theory, proposed by D\`{e}bes and Deschamps, asserts that every finite split embedding problem over an arbitrary field can be regularly solved. We give an unconditional proof of a consequence of this…

Let $p$ be a prime. In this article, we prove the Smoothness Theorem, which asserts that a $(1,1)$-cyclotomic pair is $(n,1)$-cyclotomic, for all $n \geq 1$. In the particular case of Galois cohomology, the Smoothness Theorem provides a new…

For a compact Lie group G we define a regularized version of the Dolbeault cohomology of a G-equivariant holomorphic vector bundles over non-compact Kahler manifolds. The new cohomology is infinite-dimensional, but as a representation of G…

Using the action of the Galois group of a normal extension of number fields, we generalize and symmetrize various fundamental statements in algebra and algebraic number theory concerning splitting types of prime ideals, factorization types…

We present a Galois theory of difference equations designed to measure the differential dependencies among solutions of linear difference equations. With this we are able to reprove Hoelder's Theorem that the Gamma function satisfies no…

Hilbert--Lie groups are Lie groups whose Lie algebra is a real Hilbert space whose scalar product is invariant under the adjoint action. These infinite-dimensional Lie groups are the closest relatives to compact Lie groups. Here we study…

Smooth irreducible representations of tori over local fields have been parameterized by Langlands, using class field theory and Galois cohomology. This paper extends this parameterization to central extensions of such tori, which arise…

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…

In this paper we introduce a notion of integrability in the non autonomous sense. For the cases of 1 + 1/2 degrees of freedom and quadratic homogeneous Hamiltonians of 2 + 1/2 degrees of freedom we prove that this notion is equivalent to…

We give a new categorical approach to the Halmos-von Neumann theorem for actions of general topological groups. As a first step, we establish that the categories of topological and measure-preserving irreducible systems with discrete…

We study topological group theoretic properties of algebraic groups over local fields. In particular, we find conditions under which such groups have closed images under arbitrary continuous homomorphisms into arbitrary topological groups.

We classify subalgebras of a ring of differential operators which are big in the sense that the extension of associated graded rings is finite. We show that these subalgebras correspond, up to automorphisms, to uniformly ramified finite…

In this article, we explain the link between Pohlen's extended Hadamard product and the holomorphic cohomological convolution on $\mathbb{C}^*$. For this purpose, we introduce a generalized Hadamard product, which is defined even if the…

This paper defines and examines the basic properties of noncommutative analogues of almost complex structures, integrable almost complex structures, holomorphic curvature, cohomology, and holomorphic sheaves. The starting point is a…