Heitmann Dimension of Distributive Lattices and Commutative Rings

Basic Information

• Paper ID: 2312.00684
• Title: Heitmann dimension of distributive lattices and commutative rings
• Authors: Thierry Coquand, Henri Lombardi, Claude Quitté
• Classification: math.AC (Commutative Algebra)
• Publication Date: October 13, 2025 (Revised Edition)
• Paper Link: https://arxiv.org/abs/2312.00684

Abstract

This paper is an English translation and revised version of the first four sections of a French original published in 2006 in Publications Mathématiques de Besançon. The paper investigates the dimension concept introduced by Heitmann in his seminal article "Generating non-Noetherian modules efficiently," as well as a related but only implicitly appearing concept in his proofs. The authors first develop these concepts within the general framework of distributive lattice and spectral space theory, then apply them to commutative algebra.

Research Background and Motivation

1. Core Problem: Traditional Krull dimension has limitations in the non-Noetherian case, particularly when dealing with the maximal spectrum, which no longer guarantees to be a spectral space.
2. Significance: Heitmann pointed out that in the non-Noetherian case, the traditional j-spectrum concept no longer applies, as it does not correspond to a spectral space in the Stone sense. This motivated the need to seek new dimension concepts to address the generation problem for non-Noetherian modules.
3. Limitations of Existing Approaches:
   • Traditional Krull dimension definition relies on the length of chains of prime ideals, which is difficult to handle in the non-Noetherian case
   • The classical j-spectrum loses the spectral space property in non-Noetherian rings
   • Lack of constructive dimension definitions
4. Research Motivation:
   • Provide a constructive definition of Heitmann dimension
   • Establish a bridge between distributive lattice theory and commutative algebra
   • Provide effective tools for non-Noetherian ring theory

Core Contributions

1. Introduced a constructive definition of Heitmann dimension: Provided two related but distinct dimension concepts, Jdim and Hdim
2. Established duality between distributive lattices and spectral spaces: Mapped Heitmann's spectral spaces to Jacobson radical ideal lattices
3. Provided boundary characterizations of dimension: Gave recursive definitions of dimension through Krull boundaries and Heitmann boundaries
4. Proved dimension inequalities: Established the relationship Hdim ≤ Jdim ≤ Kdim
5. Provided constructive proof methods: Avoided the axiom of choice and the law of excluded middle, offering a fully constructive theory

Detailed Methodology

Task Definition

The core task of this paper is to define and study Heitmann dimension for distributive lattices and commutative rings, establish its relationship with traditional Krull dimension, and provide constructive characterization methods.

Theoretical Framework

1. Foundations of Distributive Lattice Theory

• Distributive Lattices: Lattices satisfying the distributive law, with ∧ and ∨ operations and 0, 1 elements
• Ideals and Filters: Defined concepts of ideals I and filters F and their properties
• Jacobson Radical: For an ideal J, defined its Jacobson radical JT(J)
• Heitmann Lattice: The quotient lattice He(T) defined through the relation a ≼ b ⟺ JT(a) ⊆ JT(b)

2. Spectral Space Theory

• Spectral Spaces: Topological spaces formed by prime ideals of distributive lattices
• Quasi-compact Open Sets: Open sets of the form DT(a) = {p ∈ SpecT | a ∉ p}
• Spectral Subspaces: Closed subsets corresponding to quotient lattices
• Heitmann Spectrum: The closure of the maximal spectrum in the patch topology

3. Dimension Definitions

Krull Dimension (Constructive Definition):

• Kdim(T) = -1 if and only if T = 1
• Kdim(T) ≤ ℓ if and only if for all x ∈ T, Kdim(T_K^x) ≤ ℓ-1

where T_K^x is the Krull boundary of x: T_K^x = T/(K_T^x = 0), K_T^x = ↓x ∨ (0:x)

Heitmann J-Dimension: JdimT = Kdim(He(T))

Heitmann Dimension:

• HdimT = -1 if and only if T = 1
• HdimT ≤ ℓ if and only if for all x ∈ T, Hdim(T_H^x) ≤ ℓ-1

where T_H^x = T/(H_T^x = 0), H_T^x = ↓x ∨ (JT(0):x)

Technical Innovations

1. Introduction of Boundary Concepts: Provided recursive characterization of dimension through Krull and Heitmann boundaries
2. Constructive Methods: Completely avoided the axiom of choice, providing algorithmic proofs
3. Dual Dimension System: Introduction of Jdim and Hdim provides more refined analytical tools
4. Unification of Lattices and Rings: Unified treatment at the distributive lattice level, then applied to commutative rings

Main Theorems and Results

Dimension Characterization for Distributive Lattices

Theorem 3.1.10 (Equivalent Characterization of Krull Dimension): For a distributive lattice T and ℓ ≥ 0, the following are equivalent:

