Showing 1–14 of 14 results for author: Sommerhaeuser, Y

On Isomorphisms between Certain Yetter-Drinfel'd Hopf Algebras

Authors: Yevgenia Kashina, Yorck Sommerhaeuser

Abstract: For two families of Yetter-Drinfel'd Hopf algebras considered earlier by the authors, we determine which of them are isomorphic. We also determine which of their Radford biproducts are isomorphic. For two families of Yetter-Drinfel'd Hopf algebras considered earlier by the authors, we determine which of them are isomorphic. We also determine which of their Radford biproducts are isomorphic. △ Less

Submitted 30 December, 2023; v1 submitted 17 October, 2022; originally announced October 2022.

Comments: 23 pages. In the third version, the assumptions on the base field have been harmonized with our previous articles. See also https://www.math.mun.ca/~sommerh/

MSC Class: 16T05

Journal ref: Bull. Belg. Math. Soc. Simon Stevin 30 (2023), 548-569

On Biproducts and Extensions

Authors: Yevgenia Kashina, Yorck Sommerhaeuser

Abstract: We describe in which ways the Radford biproducts of certain eight-dimensional Yetter-Drinfel'd Hopf algebras over the elementary abelian group of order 4 can be written as extensions of Hopf algebras. We describe in which ways the Radford biproducts of certain eight-dimensional Yetter-Drinfel'd Hopf algebras over the elementary abelian group of order 4 can be written as extensions of Hopf algebras. △ Less

Submitted 20 July, 2020; originally announced July 2020.

Comments: 44 pages. See also https://www.math.mun.ca/~sommerh/

MSC Class: 16T05

Journal ref: Contemp. Math., Vol. 771, Am. Math. Soc., Providence, 2021, 195-223

Hochschild Cohomology, Modular Tensor Categories, and Mapping Class Groups

Authors: Simon Lentner, Svea Nora Mierach, Christoph Schweigert, Yorck Sommerhaeuser

Abstract: Given a finite modular tensor category, we associate with each compact surface with boundary a cochain complex in such a way that the mapping class group of the surface acts projectively on its cohomology groups. In degree zero, this action coincides with the known projective action of the mapping class group on the space of chiral conformal blocks. In the case that the surface is a torus and the… ▽ More Given a finite modular tensor category, we associate with each compact surface with boundary a cochain complex in such a way that the mapping class group of the surface acts projectively on its cohomology groups. In degree zero, this action coincides with the known projective action of the mapping class group on the space of chiral conformal blocks. In the case that the surface is a torus and the category is the representation category of a factorizable ribbon Hopf algebra, we recover our previous result on the projective action of the modular group on the Hochschild cohomology groups of the Hopf algebra. △ Less

Submitted 31 December, 2021; v1 submitted 13 March, 2020; originally announced March 2020.

Comments: 79 pages, uses tikz-cd package

Report number: ZMP-HH/20-5, Hamburger Beitraege zur Mathematik Nr. 825 MSC Class: 57R56; 57K20; 18M20; 16T05

Journal ref: SpringerBriefs Math. Phys., Vol. 44, Springer, Berlin, 2023

On Cores in Yetter-Drinfel'd Hopf Algebras

Authors: Yevgenia Kashina, Yorck Sommerhaeuser

Abstract: By constructing explicit examples, we show that the core of a group-like element in a cocommutative cosemisimple Yetter-Drinfel'd Hopf algebra over the group ring of a finite abelian group is not always completely trivial. By constructing explicit examples, we show that the core of a group-like element in a cocommutative cosemisimple Yetter-Drinfel'd Hopf algebra over the group ring of a finite abelian group is not always completely trivial. △ Less

Submitted 20 August, 2019; originally announced August 2019.

Comments: 37 pages. See also https://www.math.mun.ca/~sommerh/

MSC Class: 16T05

Journal ref: J. Algebra 583 (2021), 89-125

Hochschild Cohomology and the Modular Group

Authors: Simon Lentner, Svea Nora Mierach, Christoph Schweigert, Yorck Sommerhaeuser

