Linked Projective Spaces

• Linked projective spaces are families of subspaces embedded in an ambient projective space, arising from ring and quiver representations that enforce specific incidence or complementarity relations.
• They connect algebraic data—via bimodule representations and homomorphisms—to geometric structures like affine spaces, Grassmannians, and chain geometries.
• These constructions facilitate modeling degenerations and computing Chow classes, with notable applications in studying projective lines over rings and quiver Grassmannians.

Linked projective spaces designate, in the most direct sense, projective configurations in which one projective structure is represented, organized, or reconstructed inside another. In Blunck and Havlicek’s treatment, the projective line over a ring $R$ is represented inside an ordinary projective space $\mathbb P(K,U\times U)$ by subspaces $U^{(\rho_a,\rho_b)}$, thereby linking ring geometry to classical projective geometry (Blunck et al., 2013). In a later and formally distinct usage, linked projective spaces are quiver Grassmannians of constant dimension one attached to linked nets over $\mathbb Z^n$-quivers (Esteves et al., 20 Aug 2025). Closely related work studies complements of a fixed subspace inside a projective space, equips them with an affine structure, and interprets its lines as affine reguli or cones over affine reguli (Blunck et al., 2013). Taken together, these developments place the topic at the intersection of projective geometry over rings, Grassmannian-type parametrizations, affine structures on families of complements, and quiver-theoretic degeneration theory.

1. Terminological scope and conceptual profile

The phrase does not have a single universal meaning across the cited literature. In the ring-geometric setting, it refers to the passage from the projective line over a ring to a family of subspaces in an ambient projective space (Blunck et al., 2013). In the quiver-theoretic setting, linked projective spaces are a formally defined class of quiver Grassmannians associated with linked nets over $\mathbb Z^n$-quivers (Esteves et al., 20 Aug 2025). By contrast, “Affine Spaces within Projective Spaces” does not use the phrase literally, but studies a mathematically adjacent construction: the set of complements of a fixed subspace $W$ in $\mathbb P(K,V)$, organized as an affine space whose lines are affine reguli or cones over affine reguli (Blunck et al., 2013).

This suggests that the expression functions less as a single canonical definition than as a family resemblance centered on three recurrent features: a distinguished ambient projective space, a parametrized family of subspaces inside it, and an incidence or complementarity relation that transfers algebraic data into projective geometry. In one direction, ring elements become endomorphisms and then graphs of operator pairs. In another, complements of a fixed subspace become points of an affine space. In a third, dimension-one subrepresentations of a quiver representation become embedded subschemes of a product of projective spaces.

A common misconception is that “linked projective spaces” refers simply to products of projective spaces. The cited works are more specific. The product construction matters in some contexts, but the salient structure is the compatibility law imposed on subspaces, complements, or lines. In (Blunck et al., 2013), linkage is controlled by a $(K,R)$-bimodule and the distant relation. In (Blunck et al., 2013), it is complementarity to a fixed subspace $W$. In (Esteves et al., 20 Aug 2025), it is quiver-theoretic compatibility encoded by a linked net and realized as a quiver Grassmannian.

2. Projective lines over rings and their representation in projective space

For a ring $R$ with identity $\mathbb P(K,U\times U)$0, explicitly allowing the trivial case $\mathbb P(K,U\times U)$1, the projective line over $\mathbb P(K,U\times U)$2 is defined by

$\mathbb P(K,U\times U)$3

Equivalently,

$\mathbb P(K,U\times U)$4

where $\mathbb P(K,U\times U)$5 is admissible if there exist $\mathbb P(K,U\times U)$6 such that

$\mathbb P(K,U\times U)$7

The paper also recalls the weaker notion of unimodularity: $\mathbb P(K,U\times U)$8 Every admissible pair is unimodular; if $\mathbb P(K,U\times U)$9 is commutative, the two notions coincide, but over noncommutative rings they may differ (Blunck et al., 2013).

