Related papers: The Nodal Cubic is a Quantum Homogeneous Space
Let H be a Hopf algebra and A an H-simple right H-comodule algebra. It is shown that under certain hypotheses every (H,A)-Hopf module is either projective or free as an A-module and A is either a quasi-Frobenius or a semisimple ring. As an…
We uncover the structure of the space of symmetric functions in non-commutative variables by showing that the underlined Hopf algebra is both free and co-free. We also introduce the Hopf algebra of quasi-symmetric functions in…
We classify graded Hopf algebras structures over path coalgebras, that is over free pointed coalgebras, using Hopf quivers which are analogous to Cayley graphs. The description involves formulas for the product besides the canonical…
The quantum co-ordinate algebra $A_{q}(\mathfrak{g})$ associated to a Kac-Moody Lie algebra $\mathfrak{g}$ forms a Hopf algebra whose comodules are precisely the $U_{q}(\mathfrak{g})$ modules in the BGG category…
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…
Quantum groups and quantum homogeneous spaces - developed by several authors since the 80's - provide a large class of examples of algebras which for many reasons we interpret as `coordinate algebras' over noncommutative spaces. This…
A cubic space is a vector space equipped with a symmetric trilinear form. Two cubic spaces are isogeneous if each embeds into the other. A cubic space is non-degenerate if its form cannot be expressed as a finite sum of products of linear…
It shown that any coideal subalgebra of a finite dimensional Hopf algebra is a cyclic module over the dual Hopf algebra. Using this we describe all coideal subalgebras of a cocentral abelian extension of Hopf algebras extending some results…
We define a new algebra of noncommutative differential forms for any Hopf algebra with an invertible antipode. We prove that there is a one to one correspondence between anti-Yetter-Drinfeld modules, which serve as coefficients for the Hopf…
The natural generalization of the notion of bundle in quantum geometry is that of bimodule. If the base space has quantum group symmetries one is particularly interested in bimodules covariant (equivariant) under these symmetries. Most…
Let F denote the homotopy fiber of a map f:K-->L of 2-reduced simplicial sets. Using as input data the strongly homotopy coalgebra structure of the chain complexes of K and L, we construct a small, explicit chain algebra, the homology of…
In this paper we construct a compact quantum semigroup structure on the Toeplitz algebra $\mathcal{T}$. The existence of a subalgebra, isomorphic to the algebra of regular Borel's measures on a circle with convolution product, in the dual…
Localisation is an important technique in ring theory and yields the construction of various rings of quotients. Colocalisation in comodule categories has been investigated by some authors where the colocalised coalgebra turned out to be a…
We study ideals in Hall algebras of monoid representations on pointed sets corresponding to certain conditions on the representations. These conditions include the property that the monoid act via partial permutations, that the…
The representations of the observable algebra of a low dimensional quantum field theory form the objects of a braided tensor category. The search for gauge symmetry in the theory amounts to finding an algebra which has the same…
Andruskiewitsch and Schneider classify a large class of pointed Hopf algebras with abelian coradical. The quantum double of each such Hopf algebra is investigated. The quantum doubles of a family of Hopf algebras from the above…
Let A be a coquasitriangular Hopf algebra and X the subalgebra of A generated by a row of a matrix corepresentation u or by a row of u and a row of the contragredient representation u^c. In the paper left-covariant first order differential…
A projective hypersurface is nodal if it does not have singularities worse than simple nodes. We calculate the rational cohomology of the spaces of equations of nodal cubic and quartic plane curves and also nodal cubic surfaces in the…
We prove that the quantum cohomology ring of any minuscule or cominuscule homogeneous space, specialized at q=1, is semisimple. This implies that complex conjugation defines an algebra automorphism of the quantum cohomology ring localized…
We show that the universal measuring coalgebras between Frobenius algebras turn the category of Frobenius algebras into a Hopf category (in the sense of Batista-Caenepeel-Vercruysse), and the universal comeasuring algebras between Frobenius…