Related papers: Koszul duality for Iwasawa algebras modulo p

Let R be a commutative noetherian local ring with completion R^. We apply differential graded (DG) algebra techniques to study descent of modules and complexes from R^ to R' where R' is either the henselization of R or a pointed \'etale…

It is shown that, the quasi-Koszulities of algebras and modules are Morita invariance. A finite-dimensional $K$-algebra $A$ with an action of $G$ is quasi-Koszul if and only if so is the skew group algebra $A \ast G$, where $G$ is a finite…

The transfer of the generating operations of an algebra to a homotopy equivalent chain complex produces higher operations. The first goal of this paper is to describe precisely the higher structure obtained when the unary operations commute…

Let G be a connected and reductive algebraic group over an algebraically closed field of characteristic p > 0. An interesting class of representations of G consists of those G-modules having a good filtration -- i.e. a filtration whose…

Given a symmetric operad $\mathcal{P}$ and a $\mathcal{P}$-algebra $V$, the associative universal enveloping algebra ${\mathsf{U}_{\mathcal{P}}}$ is an associative algebra whose category of modules is isomorphic to the abelian category of…

Let $A = \bigoplus_{i \geqslant 0} A_i$ be a graded locally finite $k$-algebra such that $A_0$ is an arbitrary finite-dimensional algebra satisfying a certain splitting condition. In this paper we develop a generalized Koszul theory…

We prove a Koszul duality theorem between the category of weight modules over the quantized Coulomb branch (as defined by Braverman, Finkelberg and Nakajima) attached to a group $G$ and representation $V$ and a category of $G$-equivariant…

Let $G$ be a finite group and $(K,\mathcal{O},k)$ be a $p$-modular system "large enough". Let $R=\mathcal{O}$ or $k$. There is a bijection between the blocks of the group algebra $RG$ and the central primitive idempotents (the blocks) of…

Let $\mathfrak{g}$ be a semisimple complex Lie algebra, and let $W$ be a finite subgroup of $\mathbb{C}$-algebra automorphisms of the enveloping algebra $U(\mathfrak{g})$. We show that the derived category of $U(\mathfrak{g})^W$-modules…

Let $\mathsf{s}_0\mathsf{Lie}^r$ be the category of $0$-reduced simplicial restricted Lie algebras over a fixed perfect field of positive characteristic $p$. We prove that there is a full subcategory…

We study the cohomology H*(A) = Ext_A(k,k) of a locally finite, connected, cocommutative Hopf algebra A over k = F_p. Specifically, we are interested in those algebras A for which H*(A) is generated as an algebra by H^1(A) and H^2(A). We…

Iwasawa algebras of compact $p$-adic Lie groups are completed group algebras with applications in number theory in studying class numbers of towers of number fields and representation theory of $p$-adic Lie groups. In our earlier work, we…

Given an affine hyperplane arrangement with some additional structure, we define two finite-dimensional, noncommutative algebras, both of which are motivated by the geometry of hypertoric varieties. We show that these algebras are Koszul…

Let G be a nilpotent p-valuable (compact p-adic Lie) group. There is an ongoing investigation into the prime ideals of its completed group algebra (Iwasawa algebra), and there remains an open conjecture that they can all be proved to have a…

We construct a "Koszul duality" equivalence relating the (diagrammatic) Hecke category attached to a Coxeter system and a given realization to the Hecke category attached to the same Coxeter system and the dual realization. This extends a…

The goal of this article is to make explicit a structured complex whose homology computes the cohomology of the p-profinite completion of the n-fold loop space of a sphere of dimension d=n-m<n. This complex is defined purely algebraically,…

Feigin-Frenkel duality is the isomorphism between the principal $\mathcal{W}$-algebras of a simple Lie algebra $\mathfrak{g}$ and its Langlands dual Lie algebra ${}^L\mathfrak{g}$. A generalization of this duality to a larger family of…

We investigate a question of Burns and Sano concerning the structure of the module of Euler systems for a general $p$-adic representation. Assuming the weak Leopoldt conjecture, and the vanishing of $\mu$-invariants of natural Iwasawa…

For a crystalline p-adic representation of the absolute Galois group of Qp, we define a family of Coleman maps (linear maps from the Iwasawa cohomology of the representation to the Iwasawa algebra), using the theory of Wach modules. Let f =…

The goal of this paper is to develop some of the machinery necessary for doing $K(2)$-local computations in the stable homotopy category using duality resolutions at the prime $p=2$. The Morava stabilizer group $\mathbb{S}_2$ admits a norm…