arXiv ScienceSearch

arXiv subjects

Peter Goetz

Publications and source records attributed to Peter Goetz.

8 recordsLinked to original sources

Curved DG Modules and Matrix Factorizations from Noncommutative Quadric Hypersurfaces

The category of noncommutative quadratic quadric hypersurfaces, ${\tt Quad}\text{-}{\tt QHS}$, consists of pairs $(A, f)$, where $A$ is a quadratic algebra and $f \in A$ is a nonzero degree $2$ element. We associate to such $(A, f)$ a pair $(\bar{A}^!, f^!)$, and show that this association makes ${\tt Quad}\text{-}{\tt QHS}$ into a category with duality. We construct a faithful functor from the category of graded modules over $\bar{A}^!$ to the homotopy category of curved DG modules over a canonical curved DG algebra $(A \otimes \bar{A}^!, d, f \otimes f^!)$. If $A$ satisfies the left strong rank condition and $f \in A$ is not a right zero divisor, we show that the restriction of our functor to a natural full subcategory of the category of graded modules over $\bar{A}^!$ is valued in a stable category of noncommutative matrix factorizations of $f$. When $A$ is Koszul of finite global dimension and $f \in A$ is normal and regular, we prove that the even Clifford algebra, $\bar{A}^![(f^!)^{-1}]_0$, is isomorphic to a canonical PBW-deformation of a Zhang twist of the $2$-Veronese subalgebra of the Koszul dual $A^!$. Finally, we study several classes of Artin-Schelter regular algebras to illustrate our results.

math.RA

Some Artin-Schelter Regular Algebras From Dual Reflection Groups and their Geometry

Let $G$ be a group coacting on an Artin-Schelter regular algebra $A$ homogeneously and inner-faithfully. When the identity component $A_e$ is also Artin-Schelter regular, providing a generalization of the Shephard-Todd-Chevalley Theorem, we say that $G$ is a dual reflection group for $A$. We give two examples of dual reflection groups of order 16, and study algebraic and geometric properties of three associated Artin-Schelter regular algebras of dimension four.

math.RA

Algebras Associated to Inverse Systems of Projective Schemes

Artin, Tate and Van den Bergh initiated the field of noncommutative projective algebraic geometry by fruitfully studying geometric data associated to noncommutative graded algebras. More specifically, given a field $\mathbb K$ and a graded $\mathbb K$-algebra $A$, they defined an inverse system of projective schemes $\Upsilon_A = \{{\Upsilon_d(A)}\}$. This system affords an algebra, $\mathbf B(\Upsilon_A)$, built out of global sections, and a $\mathbb K$-algebra morphism $\tau: A \to \mathbf B(\Upsilon_A)$. We study and extend this construction. We define, for any natural number $n$, a category ${\tt PSys}^n$ of projective systems of schemes and a contravariant functor $\mathbf B$ from ${\tt PSys}^n$ to the category of associative $\mathbb K$-algebras. We realize the schemes ${\Upsilon_d(A)}$ as ${\rm Proj \ } {\mathbf U}_d(A)$, where ${\mathbf U}_d$ is a functor from associative algebras to commutative algebras. We characterize when the morphism $\tau: A \to \mathbf B(\Upsilon_A)$ is injective or surjective in terms of local cohomology modules of the ${\mathbf U}_d(A)$. Motivated by work of Walton, when $\Upsilon_A$ consists of well-behaved schemes, we prove a geometric result that computes the Hilbert series of $\mathbf B(\Upsilon_A)$. We provide many detailed examples that illustrate our results. For example, we prove that for some non-AS-regular algebras constructed as twisted tensor products of polynomial rings, $\tau$ is surjective or an isomorphism.

math.AG

Quantum projective planes as certain graded twisted tensor products

Let $\mathbb{k}$ be an algebraically closed field. Building upon previous work, we classify, up to isomorphism of graded algebras, quadratic graded twisted tensor products of $\mathbb{k}[x,y]$ and $\mathbb{k}[z]$. When such an algebra is Artin-Schelter regular, we identify its point scheme and type. We also describe which three-dimensional Sklyanin algebras contain a subalgebra isomorphic to a quantum $\mathbb{P}^1$, and we show that every algebra in this family is a graded twisted tensor product of $\mathbb{k}_{-1}[x,y]$ and $\mathbb{k}[z]$.

math.RA

Graded Coherence of Certain Extensions of Graded Algebras

Let $\k$ be a field, and let $A$ and $B$ be connected $\N$-graded $\k$-algebras. The algebra $A$ is said to be a graded right-free extension of $B$ provided there is a surjective graded algebra morphism $\pi: A \to B$ such that $\ker\pi$ is free as a right $A$-module. Suppose that $B$ is graded left coherent, and that $A$ is a graded right-free extension of $B$. We characterize when $A$ is also graded left coherent. We apply our criterion to prove graded coherence of certain non-Noetherian graded twisted tensor products.

math.RA

The Koszul Property for Graded Twisted Tensor Products

Let $k$ be a field. Let $A$ and $B$ be connected $N$-graded $k$-algebras. Let $C$ denote a twisted tensor product of $A$ and $B$ in the category of connected $N$-graded $k$-algebras. The purpose of this paper is to understand when $C$ possesses the Koszul property, and related questions. We prove that if $A$ and $B$ are quadratic, then $C$ is quadratic if and only if the associated graded twisting map has a property we call the unique extension property. We show that $A$ and $B$ being Koszul does not imply $C$ is Koszul (or even quadratic), and we establish sufficient conditions under which $C$ is Koszul whenever both $A$ and $B$ are. We analyze the unique extension property and the Koszul property in detail in the case where $A=k[x]$ and $B=k[y]$.

math.RA

Some non-Koszul algebras from rational homotopy theory

The McCool group, denoted $P\Sigma_n$, is the group of pure symmetric automorphisms of a free group of rank $n$. The cohomology algebra $H^*(P\Sigma_n, \mathbb{Q})$ was determined by Jensen, McCammond and Meier. We prove that $H^*(P\Sigma_n, \mathbb{Q})$ is a non-Koszul algebra for $n \geq 4$, which answers a question of Cohen and Pruidze. We also study the enveloping algebra of the graded Lie algebra associated to the lower central series of $P\Sigma_n$, and prove that it has two natural decompositions as a smash product of algebras.

math.RA