Matlis Domain: Homological and Divisibility Aspects
- Matlis domain is an integral domain where the field of fractions Q has projective dimension at most 1, linking homological conditions with module theory.
- It extends properties of Dedekind domains to govern torsion, cotorsion, and contramodule interactions through derived equivalences.
- The condition ensures every divisible module is h-divisible, enabling strongly flat covers and establishing precise duality frameworks.
A Matlis domain is a commutative domain whose field of fractions has projective dimension at most $1$ as an -module, i.e. . The notion arose as an extension of the homological behavior familiar from Dedekind domains and has become a central organizing condition in the study of torsion modules, cotorsion and contramodule structures, divisible modules, and homological constructions attached to and (Positselski, 2016). A later characterization identifies the same class of domains by the condition that every divisible -module is -divisible, and this criterion is equivalent to the existence of strongly flat covers for all divisible modules over (Zhang, 1 Sep 2025).
1. Definition and basic characterizations
The ring-theoretic definition is homological: if 0 is an integral domain with field of fractions 1, then 2 is a Matlis domain precisely when
3
This is the formulation used in the derived-categorical treatment of Harrison–Matlis equivalence, where the condition is also generalized from domains to pairs 4 consisting of a commutative ring and a multiplicative system with 5 (Positselski, 2016).
Several standard examples and extensions are recorded in the literature. Every Dedekind domain is a Matlis domain. More generally, for a Noetherian commutative ring of Krull dimension 6, one has 7 for any multiplicative system 8, so the Matlis-type homological framework extends well beyond the original domain case (Positselski, 2016).
A second characterization is expressed in terms of divisibility. For an integral domain 9, an $1$0-module $1$1 is divisible if $1$2 for all $1$3, while $1$4 is $1$5-divisible if it is a quotient of a $1$6-vector space. The statement that every divisible $1$7-module is $1$8-divisible characterizes Matlis domains (Zhang, 1 Sep 2025). This characterization is especially useful because it translates a homological condition on $1$9 into a concrete closure property of a familiar module class.
2. Torsion, contramodules, and derived equivalence
The classical Harrison–Matlis correspondence relates torsion modules and reduced cotorsion modules over suitable domains. In modern form, this correspondence is lifted to a triangulated equivalence between derived categories over a Matlis domain and, more generally, over any commutative ring 0 with multiplicative system 1 satisfying 2 (Positselski, 2016).
For such a pair 3, an 4-module is 5-torsion if every element is annihilated by some 6. An 7-module 8 is an 9-contramodule if
0
Under the Matlis condition, the full subcategory of 1-contramodules is abelian, and one obtains equivalences
2
for 3, as well as for absolute derived categories (Positselski, 2016).
A central construction is the two-term complex
4
with 5 in degree 6 and 7 in degree 8. Its cohomology records 9, and it functions as a dedualizing complex mediating the equivalence via derived 0 and derived tensor operations (Positselski, 2016). When 1 consists of nonzero-divisors, or when the 2-torsion in 3 is bounded, the equivalence takes the particularly transparent form of an equivalence between derived categories of abelian categories.
This derived viewpoint places Matlis domains in a broader categorical framework: the condition 4 is not merely a local homological bound but the exact hypothesis ensuring that torsion and contramodule theories have parallel exact structures.
3. Divisible modules, 5-divisibility, and strongly flat covers
The most explicit module-theoretic characterization of Matlis domains currently recorded in the supplied literature concerns strongly flat covers. Over an integral domain 6, every divisible module admits a strongly flat cover if and only if 7 is a Matlis domain (Zhang, 1 Sep 2025). In this sense, the Matlis condition marks the exact point at which a global approximation property for divisible modules becomes valid.
The same paper formulates a localization-theoretic analogue. If 8 is a regular multiplicative subset of a commutative ring 9 and 0 is semisimple, then every 1-divisible module admits an 2-strongly flat cover if and only if 3 is an 4-Matlis ring (Zhang, 1 Sep 2025). In the domain case, taking 5 recovers the classical statement.
This characterization is tied to the passage from divisibility to 6-divisibility. The necessity direction proceeds by showing that strongly flat covers of 7-divisible modules inherit enough divisibility to force 8-9-divisibility; the sufficiency direction uses the implication from the 0-Matlis condition to 1-2-divisibility and then invokes existence theorems for covers (Zhang, 1 Sep 2025). The result is a precise equivalence: 3
The surrounding homological theory also emphasizes weak cotorsion phenomena. In a later extension of Matlis’ work, if 4, then 5 is weakly cotorsion for every 6-module 7, and these weakly cotorsion properties are used to derive splitting criteria and decomposability results (Asgharzadeh et al., 2022). This suggests that Matlis domains are best understood not only through 8 itself but through the full cotorsion-theoretic environment generated by 9.
4. The fraction field, completion, and the Matlis quadric
A recurring package of objects in Matlis-style homological algebra is the Matlis quadric
0
where 1 is the fraction field of a domain 2, 3 controls torsion-theoretic behavior, 4 is the completion, and 5 is Matlis’ closed extension (Asgharzadeh et al., 2022). The study of this quadric is explicitly linked to the theory of Matlis domains and to questions about torsion, cotorsion, injective and projective dimensions, and duality.
Among the homological comparisons established in this setting are
6
with explicit computations in one-dimensional regular or Gorenstein cases, where 7 (Asgharzadeh et al., 2022). These formulas show that the projective dimension of 8 is part of a broader network of dimension comparisons involving completion and closure.
Completion phenomena are particularly transparent in one-dimensional local domains. For such a domain 9,
0
and there is a short exact sequence
1
Moreover, 2 is complete if and only if 3, equivalently if and only if 4 (Schenzel, 2013). The same paper gives a decomposition
5
indexed by the associated primes of 6 in the one-dimensional local domain case (Schenzel, 2013).
Related duality formulas reinforce the role of completion. If 7 is local and 8 with 9, then
00
if and only if 01 is complete (Schenzel, 2013). In a higher-rank direction, the indecomposability problem originally studied by Matlis is extended to show that for any torsion-free indecomposable module 02 of finite rank, 03 is indecomposable whenever it is nonzero (Asgharzadeh et al., 2022).
5. Related notions and terminological distinctions
The name “Matlis” appears in several adjacent but non-equivalent constructions. The following terminology occurs in the supplied literature.
| Notion | Definition or criterion | Source |
|---|---|---|
| Matlis domain | Integral domain 04 with 05 | (Positselski, 2016) |
| 06-Matlis ring | For regular 07, the paper states that 08 is 09-Matlis if 10 | (Zhang, 1 Sep 2025) |
| Weakly Matlis domain | Finite 11-character plus independence of maximal 12-ideals | (Chang et al., 2020) |
| Matlis-reflexive module | A module 13 with 14 an isomorphism | (Zöschinger, 2013) |
| Matlis semi-regular ring | Every module embeds in a flat module; equivalently every injective module is flat | (Adarbeh et al., 2016) |
The weakly Matlis condition belongs to multiplicative ideal theory rather than to the homological definition 15. In the cited treatment, a domain 16 is weakly Matlis when it has finite 17-character and satisfies independence, meaning that no two distinct maximal 18-ideals contain a common nonzero prime ideal (Chang et al., 2020). For a Prüfer 19-multiplication domain, this notion enters a factorization-theoretic equivalence: 20 (Chang et al., 2020).
The expression Matlis-reflexive refers instead to a module over a Noetherian local ring. If 21 is the injective hull of the residue field and 22, then 23 is Matlis-reflexive when the canonical map 24 is an isomorphism (Zöschinger, 2013). The cited characterization uses Bass numbers: 25 (Zöschinger, 2013).
A different ring-theoretic branch of the terminology concerns Matlis semi-regular rings or IF-rings. In the study of trivial ring extensions 26 with 27 a domain, semi-regularity is characterized via coherence, divisibility of 28, annihilator conditions, and a module-theoretic double annihilator condition (DAC) (Adarbeh et al., 2016). This theory enriches the supply of semi-regular rings, but it is distinct from the definition of a Matlis domain.
6. Role in current research
In recent work, Matlis domains function as a boundary condition separating well-behaved homological and categorical regimes from more pathological ones. On the categorical side, the Matlis condition allows the classical torsion–cotorsion correspondence to be promoted to a triangulated equivalence of derived categories (Positselski, 2016). On the approximation-theoretic side, it is the exact criterion for the existence of strongly flat covers of all divisible modules (Zhang, 1 Sep 2025).
The same framework supports higher-dimensional and finite-rank generalizations of Matlis’ original homological results. These include weakly cotorsion properties of 29, splitting criteria for modules of finite injective dimension, computations of the projective dimension of 30, non-Noetherian versions of Grothendieck’s localization problem, and higher-rank forms of Matlis’ decomposability problem (Asgharzadeh et al., 2022). The recurrent structures are the fraction field 31, the quotient 32, completion, and the cotorsion phenomena they generate.
For that reason, the modern significance of Matlis domains is broader than the bare inequality 33. The condition organizes a theory in which localization, divisibility, completion, torsion, contramodules, and derived duality all interact with unusually low homological complexity.
