The rank condition and strong rank conditions for Ore extensions

This paper establishes that an Ore extension $R[x;\sigma,\delta]$ satisfies the rank condition if and only if its coefficient ring $R$ does, while proving analogous results for strong rank conditions under specific automorphism hypotheses, and provides a new proof of Susan Montgomery's theorem regarding the direct and stable finiteness of skew power series rings.

The Gist

Imagine you are an architect building a complex, multi-story skyscraper. In the world of mathematics, this skyscraper is called an Ore Extension.

To build this skyscraper, you start with a solid foundation: a simple ring of numbers or objects called $R$. Then, you add a new "floor" or variable called $x$. But this isn't a normal building; the rules of how things fit together are twisted. When you try to put a piece of the foundation ($r$) next to the new floor ($x$), they don't just sit side-by-side. Instead, they interact according to a special rule:
$$xr = \sigma(r)x + \delta(r)$$
Think of $\sigma$ as a shapeshifter that changes the shape of the foundation piece before it touches the floor, and $\delta$ as a glue that adds a little extra bit to the mix.

The paper by Karl Lorensen and Johan Öinert asks a very specific question about this skyscraper: "If the foundation ($R$) has certain structural strengths, does the whole skyscraper ($R[x; \sigma, \delta]$) inherit those strengths? And if the skyscraper is strong, does that mean the foundation must have been strong too?"

Here is a breakdown of the three main "structural strengths" they investigated, using simple analogies.

1. The Rank Condition: The "No Free Lunch" Rule

Imagine you have a box of building blocks. The Rank Condition is a rule that says: You cannot build a bigger box out of fewer blocks than you started with.

