SearcharxivSearch

arXiv subjects

Ji-Wei He

Publications and source records attributed to Ji-Wei He.

10 recordsLinked to original sources

Yang-Baxter permutation group actions on distributive Yang-Baxter algebras

Let $(X,r)$ be a distributive set-theoretical solution of the Yang-Baxter equation and $\mathcal{A}(X,r)$ the associated Yang-Baxter algebra. We prove that $\mathcal{A}(X,r)$ is isomorphic to a skew polynomial algebra and compute its Nakayama automorphism explicitly. We study the action of the permutation group $\mathcal{G}(X,r)$. It induces a subgroup $\overline{\mathcal{G}}\subseteq\operatorname{Aut}(\mathcal{A}(X,r))$, the induced automorphism group, for which $\mathcal{A}(X,r)$ is a faithful module. We characterize when $\overline{\mathcal{G}}$ is a reflection group and, in that case, describe the invariant subalgebra $\mathcal{A}(X,r)^{\overline{\mathcal{G}}}$ together with its Jacobian, reflection arrangement and discriminant. We further establish the Auslander theorem for a large class of distributive Yang-Baxter algebras. Finally, for a class of nontrivial distributive Yang--Baxter algebras, we obtain a lower bound for the pertinency of the group action induced by the permutation group.

math.RA

Auslander-Reiten-Serre duality revisited

Let $(\mathcal{C},\mathbb{E},\mathfrak{s})$ be an extriangulated category with a right Auslander-Reiten-Serre (ARS for short) duality $(τ, η)$ in the sense of Iyama, Nakaoka and Palu. We show $(τ, η)$ induces right ARS dualities on the relative theories of $(\mathcal{C},\mathbb{E},\mathfrak{s})$. Under relative structures, we show that the functor $τ$ is indeed an exact functor between extriangulated categories and preserves almost split exangles. Finally, we give some applications and examples on these results. For instance, we generalize a recent result by A. Hubery to a categorical framework.

math.RT

The Quantum Double of Hopf Algebras Realized via Partial Dualization and the Tensor Category of Its Representations

In this paper, we aim to study the (generalized) quantum double $K^{\ast\mathrm{cop}}\bowtie_σH$ determined by a (skew) pairing between finite-dimensional Hopf algebras $K^{\ast\mathrm{cop}}$ and $H$, especially the tensor category $\mathsf{Rep}(K^{\ast\mathrm{cop}}\bowtie_σH)$ of its finite-dimensional representations. Specifically, we show that $K^{\ast\mathrm{cop}}\bowtie_σH$ is a left partially dualized (quasi-)Hopf algebra of $K^\mathrm{op}\otimes H$, and use this formulation to establish tensor equivalences from $\mathsf{Rep}(K^{\ast\mathrm{cop}}\bowtie_σH)$ to the categories ${}^K_K\mathcal{M}^K_H$ and ${}^{K^\ast}_{K^\ast}\mathcal{M}^{H^\ast}_{K^\ast}$ of two-sided two-cosided relative Hopf modules, as well as the category ${}_H\mathfrak{YD}^K$ of relative Yetter-Drinfeld modules.

math.QA

Twisted Segre products

We introduce the notion of the twisted Segre product $A\circ_ψB$ of $\mathbb Z$-graded algebras $A$ and $B$ with respect to a twisting map $ψ$. It is proved that if $A$ and $B$ are noetherian Koszul Artin-Schelter regular algebras and $ψ$ is a twisting map such that the twisted Segre product $A\circ_ψB$ is noetherian, then $A\circ_ψB$ is a noncommutative graded isolated singularity. To prove this result, the notion of densely (bi-)graded algebras is introduced. Moreover, we show that the twisted Segre product $A\circ_ψB$ of $A=k[u,v]$ and $B=k[x,y]$ with respect to a diagonal twisting map $ψ$ is a noncommutative quadric surface (so in particular it is noetherian), and we compute the stable category of graded maximal Cohen-Macaulay modules over it.

math.RA

Generalized Knörrer's Periodicity Theorem

Let $A$ be a noetherian Koszul Artin-Schelter regular algebra, and let $f\in A_2$ be a central regular element of $A$. The quotient algebra $A/(f)$ is usually called a (noncommutative) quadric hypersurface. In this paper, we use the Clifford deformation to study the quadric hypersurfaces obtained from the tensor products. We introduce a notion of simple graded isolated singularity and proved that, if $B/(g)$ is a simple graded isolated singularity of 0-type, then there is an equivalence of triangulated categories $\underline{\text{mcm}}\,A/(f)\cong\underline{\text{mcm}}\,(A\otimes B)/(f+g)$ of the stable categories of maximal Cohen-Macaulay modules. This result may be viewed as a generalization of Knörrer's periodicity theorem. As an application, we study the double branch cover $(A/(f))^\#=A[x]/(f+x^2)$ of a noncommutative conic $A/(f)$.

