Transfer Krull Domain: Structure & Invariants

• Transfer Krull domains are commutative integral domains that admit a transfer homomorphism to a Krull monoid, capturing key factorization properties.
• They generalize classical Krull domains by using block monoids and zero-sum sequences over abelian groups to analyze arithmetic invariants.
• Their study has practical applications in orders, subrings, and non-normal domains, providing a unified framework for factorization theory.

A transfer Krull domain is a commutative integral domain $D$ whose multiplicative monoid of nonzero elements $D^\bullet$ admits a transfer homomorphism to a commutative Krull monoid, often realized as a monoid of zero-sum sequences over a subgroup or subset of an abelian group. This generalizes Krull domains by reflecting their factorization-theoretic properties in broader algebraic contexts, with applications to the study of orders in Dedekind domains, subrings of Krull domains, singular or non-normal domains, and beyond. Transfer Krull domains are central in modern factorization theory, as transfer homomorphisms enable the study of arithmetic invariants through combinatorial and structural methods arising from zero-sum theory in finite abelian groups (Geroldinger et al., 2021, Geroldinger et al., 2018, Rago, 2024, Bashir et al., 13 Feb 2025, Bashir et al., 2021).

1. Fundamental Definitions and the Transfer Homomorphism Principle

Let $D$ be a commutative integral domain, written multiplicatively as $D^\bullet = D \setminus \{0\}$. A transfer homomorphism from a commutative, atomic, cancellative monoid $H$ to another such monoid $B$ is a monoid homomorphism $\theta: H \to B$ that satisfies:

• (T1) $B = \theta(H) B^\times$ and $\theta^{-1}(B^\times) = H^\times$,
• (T2) For $u \in H$, $D^\bullet$0 in $D^\bullet$1 implies there exist $D^\bullet$2, $D^\bullet$3 with $D^\bullet$4, $D^\bullet$5, $D^\bullet$6.

A domain $D^\bullet$7 is a transfer Krull domain if there exists a (weak) transfer homomorphism from $D^\bullet$8 to a Krull monoid $D^\bullet$9, typically a block monoid of zero-sum sequences $D$0 for some $D$1 subset of an abelian group $D$2 (Geroldinger et al., 2021, Geroldinger et al., 2018, Bashir et al., 2021).

This property, by construction, generalizes the classical setting: every Krull domain is transfer Krull, but transfer Krull domains form a strictly larger class, encompassing various non-Krull and non-normal rings, non-maximal orders, and domains with restricted divisor theory.

2. Block Monoids and Zero-Sum Sequences

Given an additive abelian group $D$3 and a subset $D$4, the free abelian monoid $D$5 consists of unordered finite sequences (words) on $D$6. The sum-homomorphism is

$D$7

The block monoid or zero-sum sequence monoid over $D$8 is: $D$9 $D^\bullet = D \setminus \{0\}$0 is a commutative Krull monoid; the study of its arithmetical invariants (sets of lengths, catenary degrees, elasticity, delta sets, Davenport constant, etc.) is foundational in transfer Krull theory. The class group and distribution of prime divisors in the original domain correlate with the zero-sum structure of $D^\bullet = D \setminus \{0\}$1 (Geroldinger et al., 2021, Geroldinger et al., 2018).

3. Structural Characterizations and Root Closure Criteria

Characterizations of when $D^\bullet = D \setminus \{0\}$2 is transfer Krull often proceed through the root closure $D^\bullet = D \setminus \{0\}$3 for some $D^\bullet = D \setminus \{0\}$4, which is the minimal candidate for a Krull overmonoid through which all transfer homomorphisms factor. Three fundamental cases have explicit criteria:

• $D^\bullet = D \setminus \{0\}$5 is a discrete valuation monoid (DVM):

$D^\bullet = D \setminus \{0\}$6 is transfer Krull if and only if $D^\bullet = D \setminus \{0\}$7 is inert (every $D^\bullet = D \setminus \{0\}$8 with $D^\bullet = D \setminus \{0\}$9 can be "corrected" by units to both factors in $H$0).

• $H$1 is factorial:

$H$2 is transfer Krull if and only if $H$3 (the atoms of $H$4 are the images of atoms of $H$5 up to units).

• $H$6 is half-factorial:

$H$7 is transfer Krull if and only if $H$8 (Bashir et al., 2021).

No analogous atom-matching or inertness criterion characterizes transfer Krullness in the general case where $H$9 is Krull but not DVM, factorial, or half-factorial; counterexamples exist among reduced affine monoids (Bashir et al., 2021).

4. Explicit Constructions in Orders, Subrings, and Non-Krull Examples