Abstract: It has been shown in previous work that the modular group acts projectively on the center of a factorizable ribbon Hopf algebra. The center is the zeroth Hochschild cohomology group. In this article, we extend this projective action of the modular group to an arbitrary Hochschild cohomology group of a factorizable ribbon Hopf algebra, in fact up to homotopy even to a projective action on the entir… ▽ More It has been shown in previous work that the modular group acts projectively on the center of a factorizable ribbon Hopf algebra. The center is the zeroth Hochschild cohomology group. In this article, we extend this projective action of the modular group to an arbitrary Hochschild cohomology group of a factorizable ribbon Hopf algebra, in fact up to homotopy even to a projective action on the entire Hochschild cochain complex. △ Less

Submitted 13 July, 2017; originally announced July 2017.

Comments: 20 pages, uses tikz-cd package

Report number: Hamburger Beitraege zur Mathematik Nr. 664 MSC Class: 16T05; 16E40

Journal ref: J. Algebra 507 (2018), 400-420

Triviality Theorems for Yetter-Drinfel'd Hopf Algebras

Authors: Yorck Sommerhaeuser

Abstract: Under suitable assumptions on the base field, we prove that a commutative semisimple Yetter-Drinfel'd Hopf algebra over a finite abelian group is trivial, i.e., is an ordinary Hopf algebra, if its dimension is relatively prime to the order of the finite abelian group. Furthermore, we prove that a finite-dimensional cocommutative cosemisimple Yetter-Drinfel'd Hopf algebra contains a trivial Yetter-… ▽ More Under suitable assumptions on the base field, we prove that a commutative semisimple Yetter-Drinfel'd Hopf algebra over a finite abelian group is trivial, i.e., is an ordinary Hopf algebra, if its dimension is relatively prime to the order of the finite abelian group. Furthermore, we prove that a finite-dimensional cocommutative cosemisimple Yetter-Drinfel'd Hopf algebra contains a trivial Yetter-Drinfel'd Hopf subalgebra of dimension greater than one, at least if the Yetter-Drinfel'd Hopf algebra itself has dimension greater than one. △ Less

Submitted 4 March, 2016; v1 submitted 31 March, 2015; originally announced March 2015.

Comments: 46 pages. Minute corrections in the second version. See also http://www.math.mun.ca/~sommerh/

MSC Class: 16T05

Journal ref: J. Algebra 454 (2016), 475-519

On the Notion of a Ribbon Quasi-Hopf Algebra

Authors: Yorck Sommerhaeuser

Abstract: We show that two competing definitions of a ribbon quasi-Hopf algebra are actually equivalent. Along the way, we look at the Drinfel'd element from a new perspective and use this viewpoint to derive its fundamental properties. We show that two competing definitions of a ribbon quasi-Hopf algebra are actually equivalent. Along the way, we look at the Drinfel'd element from a new perspective and use this viewpoint to derive its fundamental properties. △ Less

Submitted 8 October, 2009; originally announced October 2009.

Comments: 18 pages. See also http://www.southalabama.edu/mathstat/personal_pages/sommerh/

MSC Class: 16W30

Journal ref: Rev. Unión Mat. Argent. 51 (2010), 177-192

On the Central Charge of a Factorizable Hopf Algebra

Authors: Yorck Sommerhaeuser, Yongchang Zhu

Abstract: For a semisimple factorizable Hopf algebra over a field of characteristic zero, we show that the value that an integral takes on the inverse Drinfel'd element differs from the value that it takes on the Drinfel'd element itself at most by a fourth root of unity. This can be reformulated by saying that the central charge of the Hopf algebra is an integer. If the dimension of the Hopf algebra is o… ▽ More For a semisimple factorizable Hopf algebra over a field of characteristic zero, we show that the value that an integral takes on the inverse Drinfel'd element differs from the value that it takes on the Drinfel'd element itself at most by a fourth root of unity. This can be reformulated by saying that the central charge of the Hopf algebra is an integer. If the dimension of the Hopf algebra is odd, we show that these two values differ at most by a sign, which can be reformulated by saying that the central charge is even. We give a precise condition on the dimension that determines whether the plus sign or the minus sign occurs. To formulate our results, we use the language of modular data. △ Less

