arXiv subjects

Izuru Mori

Publications and source records attributed to Izuru Mori.

17 recordsLinked to original sources

arXiv2026

Irreducible noncommutative quadrics

In this paper, we study irreducible noncommutative quadrics $S/(f)$ via noncommutative graded matrix factorizations. We show that the line modules over $S/(f)$ are described by the rulings arising from indecomposable noncommutative linear matrix factorizations of $f$ of rank $2$. We study when Zhang twists of a standard smooth irreducible noncommutative quadric are standard. Finally, by identifying all singular central Sklyanin quadrics, we prove that every smooth central Sklyanin quadric is standard.

math.RA↗

arXiv2026

Classification of noncommutative central conics

Classification of noncommutative quadric hypersurfaces is one of the major projects in noncommutative algebraic geometry. In recent years, we are dedicated to complete the classification of noncommutative central conics. To achieve this goal, we and other authors develop some theories to study and classify some classes of noncommutative quadric hypersurfaces in a series of papers. Finally, in this paper, we completely classify noncommutative central conics by developing the general theory of homogenization and dehomogenization for noncommutative algebras and by previous results. As a main result, we show that there are bijections among the following sets of objects (i) the set of isomorphism classes of $4$-dimensional Frobenius algebras, (ii) the set of isomorphism classes of noncommutative affine pencils of conics, and (iii) the set of isomorphism classes of noncommutative central conics.

math.RA↗

arXiv2025

Noncommutative affine pencils of conics

This paper is one of the series of papers which are dedicated to the complete classification of noncommutative conics. In this paper, we define and study noncommutative affine pencils of conics, and give a complete classification result. We also fully classify $4$-dimensional Frobenius algebras. It turns out that the classification of noncommutative affine pencils of conics is the same as the classification of $4$-dimensional Frobenius algebras.

math.RA↗

arXiv2023

Clifford quadratic complete intersections

In this paper, we define and study Clifford quadratic complete intersections. After showing some properties of Clifford quantum polynomial algebras, we show that there is a natural one-to-one correspondence between Clifford quadratic complete intersections and commutative quadratic complete intersections. As an application, we give a classification of Clifford quadratic complete intersections in three variables in terms of their characteristic varieties.

math.RA↗

arXiv2023

A categorical characterization of quantum projective $\mathbb Z$-spaces

In this paper, we study a generalization of the notion of AS-regularity for connected $\mathbb{Z}$-algebras. Our main result is a characterization of those categories equivalent to noncommutative projective schemes associated to right coherent regular $\mathbb{Z}$-algebras, which we call quantum projective $\mathbb{Z}$-spaces in this paper. As an application, we show that smooth quadric hypersurfaces and the standard noncommutative smooth quadric surfaces have right noetherian AS-regular $\mathbb{Z}$-algebras as homogeneous coordinate algebras. In particular, the latter are thus noncommutative $\mathbb{P}^1\times \mathbb{P}^1$.

math.RA↗

arXiv2023

Local duality for connected Z-algebras

We develop basic homological machinery for Z-algebras in order to prove a version of local duality for Ext-finite connected Z-algebras. As an application, we compare two notions of regularity for such algebras.

math.RA↗

arXiv2022

Noncommutative conics in Calabi-Yau quantum projective planes

In noncommutative algebraic geometry, noncommutative quadric hypersurfaces are major objects of study. In this paper, we focus on studying noncommutative conics $\operatorname{Proj_{nc}} A$ embedded into Calabi-Yau quantum projective planes. In particular, we give complete classifications of homogeneous coordinate algebras $A$ of noncommutative conics up to isomorphism of graded algebras, and of noncommutive conics $\operatorname{Proj_{nc}} A$ up to isomorphism of noncommutative schemes.

math.RA↗

arXiv2022

Noncommutative Knörrer's periodicity theorem and noncommutative quadric hypersurfaces

Noncommutative hypersurfaces, in particular, noncommutative quadric hypersurfaces are major objects of study in noncommutative algebraic geometry. In the commutative case, Knörrer's periodicity theorem is a powerful tool to study Cohen-Macaulay representation theory since it reduces the number of variables in computing the stable category $\underline{\operatorname{CM}}(A)$ of maximal Cohen-Macaulay modules over a hypersurface $A$. In this paper, we prove a noncommutative graded version of Knörrer's periodicity theorem. Moreover, we prove another way to reduce the number of variables in computing the stable category ${\underline{\operatorname{CM}}}^{\mathbb Z}(A)$ of graded maximal Cohen-Macaulay modules if $A$ is a noncommutative quadric hypersurface. Under high rank property defined in this paper, we also show that computing ${\underline{\operatorname{CM}}}^{\mathbb Z}(A)$ over a noncommutative smooth quadric hypersurface $A$ in up to six variables can be reduced to one or two variables cases. In addition, we give a complete classification of ${\underline{\operatorname{CM}}}^{\mathbb Z}(A)$ over a smooth quadric hypersurface $A$ in a skew $\mathbb P^{n-1}$, where $n \leq 6$, without high rank property using graphical methods.

