Deconstructing Hopf spaces

Natalia Castellana,Juan A. Crespo,Jerome Scherer

2006-04-07

Abstract: We characterize Hopf spaces with finitely generated cohomology as an algebra over the Steenrod algebra. We "deconstruct" the original space into an H-space Y with finite mod p cohomology and a finite number of p-torsion Eilenberg-Mac Lane spaces. We give a precise description of homotopy commutative H-spaces in this setting.

Algebraic Topology

What problem does this paper attempt to address?

Hopf Algebras with Rigid Dualizing Complexes

D.-M. Lu,Q.-S. Wu,J. J. Zhang

DOI: https://doi.org/10.1007/s11856-009-0005-1

2008-01-01

Israel Journal of Mathematics

Abstract:Let H be a Hopf algebra over a base field. If H has an ℕ-filtration such that the associated graded ring is connected graded noetherian and has enough normal elements, then H is Gorenstein. This gives a partial solution to a question of Brown and Brown-Goodearl. As a consequence, every quotient Hopf algebra of a generic quantized coordinate ring of a connected semisimple Lie group is Auslander-Gorenstein and Cohen-Macaulay. The last statement answers a question of Goodearl-Zhang.
Hopf Algebra Approaches To Nonlinear Algebraic Equations

Dm Lu

DOI: https://doi.org/10.1081/AGB-120017761

2003-01-01

Communications in Algebra

Abstract:Let M be a k-vector space and R is an element of Hom(M-circle timesp, M-circle timesq), we present a general version of,the FRT-construction, we provide a method for examining whether an FRT-bialgebra A(R) has-a pre-braided structure and whether M can be regarded as an A(R)-dimodule. We show that the FRT-relation plays a fundamental role in determining the algebra structure on the FRT-bialgebra and the compatibility condition of relevant dimodule. As an example, we give a Hopf algebra approach for solving both homogeneous and non-homogeneous nonlinear (algebraic) equations.
Hopf algebras and homotopy invariants

Victor Buchstaber,Jelena Grbic

DOI: https://doi.org/10.48550/arXiv.1011.2549

2012-11-23

Abstract:In this paper we explore new relations between Algebraic Topology and the theory of Hopf Algebras. For an arbitrary topological space $X$, the loop space homology $H_*(\Omega\Sigma X; \coefZ)$ is a Hopf algebra. We introduce a new homotopy invariant of a topological space $X$ taking for its value the isomorphism class (over the integers) of the Hopf algebra $H_*(\Omega\Sigma X; \coefZ)$. This invariant is trivial if and only if the Hopf algebra $H_*(\Omega\Sigma X; \coefZ)$ is isomorphic to a Lie-Hopf algebra, that is, to a primitively generated Hopf algebra. We show that for a given $X$ these invariants are obstructions to the existence of a homotopy equivalence $\Sigma X\simeq \Sigma^2Y$ for some space $Y$. Further on, using the notion of Hopf algebras, we establish new structural properties of the cohomology ring, in particular, of the cup product. For example, using the fact that the suspension of a polyhedral product $X$ is a double suspension, we obtain a strong condition on the cohomology ring structure of $X$. This gives an important application in toric topology. For an algebra to be realised as the cohomology ring of a moment-angle manifold $\Z_P$ associated to a simple polytope $P$, we found an obstruction in the Hopf algebra $H_*(\Omega\Sigma \Z_P)$. In addition, we use homotopy decompositions to study particular Hopf algebras.

Algebraic Topology
Hopf Cyclic Cohomology and Hodge Theory for Proper Actions

Xiang Tang,Yi-Jun Yao,Weiping Zhang

DOI: https://doi.org/10.4171/jncg/138

2013-01-01

Journal of Noncommutative Geometry

Abstract:We introduce a Hopf algebroid associated to a proper Lie group action on a smooth manifold. We prove that the cyclic cohomology of this Hopf algebroid is equal to the de Rham cohomology of invariant differential forms. When the action is cocompact, we develop a generalized Hodge theory for the de Rham cohomology of invariant differential forms. We prove that every cyclic cohomology class of the Hopf algebroid is represented by a generalized harmonic form. This implies that the space of cyclic cohomology of the Hopf algebroid is finite dimensional. As an application of the techniques developed in this paper, we discuss properties of the Euler characteristic for a proper cocompact action.
A class of finite-by-cocommutative Hopf algebras

Nicolás Andruskiewitsch,Sonia Natale,Blas Torrecillas

DOI: https://doi.org/10.48550/arXiv.2303.14037

2023-03-24

