The duality theorem for twisted smash products of Hopf algebras and its applications

Zhongwei Wang; Liangyun Zhang

Displaying similar documents to “The duality theorem for twisted smash products of Hopf algebras and its applications”

The bicrossed products of $H_{4}$ and $H_{8}$

Daowei Lu, Yan Ning, Dingguo Wang (2020)

Czechoslovak Mathematical Journal

Similarity:

Let $H_{4}$ and $H_{8}$ be the Sweedler’s and Kac-Paljutkin Hopf algebras, respectively. We prove that any Hopf algebra which factorizes through $H_{8}$ and $H_{4}$ (equivalently, any bicrossed product between the Hopf algebras $H_{8}$ and $H_{4}$ ) must be isomorphic to one of the following four Hopf algebras: $H_{8} \otimes H_{4}, H_{32, 1}, H_{32, 2}, H_{32, 3}$ . The set of all matched pairs $(H_{8}, H_{4}, ▹, ◃)$ is explicitly described, and then the associated bicrossed product is given by generators and relations.

The structures of Hopf $*$ -algebra on Radford algebras

Hassan Suleman Esmael Mohammed, Hui-Xiang Chen (2019)

Czechoslovak Mathematical Journal

Similarity:

We investigate the structures of Hopf $*$ -algebra on the Radford algebras over $ℂ$ . All the $*$ -structures on $H$ are explicitly given. Moreover, these Hopf $*$ -algebra structures are classified up to equivalence.

$ℵ_{0}$ -categoricity of products of 1-unary algebras

Philip Olin (1975)

Colloquium Mathematicae

Similarity:

Monomorphisms of coalgebras

A. L. Agore (2010)

Colloquium Mathematicae

Similarity:

We prove new necessary and sufficient conditions for a morphism of coalgebras to be a monomorphism, different from the ones already available in the literature. More precisely, φ: C → D is a monomorphism of coalgebras if and only if the first cohomology groups of the coalgebras C and D coincide if and only if $\sum_{i \in I} ε (a^{i}) b^{i} = \sum_{i \in I} a^{i} ε (b^{i})$ for all $\sum_{i \in I} a^{i} \otimes b^{i} \in C ◻_{D} C$ . In particular, necessary and sufficient conditions for a Hopf algebra map to be a monomorphism are given.

A class of quantum doubles of pointed Hopf algebras of rank one

Hua Sun, Yueming Li (2023)

Czechoslovak Mathematical Journal

Similarity:

We construct a class of quantum doubles $D (H_{D_{n}})$ of pointed Hopf algebras of rank one $H_{𝒟}$ . We describe the algebra structures of $D (H_{D_{n}})$ by generators with relations. Moreover, we give the comultiplication $Δ_{D}$ , counit $ε_{D}$ and the antipode $S_{D}$ , respectively.

Right coideal subalgebras of $U_{q}^{+} ({𝔰𝔬}_{2 n + 1})$

V. K. Kharchenko (2011)

Journal of the European Mathematical Society

Similarity:

We give a complete classification of right coideal subalgebras that contain all grouplike elements for the quantum group $U_{q}^{+} ({𝔰𝔬}_{2 n + 1})$ provided that $q$ is not a root of 1. If $q$ has a finite multiplicative order $t > 4$ ; this classification remains valid for homogeneous right coideal subalgebras of the Frobenius–Lusztig kernel $u_{q}^{+} ({𝔰𝔬}_{2 n + 1})$ . In particular, the total number of right coideal subalgebras that contain the coradical equals $(2 n)!!$ ; the order of the Weyl group defined by the root system of type $B_{n}$ .

Classification of ideals of $8$ -dimensional Radford Hopf algebra

Yu Wang (2022)

Czechoslovak Mathematical Journal

Similarity:

Let $H_{m, n}$ be the $m n^{2}$ -dimensional Radford Hopf algebra over an algebraically closed field of characteristic zero. We give the classification of all ideals of $8$ -dimensional Radford Hopf algebra $H_{2, 2}$ by generators.

Truncation and Duality Results for Hopf Image Algebras

Teodor Banica (2014)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

Associated to an Hadamard matrix $H \in M_{N} (ℂ)$ is the spectral measure μ ∈ [0,N] of the corresponding Hopf image algebra, A = C(G) with $G \subset S ⁺_{N}$ . We study a certain family of discrete measures $μ^{r} \in [0, N]$ , coming from the idempotent state theory of G, which converge in Cesàro limit to μ. Our main result is a duality formula of type $\int_{0}^{N} {(x / N)}^{p} d μ^{r} (x) = \int_{0}^{N} {(x / N)}^{r} d ν^{p} (x)$ , where $μ^{r}, ν^{r}$ are the truncations of the spectral measures μ,ν associated to $H, H^{t}$ . We also prove, using these truncations $μ^{r}, ν^{r}$ , that for any deformed Fourier matrix $H = F_{M} \otimes_{Q} F_{N}$ we have μ = ν.

Automorphism group of green algebra of weak Hopf algebra corresponding to Sweedler Hopf algebra

Liufeng Cao, Dong Su, Hua Yao (2023)

Czechoslovak Mathematical Journal

Similarity:

Let $r (𝔴_{2}^{0})$ be the Green ring of the weak Hopf algebra $𝔴_{2}^{0}$ corresponding to Sweedler’s 4-dimensional Hopf algebra $H_{2}$ , and let $Aut (R (𝔴_{2}^{0}))$ be the automorphism group of the Green algebra $R (𝔴_{2}^{0}) = r (𝔴_{2}^{0}) \otimes_{ℤ} ℂ$ . We show that the quotient group $Aut (R (𝔴_{2}^{0})) / C_{2} ≅ S_{3}$ , where $C_{2}$ contains the identity map and is isomorphic to the infinite group $(ℂ^{*}, \times)$ and $S_{3}$ is the symmetric group of order 6.

