SearcharxivSearch

arXiv subjects

Shenglin Zhu

Publications and source records attributed to Shenglin Zhu.

13 recordsLinked to original sources

Affine Dual Braid Monoids: Finite Cores, Exceptional Cluster Complexes, and Koszul Resolutions

For every finite-rank crystallographic affine Coxeter system $(W,S)$ and Coxeter element $c$, we construct a minimal linear graded free resolution of the trivial module over $k[M([1,c]_T)]$ supported on a rectified exceptional cluster complex. Hence the affine dual braid monoid algebra is Koszul over every field $k$. The exceptional complex is introduced to recover the principal-fibre topology missing from the direct Reading--Stella labelling. Half-orbit rectification replaces the transjective root labels by ordinary exceptional modules, so that a face $F$ determines an exceptional wide subcategory and the intrinsic weight \[ \omega(F)=\operatorname{cox}(\operatorname{wide}\langle F\rangle). \] The resulting principal fibres are induced subcomplexes and split canonically as joins of subcomplexes attached to connected Dynkin and affine blocks; these subcomplexes are contractible. Affine non-lattice divisibility creates the genuinely nonprincipal case. The McCammond--Sulway completion shows that whenever no greatest interval right divisor exists, all maximal interval right divisors share a common nontrivial complete finite Coxeter component. In the associated exceptional-wide decompositions, this common Coxeter component is the Coxeter element of a Dynkin block, and the subcomplex attached to that block occurs as a common contractible join factor. Thus every nonidentity fibre is contractible, and the weighted-face complex is exact, minimal and linear. In particular, $\operatorname{Tor}^{A_c}_q(k,k)$ is indexed by $q$-vertex exceptional cluster faces in internal degree $q$, and $\operatorname{pd}_{A_c}k=|S|$.

math.RT

Nilpotent Lie algebras obtained by ordered sets and Ricci solitons

Nilpotent Lie groups with left-invariant metrics provide nontrivial examples of Ricci solitons. Some typical examples are given by the class of two-step nilpotent Lie algebras obtained from simple directed graphs and the class of nilpotent Lie algebras obtained from finite acyclic quivers. In this paper, we generalize the construction of nilpotent Lie algebras that are algebraic Ricci solitons obtained from finite acyclic quivers. We use some special ordered sets to construct nilpotent Lie algebras, which can also be obtained from some special quivers with relations. A transitively and antisymmetrically ordered set (or TAOS, for short) is a set together with a binary relation that is transitive and antisymmetric. Utilizing the concept of incidence algebras of TAOSs, we construct nilpotent Lie algebras. We modify the method introduced by Mizoguchi and Tamaru \cite{MR4941781} and use it to show that the nilpotent Lie algebras with arbitrarily high degrees of nilpotency obtained from some special finite transitively and antisymmetrically ordered sets, called array TAOSs, are algebraic Ricci solitons. We also give some generalizations of this result, which yield more nilpotent Lie algebras that are algebraic Ricci solitons. Moreover, the corresponding simply-connected nilpotent Lie groups admit left-invariant Ricci solitons.

math.DG

Standard Polynomials for Principal Subalgebras $\mathbb{K}Q_{\geq 1}$ of Path Algebras

We investigate standard polynomials for principal subalgebras of path algebras. First, we use standard polynomials to study the $PI$-theory of principal subalgebras. Then we describe the $St_2$-elements and $St_3$-elements of principal subalgebras, giving a characterization of their centers and 3-centers. In addition, we apply these results to combinatorics on words of formal languages, obtaining some explanations from a combinatorial perspective.

math.RA

The chromatic noncommutative symmetric function of oriented trees

A long-standing question is whether chromatic symmetric functions can distinguish non-isomorphic trees. Campbell introduced chromatic noncommutative symmetric functions for digraphs, which lift chromatic symmetric functions to NSym, and asked to what extent they can distinguish non-isomorphic oriented trees. In this article, we prove that chromatic noncommutative symmetric functions can reconstruct oriented stars, oriented double stars, some oriented caterpillars, and some oriented paths.

math.CO

The Graded Dual of a Combinatorial Hopf Algebra on Partition Diagrams

John M. Campbell constructed a combinatorial Hopf algebra (CHA) \text{ParSym} on partition diagrams by lifting the CHA structure of \text{NSym} (the Hopf algebra of noncommutative symmetric functions) through an analogous approach. In this article, we define \text{ParQSym}, which is the graded dual of \text{ParSym}. Its CHA structure is defined in an explicit, combinatorial way, by analogy with that of the CHA \text{QSym} of quasisymmetric functions. And we give some subcoalgebra and Hopf subalgebras of \text{ParQSym}, some gradings and filtrations of \text{ParSym} and \text{ParQSym}, and some bases of \text{ParSym} and \text{ParQSym} by analogy with some distinguished bases of \text{NSym} and \text{QSym}.

math.RA

Weak Hopf Algebras, Smash Products and Applications to Adjoint-Stable Algebras

