[Paper Review] Noncommutative Smooth Models

Lieven Le Bruyn|ArXiv.org|Sep 6, 2002

Algebraic structures and combinatorial models10 references3 citations

TL;DR

This paper establishes that a central simple algebra Σ over a function field K of transcendence degree two admits a noncommutative smooth model if and only if there exists a smooth model S of K such that the ramification divisor of a maximal 𝒪_S-order in Σ is a disjoint union of smooth curves. The key result is that the Brauer–Severi fibration of such smooth models is a flat morphism, with fibers over ramified points having exactly k+1 irreducible components of dimension n−1 when the local marked quiver is of type A_{k01}.

ABSTRACT

We determine the central simple algebras D over a functionfield K of trancendence degree two which admit a model of smooth Cayley-Hamilton algebras. This happens if and only if there is a smooth model S of K such that the ramification divisor of a maximal S-order in D is a disjoint union of smooth curves. Further, we prove that the Brauer-Severi fibration of smooth models which are in addition maximal orders is a flat morphism and determine the number of irreducible components of the fibers.

Motivation & Objective

• To determine which central simple algebras over function fields of transcendence degree two admit noncommutative smooth models.
• To characterize the existence of such models via the geometry of ramification divisors on smooth surfaces.
• To prove that the Brauer–Severi fibration of smooth maximal orders is a flat morphism.
• To analyze the fiber structure of the Brauer–Severi fibration at ramified points using quiver-theoretic methods.

Proposed method

• Define smooth Cayley-Hamilton orders via the smoothness of the representation scheme trep_n A and its GL_n-quotient.
• Use étale local models based on extended quivers and Hesselink stratification to analyze singularities in representation spaces.
• Construct a GL_n-equivariant desingularization of trep_n A to recover smooth models.
• Apply the Hesselink stratification to the nullcone of the extended quiver representation space to classify strata and compute fiber components.
• Use the character θ = (−n, d₁, ..., d_{k+1}) to determine θ-semistable representations in the level quiver.
• Relate the fiber of the Brauer–Severi fibration to the quotient of the nullcone by GL(α̃), using Zariski isomorphism theorems.

Experimental results

Research questions

• RQ1 When does a central simple algebra over a function field of transcendence degree two admit a noncommutative smooth model?
• RQ2 What geometric conditions on the ramification divisor of a maximal order ensure the existence of such a model?
• RQ3 Is the Brauer–Severi fibration of a smooth maximal order a flat morphism?
• RQ4 How many irreducible components does the fiber of the Brauer–Severi fibration have over a ramified point with marked quiver of type A_{k01}?

Key findings

• A central simple algebra Σ over a function field K of transcendence degree two admits a noncommutative smooth model if and only if there exists a smooth model S of K such that the ramification divisor of a maximal 𝒪_S-order in Σ is a disjoint union of smooth irreducible curves.
• The Brauer–Severi fibration of a smooth maximal 𝒪_S-order is a flat morphism.
• Over a ramified point with local marked quiver of type A_{k01}, the fiber of the Brauer–Severi fibration has exactly k+1 irreducible components.
• Each irreducible component of the fiber over such a point has dimension n−1, where n is the degree of the algebra.
• The fiber structure is computed via Hesselink stratification of the nullcone of an extended quiver representation, with each component arising from a θ-semistable stratum.
• The moduli space of θ_i-semistable representations in the level quiver is isomorphic to ℙ^{d_i−1}, confirming the dimension and component count.