The representation-theoretic bridge begins with a $U^{(\rho_a,\rho_b)}$0-bimodule $U^{(\rho_a,\rho_b)}$1, where $U^{(\rho_a,\rho_b)}$2 is a left vector space over a field $U^{(\rho_a,\rho_b)}$3 and a unitary right $U^{(\rho_a,\rho_b)}$4-module satisfying

$U^{(\rho_a,\rho_b)}$5

This is equivalent to a $U^{(\rho_a,\rho_b)}$6-linear representation

$U^{(\rho_a,\rho_b)}$7

where

$U^{(\rho_a,\rho_b)}$8

If $U^{(\rho_a,\rho_b)}$9, there is a bijection

$\mathbb Z^n$0

where $\mathbb Z^n$1 is the set of all subspaces of $\mathbb Z^n$2 that are isomorphic to one of their complements. Composing the induced map of projective lines with $\mathbb Z^n$3 yields the projective representation

$\mathbb Z^n$4

Explicitly,

$\mathbb Z^n$5

This is the core ring-to-projective-space construction. Points of $\mathbb Z^n$6 become projective subspaces in $\mathbb Z^n$7, and the image lies in the distinguished family $\mathbb Z^n$8 of subspaces isomorphic to one of their complements. In this way, the projective line over a possibly noncommutative ring is linked to ordinary projective geometry.

3. Distance, complementarity, and algebraic pathologies

The intrinsic geometry of $\mathbb Z^n$9 is governed by the distant relation

$\mathbb Z^n$0

For

$\mathbb Z^n$1

with admissible representatives, one has

$\mathbb Z^n$2

By definition, this means exactly that $\mathbb Z^n$3 and $\mathbb Z^n$4 are complementary submodules of $\mathbb Z^n$5. Over a field, distinct points are distant; over rings, non-distant points can still have trivial intersection, may span all of $\mathbb Z^n$6 without being complementary, or may exhibit intermediate behavior (Blunck et al., 2013).

The main geometric theorem of the representation is: $\mathbb Z^n$7 and

$\mathbb Z^n$8

Thus distant points always map to complementary subspaces in $\mathbb Z^n$9, while faithful bimodules yield genuine projective models.

The converse need not hold. Proposition 4.5 gives the exact criterion: $W$0 If some nonunit $W$1 acts invertibly on $W$2, then $W$3 and $W$4 are non-distant in $W$5, but their images are complementary. The counterexample

$W$6

shows this phenomenon explicitly: multiplication by $W$7 is bijective on the field of fractions $W$8, although $W$9.

Several ring-theoretic conditions control the pathology of $\mathbb P(K,V)$0. The ring $\mathbb P(K,V)$1 is Dedekind-finite if $\mathbb P(K,V)$2. Proposition 2.2 shows the equivalence of:

1. $\mathbb P(K,V)$3 is Dedekind-finite;
2. whenever $\mathbb P(K,V)$4, the pair $\mathbb P(K,V)$5 is admissible;
3. no point of $\mathbb P(K,V)$6 is properly contained in another point of $\mathbb P(K,V)$7.

The paper also recalls that if $\mathbb P(K,V)$8 has stable rank $\mathbb P(K,V)$9, then every unimodular pair is admissible and $(K,R)$0 is Dedekind-finite; and if $(K,R)$1 is finite-dimensional over a subfield, then $(K,R)$2 has stable rank $(K,R)$3, hence is a GE$(K,R)$4-ring (Blunck et al., 2013). These conditions matter when studying quotients and induced models, because they influence admissibility, surjectivity of induced maps, and the faithfulness with which the distant relation is reflected in ambient geometry.

4. Sub-bimodules, quotients, and classical geometric configurations

A major strength of the representation is that module-theoretic operations become projective constructions. If $(K,R)$5 is a sub-bimodule, with induced representation $(K,R)$6, then

$(K,R)$7

If $(K,R)$8, then

$(K,R)$9

For the quotient $W$0, with associated representation $W$1,

$W$2

Submodules therefore correspond to intersection with a fixed ambient subspace, direct-sum decompositions correspond to direct-sum decompositions of represented subspaces, and quotient modules correspond to join constructions.