Submitted 18 June, 2009; originally announced June 2009.

Comments: 65 pages. See also http://www.southalabama.edu/mathstat/personal_pages/sommerh/

MSC Class: 16W30

Journal ref: Adv. Math. 236 (2013), 158-223

Hopf Algebras and Congruence Subgroups

Authors: Yorck Sommerhaeuser, Yongchang Zhu

Abstract: We prove that the kernel of the natural action of the modular group on the center of the Drinfel'd double of a semisimple Hopf algebra is a congruence subgroup. To do this, we introduce a class of generalized Frobenius-Schur indicators and endow it with an action of the modular group that is compatible with the original one. We prove that the kernel of the natural action of the modular group on the center of the Drinfel'd double of a semisimple Hopf algebra is a congruence subgroup. To do this, we introduce a class of generalized Frobenius-Schur indicators and endow it with an action of the modular group that is compatible with the original one. △ Less

Submitted 5 February, 2008; v1 submitted 3 October, 2007; originally announced October 2007.

Comments: 130 pages. Many new results added, remark by D. Nikshych included. See also http://www.southalabama.edu/mathstat/personal_pages/sommerh/

MSC Class: 16W30

Journal ref: Mem. Am. Math. Soc., Vol. 219, No. 1028, Am. Math. Soc., Providence, 2012

Stable anti-Yetter-Drinfeld modules

Authors: Piotr M. Hajac, Masoud Khalkhali, Bahram Rangipour, Yorck Sommerhaeuser

Abstract: We define and study a class of entwined modules (stable anti-Yetter-Drinfeld modules) that serve as coefficients for the Hopf-cyclic homology and cohomology. In particular, we explain their relationship with Yetter-Drinfeld modules and Drinfeld doubles. Among sources of examples of stable anti-Yetter-Drinfeld modules, we find Hopf-Galois extensions with a flipped version of the Miyashita-Ulbrich… ▽ More We define and study a class of entwined modules (stable anti-Yetter-Drinfeld modules) that serve as coefficients for the Hopf-cyclic homology and cohomology. In particular, we explain their relationship with Yetter-Drinfeld modules and Drinfeld doubles. Among sources of examples of stable anti-Yetter-Drinfeld modules, we find Hopf-Galois extensions with a flipped version of the Miyashita-Ulbrich action. △ Less

Submitted 3 May, 2004; originally announced May 2004.

Journal ref: C. R. Acad. Sci. Paris, Ser. I, 338 (2004) 587-590

On Higher Frobenius-Schur Indicators

Authors: Yevgenia Kashina, Yorck Sommerhaeuser, Yongchang Zhu

Abstract: We study the higher Frobenius-Schur indicators of modules over semisimple Hopf algebras, and relate them to other invariants as the exponent, the order, and the index. We prove various divisibility and integrality results for these invariants. In particular, we prove a version of Cauchy's theorem for semisimple Hopf algebras. Furthermore, we give some examples that illustrate the general theory. We study the higher Frobenius-Schur indicators of modules over semisimple Hopf algebras, and relate them to other invariants as the exponent, the order, and the index. We prove various divisibility and integrality results for these invariants. In particular, we prove a version of Cauchy's theorem for semisimple Hopf algebras. Furthermore, we give some examples that illustrate the general theory. △ Less

Submitted 30 January, 2005; v1 submitted 12 November, 2003; originally announced November 2003.

Comments: 62 pages. Important new result added, remark by P. Etingof included, mistake in last section corrected. See also http://www.mathematik.uni-muenchen.de/~sommerh

MSC Class: 16W30

Journal ref: Mem. Am. Math. Soc., Vol. 181, No. 855, Am. Math. Soc., Providence, 2006

Hopf-cyclic homology and cohomology with coefficients