For a semisimple quasi-triangular Hopf algebra $\left( H,R\right) $ over a field $k$ of characteristic zero, and a strongly separable quantum commutative $H$-module algebra $A$ over which the Drinfeld element of $H$ acts trivially, we show that $A\#H$ is a weak Hopf algebra, and it can be embedded into a weak Hopf algebra $\operatorname{End}A^{\ast}\otimes H$. With these structure, $_{A\#H}\operatorname{Mod}$ is the monoidal category introduced by Cohen and Westreich, and $_{\operatorname{End}A^{\ast}\otimes H}\mathcal{M}$ is tensor equivalent to $_{H}\mathcal{M}$. If $A$ is in the M{ü}ger center of $_{H}{\mathcal{M}}$, then the embedding is a quasi-triangular weak Hopf algebra morphism. This explains the presence of a subgroup inclusion in the characterization of irreducible Yetter-Drinfeld modules for a finite group algebra.

math.QA

Structures of Adjoint-Stable Algebras over Factorizable Hopf Algebras

For a quasi-triangular Hopf algebra $\left( H,R\right) $, there is a notion of transmuted braided group $H_{R}$ of $H$ introduced by Majid. The transmuted braided group $H_{R}$ is a Hopf algebra in the braided category $_{H}\mathcal{M}$. The $R$-adjoint-stable algebra associated with any simple left $H_{R}$-comodule is defined by the authors, and is used to characterize the structure of all irreducible Yetter-Drinfeld modules in ${}_{H}^{H} \mathcal{YD}$. In this note, we prove for a semisimple factorizable Hopf algebra $ \left( H,R\right) $ that any simple subcoalgebra of $H_R$ is $H$-stable and the $R$-adjoint-stable algebra for any simple left $H_R$-comodule is anti-isomorphic to $H$. As an application, we characterize all irreducible Yetter-Drinfeld modules.

math.RA

Centers of Braided Tensor Categories

Let $\mathcal{C}$ be a finite braided multitensor category. Let $B$ be Majid's automorphism braided group of $\mathcal{C}$, then $B$ is a cocommutative Hopf algebra in $\mathcal{C}$. We show that the center of $\mathcal{C}$ is isomorphic to the category of left $B$-comodules in $\mathcal{C}$, and the decomposition of $B$ into a direct sum of indecomposable $\mathcal{C}$-subcoalgebras leads to a decomposition of $B$-$\operatorname*{Comod}_{\mathcal{C}}$ into a direct sum of indecomposable $\mathcal{C}$-module subcategories. As an application, we present an explicit characterization of the structure of irreducible Yetter-Drinfeld modules over semisimple quasi-triangular weak Hopf algebras. Our results generalize those results on finite groups and on quasi-triangular Hopf algebras.

math.QA

The applications of probability groups on Hopf algebras

In this work, we use probability groups, introduced by Harrison in 1979, as a tool to study a semisimple Hopf algebra $H$ with a commutative character ring and prove that the algebra generalized by the dual probability group is the center $Z(H)$ of $H$ and the product of two class sums is an integral combination up to a factor of $\dim (H)^{-1}$ of the class sums of $H$. We classify all the 2-integral probability groups with 2 or 3 elements.

math.RA

On the Structure of Irreducible Yetter-Drinfeld Modules over Quasi-Triangular Hopf Algebras

Let $\left( H,R\right) $ be a finite dimensional semisimple and cosemisimple quasi-triangular Hopf algebra over a field $k$. In this paper, we give the structure of irreducible objects of the Yetter-Drinfeld module category ${} {}_{H}^{H}\mathcal{YD}.$ Let $H_{R}$ be the Majid's transmuted braided group of $\left( H,R\right) ,$ we show that $H_{R}$ is cosemisimple. As a coalgebra, let $H_{R}=D_{1}\oplus\cdots\oplus D_{r}$ be the sum of minimal $H$-adjoint-stable subcoalgebras. For each $i$ $\left( 1\leq i\leq r\right) $, we choose a minimal left coideal $W_{i}$ of $D_{i}$, and we can define the $R$-adjoint-stable algebra $N_{W_{i}}$ of $W_{i}$. Using Ostrik's theorem on characterizing module categories over monoidal categories, we prove that $V\in{}_{H}^{H}\mathcal{YD}$ is irreducible if and only if there exists an $i$ $\left( 1\leq i\leq r\right) $ and an irreducible right $N_{W_{i}}$-module $U_{i}$, such that $V\cong U_{i}\otimes_{N_{W_{i}}}\left( H\otimes W_{i}\right) $. Our structure theorem generalizes the results of Dijkgraaf-Pasquier-Roche and Gould on Yetter-Drinfeld modules over finite group algebras. If $k$ is an algebraically closed field of characteristic, we stress that the $R$-adjoint-stable algebra $N_{W_{i}}$ is an algebra over which the dimension of each irreducible right module divides its dimension.

math.RA

On the Exponent of Finite-Dimensional Non-Cosemisimple Hopf Algebras

In 1999, Y. Kashina introduced the exponent of a Hopf algebra. In this paper, we prove that the exponent of a finite dimensional non-cosemisimple Hopf algebra with Chevalley property in characteristic 0 is infinite, and the exponent of a finite dimensional non-cosemisimple pointed Hopf algebra in positive characteristic is finite.

math.RA

Frobenius and Mashke type Theorems for Doi-Hopf modules and entwined modules revisited: a unified approach

We study when induction functors (and their adjoints) between categories of Doi-Hopf modules and, more generally, entwined modules are separable, resp. Frobenius. We present a unified approach, leading to new proofs of old results by the authors, as well as to some new ones. Also our methods provide a categorical explanation for the relationship between separability and Frobenius properties.

math.RA