• The Question: If your foundation ($R$) obeys this rule (you can't make a 10-block tower out of 9 blocks), does the skyscraper ($R[x; \sigma, \delta]$) also obey it?
• The Answer: Yes, perfectly.
  The authors prove that the skyscraper satisfies this rule if and only if the foundation does. It's a perfect mirror. If the foundation is "tight" (no free lunch), the whole building is tight. If the foundation is "loose" (you can cheat and make big things from small things), the whole building is loose.

2. The Strong Rank Conditions: The "No Magic Expansion" Rules

This is where things get tricky. There are two versions of this rule: Left and Right. Think of these as rules about how you can stack blocks from the left side or the right side.

• The Right Strong Rule (RSRC): You can't squeeze a bigger stack of blocks into a smaller container from the right.
• The Left Strong Rule (LSRC): You can't squeeze a bigger stack into a smaller container from the left.

The paper finds that the relationship between the foundation and the skyscraper is not a perfect mirror here. It depends on the "shapeshifter" ($\sigma$).

• The Left Side (LSRC):

  • If the foundation is strong, the skyscraper is strong. (Easy!)
  • If the skyscraper is strong, the foundation is strong... but only if the shapeshifter ($\sigma$) is a perfect "undoable" transformation (an automorphism). If the shapeshifter just changes things but can't be reversed, the skyscraper might look strong even if the foundation is weak.

• The Right Side (RSRC):

  • If the foundation is strong, the skyscraper is strong... but only if the shapeshifter ($\sigma$) is a perfect "undoable" transformation.
  • If the skyscraper is strong, the foundation is strong. (This works even if the shapeshifter isn't perfect).

The Analogy: Imagine the shapeshifter ($\sigma$) is a magic mirror.

• If the mirror is perfect (you can see yourself exactly as you are, and reverse the reflection), the rules work both ways.
• If the mirror is broken (it distorts the image), sometimes the reflection looks strong even if the person is weak, or vice versa. The authors found exactly which side of the mirror breaks the rules.

3. Direct and Stable Finiteness: The "No Infinite Loops" Rule

This is about a different kind of stability. A ring is Directly Finite if, whenever you multiply two things and get "1" (the identity), they must have been "1" and "1" to begin with. It's like saying: If you shake hands and it feels like a perfect handshake, you must have been shaking hands with the right person.

• The Problem: Usually, if you build a skyscraper on a stable foundation, the skyscraper might become unstable. (The paper gives an example where a stable foundation leads to an unstable building).
• The Exception: However, if you build a Skew Polynomial Ring (a specific type of simpler skyscraper) or a Skew Power Series Ring (an infinitely tall skyscraper), the stability is preserved.
• The Proof: The authors provide a new, clever way to prove this. They looked at "idempotents" (objects that, when squared, stay the same, like a mirror reflecting a mirror). They proved that in these specific rings, the only object that looks like a perfect reflection of itself is the "1" itself. This guarantees the building won't collapse into an infinite loop.

Summary of the "Open Questions"

The paper ends by admitting they don't have all the answers. They left five questions on the table, mostly asking:

• "What if the shapeshifter is just a 'surjective' mirror (it covers everything but might squash things together)?"
• "Does the rule hold if the foundation is a 'domain' (a place with no zero-divisors, like a clean slate)?"

The Big Takeaway

This paper is a map for architects of mathematical structures. It tells us:

1. General Stability: The basic "no free lunch" rule always passes from the foundation to the building.
2. Directional Stability: The "left" and "right" rules are fragile. They depend heavily on whether the transformation rule ($\sigma$) is reversible.
3. Special Cases: For certain types of infinite buildings (power series), the "no infinite loops" rule is safe, even if it's not safe for general buildings.

It's a rigorous investigation into how the properties of a base material survive when you twist, stretch, and build upon them.

Technical Summary

1. Problem Statement

The paper investigates the preservation and inheritance of specific ring-theoretic properties between a base ring $R$ and its Ore extension $R[x; \sigma, \delta]$. An Ore extension is a non-commutative polynomial ring generated by a variable $x$ over a ring $R$, subject to the commutation rule $xr = \sigma(r)x + \delta(r)$, where $\sigma$ is a ring endomorphism and $\delta$ is a $\sigma$-derivation.

The authors focus on three specific properties:

1. The Rank Condition (RC): A ring $R$ satisfies RC if there is no epimorphism $R^n \to R^m$ for $m > n$ (equivalently, $R$ has an unbounded generating number).
2. The Right Strong Rank Condition (RSRC): A ring $R$ satisfies RSRC if there is no monomorphism $R^{n+1} \to R^n$ as right modules.
3. The Left Strong Rank Condition (LSRC): A ring $R$ satisfies LSRC if there is no monomorphism $R^{n+1} \to R^n$ as left modules.

The Core Question: Under what conditions do these properties hold for the Ore extension $R[x; \sigma, \delta]$ if and only if they hold for the coefficient ring $R$? Specifically, the authors examine whether the assumption that $\sigma$ is an automorphism (bijective) is necessary, or if weaker conditions (injectivity or surjectivity) suffice.

2. Methodology

The authors employ a filtration-based approach to analyze the structure of Ore extensions.

• Filtration Construction: They define a canonical filtration $\{U_i\}_{i \in \mathbb{N}}$ on the Ore extension $S = R[x; \sigma, \delta]$, where $U_i$ is the left $R$-submodule generated by $\{1, x, \dots, x^i\}$.
• Quotient Analysis: They analyze the quotient modules $U_{i+1}/U_i$. They establish that if $\sigma$ is an automorphism, these quotients are free modules of rank 1 over the base ring $R$ (which acts as $U_0$).
• General Theorems for Filtered Rings: The authors prove two general propositions (Propositions 1.8 and 1.9) regarding rings filtered by additive subgroups where the successive quotients are free modules of specific ranks.
  • Proposition 1.8 relates the Rank Condition of the filtered ring to its base ring $U_0$.
  • Proposition 1.9 relates the Strong Rank Conditions (left and right) of the filtered ring to $U_0$, specifically when the filtration layers are free modules.
• Counterexamples and Special Cases: To address the necessity of $\sigma$ being an automorphism, the authors construct specific counterexamples using:
  • Rings of upper triangular matrices ($UM_N(R)$).
  • Skew polynomial rings over division rings with non-surjective endomorphisms.
  • Rings with specific zero-divisor structures.
• Idempotent Analysis: For the results on direct and stable finiteness, they utilize a proof involving idempotents in skew power series rings, showing that the only idempotent with a constant term of 1 is the identity itself.

3. Key Contributions and Results

A. The Rank Condition (Theorem 0.1)

The authors establish a complete equivalence:

Theorem: $R[x; \sigma, \delta]$ satisfies the Rank Condition if and only if $R$ satisfies the Rank Condition.

• Significance: This result holds regardless of whether $\sigma$ is injective, surjective, or an automorphism. The "only if" direction is trivial (subrings inherit the condition), but the "if" direction is proven via the filtration method.

B. The Strong Rank Conditions (Theorem 0.2)

The situation for the Strong Rank Conditions is more nuanced and depends on the side (left/right) and the nature of $\sigma$:

1. Left Strong Rank Condition (LSRC):

   • If $R$ satisfies LSRC, then $R[x; \sigma, \delta]$ satisfies LSRC (no extra hypothesis on $\sigma$ needed).
   • Converse: If $R[x; \sigma, \delta]$ satisfies LSRC, then $R$ satisfies LSRC only if $\sigma$ is an automorphism.
   • Counterexample: If $\sigma$ is merely injective but not surjective, the converse fails (Example 1.14).

2. Right Strong Rank Condition (RSRC):

   • Forward: If $\sigma$ is an automorphism and $R$ satisfies RSRC, then $R[x; \sigma, \delta]$ satisfies RSRC.
   • Converse: If $R[x; \sigma, \delta]$ satisfies RSRC, then $R$ satisfies RSRC (no extra hypothesis on $\sigma$ needed).
   • Counterexample: If $\sigma$ is merely injective but not surjective, the forward direction fails (Lemma 1.10).

C. Partial Results on Surjectivity (Corollary 0.3)

The paper addresses whether $\sigma$ being surjective (but not necessarily injective) is sufficient to replace the automorphism hypothesis.

• Result: If $R$ is a domain and $\sigma$ is surjective, then $R$ satisfying RSRC implies $R[x; \sigma, \delta]$ satisfies RSRC.
• Open Question: It remains unknown if surjectivity alone suffices for general rings (not just domains) or for the LSRC converse.

D. Direct and Stable Finiteness (Theorem 0.4)

The authors provide a new proof for a result originally due to Susan Montgomery regarding skew power series rings $R[[x; \sigma]]$.

Theorem: $R[[x; \sigma]]$ is directly (resp. stably) finite if and only if $R$ is directly (resp. stably) finite.

• Method: They prove that the only idempotent in $R[[x; \sigma]]$ with a constant term of 1 is the identity element (Proposition 0.5).
• Application: This implies that for skew polynomial rings $R[x; \sigma]$, direct and stable finiteness are also preserved if and only if they hold for $R$.
• Note: These properties are not generally preserved by Ore extensions with non-zero derivations (Example 1.16), highlighting the distinction between polynomial and power series extensions in this context.

E. Applications to Weyl Rings and Matrix Rings

• Weyl Rings: The results are applied to Weyl rings $W_n(R)$, showing that $R$ satisfies RC, RSRC, or LSRC if and only if $W_n(R)$ does.
• Upper Triangular Matrices: Using the isomorphism between upper triangular matrix rings and skew power series rings over a product ring, they prove that $UM_N(R)$ is directly/stably finite iff $R$ is.

4. Significance

• Clarification of Hypotheses: The paper rigorously delineates exactly when the bijectivity of $\sigma$ is required. It resolves that for the Rank Condition, no assumption on $\sigma$ is needed, but for Strong Rank Conditions, the direction of the implication dictates whether injectivity or surjectivity (or full bijectivity) is necessary.
• Unification of Concepts: By using the filtration framework, the authors unify the treatment of Ore extensions, skew polynomial rings, and skew power series rings under a single theoretical umbrella.
• Resolution of Open Problems: The paper confirms that the "automorphism" hypothesis in certain theorems cannot be weakened to mere "injectivity" (providing explicit counterexamples), while leaving the "surjectivity" case as an open problem for general rings.
• New Proofs: It offers a novel proof for Montgomery's theorem on skew power series rings, avoiding the Jacobson radical approach in favor of an idempotent analysis, which may be more adaptable to other contexts.

5. Open Questions

The paper concludes by listing five open questions, primarily focusing on:

1. Whether surjectivity of $\sigma$ is sufficient for RSRC inheritance in non-domain rings.
2. Whether surjectivity of $\sigma$ is sufficient for the LSRC converse.
3. Whether a domain $R$ can have an injective $\sigma$ such that $R[x; \sigma]$ satisfies LSRC while $R$ does not.
4. & 5. Whether direct and stable finiteness are preserved in Ore extensions $R[x; \sigma, \delta]$ when $\sigma$ is an automorphism (currently known to fail for general derivations, but open for the specific case of automorphisms with derivations).