Nonnoetherian geometry

DOI10.1142/S0219498816501760MaRDI QIDQ2816951zbMATH OpenFDO

Authors Charlie Beil

Publication date 26 August 2016

Published in Journal of Algebra and its Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1109.4601

zbMATH Keywords

foundations of algebraic geometrynoncommutative algebraic geometrynonnoetherian rings

Mathematics Subject Classification ID

Dimension theory, depth, related commutative rings (catenary, etc.) (13C15) Generalizations (algebraic spaces, stacks) (14A20)

Abstract: We introduce a theory of geometry for nonnoetherian commutative algebras with finite Krull dimension. In particular, we establish new notions of normalization and height: depiction (a special noetherian overring) and geometric codimension. The resulting geometries are algebraic varieties with positive dimensional points, and are thus inherently nonlocal. These notions also give rise to new equivalent characterizations of noetherianity that are primarily geometric. We then consider an application to quiver algebras whose simple modules of maximal dimension are one dimensional at each vertex. We show that the vertex corner rings of $A$ are all isomorphic if and only if $A$ is noetherian, if and only if the center $Z$ of $A$ is noetherian, if and only if $A$ is a finitely generated $Z$-module. Furthermore, we show that $Z$ is depicted by a commutative algebra generated by the cycles in its quiver. We conclude with an example of a quiver algebra where projective dimension and geometric codimension, rather than height, coincide.

Review text

A major principle in classical algebraic geometry is \textit{locality}, namely, properties which can be determined by considering an open neighborhood of a point rather than the global space structure. As an important example, the dimension of an algebraic variety is local. The purpose of this paper is to provide some tools for geometric understanding of affine schemes whose ring of global sections is nonnoetherian but of finite Krull dimension. In such situation, it may occur that some points have positive dimension.NEWLINENEWLINEThe author introduces the notion of \textit{depiction} of an algebra. This is a finitely generated algebra containing the original algebra, such that the induced morphism of affine schemes is surjective and noetherianity of closed points is encoded by the corresponding local rings at that point of the two algebras being equal. Using this notion, a \textit{geometric codimension} (resp. \textit{codimension}) is defined at a point, as the minimum height of prime ideals lying over that point in some depiction (resp.~the Krull dimension of the ring minus the geometric codimension).NEWLINENEWLINEThese notions allow the author to interpret nonnoetherian singularities as points of positive geometric dimension.NEWLINENEWLINEThe paper also provides applications for noncommutative rings. The author defines an \textit{impression} of a finitely generated (noncommutative) algebra as a representation into matrix ring over some finitely generated commutative algebra, which is surjective onto the matrix rings obtained by compositing it with the quotient map modulo a ageneric prime ideal (of the commutative algebra), and such that the induced morphism from the spectrum of the commutative underlying algebra to the spectrum of the center of the represented algebra is surjective too.NEWLINENEWLINEThe author applies the notion of impression to the context of quiver algebras, encoding noetherianity of the algebra and its center in terms of a depiction associated with the impression. An example of a quiver algebra is given, in which the geometric codimension of the vertex simple modules is equal to their projective dimension, thereby hinting that the geometric (co)dimension notion defined in this paper plays an important role in the geometric investigation of noncommutative algebras.

Recommendations

• Geometry over nonclosed fields
• Geometry of noncommutative algebras
• scientific article; zbMATH DE number 47355
• scientific article; zbMATH DE number 1234418
• Noncommutative algebraic geometry
• Geometric non-commutative geometry
• Noncommutative geometry and arithmetics
• Noncommutative geometry and arithmetics
• scientific article; zbMATH DE number 17243

Cites work

• Gluing schemes and a scheme without closed points
• Morita equivalences and Azumaya loci from Higgsing dimer algebras
• Non-commutative crepant resolutions: scenes from categorical geometry
• Nonnoetherian homotopy dimer algebras and noncommutative crepant resolutions
• The Bell states in noncommutative algebraic geometry

Cited in

(19)

• On non-commutative Noetherian local rings, non-commutative geometry and particle physics.
• On the central geometry of nonnoetherian dimer algebras
• Noetherian criteria for dimer algebras
• Homotopes of finite-dimensional algebras
• scientific article; zbMATH DE number 3905426 (Why is no real title available?)
• Nonnoetherian coordinate rings with unique maximal depictions
• Nonnoetherian homotopy dimer algebras and noncommutative crepant resolutions
• Examples of geodesic Ghor algebras on hyperbolic surfaces
• Geometry of Non-Regular Separation
• Morita equivalences and Azumaya loci from Higgsing dimer algebras
• Spacetime geometry of spin, polarization, and wavefunction collapse
• Dimer algebras, ghor algebras, and cyclic contractions
• Nonnoetherian singularities and their noncommutative blowups
• A combinatorial derivation of the standard model interactions from the Dirac Lagrangian
• A derivation of the standard model particles from internal spacetime
• The noncommutative geometry of matrix polynomial algebras
• A generalization of cancellative dimer algebras to hyperbolic surfaces
• The central nilradical of nonnoetherian dimer algebras
• Geometric non-vanishing

This page was built for publication: Nonnoetherian geometry

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2816951)