Authors: P. M. Hajac, M. Khalkhali, B. Rangipour, Y. Sommerhaeuser

Abstract: Following the idea of an invariant differential complex, we construct general-type cyclic modules that provide the common denominator of known cyclic theories. The cyclicity of these modules is governed by Hopf-algebraic structures. We prove that the existence of a cyclic operator forces a modification of the Yetter-Drinfeld compatibility condition leading to the concept of a stable anti-Yetter-… ▽ More Following the idea of an invariant differential complex, we construct general-type cyclic modules that provide the common denominator of known cyclic theories. The cyclicity of these modules is governed by Hopf-algebraic structures. We prove that the existence of a cyclic operator forces a modification of the Yetter-Drinfeld compatibility condition leading to the concept of a stable anti-Yetter-Drinfeld module. This module plays the role of the space of coefficients in the thus obtained cyclic cohomology of module algebras and coalgebras, and the cyclic homology and cohomology of comodule algebras. Along the lines of Connes and Moscovici, we show that there is a pairing between the cyclic cohomology of a module coalgebra acting on a module algebra and closed 0-cocycles on the latter. The pairing takes values in the usual cyclic cohomology of the algebra. Similarly, we argue that there is an analogous pairing between closed 0-cocycles of a module coalgebra and the cyclic cohomology of a module algebra. △ Less

Submitted 1 July, 2003; v1 submitted 19 June, 2003; originally announced June 2003.

Self-dual modules of semisimple Hopf algebras

Authors: Yevgenia Kashina, Yorck Sommerhaeuser, Yongchang Zhu

Abstract: We prove that, over an algebraically closed field of characteristic zero, a semisimple Hopf algebra that has a nontrivial self-dual simple module must have even dimension. This generalizes a classical result of W. Burnside. As an application, we show under the same assumptions that a semisimple Hopf algebra that has a simple module of even dimension must itself have even dimension. We prove that, over an algebraically closed field of characteristic zero, a semisimple Hopf algebra that has a nontrivial self-dual simple module must have even dimension. This generalizes a classical result of W. Burnside. As an application, we show under the same assumptions that a semisimple Hopf algebra that has a simple module of even dimension must itself have even dimension. △ Less

Submitted 3 July, 2001; v1 submitted 28 June, 2001; originally announced June 2001.

Comments: 9 pages. Important new result included. See also http://www.mathematik.uni-muenchen.de/~sommerh

Report number: gk-mp-0106/70 MSC Class: 16W30

Journal ref: J. Algebra 257 (2002), 88-96

Yetter-Drinfel'd Hopf algebras over groups of prime order

Authors: Yorck Sommerhaeuser

Abstract: We prove a structure theorem for Yetter-Drinfel'd Hopf algebras over groups of prime order that are nontrivial, cocommutative, and cosemisimple: Under certain assumptions on the base field, these algebras can be decomposed into a tensor product of the dual group ring of the group of prime order and an ordinary group ring of some other group. This tensor product is a crossed product as an algebra… ▽ More We prove a structure theorem for Yetter-Drinfel'd Hopf algebras over groups of prime order that are nontrivial, cocommutative, and cosemisimple: Under certain assumptions on the base field, these algebras can be decomposed into a tensor product of the dual group ring of the group of prime order and an ordinary group ring of some other group. This tensor product is a crossed product as an algebra and an ordinary tensor product as a coalgebra. In particular, the dimension of such a Yetter-Drinfel'd Hopf algebra is divisible by the prime under consideration. We also find explicit examples of such Yetter-Drinfel'd Hopf algebras and apply the result to the classification program for semisimple Hopf algebras. △ Less

Submitted 30 May, 1999; originally announced May 1999.

Comments: 152 pages, uses multind and ams packages. See also http://www.mathematik.uni-muenchen.de/~sommerh

Report number: gk-mp-9905/59 MSC Class: 16W30 (Primary); 17B37 (Secondary)

Journal ref: Lect. Notes Math., Vol. 1789, Springer, Berlin, 2002