The examples show that these formulas recover familiar configurations in finite-dimensional projective geometry and also expose genuinely ring-theoretic effects. In the regular representation $W$3, assuming that $W$4 contains $W$5 as a subfield,

$W$6

Here the projective line sits inside the projective space associated with $W$7, and distant points correspond exactly to complementary subspaces. If $W$8 is faithful and $W$9 is finite-dimensional over a subfield $R$0, then $R$1 maps non-distant points to non-complementary subspaces. The field-of-fractions example $R$2, $R$3 is the key counterexample to this good behavior.

Representative examples are summarized below.

Ring and bimodule	Image geometry	Structural feature
$R$4	regulus in $R$5-space	lines joining corresponding points
$R$6	$R$7-subspaces meeting each $R$8	coordinatewise separation
$R$9	parabolic linear congruence when $\mathbb P(K,U\times U)$00	local-ring equivalence classes
upper triangular $\mathbb P(K,U\times U)$01 matrix ring, $\mathbb P(K,U\times U)$02	non-pappian analogue of a special linear complex	lines meeting a fixed line
$\mathbb P(K,U\times U)$03	planes meeting a $\mathbb P(K,U\times U)$04-space in a regulus element	higher-dimensional local-ring model

These examples display the range of the representation: reguli, hyperbolic linear congruences, special linear complexes, and local-ring foliations by equivalence classes all arise as projective models of $\mathbb P(K,U\times U)$05. The paper also notes that $\mathbb P(K,U\times U)$06 is the point set of a chain geometry $\mathbb P(K,U\times U)$07 or generalized chain geometry, but the main contribution is the representation of the point set itself rather than the full chain structure (Blunck et al., 2013).

5. Affine structures on complements inside projective spaces

A complementary development starts from an ordinary projective space

$\mathbb P(K,U\times U)$08

with a fixed proper nonzero subspace

$\mathbb P(K,U\times U)$09

The central object is

$\mathbb P(K,U\times U)$10

the set of all complements of $\mathbb P(K,U\times U)$11. Fixing one complement $\mathbb P(K,U\times U)$12 with $\mathbb P(K,U\times U)$13, every complement can be written as

$\mathbb P(K,U\times U)$14

with $\mathbb P(K,U\times U)$15 and $\mathbb P(K,U\times U)$16, hence also as

$\mathbb P(K,U\times U)$17

Thus $\mathbb P(K,U\times U)$18 is identified with $\mathbb P(K,U\times U)$19 by

$\mathbb P(K,U\times U)$20

To turn $\mathbb P(K,U\times U)$21 into an affine space, one chooses a basis $\mathbb P(K,U\times U)$22 of $\mathbb P(K,U\times U)$23 and defines an embedding

$\mathbb P(K,U\times U)$24

where $\mathbb P(K,U\times U)$25. The induced scalar multiplication on $\mathbb P(K,U\times U)$26 is

$\mathbb P(K,U\times U)$27

Via the identification above,

$\mathbb P(K,U\times U)$28

The resulting affine space is denoted

$\mathbb P(K,U\times U)$29

This affine structure is generally not canonical. It depends on the choice of basis, equivalently on the chosen embedding $\mathbb P(K,U\times U)$30. If $\mathbb P(K,U\times U)$31 is commutative, the affine structure becomes canonical. More generally, Theorem 2.6 states that two such affine structures coincide precisely when the associated projective $\mathbb P(K,U\times U)$32-subspaces of $\mathbb P(K,U\times U)$33, where $\mathbb P(K,U\times U)$34 is the center of $\mathbb P(K,U\times U)$35, coincide.

Lines in this affine space have the form

$\mathbb P(K,U\times U)$36

In the symmetric case $\mathbb P(K,U\times U)$37, a line is regular if $\mathbb P(K,U\times U)$38, and Proposition 3.1 states: $\mathbb P(K,U\times U)$39 In the general case, injective $\mathbb P(K,U\times U)$40 yields an affine regulus in a smaller projective subspace, while noninjective $\mathbb P(K,U\times U)$41 yields a cone over an affine regulus, with vertex the maximal central part of $\mathbb P(K,U\times U)$42. If $\mathbb P(K,U\times U)$43 is central, then