math.RA↗

arXiv2021

A categorical characterization of quantum projective spaces

Let $R$ be a finite dimensional algebra of finite global dimension over a field $k$. In this paper, we will characterize a $k$-linear abelian category $\mathscr C$ such that $\mathscr C\cong \operatorname {tails} A$ for some graded right coherent AS-regular algebra $A$ over $R$. As an application, we will prove that if $\mathscr C$ is a smooth quadric surface in a quantum $\mathbb P^3$ in the sense of Smith and Van den Bergh, then there exists a right noetherian AS-regular algebra $A$ over $kK_2$ of dimension 3 and of Gorenstein parameter 2 such that $\mathscr C\cong \operatorname {tails} A$ where $kK_2$ is the path algebra of the 2-Kronecker quiver.

math.RA↗

arXiv2021

Noncommutative matrix factorizations with an application to skew exterior algebras

Theory of matrix factorizations is useful to study hypersurfaces in commutative algebra. To study noncommutative hypersurfaces, which are important objects of study in noncommutative algebraic geometry, we introduce a notion of noncommutative matrix factorization for an arbitrary nonzero non-unit element of a ring. First we show that the category of noncommutative graded matrix factorizations is invariant under the operation called twist (this result is a generalization of the result by Cassidy-Conner-Kirkman-Moore). Then we give two category equivalences involving noncommutative matrix factorizations and totally reflexive modules (this result is analogous to the famous result by Eisenbud for commutative hypersurfaces). As an application, we describe indecomposable noncommutative graded matrix factorizations over skew exterior algebras.

math.RA↗

arXiv2020

Quantum Projective Planes Finite over their Centers

For a $3$-dimensional quantum polynomial algebra $A=\mathcal{A}(E,σ)$, Artin-Tate-Van den Bergh showed that $A$ is finite over its center if and only if $|σ|<\infty$. Moreover, Artin showed that if $A$ is finite over its center and $E\neq \mathbb{P}^2$, then $A$ has a fat point module, which plays an important role in noncommutative algebraic geometry, however the converse is not true in general. In this paper, we will show that, if $E\neq \mathbb{P}^2$, then $A$ has a fat point module if and only if the quantum projective plane $\mathsf{Proj}_{\rm nc} A$ is finite over its center in the sense of this paper if and only if $|ν^*σ^3|<\infty$ where $ν$ is the Nakayama automorphism of $A$.In particular, we will show that if the second Hessian of $E$ is zero, then $A$ has no fat point module.

math.RA↗

arXiv2019

Moduli of noncommutative Hirzebruch surfaces

We introduce three non-compact moduli stacks parametrizing noncommutative deformations of Hirzebruch surfaces; the first is the moduli stack of locally free sheaf bimodules of rank 2, which appears in the definition of noncommutative $\mathbb{P}^1$-bundle in the sense of Van den Bergh arXiv:math/0102005, the second is the moduli stack of relations of a quiver in the sense of arXiv:1411.7770, and the third is the moduli stack of quadruples consisting of an elliptic curve and three line bundles on it. The main result of this paper shows that they are naturally birational to each other. We also give an Orlov-type semiorthogonal decomposition for noncommutative $\mathbb{P}^1$-bundles, an explicit classification of locally free sheaf bimodules of rank 2, and a noncommutative generalization of the (special) McKay correspondence as a derived equivalence for the cyclic group $\left\langle \frac{1}{d}(1,1) \right\rangle$.

math.AG↗

arXiv2018

The classification of 3-dimensional noetherian cubic Calabi-Yau algebras

It is known that every 3-dimensional noetherian Calabi-Yau algebra generated in degree 1 is isomorphic to a Jacobian algebra of a superpotential. Recently, S. P. Smith and the first author classified all superpotentials whose Jacobian algebras are 3-dimensional noetherian quadratic Calabi-Yau algebras. The main result of this paper is to classify all superpotentials whose Jacobian algebras are 3-dimensional noetherian cubic Calabi-Yau algebras. As an application, we show that if $S$ is a 3-dimensional noetherian cubic Calabi-Yau algebra and $σ$ is a graded algebra automorphism of $S$, then the homological determinant of $σ$ can be calculated by the formula $\operatorname{hdet} σ=(\operatorname{det} σ)^2$ with one exception.

