[Paper Review] Points on quantum projectivations

A. Nyman|arXiv (Cornell University)|Oct 6, 2002

Algebraic structures and combinatorial models10 references4 citations

TL;DR

This paper constructs geometric invariants for non-commutative projectivizations by developing a compatibility theory for adjoint squares to define the functor Γₙ of flat families of truncated point modules of length n+1. It shows that Γₙ is representable as a closed subscheme of ℙ_{X²}(ℰ^⊗ⁿ), and when the inverse system {Γₙ} is eventually constant—particularly for quantum ruled surfaces—point modules are parameterized by closed points of ℙ_{X²}(ℰ).

ABSTRACT

The use of geometric invariants has recently played an important role in the solution of classification problems in non-commutative ring theory. We construct geometric invariants of non-commutative projectivizations, a significant class of examples in non-commutative algebraic geometry.

Motivation & Objective

• To develop a compatibility theory for adjoint squares to handle flat families of truncated point modules in non-commutative projective geometry.
• To represent the functor Γₙ of truncated point modules of length n+1 as a closed subscheme of ℙ_{X²}(ℰ^⊗ⁿ).
• To analyze the inverse system {Γₙ} formed by truncation maps Γₙ → Γₙ₋₁ and determine conditions under which it stabilizes.
• To establish sufficient conditions for the existence of a scheme parameterizing full point modules over T(ℰ)/ℑ.
• To show that for quantum ruled surfaces, the point modules are parameterized by closed points of ℙ_{X²}(ℰ).

Proposed method

• Introduces a compatibility theory on adjoint squares to manage the structure of flat families of truncated point modules.
• Defines the functor Γₙ as the moduli functor for truncated T(ℰ)/ℑ-point modules of length n+1.
• Represents Γₙ as a closed subscheme of the projective bundle ℙ_{X²}(ℰ^⊗ⁿ) via the bimodule Segre embedding.
• Constructs the bimodule Segre embedding to relate the geometry of ℙ_{X²}(ℰ^⊗ⁿ) to the structure of point modules.
• Uses the inverse system {Γₙ} with truncation morphisms Γₙ → Γₙ₋₁ to analyze the limit behavior of point modules.
• Applies the stability condition that {Γₙ} must be eventually constant for the existence of a scheme parameterizing full point modules.

Experimental results

Research questions

• RQ1 Under what conditions is the inverse system {Γₙ} of truncated point modules eventually constant?
• RQ2 How can the functor Γₙ of truncated point modules be represented as a scheme?
• RQ3 What is the role of the bimodule Segre embedding in parameterizing point modules?
• RQ4 In which cases does the scheme ℙ_{X²}(ℰ) parameterize the full point modules of T(ℰ)/ℑ?
• RQ5 How does the compatibility theory on adjoint squares facilitate the construction of moduli functors in non-commutative geometry?

Key findings

• The functor Γₙ of flat families of truncated T(ℰ)/ℑ-point modules of length n+1 is representable as a closed subscheme of ℙ_{X²}(ℰ^⊗ⁿ).
• The representing scheme is defined using both the ideal ℑₙ and the bimodule Segre embedding.
• The truncation maps Γₙ → Γₙ₋₁ form an inverse system {Γₙ}, and for point modules to be parameterizable by a scheme, this system must be eventually constant.
• Sufficient conditions for the system {Γₙ} to be eventually constant are provided, and these are satisfied when Proj T(ℰ)/ℑ is a quantum ruled surface.
• In the case of a quantum ruled surface, the point modules over T(ℰ)/ℑ are parameterized by the closed points of ℙ_{X²}(ℰ).
• The construction establishes a geometric invariant for non-commutative projectivizations via the scheme-theoretic realization of truncated point modules.