Related papers: Pro-p groups with few relations and Universal Kosz…

For any prime $p$ and group $G$, denote the pro-$p$ completion of $G$ by $\hat{G}^p$. Let $\mathcal{C}$ be the class of all groups $G$ such that, for each natural number $n$ and prime number $p$, $H^n(\hat{G^p},\mathbb Z/p)\cong H^n(G,…

We discuss some axioms that ensure that a Hopf algebra has its simple comodules classified using an analogue of the Borel-Weil construction. More precisely we show that a Hopf algebra having a dense big cell satisfies the above requirement.…

We generalize the theory of Koszul complexes and Koszul algebras (in particular, Koszul duality between symmetric and exterior algebras) to symmetric tensor categories. In characteristic $p\ge 5$, this theory exhibits peculiar effects, not…

Let A be a basic connected finite dimensional algebra over an algebraically closed field, let G be a group, let T be a basic tilting A-module and let B the endomorphism algebra of T. Under a hypothesis on T, we establish a correspondence…

A comodule algebra P over a Hopf algebra H with bijective antipode is called principal if the coaction of H is Galois and P is H-equivariantly projective (faithfully flat) over the coaction-invariant subalgebra B. We prove that principality…

Let k be a global field, p an odd prime number different from char(k) and S, T disjoint, finite sets of primes of k. Let G_S^T(k)(p)=Gal(k_S^T(p)|k) be the Galois group of the maximal p-extension of k which is unramified outside S and…

Let $q=p^s$ be a prime power, $F$ a field containing a root of unity of order $q$, and $G_F$ its absolute Galois group. We determine a new canonical quotient $\mathrm{Gal}(F_{(3)}/F)$ of $G_F$ which encodes the full mod-$q$ cohomology ring…

Generalizing techniques that prove that Veronese subrings are Koszul, we show that Rees and multi-Rees algebras of certain types of principal strongly stable ideals are Koszul. We provide explicit Gr\"obner basis for the defining ideals of…

This is an enhanced version of the author's 1998 Harvard Ph.D. thesis, as published by IMRN in 2005. We propose an extension of Bogomolov's conjecture about commutator subgroups of Galois groups to arbitrary fields. A somewhat weaker…

We define a basic class of algebras which we call homotopy path algebras. We find that such algebras always admit a cellular resolution and detail the intimate relationship between these algebras, stratifications of topological spaces, and…

Let G be a reductive algebraic group over a field of prime characteristic. One can associate to G (or subgroups thereof) its Lie algebra, its Frobenius kernels, and the finite Chevalley group of points over a finite field. The…

Let $A$ be a bi-Koszul algebra, we describe all possible $A_\infty$-algebra structures on the Ext-algebra $E(A)$, and prove that $E(A)$ must be $[m_2, m_3]$-finitely generated. An equivalent description for a connected graded algebra to be…

Let $K/\mathbb{Q}$ be a finitely generated field of characteristic zero and $X/K$ a smooth projective variety. Fix $q\in\mathbb{N}$. For every prime number $\ell$ let $\rho_\ell$ be the representation of $\mathrm{Gal}(K)$ on the \'etale…

In this paper we prove a result which establishes an equivalence between the representational assembly conjecture proposed by the author and a rigidity question, in the case of Galois groups which are pro-l groups. In additional work with…

A soluble pro-p group of finite rank is finitely axiomatizable in the class of all profinite groups if and only if for each open subgroup H, the image of Z(H) in the abelianization of H is finite, subject to some suitable hypothesis of…

Let $p$ be a prime and $\mathbb{F}_p$ be a finite field of $p$ elements. Let $\mathbb{F}_pG$ denote the group algebra of the finite $p$-group $G$ over the field $\mathbb{F}_p$ and $V(\mathbb{F}_pG)$ denote the group of normalized units in…

We show that if 2^{aleph_0} Cohen reals are added to the universe, then for every reduced non-free torsion-free abelian group A of cardinality less than the continuum, there is a prime p so that Ext_p(A, Z) not= 0. In particular if it is…

Let $g$ be a reductive Lie algebra over a field of characteristic zero. Suppose $g$ acts on a complex of vector spaces $M$ by $i_\lambda$ and $L_\lambda$, which satisfy the identities as contraction and Lie derivative do for smooth…

Generalizing the notion of a Koszul algebra, a graded k-algebra A is K2 if its Yoneda algebra is generated as an algebra in cohomology degrees 1 and 2. We prove a strong theorem about K2 factor algebras of Koszul algebras and use that…

We exhibit cocycles representing certain classes in the rational cohomology of of the general linear group with coefficients in the divided powers of a Frobenius twist of the adjoint representation. These classes' existence was anticipated…