math.RA

Clifford deformations of Koszul Frobenius algebras and noncommutative quadrics

Let $E$ be a Koszul Frobenius algebra. A Clifford deformation of $E$ is a finite dimensional $\mathbb Z_2$-graded algebra $E(θ)$, which corresponds to a noncommutative quadric hypersurface $E^!/(z)$, for some central regular element $z\in E^!_2$. It turns out that the bounded derived category $D^b(\text{gr}_{\mathbb Z_2}E(θ))$ is equivalent to the stable category of the maximal Cohen-Macaulay modules over $E^!/(z)$ provided that $E^!$ is noetherian. As a consequence, $E^!/(z)$ is a noncommutative isolated singularity if and only if the corresponding Clifford deformation $E(θ)$ is a semisimple $\mathbb Z_2$-graded algebra. The preceding equivalence of triangulated categories also indicates that Clifford deformations of trivial extensions of a Koszul Frobenius algebra are related to the Knörrer Periodicity Theorem for quadric hypersurfaces. As an application, we recover Knörrer Periodicity Theorem without using of matrix factorizations.

math.RA

Pre-resolutions of noncommutative isolated singularities

We introduce the notion of right pre-resolutions (quasi-resolutions) for noncommutative isolated singularities, which is a weaker version of quasi-resolutions introduced by Qin-Wang-Zhang. We prove that right quasi-resolutions for noetherian bounded below and locally finite graded algebra with right injective dimension 2 are always Morita equivalent. When we restrict to noncommutative quadric hypersurfaces, we prove that a noncommutative quadric hypersurface, which is a noncommutative isolated singularity, always admits a right pre-resolution. Besides, we provide a method to verify whether a noncommutative quadric hypersurface is an isolated singularity. An example of noncommutative quadric hypersurfaces with detailed computations of indecomposable maximal Cohen-Macaulay modules and right pre-resolutions is included as well.

math.RA

Deformations of Koszul Artin-Schelter Gorenstein algebras

We compute the Nakayama automorphism of a PBW-deformation of a Koszul Artin-Schelter Gorenstein algebra of finite global dimension, and give a criterion for an augmented PBW-deformation of a Koszul Calabi-Yau algebra to be Calabi-Yau. The relations between the Calabi-Yau property of augmented PBW-deformations and that of non-augmented cases are discussed. The Nakayama automorphisms of PBW-deformations of Koszul Artin-Schelter Gorenstein algebras of global dimensions 2 and 3 are given explicitly. We show that if a PBW-deformation of a graded Calabi-Yau algebra is still Calabi-Yau, then it is defined by a potential under some mild conditions. Some classical results are also recovered. Our main method used in this paper is elementary and based on linear algebra. The results obtained in this paper will be applied in a subsequent paper.

math.RA

Derived $H$-module endomorphism rings

Let $H$ be a Hopf algebra, $A/B$ be an $H$-Galois extension. Let $D(A)$ and $D(B)$ be the derived categories of right $A$-modules and of right $B$-modules respectively. An object $M^\cdot\in D(A)$ may be regarded as an object in $D(B)$ via the restriction functor. We discuss the relations of the derived endomorphism rings $E_A(M^\cdot)=\op_{i\in\mathbb{Z}}\Hom_{D(A)}(M^\cdot,M^\cdot[i])$ and $E_B(M^\cdot)=\op_{i\in\mathbb{Z}}\Hom_{D(B)}(M^\cdot,M^\cdot[i])$. If $H$ is a finite dimensional semisimple Hopf algebra, then $E_A(M^\cdot)$ is a graded subalgebra of $E_B(M^\cdot)$. In particular, if $M$ is a usual $A$-module, a necessary and sufficient condition for $E_B(M)$ to be an $H^*$-Galois graded extension of $E_A(M)$ is obtained. As an application of the results, we show that the Koszul property is preserved under Hopf Galois graded extensions.

math.RA

Hopf algebra actions on differential graded algebras and applications

Let $H$ be a finite dimensional semisimple Hopf algebra, $A$ a differential graded (dg for short) $H$-module algebra. Then the smash product algebra $A\#H$ is a dg algebra. For any dg $A\#H$-module $M$, there is a quasi-isomorphism of dg algebras: $\mathrm{RHom}_A(M,M)\#H\longrightarrow \mathrm{RHom}_{A\#H}(M\ot H,M\ot H)$. This result is applied to $d$-Koszul algebras, Calabi-Yau algebras and AS-Gorenstein dg algebras

math.RA