$ω_{0}$ -categoricity of generalized products

Jan Waszkiewicz (1973)

Colloquium Mathematicae

Similarity:

Automorphism group of representation ring of the weak Hopf algebra $\tilde{H_{8}}$

Dong Su, Shilin Yang (2018)

Czechoslovak Mathematical Journal

Similarity:

Let $H_{8}$ be the unique noncommutative and noncocommutative eight dimensional semi-simple Hopf algebra. We first construct a weak Hopf algebra $\tilde{H_{8}}$ based on $H_{8}$ , then we investigate the structure of the representation ring of $\tilde{H_{8}}$ . Finally, we prove that the automorphism group of $r (\tilde{H_{8}})$ is just isomorphic to $D_{6}$ , where $D_{6}$ is the dihedral group with order 12.

Examples of polynomial identities distinguishing the Galois objects over finite-dimensional Hopf algebras

Christian Kassel (2013)

Annales mathématiques Blaise Pascal

Similarity:

We define polynomial $H$ -identities for comodule algebras over a Hopf algebra $H$ and establish general properties for the corresponding $T$ -ideals. In the case $H$ is a Taft algebra or the Hopf algebra $E (n)$ , we exhibit a finite set of polynomial $H$ -identities which distinguish the Galois objects over $H$ up to isomorphism.

On generalized Beurling’s theorem and symmetry of $L_{1}$ -group algebras

Zenobia Anusiak (1971)

Colloquium Mathematicae

Similarity:

Duality of Schramm-Loewner evolutions

Julien Dubédat (2009)

Annales scientifiques de l'École Normale Supérieure

Similarity:

In this note, we prove a version of the conjectured duality for Schramm-Loewner Evolutions, by establishing exact identities in distribution between some boundary arcs of chordal ${SLE}_{κ}$ , $κ > 4$ , and appropriate versions of ${SLE}_{\hat{κ}}$ , $\hat{κ} = 16 / κ$ .

Quantised ${𝔰𝔩}_{2}$ -differential algebras

Andrey Krutov, Pavle Pandžić (2024)

Archivum Mathematicum

Similarity:

We propose a definition of a quantised ${𝔰𝔩}_{2}$ -differential algebra and show that the quantised exterior algebra (defined by Berenstein and Zwicknagl) and the quantised Clifford algebra (defined by the authors) of ${𝔰𝔩}_{2}$ are natural examples of such algebras.

Covariantization of quantized calculi over quantum groups

Seyed Ebrahim Akrami, Shervin Farzi (2020)

Mathematica Bohemica

Similarity:

We introduce a method for construction of a covariant differential calculus over a Hopf algebra $A$ from a quantized calculus $d a = [D, a]$ , $a \in A$ , where $D$ is a candidate for a Dirac operator for $A$ . We recover the method of construction of a bicovariant differential calculus given by T. Brzeziński and S. Majid created from a central element of the dual Hopf algebra $A^{\circ}$ . We apply this method to the Dirac operator for the quantum $SL (2)$ given by S. Majid. We find that the differential calculus obtained by our...

Trivialization of $𝒞 (X)$ -algebras with strongly self-absorbing fibres

Marius Dadarlat, Wilhelm Winter (2008)

Bulletin de la Société Mathématique de France

Similarity:

Suppose $A$ is a separable unital $𝒞 (X)$ -algebra each fibre of which is isomorphic to the same strongly self-absorbing and $K_{1}$ -injective $C^{*}$ -algebra $𝒟$ . We show that $A$ and $𝒞 (X) \otimes 𝒟$ are isomorphic as $𝒞 (X)$ -algebras provided the compact Hausdorff space $X$ is finite-dimensional. This statement is known not to extend to the infinite-dimensional case.

Singularity categories of skewed-gentle algebras

Xinhong Chen, Ming Lu (2015)

Colloquium Mathematicae

Similarity:

Let K be an algebraically closed field. Let (Q,Sp,I) be a skewed-gentle triple, and let $(Q^{s g}, I^{s g})$ and $(Q^{g}, I^{g})$ be the corresponding skewed-gentle pair and the associated gentle pair, respectively. We prove that the skewed-gentle algebra $K Q^{s g} / ⟨ I^{s g} ⟩$ is singularity equivalent to KQ/⟨I⟩. Moreover, we use (Q,Sp,I) to describe the singularity category of $K Q^{g} / ⟨ I^{g} ⟩$ . As a corollary, we find that $g l d i m K Q^{s g} / ⟨ I^{s g} ⟩ < \infty$ if and only if $g l d i m K Q / ⟨ I ⟩ < \infty$ if and only if $g l d i m K Q^{g} / ⟨ I^{g} ⟩ < \infty$ .

$C^{*}$ -basic construction between non-balanced quantum doubles

Qiaoling Xin, Tianqing Cao (2024)

Czechoslovak Mathematical Journal

Similarity:

For finite groups $X$ , $G$ and the right $G$ -action on $X$ by group automorphisms, the non-balanced quantum double $D (X; G)$ is defined as the crossed product ${(ℂ X^{op})}^{*} ⋊ ℂ G$ . We firstly prove that $D (X; G)$ is a finite-dimensional Hopf $C^{*}$ -algebra. For any subgroup $H$ of $G$ , $D (X; H)$ can be defined as a Hopf $C^{*}$ -subalgebra of $D (X; G)$ in the natural way. Then there is a conditonal expectation from $D (X; G)$ onto $D (X; H)$ and the index is $[G; H]$ . Moreover, we prove that an associated natural inclusion of non-balanced quantum doubles is the crossed product by the...