Source author record

Xuefeng Mao

Xuefeng Mao appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

3works
2topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

3 published item(s)

preprint2022arXiv

Cohomology algebras of a family of cochain DG skew polynomial algebras

Let $\mathcal{A}$ be a connected cochain DG algebra such that its underlying graded algebra $\mathcal{A}^{\#}$ is the graded skew polynomial algebra $$k\langle x_1,x_2, x_3\rangle/\left(\begin{array}{ccc} x_1x_2+x_2x_1\\ x_2x_3+x_3x_2\\ x_3x_1+x_1x_3 \end {array}\right), |x_1|=|x_2|=|x_3|=1.$$ From \cite{MWZ} or \cite{MWYZ}, one sees that the differential $\partial_{\mathcal{A}}$ is determined by \begin{align*} \left( \begin{array}{c} \partial_{\mathcal{A}}(x_1) \partial_{\mathcal{A}}(x_2) \partial_{\mathcal{A}}(x_3) \end{array} \right)=M\left( \begin{array}{c} x_1^2 x_2^2 x_3^2 \end{array} \right), \end{align*} for some $M\in M_3(k)$. For the case $1\le r(M)\le 3$, we compute $H(\mathcal{A})$ case by case. The computational results in this paper give substantial support for \cite{MWZ}, where the various homological properties of such DG algebras are systematically studied. We find some examples, which indicate that the cohomology graded algebra of a Koszul Calabi-Yau DG algebra may be not left (right) Gorenstein.

preprint2022arXiv

Local cohomology for Gorenstein homologically smooth DG algebras

In this paper, we introduce the theory of local cohomology and local duality to Notherian connected cochain DG algebras. We show that the notion of local cohomology functor can be used to detect the Gorensteinness of a homologically smooth DG algebra. For any Gorenstein homologically smooth locally finite DG algebra $\mathcal{A}$, we define a group homomorphism $\mathrm{Hdet}: \mathrm{Aut}_{dg}(\mathcal{A})\to k^{\times},$ called the homological determinant. As applications, we present a sufficient condition for the invariant DG subalgebra $\mathcal{A}^G$ to be Gorensten, where $\mathcal{A}$ is a homologically smooth DG algebra such that $H(\mathcal{A})$ is a Noetherian AS-Gorenstein graded algebra and $G$ is a finite subgroup of $\mathrm{Aut}_{dg}(\mathcal{A})$. Especially, we can apply this result to DG down-up algebras and non-trivial DG free algebras generated in two degree-one elements.