Transfer Krull domains arise naturally in prominent settings:

• Orders in Dedekind domains ($B$0) with torsion class group:

Characterizations rely on the bijectivity of the Spec map and local valuation behavior of atoms. For $B$1, $B$2 is transfer Krull iff $B$3 and all $B$4 for atoms $B$5 and $B$6. For $B$7, specific multiplicity constraints apply and an exceptional non-transfer Krull, half-factorial case arises (Rago, 2024).

• Subrings of Krull rings:

For $B$8 with $B$9 Krull and the conductor $\theta: H \to B$0 being a maximal $\theta: H \to B$1-ideal of $\theta: H \to B$2, $\theta: H \to B$3 is transfer Krull and inherits all arithmetical invariants of $\theta: H \to B$4 via transfer homomorphism (Bashir et al., 13 Feb 2025).

• Non-normal domains and rings with zero-divisors:

Heritage extends to regular congruence monoids in Dedekind domains, module-theoretic monoids, and certain Bass orders (Geroldinger et al., 2018).

Notably, transfer Krull domains can be atomic but not completely integrally closed, and are not necessarily Krull; for instance, non-maximal orders in quadratic fields that are not integrally closed yet exhibit full transfer Krull structure (Rago, 2024, Bashir et al., 13 Feb 2025).

5. Arithmetic Consequences and Invariant Transfer

The existence of a transfer homomorphism $\theta: H \to B$5 for appropriate $\theta: H \to B$6 ensures:

• The system of sets of lengths is preserved: $\theta: H \to B$7 for all $\theta: H \to B$8.
• All classical factorization-theoretic invariants are inherited:
  • Elasticity: $\theta: H \to B$9; transfer Krull monoids are fully elastic—every rational in $B = \theta(H) B^\times$0 is realized (Geroldinger et al., 2018).
  • Catenary and tame degrees: $B = \theta(H) B^\times$1, $B = \theta(H) B^\times$2; under suitable class group hypotheses, sets of catenary and tame degrees are intervals or realize prescribed finite subsets.
  • Delta sets and Davenport constants: inherit structure from the target block monoid, with the delta-set $B = \theta(H) B^\times$3 and the Davenport constant $B = \theta(H) B^\times$4 reflecting group-theoretic properties (Geroldinger et al., 2018, Geroldinger et al., 2021).
  • Structure of sets of lengths: arithmetical progressions with prescribed difference and bound, determined by the class group (Bashir et al., 13 Feb 2025).
• Realization results: For finitely generated abelian groups $B = \theta(H) B^\times$5 with suitable prime divisor distribution, any finite set of invariants (catenary degrees, delta sets, tame degrees) can occur as arithmetic invariants in a transfer Krull domain (Geroldinger et al., 2018).

A summary table of arithmetic invariants and their transfer is given below:

Invariant	Transfer-preserving property	Governing object
Sets of lengths	$B = \theta(H) B^\times$6	Block monoid over $B = \theta(H) B^\times$7
Elasticity	$B = \theta(H) B^\times$8	Block monoid over $B = \theta(H) B^\times$9
Catenary/Tame degrees	$\theta^{-1}(B^\times) = H^\times$0	Block monoid over $\theta^{-1}(B^\times) = H^\times$1
Delta-set	$\theta^{-1}(B^\times) = H^\times$2	Block monoid over $\theta^{-1}(B^\times) = H^\times$3
Davenport constant	$\theta^{-1}(B^\times) = H^\times$4	Abelian group structure

All invariants are computed combinatorially in $\theta^{-1}(B^\times) = H^\times$5, reducing questions about nonuniqueness of factorization in non-normal or singular rings to zero-sum problems in finite abelian groups (Geroldinger et al., 2021, Geroldinger et al., 2018, Bashir et al., 13 Feb 2025).

6. Examples and Broader Impact

• Krull domains: Classical Dedekind domains, finitely generated normal domains, and Krull subrings are transfer Krull by definition.
• Cluster algebras: Some are Krull and thus transfer Krull.
• Module-theoretic settings: Monoids of isomorphism classes of modules with semilocal endomorphism rings or in maximal orders are transfer Krull (Geroldinger et al., 2018).

Transfer Krull domains facilitate a unified approach to factorization invariants across wide algebraic contexts. Their structure-theoretic results rely on explicit map constructions and valuation-theoretic characterizations. The reduction of arithmetic to block monoids enables the realization of diverse factorization regimes and a systematic understanding of nonuniqueness phenomena (Geroldinger et al., 2021, Geroldinger et al., 2018, Bashir et al., 13 Feb 2025, Rago, 2024, Bashir et al., 2021).