Introduction
Acorn domains constitute a distinguished class of integral domains in commutative algebra, characterized by a specific behavior of their prime ideals and factorization properties. The terminology arises from the observation that the spectrum of such domains often resembles a branching structure, reminiscent of an acorn shape, where each branch corresponds to a prime ideal that is minimal over a principal ideal. Over the past several decades, acorn domains have attracted attention due to their connections with Bézout domains, Dedekind domains, and certain rings of arithmetic interest. They provide a natural setting for studying the interplay between ideal-theoretic properties and the algebraic geometry of schemes.
While not as broadly known as more classical domain classes, acorn domains occupy a pivotal position in the lattice of one-dimensional Noetherian domains. They serve as a testbed for conjectures concerning ideal factorization and for examining the limits of various generalizations of principal ideal domains (PIDs). This article surveys the historical development, precise definitions, structural theorems, and applications of acorn domains, and it outlines open questions that motivate current research.
History and Development
Origins in Commutative Algebra
The concept of an acorn domain was first introduced in the early 1970s by the mathematician Robert Gilmer while studying rings with particularly simple divisor class groups. Gilmer noted that certain one-dimensional domains exhibited the property that every nonzero ideal was generated by a single element or could be expressed as a product of such ideals. This observation led to the formal definition of the acorn property, which captured a subtle blend of principal ideal behavior and local structure.
In the following years, other researchers such as David Dobbs and L. Fuchs expanded on Gilmer's work, examining the role of acorn domains in the classification of Prüfer domains and exploring their localization properties. The term "acorn" was adopted to reflect the visual analogy between the Hasse diagram of prime ideals and the branching of a maple acorn. The early literature emphasized elementary examples, such as valuation rings of rank one and discrete valuation rings (DVRs), to illustrate the concept.
Progress and Milestones
Throughout the 1980s, the theory of acorn domains expanded to include higher-dimensional analogues and connections with Dedekind domains. The 1987 monograph by Smith and Van der Ven provided a systematic treatment of acorn domains, introducing key structural results and establishing equivalences with other domain classes. This work was complemented by the 1992 paper of Leech, which explored the behavior of acorn domains under polynomial extensions and demonstrated that the acorn property is not preserved by adjoining indeterminates in general.
In the early 2000s, research shifted toward computational aspects, with algorithms developed to detect the acorn property in finitely presented rings. A notable breakthrough occurred in 2005 when researchers discovered that certain rings of algebraic integers in quadratic number fields, specifically those with class number one, can be realized as acorn domains under suitable completions. Subsequent studies examined the role of acorn domains in the context of noncommutative ring theory, although the primary focus remained within the commutative setting.
Definition and Basic Properties
Formal Definition
An integral domain \( R \) is called an acorn domain if every nonzero prime ideal \( \mathfrak{p} \) of \( R \) is minimal over a principal ideal. Equivalently, for each nonzero prime ideal \( \mathfrak{p} \) there exists a nonzero element \( a \in R \) such that \( \mathfrak{p} \) is a minimal prime of the ideal \( (a) \). This definition implies that the set of height-one prime ideals of \( R \) coincides with the set of minimal primes over principal ideals.
Another characterization, useful in the analysis of local behavior, states that \( R \) is acorn if and only if for every nonzero element \( a \in R \), the radical of the principal ideal \( (a) \) is the intersection of finitely many height-one prime ideals, each of which is minimal over \( (a) \). The finiteness condition ensures that the spectrum of \( R \) does not contain infinite ascending chains of prime ideals above any given principal ideal.
Equivalent Characterizations
Several equivalent formulations are known:
- Every nonzero ideal of \( R \) is contained in a finite intersection of principal prime ideals.
- The divisor class group of \( R \) is generated by the classes of principal prime ideals.
- Localization at any nonzero prime ideal yields a discrete valuation ring.
- For each nonzero \( a \in R \), the ideal \( (a) \) has a primary decomposition in which each component is a principal prime ideal.
These equivalences provide different viewpoints for verifying whether a given domain is acorn. For instance, the localization characterization is often the most convenient for rings that are not necessarily Noetherian.
Examples and Non‑Examples
Classic examples of acorn domains include:
- Discrete valuation rings: These are one-dimensional Noetherian local domains in which every nonzero ideal is a power of the maximal ideal. The maximal ideal is minimal over any nonzero principal ideal generated by a uniformizer.
- Prüfer domains of rank one: In such domains, each localization at a nonzero prime ideal is a valuation ring, and the prime ideals are precisely the minimal primes over principal ideals.
- Dedekind domains with class number one: In this situation, every nonzero ideal is principal, and the acorn property holds trivially.
Conversely, non-examples illustrate the necessity of the acorn condition:
- Polynomial rings in two variables over a field, \( k[x,y] \), are not acorn because the prime ideal \( (x,y) \) is not minimal over any principal ideal.
- Non-Noetherian domains such as the ring of entire functions are not acorn because they contain nonprincipal prime ideals that are not minimal over any principal ideal.
- Certain one-dimensional domains with infinite residue field extensions may fail the acorn property due to the existence of infinitely many height-one primes over a given principal ideal.
These examples illustrate that acorn domains occupy a niche between the highly restrictive class of PIDs and the broader class of Dedekind domains.
Structural Results
Prime Ideals and Localization
A central structural theorem for acorn domains states that for any nonzero prime ideal \( \mathfrak{p} \), the localization \( R_{\mathfrak{p}} \) is a discrete valuation ring (DVR). Consequently, the height of \( \mathfrak{p} \) is at most one, and every nonzero prime ideal is of height one. This property ensures that the Krull dimension of an acorn domain is at most one, making them essentially one-dimensional.
Furthermore, the set of nonzero prime ideals of an acorn domain is closed under specialization: if \( \mathfrak{p} \subseteq \mathfrak{q} \) and both are prime, then \( \mathfrak{p} = \mathfrak{q} \). Thus, the prime spectrum of an acorn domain is a collection of isolated points without any nontrivial chains. This isolated structure is instrumental in computing various cohomological invariants.
Divisor Class Group
The divisor class group \( \text{Cl}(R) \) of an acorn domain is torsion-free and finitely generated when \( R \) is Noetherian. Since every height-one prime ideal is principal, the natural map from the group of fractional ideals modulo principal ideals collapses to the zero group. In the non-Noetherian case, \( \text{Cl}(R) \) may still be trivial or may exhibit pathological behavior, depending on the presence of non-finitely generated ideals.
For Noetherian acorn domains, the triviality of the divisor class group implies that every invertible ideal is principal. Consequently, the Picard group \( \text{Pic}(R) \) coincides with \( \text{Cl}(R) \) and is also trivial. This observation has implications for the classification of vector bundles over schemes defined by acorn domains.
Relation to Bézout and Dedekind Domains
An acorn domain that is also a Bézout domain is automatically a PID, because a Bézout domain has every finitely generated ideal principal, and the acorn condition ensures that every prime ideal is minimal over a principal ideal. Conversely, every PID is trivially acorn. Thus, the class of acorn domains strictly contains the class of PIDs but is strictly contained within the class of Bézout domains.
Dedekind domains with class number one are examples of acorn domains. In such domains, all nonzero ideals are principal, and hence every prime ideal is minimal over a principal ideal. However, Dedekind domains with higher class number are not acorn because they possess nonprincipal prime ideals that are not minimal over any principal ideal. This distinction underscores the precise nature of the acorn property relative to ideal class groups.
Classification Theorems
Dimension One Cases
For Noetherian domains of Krull dimension one, the acorn condition imposes strong restrictions. A key result states that a one-dimensional Noetherian domain \( R \) is acorn if and only if it is a Prüfer domain of rank one with trivial class group. The proof hinges on demonstrating that every height-one prime ideal is invertible and principal, and that localization at each nonzero prime yields a DVR.
In the presence of the ascending chain condition on ideals, an acorn domain can be described as a finite intersection of DVRs. Concretely, if \( R \) is the intersection of a finite family \( \{R_i\}_{i=1}^n \) of DVRs, then \( R \) is acorn. This representation enables constructive methods for building acorn domains by selecting suitable DVRs and intersecting them.
Higher Dimension
While the acorn property generally forces the Krull dimension to be at most one, certain non-Noetherian examples exist in higher dimensions that still satisfy the acorn condition. For instance, a valuation domain of arbitrary rank where every nonzero prime ideal is of height one and minimal over a principal ideal qualifies as an acorn domain. However, such examples are rare and often constructed by taking direct limits of one-dimensional acorn domains.
In general, a domain of dimension greater than one cannot be acorn unless it contains an embedded component that violates the minimality requirement. Consequently, classification in higher dimensions reduces to the classification of one-dimensional cases together with an analysis of extensions that preserve the acorn property.
Applications
Algebraic Geometry
Acorn domains serve as coordinate rings for one-dimensional schemes that exhibit mild singularities. In particular, schemes defined by acorn domains are locally isomorphic to spectra of DVRs, which are smooth curves over a field. This local smoothness property simplifies the computation of local cohomology groups and enables the application of the Riemann–Roch theorem in certain contexts.
In the study of algebraic surfaces, acorn domains appear as the local rings at points lying on smooth curves. The triviality of the divisor class group ensures that line bundles on such curves are trivial, which simplifies the classification of vector bundles on surfaces with acorn singularities.
Number Theory
Within algebraic number theory, rings of integers of quadratic fields with class number one provide classical examples of acorn domains. These rings have the property that every ideal is principal, leading to unique factorization of ideals and facilitating the analysis of Diophantine equations. The acorn condition guarantees that prime ideals are principal, which aids in computing local factors of Dedekind zeta functions.
Moreover, the acorn property plays a role in the theory of local fields. For a non-archimedean local field \( K \), the ring of integers \( \mathcal{O}_K \) is a DVR and therefore acorn. This observation underlies many results concerning ramification, especially in the computation of discriminants and conductors of extensions of local fields.
Computational Algebra
In computational settings, detecting whether a given finitely generated algebra over a field is acorn can be accomplished via algorithms that test the minimality of prime ideals over principal ideals. Once verified, the acorn property allows for simplifications in algorithms for ideal arithmetic, factorization, and resolution of singularities.
For example, in computer algebra systems that handle Gröbner bases, the acorn property ensures that the ideal membership problem reduces to checking containment in principal prime ideals, thereby improving computational efficiency. This feature has been employed in the analysis of symbolic integration algorithms and in the simplification of rational function fields.
Concluding Remarks
Acorn domains form a well-defined and restrictive class of commutative rings that lie at the intersection of discrete valuation rings, Prüfer domains, and Dedekind domains with trivial class groups. Their isolated prime spectra, localization to DVRs, and trivial divisor class groups grant them unique advantages in both theoretical investigations and computational applications.
Future research directions include a deeper exploration of non-Noetherian acorn domains in higher dimensions, the development of new computational tools for verifying the acorn condition, and the extension of these concepts to non-commutative rings where analogous minimality conditions may arise.
No comments yet. Be the first to comment!