$\mathbb P(K,U\times U)$44

The framework is applied to dual spreads. A dual spread is a set of pairwise complementary subspaces such that each hyperplane contains one of its elements. Proposition 5.4 gives the criterion that $\mathbb P(K,U\times U)$45, together with $\mathbb P(K,U\times U)$46, is a dual spread iff: $\mathbb P(K,U\times U)$47

$\mathbb P(K,U\times U)$48

Theorem 5.5 then characterizes all dual spreads containing $\mathbb P(K,U\times U)$49 in terms of *-transversal families (Blunck et al., 2013).

6. Quiver-theoretic linked projective spaces and the diagonal Chow class

In a formally defined later usage, linked projective spaces are quiver Grassmannians of constant dimension one attached to linked nets over $\mathbb P(K,U\times U)$50-quivers. A quiver $\mathbb P(K,U\times U)$51 with a partition $\mathbb P(K,U\times U)$52 of its arrow set into $\mathbb P(K,U\times U)$53 types is a $\mathbb P(K,U\times U)$54-quiver if: there is exactly one arrow of each type leaving each vertex; each vertex is connected to each other by an admissible path; and two paths leaving the same vertex arrive at the same vertex if and only if the difference of their type functions is constant. A representation $\mathbb P(K,U\times U)$55 is a linked net if it is weakly linked and, for admissible paths $\mathbb P(K,U\times U)$56 leaving the same vertex and having no arrow type in common,

$\mathbb P(K,U\times U)$57

For a nontrivial finitely generated exact linked net, the minimum set of generators $\mathbb P(K,U\times U)$58 is convex, meaning

$\mathbb P(K,U\times U)$59

If $\mathbb P(K,U\times U)$60 is a representation in nonzero finite-dimensional vector spaces, the linked projective space $\mathbb P(K,U\times U)$61 is the quiver Grassmannian of subrepresentations of pure dimension $\mathbb P(K,U\times U)$62. For a minimum generating set $\mathbb P(K,U\times U)$63, it is embedded as

$\mathbb P(K,U\times U)$64

Earlier work recalled in the paper states that $\mathbb P(K,U\times U)$65 is generically smooth, a local complete intersection, and reduced. It was introduced as a tool for describing schematic limits of families of divisors.

The new contribution is combinatorial and intersection-theoretic. To each generator $\mathbb P(K,U\times U)$66, one associates a vector space $\mathbb P(K,U\times U)$67, modular data $\mathbb P(K,U\times U)$68, and a polymatroid base polytope $\mathbb P(K,U\times U)$69. Theorem 4.2 states that the collection of polytopes $\mathbb P(K,U\times U)$70 and their faces gives a polyhedral tiling of the standard simplex

$\mathbb P(K,U\times U)$71

in particular

$\mathbb P(K,U\times U)$72

This polymatroidal tiling is the key combinatorial input.

Let

$\mathbb P(K,U\times U)$73

For a closed subscheme $\mathbb P(K,U\times U)$74 of pure dimension $\mathbb P(K,U\times U)$75,

$\mathbb P(K,U\times U)$76

The Chow class of the small diagonal in $\mathbb P(K,U\times U)$77 is

$\mathbb P(K,U\times U)$78

Theorem 4.4 proves that linked projective spaces have exactly this class: $\mathbb P(K,U\times U)$79 Thus linked projective spaces have the Chow class of the diagonal.

This does not settle the stronger degeneration problem. The paper states that it is an open question whether linked projective spaces are degenerations of the small diagonal. If the linked net $\mathbb P(K,U\times U)$80 is smoothable, then $\mathbb P(K,U\times U)$81 is the special fiber of a Mustafin variety and hence a flat degeneration of the small diagonal. In general, however, the diagonal Chow class is weaker than actual degeneration. This distinction is one of the main current points of interpretation and caution in the theory (Esteves et al., 20 Aug 2025).