1. Kdim(T) ≤ ℓ
2. For all x ∈ S (generating set), Kdim(T_K^x) ≤ ℓ-1
3. For all x₀,...,xℓ ∈ T, there exist a₀,...,aℓ ∈ T such that boundary conditions hold

Theorem 2.3.2 (Characterization of Heitmann Spectrum): JspecT is a spectral subspace of SpecT, isomorphic to Spec(He(T))

Applications to Commutative Rings

Theorem 4.4.4 (Krull Dimension of Rings): For a commutative ring A and ℓ ≥ 0, the following are equivalent:

1. Kdim(A) ≤ ℓ
2. For all x ∈ A, Kdim(A_K^x) ≤ ℓ-1
3. For all x ∈ A, Kdim(A^K_x) ≤ ℓ-1

Dimension Relationships

Proposition 3.2.9:

• Always HdimT ≤ JdimT
• When He(T) is a Heyting algebra, HdimT = JdimT

Constructive Mathematics Methods

The paper employs constructive mathematics methods with the following characteristics:

1. Avoidance of Non-constructive Principles: Does not use the axiom of choice or the law of excluded middle
2. Algorithmic Proofs: All constructions are effective
3. Point-free Methods: In spectral space theory, avoids using "points," working only with quasi-compact open sets
4. Recursive Definitions: Dimension is given through recursive definition of boundaries

Applications and Significance

Theoretical Significance

1. Unified Framework: Unified treatment of dimension problems at the distributive lattice level
2. Constructive Theory: Provides constructive foundations for commutative algebra
3. Non-Noetherian Theory: Effective tools for extending to the non-Noetherian case

Practical Applications

1. Module Generation Problems: Provides tools for non-Noetherian versions of Serre splitting-off theorem
2. Swan and Forster Theorems: Constructive proofs under bounded dimension assumptions
3. Bass Cancellation Theorem: Constructive treatment of non-Noetherian versions

Related Work

Historical Development

• Joyal (1976): First proposed constructive spectral theory for distributive lattices
• Español (1982-2010): Developed constructive Krull dimension theory
• Heitmann (1984): Introduced new dimension concepts for handling non-Noetherian modules
• Lombardi (2002): Provided purely algebraic characterization of Krull dimension

Contributions of This Paper

Compared to existing work, this paper:

1. Provides complete constructive theory of Heitmann dimension
2. Establishes systematic correspondence between distributive lattices and commutative rings
3. Gives boundary characterizations and recursive definitions of dimension
4. Proves important dimension inequality relationships

Conclusions and Discussion

Main Conclusions

1. Heitmann dimension provides effective tools for handling the non-Noetherian case
2. Constructive methods are not only more fundamental theoretically, but also simpler in practice
3. Distributive lattice theory provides a unified framework for commutative algebra
4. Boundary concepts are key tools for understanding dimension

Limitations

1. Complexity: The definition of Heitmann dimension becomes complex in higher dimensions
2. Scope of Application: Primarily applicable to commutative algebra, with limited applications in other fields
3. Computational Complexity: Although constructive, practical computation may be complex

Future Directions

1. Seek simpler characterizations of Heitmann dimension
2. Extend to other algebraic structures
3. Develop effective computational methods
4. Explore applications in algebraic geometry

In-Depth Evaluation

Strengths

1. Theoretical Depth: Provides profound theoretical insights, unifying multiple concepts
2. Methodological Innovation: Constructive methods avoid non-constructive assumptions, providing more fundamental foundations
3. Systematicity: Systematic treatment from distributive lattices to commutative rings
4. Practicality: Provides constructive proofs for important theorems

Weaknesses

1. Technical Threshold: Requires deep background in distributive lattices and constructive mathematics
2. Expression Complexity: Some definitions and proofs are highly technical
3. Lack of Examples: Lacks concrete computational examples

Impact

1. Theoretical Contribution: Provides important tools for constructive commutative algebra
2. Methodology: Demonstrates the power of constructive methods in algebra
3. Subsequent Research: Provides foundations for related research areas

Applicable Scenarios

1. Constructive mathematics and computational algebra
2. Non-Noetherian ring theory
3. Constructive methods in algebraic geometry
4. Computer-assisted proof systems

References

The paper cites numerous related works, primarily including:

• Heitmann, R. (1984): Generating non-Noetherian modules efficiently
• Joyal, A. (1976): Les théoremes de Chevalley-Tarski et remarques sur l'algèbre constructive
• Lombardi, H. (2002): Dimension de Krull, Nullstellensätze et évaluation dynamique
• Español, L. (1982-2010): Series of works on constructive dimension theory
• Johnstone, P.T. (1986): Stone spaces
• Stone, M.H. (1937): Foundational work on spectral spaces

This paper represents an important application of constructive mathematics to commutative algebra. By introducing the Heitmann dimension concept, it provides effective tools for handling the non-Noetherian case. Its constructive methods are not only more fundamental theoretically, but also provide algorithmic proofs for related theorems, possessing significant theoretical value and practical significance.