Abstract:We present a rich source of Hopf algebras starting from a cofinite central extension of a Noetherian Hopf algebra and a subgroup of the algebraic group of characters of the central Hopf subalgebra. The construction is transparent from a Tannakian perspective. We determine when the new Hopf algebras are co-Frobenius, or cosemisimple, or Noetherian, or regular, or have finite Gelfand-Kirillov dimension.

Quantum Algebra
Gorenstein Global Dimension and Hopf Algebroid Actions

Yong Wang,Fang Li

DOI: https://doi.org/10.1142/s0219498816500900

2016-01-01

Journal of Algebra and Its Applications

Abstract:Let [Formula: see text] be a Hopf algebroid and [Formula: see text] a left [Formula: see text]-module algebra. In this paper, we mainly present the duality theorem for the smash product [Formula: see text], and making use of integral theory for Hopf algebroids, we investigate the stability of Gorenstein injective pre-envelopes and Gorenstein projective precovers between the category of [Formula: see text]-modules and the category of [Formula: see text]-modules. Moreover, we establish the relationship between Gorenstein global dimension of [Formula: see text] and that of [Formula: see text], and prove that [Formula: see text] has finite representation type, resp. is selfinjective, resp. is CM-finite [Formula: see text]-Gorenstein, if and only if [Formula: see text] has the same property under suitable conditions. As an application, we investigate the representation dimension of the lower triangular matrix Artin algebra [Formula: see text].
Hopf algebras, Steinberg modules, and the unstable cohomology of $SL_n(\mathbb Z)$ and $GL_n(\mathbb Z)$

Avner Ash,Jeremy Miller,Peter Patzt

2024-04-22

Abstract:We prove that the direct sum of all homology groups of the integral general linear groups with Steinberg module coefficients form a commutative Hopf algebra, in particular a free graded commutative algebra. We use this to construct new infinite families of unstable cohomology classes of $SL_n(\mathbb Z)$.

Algebraic Topology,K-Theory and Homology,Number Theory
Hopf images and inner faithful representations

Teodor Banica,Julien Bichon

DOI: https://doi.org/10.48550/arXiv.0807.3827

2009-11-10

Abstract:We develop a general theory of Hopf image of a Hopf algebra representation, with the associated concept of inner faithful representation, modelled on the notion of faithful representation of a discrete group. We study several examples, including group algebras, enveloping algebras of Lie algebras, pointed Hopf algebras, function algebras, twistings and cotwistings, and we present a Tannaka duality formulation of the notion of Hopf image.

Quantum Algebra,Group Theory
The Hopf Decomposition

Nachi Avraham-Re'em,George Peterzil

2024-06-25

Abstract:Let $G$ be a locally compact second countable group. We present a comprehensive treatment of the classical Hopf Decomposition (also known as the Conservative-Dissipative Decomposition) for general nonsingular $G$-spaces, and provide several fundamentally different characterizations of it. Subsequently, we establish a complete structure theorem for totally dissipative nonsingular $G$-spaces through the construction of \emph{Krengel $G$-spaces}, extending Krengel's structure theorem on flows.

Dynamical Systems
Structure algebras, Hopf algebroids and oriented cohomology of a group

Martina Lanini,Rui Xiong,Kirill Zainoulline

2023-03-04

Abstract:We prove that the structure algebra of a Bruhat moment graph of a finite real root system is a Hopf algebroid with respect to the Hecke and the Weyl actions. We introduce new techniques (reconstruction and push-forward formula of a product, twisted coproduct, double quotients of bimodules) and apply them together with our main result to linear algebraic groups, to generalized Schubert calculus, to combinatorics of Coxeter groups and finite real root systems. As for groups, it implies that the natural Hopf-algebra structure on the algebraic oriented cohomology $h(G)$ of Levine-Morel of a split semi-simple linear algebraic group $G$ can be lifted to a `bi-Hopf' structure on the $T$-equivariant algebraic oriented cohomology of the complete flag variety. As for the Schubert calculus, we prove several new identities involving (double) generalized equivariant Schubert classes. As for finite real root systems, we compute the Hopf-algebra structure of `virtual cohomology' of dihedral groups $I_2(p)$, where $p$ is an odd prime.

Algebraic Geometry,Representation Theory
Hopf algebras in the cohomology of $\mathcal{A}_g$, $\mathrm{GL}_n(\mathbb{Z})$, and $\mathrm{SL}_n(\mathbb{Z})$

Francis Brown,Melody Chan,Søren Galatius,Sam Payne

2024-07-24