math.RA↗

arXiv2016

The Classification of 3-Calabi-Yau algebras with 3 generators and 3 quadratic relations

Let $k$ be an algebraically closed field of characteristic not 2 or 3, $V$ a 3-dimensional vector space over $k$, $R$ a 3-dimensional subspace of $V \otimes V$, and $TV/(R)$ the quotient of the tensor algebra on $V$ by the ideal generated by $R$. Raf Bocklandt proved that if $TV/(R)$ is 3-Calabi-Yau, then it is isomorphic to $J({\sf{w}})$, the "Jacobian algebra" of some ${\sf{w}} \in V^{\otimes 3}$. This paper classifies the ${\sf{w}}\in V^{\otimes 3}$ such that $J({\sf{w}})$ is 3-Calabi-Yau. The classification depends on how ${\sf{w}}$ transforms under the action of the symmetric group $S_3$ on $V^{\otimes 3}$ and on the nature of the subscheme $\{\overline{\sf{w}}=0\} \subseteq \mathbb{P}^2$ where $\overline{\sf{w}}$ denotes the image of ${\sf{w}}$ in the symmetric algebra $SV$. Surprisingly, as ${\sf{w}}$ ranges over $V^{\otimes 3}-\{0\}$, only nine isomorphism classes of algebras appear as non-3-Calabi-Yau $J({\sf{w}})$'s.

math.RA↗

arXiv2016

Stable Categories of Graded Maximal Cohen-Macaulay Modules over Noncommutative Quotient Singularities

Tilting objects play a key role in the study of triangulated categories. A famous result due to Iyama and Takahashi asserts that the stable categories of graded maximal Cohen-Macaulay modules over quotient singularities have tilting objects. This paper proves a noncommutative generalization of Iyama and Takahashi's theorem using noncommutative algebraic geometry. Namely, if $S$ is a noetherian AS-regular Koszul algebra and $G$ is a finite group acting on $S$ such that $S^G$ is a "Gorenstein isolated singularity", then the stable category ${\underline {\operatorname {CM}}}^{\Bbb Z}(S^G)$ of graded maximal Cohen-Macaulay modules has a tilting object. In particular, the category ${\underline {\operatorname {CM}}}^{\Bbb Z}(S^G)$ is triangle equivalent to the derived category of a finite dimensional algebra.

math.RA↗

arXiv2015

m-Koszul Artin-Schelter regular algebras

This paper studies the homological determinants and Nakayama automorphisms of not-necessarily-noetherian $m$-Koszul twisted Calabi-Yau or, equivalently, $m$-Koszul Artin-Schelter regular, algebras. Dubois-Violette showed that such an algebra is isomorphic to a derivation quotient algebra D(w,i) for a unique-up-to-scalar-multiples twisted superpotential w in a tensor power of some vector space V. By definition, D(w,i) is the quotient of the tensor algebra TV by the ideal generated by all i-th order left partial derivatives of w. We identify the group of graded algebra automorphisms of D(w,i) with a subgroup of GL(V). We show that the homological determinant of a graded algebra automorphism $σ$ of an $m$-Koszul Artin-Schelter regular algebra D(w,i) is the scalar hdet($σ$) given by the formula hdet($σ$) w =$σ^{\otimes m+i}$(w). It follows from this that the homological determinant of the Nakayama automorphism of an $m$-Koszul Artin-Schelter regular algebra is 1. As an application, we prove that the homological determinant and the usual determinant coincide for most quadratic noetherian Artin-Schelter regular algebras of dimension 3.

math.RA↗

arXiv2014

Ample Group Action on AS-regular Algebras and Noncommutative Graded Isolated Singularities

In this paper, we introduce a notion of ampleness of a group action $G$ on a right noetherian graded algebra $A$, and show that it is strongly related to the notion of $A^G$ to be a graded isolated singularity introduced by the second author of this paper. Moreover, if $S$ is a noetherian AS-regular algebra and $G$ is a finite ample group acting on $S$, then we will show that ${\mathcal D}^b(\operatorname{tails} S^G)\cong {\cal D}^b(\operatorname{mod} \nabla S*G)$ where $\nabla S$ is the Beilinson algebra of $S$. We will also explicitly calculate a quiver $Q_{S, G}$ such that ${\mathcal D}^b(\operatorname{tails} S^G)\cong {\mathcal D}^b(\operatorname{mod} kQ_{S, G})$ when $S$ is of dimension 2.

math.RA↗