English

Constructing Noncatenary Quasi-Excellent Precompletions

Commutative Algebra 2024-07-08 v1

Abstract

Let TT be a local (Noetherian) ring and let Q1Q_1 and Q2Q_2 be prime ideals of TT. We find sufficient conditions for there to exist a quasi-excellent local subring BB of TT satisfying the following conditions: (1) the completion of BB at its maximal ideal is isomorphic to the completion of TT at its maximal ideal, (2) BQ1=BQ2B \cap Q_1 = B \cap Q_2, (3) the set of prime ideals of T/(Q1Q2)T/(Q_1 \cap Q_2) of positive height is the same as the set of prime ideals of B/(BQ1)B/(B \cap Q_1) of positive height when viewed as partially ordered sets, and (4) for i=1i = 1 and for i=2i = 2, there is a coheight preserving bijection between the minimal prime ideals of TQiT_{Q_i} and the minimal prime ideals of BBQ1B_{B \cap Q_1}. Intuitively, this means that TT contains a quasi-excellent local subring in which Q1Q_1 and Q2Q_2 are "glued together" and such that both the completion and desirable properties of the prime spectrum are preserved. We use this result to show that certain complete local rings are the completion of a quasi-excellent local ring whose prime spectrum, when viewed as a partially ordered set, contains interesting noncatenary finite subsets.

Keywords

Cite

@article{arxiv.2407.04497,
  title  = {Constructing Noncatenary Quasi-Excellent Precompletions},
  author = {Jackson Ehrenworth and S. Loepp},
  journal= {arXiv preprint arXiv:2407.04497},
  year   = {2024}
}

Comments

16 pages, 3 figures. Comments welcome

R2 v1 2026-06-28T17:30:15.175Z