Abstract:We describe a bigraded cocommutative Hopf algebra structure on the weight zero compactly supported rational cohomology of the moduli space of principally polarized abelian varieties. By relating the primitives for the coproduct to graph cohomology, we deduce that $\dim H^{2g+k}_c(\mathcal{A}_g)$ grows at least exponentially with $g$ for $k = 0$ and for all but finitely many positive integers $k$. Our proof relies on a new result of independent interest; we use a filtered variant of the Waldhausen construction to show that Quillen's spectral sequence abutting to the cohomology of $BK(\mathbb{Z})$ is a spectral sequence of Hopf algebras. From the same construction, we also deduce that $\dim H^{\binom{n}{2} - n - k}(\mathrm{SL}_n(\mathbb{Z}))$ grows at least exponentially with $n$, for $k = -1$ and for all but finitely many non-negative integers $k$.

Algebraic Geometry,Algebraic Topology,Number Theory
Hopf monoids of ordered simplicial complexes

Federico Castillo,Jeremy L. Martin,Jose A. Samper

2024-09-02

Abstract:We study pure ordered simplicial complexes (i.e., simplicial complexes with a linear order on their ground sets) from the Hopf-theoretic point of view. We define a \textit{Hopf class} to be a family of pure ordered simplicial complexes that give rise to a Hopf monoid under join and deletion/contraction. The prototypical Hopf class is the family of ordered matroids. The idea of a Hopf class allows us to give a systematic study of simplicial complexes related to matroids, including shifted complexes, broken-circuit complexes, and \textit{unbounded matroids} (which arise from unbounded generalized permutohedra with 0/1 coordinates). We compute the antipodes in two cases: \textit{facet-initial complexes} (a much larger class than shifted complexes) and unbounded ordered matroids. In the latter case, we embed the Hopf monoid of ordered matroids into the Hopf monoid of ordered generalized permutohedra, enabling us to compute the antipode using the topological method of Aguiar and Ardila. The calculation is complicated by the appearance of certain auxiliary simplicial complexes that we call \textit{Scrope complexes}, whose Euler characteristics control certain coefficients of the antipode. The resulting antipode formula is multiplicity-free and cancellation-free.

Combinatorics
Some Hopf algebras related to sl<sub>2</sub>

Jing Wang,Zhixiang Wu,Yan Tan

DOI: https://doi.org/10.1080/00927872.2021.1894568

2021-01-01

Communications in Algebra

Abstract:We give a series of infinite dimensional noncommutative and noncocommutative pointed Hopf algebras, which are Artin-Schelter Gorenstein Hopf algebras with injective dimensions 3. Radford's Hopf algebra and Gelaki's Hopf algebra are homomorphic images of these Hopf algebras. We determine the irreducible representations of them. We describe the Grothendieck rings of them. We obtain that two non-isomorphic Hopf algebras could have isomorphic Grothendieck rings.
Hopf algebraic structures on hypergraphs and multi-complexes

Loïc Foissy

2023-04-03

Abstract:Using the formalism of species and twisted objects, we introduce two structures of cointeracting bialgebras on hypergraphs, induced by two notions of induced sub-hypergraphs. We study the associated unique morphisms of cointeracting bialgebras from hypergraphs to the polynomial algebra in one indeterminate: in the first case, this gives the chromatic polynomial of a graph attached to the considered hypergraph. In the second case, we obtained Helgason's notion of chromatic polynomial of a hypergraph. We obtain Hopf-algebraic proves of results about the values of this chromatic polynomial in -1 or about its coefficients, with the help of the action of a monoid of characters. This allows to give multiplicity-free formulas for the antipodes of these objects, using various notions of acyclic orientations of hypergraphs. Mixing the two notions of induced sub-hypergraphs, we obtain a third Hopf algebra, firstly described by Aguiar and Ardila. We obtain negative results on the existence of a second coproduct making it a cointeracting bialgebra. Anyway, it is still possible to obtain a polynomial invariant from this structure, which is the chomatic polynomial described by Aval, Kharagbossian and Tanasa. We nally study Iovanov and Jaiung's Hopf algebra of multi-complexes, making it a cointeracting bialgebra which has for quotient one of the preceding cointeracting bialgebras of hypergraphs.

Combinatorics
On the structure of abelian Hopf algebras

Tilman Bauer

2024-07-02

Abstract:We study the structure of the category of graded, connected, countable-dimensional, commutative and cocommutative Hopf algebras over a perfect field $k$ of characteristic $p$. Every $p$-torsion object in this category is uniquely a direct sum of explicitly given indecomposables. This gives rise to a similar classification of not necessarily $p$-torsion objects that are either free as commutative algebras or cofree as cocommutative coalgebras. We also completely classify those objects that are indecomposable modulo $p$.

Algebraic Topology,Rings and Algebras
Pointed Hopf algebra (co)actions on rational functions

Ulrich Krähmer,Blessing Bisola Oni

2023-08-23

Abstract:This article studies the construction of Hopf algebras $H$ acting on a given algebra $K$ in terms of algebra morphisms $ \sigma \colon K \rightarrow \mathrm{M}_n(K)$. The approach is particularly suited for controlling whether these actions restrict to a given subalgebra $B$ of $K$, whether $H$ is pointed, and whether these actions are compatible with a given $*$-structure on $K$. The theory is applied to the field $K=k(t)$ of rational functions containing the coordinate ring $B=k[t^2,t^3]$ of the cusp. An explicit example is described in detail and shown to define a quantum homogeneous space structure on the cusp, which, unlike the previously known one, extends from regular to rational functions.

Quantum Algebra,Rings and Algebras
The Deformation Complex For DG Hopf Algebras

Ronald Umble

DOI: https://doi.org/10.48550/arXiv.math/0106266

2002-09-12

Abstract:Let H be a differential graded Hopf algebra over a field k. This paper gives an explicit construction of a triple cochain complex that defines the Hochschild-Cartier cohomology of H. A certain truncation of this complex is the appropriate setting for deforming H as an H(q)-structure. The direct limit of all such truncations is the appropriate setting for deforming H as a strongly homotopy associative structure. Sign complications are systematically controlled. The connection between rational perturbation theory and the deformation theory of certain free commutative differential graded algebras is clarified.

Algebraic Topology,Commutative Algebra,Rings and Algebras
Actions of cocommutative Hopf algebras

Martin Lorenz,Bach Nguyen,Ramy Yammine

DOI: https://doi.org/10.1016/j.jalgebra.2019.11.010

IF: 0.908

2020-03-01

Journal of Algebra

Abstract:Let H be a cocommutative Hopf algebra acting on an algebra A. Assuming the base field to be algebraically closed and the H-action on A to be integral, that is, it is given by a coaction of some Hopf subalgebra of the finite dual H∘ that is an integral domain, we stratify the prime spectrum Spec A in terms of the prime spectra of certain commutative algebras. For arbitrary H-actions in characteristic 0, we show that the largest H-stable ideal of A that is contained in a given semiprime ideal of A is semiprime as well.

mathematics
Hopf algebra structure on symplectic superspace ${\rm SP}_q^{2|1}$

Salih Celik

DOI: https://doi.org/10.15672/hujms.499848

2018-11-14

Abstract:Super-Hopf algebra structure on the function algebra on the extended quantum symplectic superspace ${\rm SP}_q^{2|1}$ has been defined. The dual Hopf algebra is explicitly constructed.

Mathematics
Hopf Algebras On Schurian Quivers

Pu Zhang

DOI: https://doi.org/10.1080/00927870600876078

2006-01-01

Communications in Algebra

Abstract:Let H be a Hopf algebra with a finite-dimensional, nontrivial space of skew primitive elements, over an algebraically closed field of characteristic zero. We prove that H contains either the polynomial algebra as a Hopf subalgebra, or a certain Schurian simple pointed Hopf subalgebra. As a consequence, a complete list of the locally finite, simple pointed Hopf algebras is obtained. Also, the graded automorphism group of a Hopf algebra on a Schurian Hopf quiver is determined, and the relation between this group and the automorphism groups of the corresponding Hopf quiver, is clarified.

Deconstructing Hopf spaces

Hopf Algebras with Rigid Dualizing Complexes

Hopf Algebra Approaches To Nonlinear Algebraic Equations

Hopf algebras and homotopy invariants

Hopf Cyclic Cohomology and Hodge Theory for Proper Actions

A class of finite-by-cocommutative Hopf algebras

Gorenstein Global Dimension and Hopf Algebroid Actions

Hopf algebras, Steinberg modules, and the unstable cohomology of $SL_n(\mathbb Z)$ and $GL_n(\mathbb Z)$

Hopf images and inner faithful representations

The Hopf Decomposition

Structure algebras, Hopf algebroids and oriented cohomology of a group

Hopf algebras in the cohomology of $\mathcal{A}_g$, $\mathrm{GL}_n(\mathbb{Z})$, and $\mathrm{SL}_n(\mathbb{Z})$

Hopf monoids of ordered simplicial complexes

Some Hopf algebras related to sl<sub>2</sub>

Hopf algebraic structures on hypergraphs and multi-complexes

On the structure of abelian Hopf algebras

Pointed Hopf algebra (co)actions on rational functions

The Deformation Complex For DG Hopf Algebras

Actions of cocommutative Hopf algebras

Hopf algebra structure on symplectic superspace ${\rm SP}_q^{2|1}$

Hopf Algebras On Schurian Quivers