--- abstract: | In this paper, various Homological Conjectures are studied for local rings which are locally finitely generated over a <span>discrete valuation ring</span> $V$ of mixed <span>characteristic</span>. Typically, we can only conclude that a particular Conjecture holds for such a ring provided the residual <span>characteristic</span> of $V$ is sufficiently large in terms of the complexity of the data, where the complexity is primarily given in terms of the degrees of the polynomials over $V$ that define the data, but possibly also by some additional invariants such as (homological) multiplicity. Thus asymptotic versions of the Improved New Intersection Theorem, the Monomial Conjecture, the Direct Summand Conjecture, the Hochster-Roberts Theorem and the Vanishing of Maps of Tors Conjecture are given. That the results only hold asymptotically, is due to the fact that non-standard arguments are used, relying on the Ax-Kochen-Ershov Principle, to infer their validity from their positive <span>characteristic</span> counterparts. A key role in this transfer is played by the Hochster-Huneke canonical construction of big <span>Cohen-Macaulay</span> algebras in positive <span>characteristic</span> via absolute integral closures. address: | Department of Mathematics\ 100 Math Tower\ Ohio State University\ Columbus, OH 43210 (USA) author: - Hans Schoutens date: '30.03.2003' title: Asymptotic Homological Conjectures in mixed characteristic --- Introduction ============ In the last three decades, all the so-called Homological Conjectures have been settled completely for Noetherian local rings containing a field by work of <span>Szpiro-Peskine, Hochster-Roberts, Hochster, Evans-Griffith</span>, et. al. (some of the main papers are @EG [@HoHT; @HoDS; @HR; @PS72]). More recently, <span>Hochster-Huneke</span> have given more simplified proofs of most of these results by means of their tight closure theory, including their canonical construction of big <span>Cohen-Macaulay</span> algebras in positive <span>characteristic</span> (see @HHbigCM [@HH; @HHZero; @HuTC]; for further discussion and proofs, see @BH [§9] or @Str90). In sharp contrast is the development in mixed <span>characteristic</span>, where only sporadic results (often in low dimensions) are known, apart from a single break-through @Rob87 by <span>Roberts</span>, settling the New Intersection Theorem for all Noetherian local rings. Some attempts have been made by <span>Hochster</span>, either by finding a suitable substitute for tight closure in mixed <span>characteristic</span> @HoSol, or by finding big <span>Cohen-Macaulay</span> modules in mixed <span>characteristic</span> @HoWitt. These approaches have yet to bear fruit and the best result to date in this direction is the existence of big <span>Cohen-Macaulay</span> algebras in dimension three @HoBCM3, which in turn relies on the positive solution of the Direct Summand Conjecture in dimension three by Heitmann @HeitDS. In this paper, we will follow the big <span>Cohen-Macaulay</span> algebra approach, but instead of trying to work with rings of Witt vectors, we will use the Ax-Kochen-Ershov Principle @AK [@Ers65; @Ers66], linking complete <span>discrete valuation ring</span><span>s</span> in mixed <span>characteristic</span> with complete <span>discrete valuation ring</span><span>s</span> in positive <span>characteristic</span> via an equi<span>characteristic</span> zero (non-discrete) valuation ring (see Theorem \[T:AKE\] below). This intermediate valuation ring is obtained by a construction which originates from logic, but is quite algebraic in nature, to wit, the *ultraproduct* construction. Roughly speaking, this construction associates to an infinite collection of rings ${C\mathstrut_{w}}$ their ultraproduct ${{C\mathstrut_{\infty}}}$, which should be thought of as a kind of "limit" or "average" (realized as a certain homomorphic image of the product). An ultraproduct inherits many of the algebraic properties of its components. The correct formulation of this transfer principle is <span>Łos' Theorem</span>, which makes precise when a property carries over (namely, when it is first order definable in some suitable language). Properties that carry over are those of being *a domain, a field, a valuation ring, local, Henselian*; among the properties that do not carry over is *Noetherianity*, so that almost no ultraproduct is Noetherian (except an ultraproduct of fields or of Artinian rings of bounded length). This powerful tool is used in @Schm87 [@SvdD; @SchBC; @SchBArt], to obtain uniform bounds in polynomial rings over fields; in @SchBC [@SchBounds; @SchSymPow; @SchBS], to transfer properties from positive to zero <span>characteristic</span>; and in @SchBCM [@SchHR; @SchNSTC], to give an alternative treatment of tight closure theory in equi<span>characteristic</span> zero. The key fact in the first set of papers is a certain flatness result about ultraproducts (see Theorem \[T:SvdD\] below for a precise formulation), and in the two last sets, the so-called *Lefschetz Principle for <span>algebraically closed field</span><span>s</span>* (the ultraproduct of the algebraic closures of the $p$-element fields $\mathbb F_p$ is isomorphic to $\mathbb C$). The Ax-Kochen-Ershov Principle is a kind of *Lefschetz Principle for Henselian valued fields*, and its most concrete form states that the ultraproduct of all ${\mathbb F_p[[t]]}$, with $t$ a single variable, is isomorphic to the ultraproduct of all rings of $p$-adic integers ${\mathbb Z}_p$. We will identify both ultraproducts and denote the resulting ring by ${\mathfrak O}$. It follows that ${\mathfrak O}$ is an equi<span>characteristic</span> zero Henselian valuation ring with principal maximal ideal, whose separated quotient (=the reduction modulo the intersection of all powers of the maximal ideal) is an equi<span>characteristic</span> zero excellent complete <span>discrete valuation ring</span>. To explain the underlying idea in this paper, for a (not necessarily Noetherian) local ring $(Z,{\mathfrak p})$, let us denote by ${\underline{\textsf{Aff}}(Z)}$ the category of *local $Z$-affine algebras*, that is to say, $Z$-algebras of the form $({Z[X]}/I)_{\mathfrak m}$, with $X$ a finite tuple of variables, $I$ a finitely generated ideal and ${\mathfrak m}$ a prime ideal containing ${\mathfrak p}$ and $I$. The objective is to transfer algebraic properties (such as the homological Conjectures) from the positive <span>characteristic</span> categories ${\underline{\textsf{Aff}}({\mathbb F_p[[t]]})}$ to the mixed <span>characteristic</span> categories ${\underline{\textsf{Aff}}({\mathbb Z}_p)}$. This will be achieved through the intermediate equi<span>characteristic</span> zero category ${\underline{\textsf{Aff}}({\mathfrak O})}$. As this latter category consists mainly of non-Noetherian rings, we will have to find analogues in this setting of many familiar notions from commutative algebra, such as dimension, depth, <span>Cohen-Macaulay</span><span>ness</span> or regularity (see §§\[s:qdim\] and \[s:qsing\]). The following example is paradigmatic: let $X$ be a finite tuple of variables and let ${{A\mathstrut^{\text{eq}}_{\infty}}}$ be the ultraproduct of all ${{\mathbb F_p[[t]]}[X]}$, and ${{A\mathstrut^{\text{mix}}_{\infty}}}$, the ultraproduct of all ${{\mathbb Z}_p[X]}$. Note that both rings contain ${\mathfrak O}$, and in fact, contain ${{\mathfrak O}[X]}$. The key algebraic fact, which follows from a result on effective bounds by <span>Aschenbrenner</span>, is that both inclusions are flat. Suppose we have in each ${{\mathbb F_p[[t]]}[X]}$ a polynomial ${f\mathstrut_{p}}$, and let ${{f\mathstrut_{\infty}}}$ be their ultraproduct. A priori, we can only say that ${{f\mathstrut_{\infty}}}\in{{A\mathstrut^{\text{eq}}_{\infty}}}$. However, if all ${f\mathstrut_{p}}$ have degree $d$, for some $d$ independent from $p$, then ${{f\mathstrut_{\infty}}}$ itself is a polynomial over ${\mathfrak O}$ of degree $d$ (since an ultraproduct commutes with finite sums by <span>Łos' Theorem</span>). Hence, as ${{f\mathstrut_{\infty}}}$ lies in ${{\mathfrak O}[X]}$, we can also view it as an element in ${{A\mathstrut^{\text{mix}}_{\infty}}}$. Therefore, there are polynomials ${\tilde f\mathstrut_{p}}\in{{\mathbb Z}_p[X]}$ whose ultraproduct is equal to ${{f\mathstrut_{\infty}}}$. The choice of the ${\tilde f\mathstrut_{p}}$ is not unique, but any two choices will be equal for almost $p$, by <span>Łos' Theorem</span>. In conclusion, to a collection of polynomials defined over the various ${\mathbb F_p[[t]]}$, of uniformly bounded degree, we can associate, albeit not uniquely, a collection of polynomials defined over the various ${\mathbb Z}_p$ (of uniformly bounded degree), and of course, this also works the other way. Instead of doing this for just one polynomial in each component, we can now do this for a finite tuple of polynomials of fixed length. If at the same time, we can maintain certain algebraic relations among them (characterizing one of the properties we seek to transfer), we will have achieved our goal. Unfortunately, it is the nature of an ultraproduct that it only captures the "average" property of its components. In the present context, this means that the desired property does not necessarily hold in all ${{\mathbb Z}_p[X]}$, but only in almost all. In conclusion, we cannot hope for a full solution of the Homological Conjectures by this method, but only an *asymptotic* solution. In view of the above, the following definition is natural. ### Complexity. {#complexity. .unnumbered} Let $Z\to C$ be a local <span>homomorphism</span> between Noetherian local rings. We say that $C$ has *$Z$-complexity* at most $c$, if we can write $C$ as $({Z[X]}/I)_{\mathfrak m}$ (so that $C$ is a member of ${\underline{\textsf{Aff}}(Z)}$), with $X$ a tuple of at most $c$ variables and ${\mathfrak m}$ a prime ideal containing $I$ and the maximal ideal of $Z$, such that $I$ and ${\mathfrak m}$ are generated by polynomials of degree at most $c$. An element $r\in C$ is said to have *$Z$-complexity* at most $c$, if $C$ has $Z$-complexity at most $c$ and if there exist polynomials $P,Q\in{Z[X]}$ of degree at most $c$ with $Q\notin {\mathfrak m}$, such that $r=P/Q$ in $C$. Sometimes we might say that a tuple or a matrix has $Z$-complexity at most $c$, to indicate that each entry has $Z$-complexity at most $c$ and the dimensions are also bounded by $c$. An ideal $J$ of $C$ has *$Z$-complexity* at most $c$, if $C$ has $Z$-complexity at most $c$ and $J$ is generated by elements of $Z$-complexity at most $c$. A <span>homomorphism</span> $C\to D$ is said to have *$Z$-complexity* at most $c$, if both $C$ and $D$ have $Z$-complexity at most $c$ and the <span>homomorphism</span> is given by sending $X_i$ to an element in $S$ of $Z$-complexity at most $c$ (where $C=({Z[X]}/I)_{\mathfrak m}$). ### Asymptotic Properties. {#asymptotic-properties. .unnumbered} Let $\mathcal P$ be a property of Noetherian local rings (possibly involving some additional data). We will use the phrase *$\mathcal P$ holds asymptotically in mixed <span>characteristic</span>*, to express that for each $c$, we can find a bound $c'$, such that if $V$ is a complete <span>discrete valuation ring</span> of mixed <span>characteristic</span> and $C$ a $V$-algebra of $V$-complexity at most $c$ (and a similar bound on the data), then property $\mathcal P$ holds for $C$, provided the <span>characteristic</span> of the residue field of $V$ is at least $c'$. Sometimes, we have to control some additional invariants in terms of the bound $c$. In this paper, we will prove that in this sense, many Homological Conjectures hold asymptotically in mixed <span>characteristic</span>. ### A Final Note. {#a-final-note. .unnumbered} Its asymptotic nature is the main impediment of the present method to carry out <span>Hochster</span>'s program of obtaining tight closure and big <span>Cohen-Macaulay</span> algebras in mixed <span>characteristic</span>. For instance, despite the fact that we are able to define an analogue of a balanced big <span>Cohen-Macaulay</span> for ${\mathfrak O}$-affine domains, this object cannot be realized as an ultraproduct of ${\mathbb Z}_p$-algebras, so that there is no candidate so far for a big <span>Cohen-Macaulay</span> in mixed <span>characteristic</span>. Although I will not pursue this line of thought in this paper, one could also define some non-standard closure operation on ideals in ${\mathfrak O}$-affine algebras, but again, such an operation will only partially descend to any component. ### Notation. {#notation. .unnumbered} A *tuple* $\mathbf x$ over a ring $Z$ is always understood to be finite. Its length is denoted by ${\left|\mathbf x\right|}$ and the ideal it generates is denoted $\mathbf xZ$. When we say that $(Z,{\mathfrak p})$ is *local*, we mean that ${\mathfrak p}$ is its maximal ideal, but we do not imply that $Z$ has to be Noetherian. For a survey of the results and methods in this paper, see also @SchMixBCMCR. Ultraproducts ============= In this preliminary section, I state some generalities about ultraproducts and then briefly review the situation in equi<span>characteristic</span> zero and the Ax-Kochen-Ershov Principle. The next section lays out the essential tools for conducting the transfer discussed in the introduction, to wit, <span>approximation</span><span>s</span>, <span>restricted ultraproduct</span><span>s</span> and non-standard hulls, whose properties are then studied in §§\[s:qdim\] and \[s:qsing\]. The subsequent sections contain proofs of various asymptotic results, using these tools. Whenever we have an infinite index set $W$, we will equip it with some (unnamed) non-principal ultrafilter; ultraproducts will always be taken with respect to this ultrafilter and we will write ${\operatorname*{ulim}_{w\to\infty}} {O\mathstrut_{w}}$ or simply ${{O\mathstrut_{\infty}}}$ for the ultraproduct of objects ${O\mathstrut_{w}}$ (this will apply to rings, ideals and elements alike). A first introduction to ultraproducts, including <span>Łos' Theorem</span>, sufficient to understand the present paper, can be found in @SchNSTC [§2]; for a more detailed treatment, see @Hod. <span>Łos' Theorem</span> states essentially that if a fixed algebraic relation holds among finitely many elements ${f_1\mathstrut_{w}},\dots,{f_s\mathstrut_{w}}$ in each ring ${C\mathstrut_{w}}$, then the same relation holds among their ultraproducts ${{f_1\mathstrut_{\infty}}},\dots,{{f_s\mathstrut_{\infty}}}$ in the ultraproduct ${{C\mathstrut_{\infty}}}$, and conversely, if such a relation holds in ${{C\mathstrut_{\infty}}}$, then it holds in almost all ${C\mathstrut_{w}}$. Here *almost all* means "for all $w$ in a subset of the index set which belongs to the ultrafilter" (the idea is that sets belonging to the ultrafilter are *large*, whereas the remaining sets are *small*). An immediate, but important application of <span>Łos' Theorem</span> is that the ultraproduct of <span>algebraically closed field</span><span>s</span> of different prime <span>characteristic</span><span>s</span> is an (uncountable) <span>algebraically closed field</span> of <span>characteristic</span> zero, and each uncountable <span>algebraically closed field</span> of <span>characteristic</span> zero, including $\mathbb C$, can be realized thus. This simple observation, in combination with work of <span>van den Dries</span> on non-standard polynomials (see below), was exploited in @SchNSTC to define an alternative version of tight closure for $\mathbb C$-affine algebras, called *non-standard tight closure*. The ensuing notions of F-regularity and F-rationality have been proven to be more versatile @SchBCM [@SchRatSing], than those defined by <span>Hochster-Huneke</span> in @HHZero. Let me briefly recall the results in @SvdD [@vdD79] on non-standard polynomials mentioned above. Let ${K\mathstrut_{w}}$ be fields (of arbitrary <span>characteristic</span>) with ultraproduct ${{K\mathstrut_{\infty}}}$ (which is again a field by <span>Łos' Theorem</span>). Let $X$ be a fixed finite tuple of variables and set $A:={{{K\mathstrut_{\infty}}}[X]}$ and ${A\mathstrut_{w}}:={{K\mathstrut_{w}}[X]}$. Let ${{A\mathstrut_{\infty}}}$ be the ultraproduct of the ${A\mathstrut_{w}}$. As in the example discussed in the introduction, we have a canonical embedding of $A$ inside ${{A\mathstrut_{\infty}}}$. In fact, the following easy observation, valid over arbitrary rings, describes completely the elements in ${{A\mathstrut_{\infty}}}$ that lie in $A$ (the proof is straightforward and left to the reader). \[L:deg\] Let $X$ be a finite tuple of variables. Let ${C\mathstrut_{w}}$ be rings and let ${{C\mathstrut_{\infty}}}$ be their ultraproduct. If ${f\mathstrut_{w}}$ is a polynomial in ${{C\mathstrut_{w}}[X]}$ of degree at most $c$, for each $w$ and for some $c$ independent from $w$, then their ultraproduct in ${\operatorname*{ulim}_{w\to\infty}}{{C\mathstrut_{w}}[X]}$ belongs already to the subring ${{{C\mathstrut_{\infty}}}[X]}$, and conversely, every element in ${{{C\mathstrut_{\infty}}}[X]}$ is obtained in this way. This result also motivates the notion of *complexity* from the introduction. Returning to the <span>Schmidt-van den Dries</span> results, the following two properties of the embedding $A\subset {{A\mathstrut_{\infty}}}$ do not only imply the uniform bounds from @SvdD [@SchBC], but play also an important theoretical role in the development of non-standard tight closure @SchNSTC. \[<span>Schmidt-van den Dries</span>\]\[T:SvdD\] The embedding $A\subset {{A\mathstrut_{\infty}}}$ is faithfully flat and every prime ideal in $A$ extends to a prime ideal in ${{A\mathstrut_{\infty}}}$. To carry out the present program, we have to replace the base fields ${K\mathstrut_{w}}$ by complete <span>discrete valuation ring</span><span>s</span> ${{\mathfrak O}\mathstrut_{w}}$. Unfortunately, we now have to face the following complications. Firstly, the ultraproduct ${{{\mathfrak O}\mathstrut_{\infty}}} $ of the ${{\mathfrak O}\mathstrut_{w}}$ is no longer Noetherian, and so in particular the corresponding $A:={{{{\mathfrak O}\mathstrut_{\infty}}}[X]}$ is non-Noetherian. Moreover, the embedding $A\subset {{A\mathstrut_{\infty}}}$, where ${{A\mathstrut_{\infty}}}$ is now the ultraproduct of the ${A\mathstrut_{w}}:={{{\mathfrak O}\mathstrut_{w}}[X]}$, although flat (see Theorem \[T:ff\] below), is no longer faithfully flat (this is related to Dedekind's problem; see @Asch or @SchUBS for details). Moreover, not every prime ideal extends to a prime ideal, and in order to preserve this, we will have to work locally (see Remark \[R:extprim\]). To address the first of these problems, we will realize ${{{\mathfrak O}\mathstrut_{\infty}}}$ in two different ways, as an ultraproduct of complete <span>discrete valuation ring</span><span>s</span> in positive <span>characteristic</span> and as an ultraproduct of complete <span>discrete valuation ring</span><span>s</span> in mixed <span>characteristic</span>, and then pass from one set to the other via ${{{\mathfrak O}\mathstrut_{\infty}}}$, as explained in the introduction. This is the celebrated Ax-Kochen-Ershov Principle @AK [@Ers65; @Ers66], and I will discuss this now. For each $w$, let ${{\mathfrak O}\mathstrut^{\text{mix}}_{p}}$ be a complete <span>discrete valuation ring</span> of mixed <span>characteristic</span> with residue field ${\kappa\mathstrut_{p}}$ of <span>characteristic</span> $p$. To each ${{\mathfrak O}\mathstrut^{\text{mix}}_{p}}$, we associate a corresponding equi<span>characteristic</span> complete <span>discrete valuation ring</span> with the same residue field, by letting $$\label{eq:eqDVR} {{\mathfrak O}\mathstrut^{\text{eq}}_{p}}:= {{\kappa\mathstrut_{p}}[[t]]}$$ where $t$ is a single variable. \[<span>Ax-Kochen-Ershov</span>\]\[T:AKE\] The ultraproduct of the ${{\mathfrak O}\mathstrut^{\text{eq}}_{p}}$ is isomorphic (as a local ring) with the ultraproduct of the ${{\mathfrak O}\mathstrut^{\text{mix}}_{p}}$. As stated, we need to assume the continuum hypothesis. Otherwise, by the Keisler-Shelah Theorem @Hod [Theorem 9.5.7], one might need to take further ultrapowers, that is to say, take a larger index set endowed with a (non-$\omega$-complete) non-principal ultrafilter. In order to not complicate the exposition, I will nonetheless make the set-theoretic assumption, so that our index set can always be taken to be the set of prime numbers. To conclude this section, I state a variant of Prime Avoidance which will be used in the form discussed in the remark following it. \[Controlled Ideal Avoidance\] Let $Z$ be a local ring with infinite residue field $\kappa$ and let $C$ be an arbitrary $Z$-algebra. Let $I:={(f_1,\dots,f_{n})}C$ be a finitely generated ideal in $C$ and let ${\mathfrak a}_1,\dots,{\mathfrak a}_t$ be arbitrary ideals in $C$ not containing $I$. If $W$ denotes the $Z$-submodule of $C$ generated by the $f_i$, then we can find $f\in W$ not contained in any of the ${\mathfrak a}_j$. We induct on the number $t$ of ideals to be avoided. If $t=1$, then some $f_i\notin{\mathfrak a}_1$, since $I\not\subset{\mathfrak a}_1$. Hence assume $t>1$. By induction, we can find elements $g_i\in W$, for $i=1,2$, which lie outside any ${\mathfrak a}_j$ for $j\neq i$. If either $g_1\notin{\mathfrak a}_1$ or $g_2\notin{\mathfrak a}_2$ we are done, so assume $g_i\in{\mathfrak a}_i$. Therefore, every element of the form $g_1+zg_2$ with $z$ a unit in $Z$ does not lie in ${\mathfrak a}_1$ nor in ${\mathfrak a}_2$. Since $\kappa$ is infinite, we can find $t-1$ units $z_1,z_2,\dots,z_{t-1}$ in $Z$ whose residues in $\kappa$ are all distinct. I claim that at least one of the $g_1+z_ig_2$ lies outside all ${\mathfrak a}_j$, so that we found our desired element in $W$. Indeed, if not, then each $g_1+z_ig_2$ lies in one of the $t-2$ ideals ${\mathfrak a}_3,\dots,{\mathfrak a}_t$, by our previous remark. By the Pigeon Hole Principle, for some $j$ and some $l\neq k$, we have that $g_1+z_kg_2$ and $g_1+z_lg_2$ lie both in ${\mathfrak a}_j$. Hence so does their difference $(z_k-z_l)g_2$. However, $z_k-z_l$ is a unit in $Z$, by choice of the $z_i$, so that $g_2\in{\mathfrak a}_j$, contradiction. \[R:pa\] In particular, if $Z$ is Noetherian and both $C$ and $I$ have $Z$-complexity at most $c$, then we can find an element $f\in I$ of $Z$-complexity at most $c$, outside any finite set of ideals not containing $I$. Indeed, every element in the module $W$ has $Z$-complexity at most $c$. <span>Approximation</span><span>s</span>, <span>Restricted Ultraproduct</span><span>s</span> and Non-standard hulls =================================================================================================================== In this section, some general results on ultraproducts of finitely generated algebras over <span>discrete valuation ring</span><span>s</span> will be derived. We start with introducing some general terminology, over arbitrary Noetherian local rings, but once we start proving some non-trivial properties in the next sections, we will specialize to the case that the base rings are <span>discrete valuation ring</span><span>s</span>. For some results in the general case, we refer to @SchBArt [@SchUBS]. For each $w$, we fix a Noetherian local ring ${{\mathfrak O}\mathstrut_{w}}$ and let ${\mathfrak O}$ be its ultraproduct. If the ${{\mathfrak p}\mathstrut_{w}}$ are the maximal ideals of the ${{\mathfrak O}\mathstrut_{w}}$, then their ultraproduct ${\mathfrak p}$ is the maximal ideal of ${\mathfrak O}$. We will write $\varpi$ for the ideal of *infinitesimals* of ${\mathfrak O}$, that is to say, the intersection of all the powers ${\mathfrak p}^k$ (note that in general $\varpi\neq (0)$ and therefore, ${\mathfrak O}$ is in particular non-Noetherian). By saturatedness of ultraproducts, ${\mathfrak O}$ is quasi-complete in its ${\mathfrak p}$-adic topology in the sense that any Cauchy sequence has a (non-unique) limit. Hence the completion of ${\mathfrak O}$ is ${\mathfrak O}/\varpi$ (see also Lemma \[L:comp\] below). Moreover, we will assume that all ${{\mathfrak O}\mathstrut_{w}}$ have embedding dimension at most $\epsilon$. Hence so do ${\mathfrak O}$ and ${\mathfrak O}/\varpi$. Since a complete local ring with finitely generated maximal ideal is Noetherian (@Mats [Theorem 29.4]), we showed that ${\mathfrak O}/\varpi$ is a Noetherian complete local ring. For more details in the case of interest to us, where each ${{\mathfrak O}\mathstrut_{w}}$ is a <span>discrete valuation ring</span> or a field, see @BDDL. We furthermore fix throughout a tuple of variables $X={(X_1,\dots,X_{n})}$ and, we let $A:={{\mathfrak O}[X]}$ and ${A\mathstrut_{w}}:={{{\mathfrak O}\mathstrut_{w}}[X]}$. The *non-standard hull* of $A$ is by definition the ultraproduct of the ${A\mathstrut_{w}}$ and is denoted ${{A\mathstrut_{\infty}}}$. By <span>Łos' Theorem</span>, we have an inclusion ${\mathfrak O}\subset {{A\mathstrut_{\infty}}}$. Let us continue to write $X_i$ for the ultraproduct in ${{A\mathstrut_{\infty}}}$ of the constant sequence $X_i\in{A\mathstrut_{w}}$. By <span>Łos' Theorem</span>, the $X_i$ are algebraically independent over ${\mathfrak O}$. In other words, $A$ is a subring of ${{A\mathstrut_{\infty}}}$. In the next section, we will prove the key algebraic property of the extension $A\subset {{A\mathstrut_{\infty}}}$ when the base rings ${{\mathfrak O}\mathstrut_{w}}$ are <span>discrete valuation ring</span><span>s</span>, to wit, its flatness. We start with extending the notions of non-standard hull and <span>approximation</span> from @SchNSTC, to arbitrary local ${\mathfrak O}$-affine algebras (recall that a *local ${\mathfrak O}$-affine algebra* is a localization of a finitely presented ${\mathfrak O}$-algebra at a prime ideal containing ${\mathfrak p}$). ### <span>Approximation</span><span>s</span> and non-standard hulls. {#approximations-and-non-standard-hulls. .unnumbered} An *<span>approximation</span>* of a polynomial $f\in A$ is a sequence of polynomials ${f\mathstrut_{w}}\in{A\mathstrut_{w}}$, such that their ultraproduct is equal to $f$, viewed as an element in ${{A\mathstrut_{\infty}}}$. Note that according to Lemma \[L:deg\], we can always find such an <span>approximation</span>. Moreover, any two <span>approximation</span><span>s</span> are equal for almost all $w$, by <span>Łos' Theorem</span>. Similarly, an *<span>approximation</span>* of a finitely generated ideal $I:=\mathbf fA$ with $\mathbf f$ a finite tuple, is a sequence of ideals ${I\mathstrut_{w}}:={\mathbf f\mathstrut_{w}}{A\mathstrut_{w}}$, where ${\mathbf f\mathstrut_{w}}$ is an <span>approximation</span> of $\mathbf f$ (meaning that each entry in ${\mathbf f\mathstrut_{w}}$ is an <span>approximation</span> of the corresponding entry in $\mathbf f$). <span>Łos' Theorem</span> gives once more that any two <span>approximation</span><span>s</span> are almost all equal. Moreover, if ${I\mathstrut_{w}}$ is some <span>approximation</span> of $I$ then $$\label{eq:ulid} {\operatorname*{ulim}_{w\to\infty}}{I\mathstrut_{w}}=I{{A\mathstrut_{\infty}}}.$$ Assume now that $C$ is a finitely presented ${\mathfrak O}$-algebra, say $C=A/I$ with $I$ a finitely generated ideal. We define an *<span>approximation</span>* of $C$ to be the sequence of finitely generated ${{\mathfrak O}\mathstrut_{w}}$-algebras ${C\mathstrut_{w}}:={A\mathstrut_{w}}/{I\mathstrut_{w}}$, where ${I\mathstrut_{w}}$ is some <span>approximation</span> of $I$. We define the *non-standard hull* of $C$ to be the ultraproduct of the ${C\mathstrut_{w}}$ and denote it ${{C\mathstrut_{\infty}}}$. It is not hard to show that ${{C\mathstrut_{\infty}}}$ is uniquely defined up to $C$-algebra isomorphism (for more details see @SchNSTC or @SchBArt). From , it follows that ${{C\mathstrut_{\infty}}}={{A\mathstrut_{\infty}}}/I{{A\mathstrut_{\infty}}}$. In particular, there is a canonical <span>homomorphism</span> $C\to {{C\mathstrut_{\infty}}}$ obtained from the base change $A\to {{A\mathstrut_{\infty}}}$. ### Some Caveats. {#some-caveats. .unnumbered} When $I$ is not finitely generated, $I{{A\mathstrut_{\infty}}}$ might not be realizable as an ultraproduct of ideals, and consequently, has no <span>approximation</span>. Although one can find special cases of infinitely generated ideals admitting <span>approximation</span><span>s</span>, we will never have to do this in the present paper. Similarly, we only define <span>approximation</span><span>s</span> for finitely presented algebras. Although $A\to {{A\mathstrut_{\infty}}}$ is injective, this is not necessarily the case for $C\to{{C\mathstrut_{\infty}}}$, if the ${{\mathfrak O}\mathstrut_{w}}$ are not fields. For instance, if $W$ is the set of prime numbers, ${{\mathfrak O}\mathstrut_{p}}:={\mathbb Z}_p$ for each $p\in W$ and $I=(1-\pi X,\gamma)A$ where $\pi={\operatorname*{ulim}_{p\to\infty}}p$ and $\gamma={\operatorname*{ulim}_{p\to\infty}}p^p$, then $I\neq (1)$ but $I{{A\mathstrut_{\infty}}}=(1)$. However, when the ${{\mathfrak O}\mathstrut_{w}}$ are <span>discrete valuation ring</span><span>s</span>, we will see shortly, that this phenomenon disappears if we localize at prime ideals containing ${\mathfrak p}$. Next we define a process which is converse to taking <span>approximation</span><span>s</span>. ### <span>Restricted Ultraproduct</span><span>s</span>. {#restricted-ultraproducts. .unnumbered} Fix some $c$. For each $w$, let ${I\mathstrut_{w}}$ be an ideal in ${A\mathstrut_{w}}$ of ${{\mathfrak O}\mathstrut_{w}}$-complexity at most $c$. In other words, we can write ${I\mathstrut_{w}}={\mathbf f\mathstrut_{w}}{A\mathstrut_{w}}$, for some tuple ${\mathbf f\mathstrut_{w}}$ of ${{\mathfrak O}\mathstrut_{w}}$-complexity at most $c$. Let $\mathbf f$ be the ultraproduct of these tuples. By Lemma \[L:deg\], the tuple $\mathbf f$ is already defined over $A$. We call $I:=\mathbf fA$ the *<span>restricted ultraproduct</span>* of the ${I\mathstrut_{w}}$. It follows that the ${I\mathstrut_{w}}$ are an <span>approximation</span> of $I$ and that $I{{A\mathstrut_{\infty}}}$ is the ultraproduct of the ${I\mathstrut_{w}}$. With ${C\mathstrut_{w}}:={A\mathstrut_{w}}/{I\mathstrut_{w}}$ and $C:=A/I$, we call $C$ the *<span>restricted ultraproduct</span>* of the ${C\mathstrut_{w}}$. The ${C\mathstrut_{w}}$ are an <span>approximation</span> of $C$ and their ultraproduct ${{C\mathstrut_{\infty}}}$ is the non-standard hull of $C$. We can now extend the previous definition to the image in ${C\mathstrut_{w}}$ of an element ${c\mathstrut_{w}}\in{A\mathstrut_{w}}$ (respectively, to the extension ${J\mathstrut_{w}}{C\mathstrut_{w}}$ of a finitely generated ideal ${J\mathstrut_{w}}\subset {A\mathstrut_{w}}$) of ${{\mathfrak O}\mathstrut_{w}}$-complexity at most $c$ and define similarly their *<span>restricted ultraproduct</span>* $c\in C$ and $JC$ as the image in $C$ of the respective <span>restricted ultraproduct</span> of the ${c\mathstrut_{w}}$ and the ${J\mathstrut_{w}}$. ### Functoriality. {#functoriality. .unnumbered} We have a commutative diagram CD <span>C</span> <span>D</span> where $C\to D$ is an ${\mathfrak O}$-algebra <span>homomorphism</span> of finite type between finitely presented ${\mathfrak O}$-algebras and ${{C\mathstrut_{\infty}}}\to {{D\mathstrut_{\infty}}}$ is its base change over the non-standard hulls ${{C\mathstrut_{\infty}}}:={{A\mathstrut_{\infty}}}{\otimes}C$ and ${{D\mathstrut_{\infty}}}:={{A\mathstrut_{\infty}}}{\otimes}D$, or alternatively, where $C\to D$ (respectively, ${{C\mathstrut_{\infty}}}\to{{D\mathstrut_{\infty}}}$) are the <span>restricted ultraproduct</span> (respectively, ultraproduct) of ${{\mathfrak O}\mathstrut_{w}}$-algebras <span>homomorphism</span><span>s</span> ${C\mathstrut_{w}}\to{D\mathstrut_{w}}$ of ${{\mathfrak O}\mathstrut_{w}}$-complexity at most $c$, for some $c$ independent from $w$. \[L:prime\] Any prime ideal ${\mathfrak m}$ of $A$ containing ${\mathfrak p}$ is finitely generated and its extension ${\mathfrak m}{{A\mathstrut_{\infty}}}$ is again prime. Since $A/{\mathfrak p}A={\kappa[X]}$ is Noetherian, where $\kappa$ is the residue field of ${\mathfrak O}$, the ideal ${\mathfrak m}(A/{\mathfrak p}A)$ is finitely generated. Therefore so is ${\mathfrak m}$, since by assumption ${\mathfrak p}$ is finitely generated. Moreover, ${{A\mathstrut_{\infty}}}/{\mathfrak p}{{A\mathstrut_{\infty}}}$ is the ultraproduct of the ${{\kappa\mathstrut_{w}}[X]}$, so that by Theorem \[T:SvdD\], the extension ${\mathfrak m}({{A\mathstrut_{\infty}}}/{\mathfrak p}{{A\mathstrut_{\infty}}})$ is prime, whence so is ${\mathfrak m}{{A\mathstrut_{\infty}}}$. In particular, if ${{\mathfrak m}\mathstrut_{w}}$ is an <span>approximation</span> of ${\mathfrak m}$, then almost all ${{\mathfrak m}\mathstrut_{w}}$ are prime ideals. Therefore, the following notions are well-defined (with the convention that we put $B_{\mathfrak n}$ equal to zero whenever $\mathfrak n$ is not a prime ideal of the ring $B$). Let $R$ be a local ${\mathfrak O}$-affine algebra, say, of the form $C_{\mathfrak m}$, with $C$ a finitely presented ${\mathfrak O}$-algebra and ${\mathfrak m}$ a prime ideal containing ${\mathfrak p}$. We call $({{C\mathstrut_{\infty}}})_{{\mathfrak m}{{C\mathstrut_{\infty}}}}$ the *non-standard hull* of $R$ and denote it ${{R\mathstrut_{\infty}}}$. Moreover, if ${C\mathstrut_{w}}$ and ${{\mathfrak m}\mathstrut_{w}}$ are <span>approximation</span><span>s</span> of $C$ and ${\mathfrak m}$ respectively, then the collection ${R\mathstrut_{w}}:=({C\mathstrut_{w}})_{{{\mathfrak m}\mathstrut_{w}}}$ is an *<span>approximation</span>* of $R$. One easily checks that the ultraproduct of the <span>approximation</span><span>s</span> ${R\mathstrut_{w}}$ is precisely the non-standard hull ${{R\mathstrut_{\infty}}}$. Flatness of Non-standard Hulls ============================== In this section, we specialize the notions from the previous result to the situation where each ${{\mathfrak O}\mathstrut_{w}}$ is a <span>discrete valuation ring</span>. We fix throughout the following notation. For each $w$, let ${{\mathfrak O}\mathstrut_{w}}$ be a <span>discrete valuation ring</span> with uniformizing parameter ${\pi\mathstrut_{w}}$ and with residue field ${\kappa\mathstrut_{w}}$. Let ${\mathfrak O}$, $\pi$ and $\kappa$ be their respective ultraproducts, so that $\pi {\mathfrak O}$ is the maximal ideal of ${\mathfrak O}$ and $\kappa$ its residue field. The intersection of all $\pi^m{\mathfrak O}$ is called the *ideal of infinitesimals* of ${\mathfrak O}$ and is denoted $\varpi$. Using @SchEC, one sees that ${\mathfrak O}/\pi^m{\mathfrak O}$ is an Artinian local Gorenstein $\kappa$-algebra of length $m$. Fix a finite tuple of variables $X$ and let ${{A\mathstrut_{\infty}}}$ be the ultraproduct of the ${A\mathstrut_{w}}:={{{\mathfrak O}\mathstrut_{w}}[X]}$. Set $A:={{\mathfrak O}[X]}$ and view it as a subring of ${{A\mathstrut_{\infty}}}$. \[P:max\] For $I$ an ideal in $A$, the residue ring $A/I$ is Noetherian <span>if, and only if,</span> $\varpi\subset I$. In particular, every maximal ideal of $A$ contains $\varpi$ and is of the form $\varpi A+J$ with $J$ a finitely generated ideal. Let $C:=A/I$ for some ideal $I$ of $A$. If $C$ is Noetherian, then the intersection of all $\pi^nC$ is zero by Krull's Intersection Theorem. Hence $\varpi\subset I$. Conversely, if $\varpi\subset I$, then since $A/\varpi A={({\mathfrak O}/\varpi)[X]}$ is Noetherian, so is $C$. The last assertion is now clear. In spite of Lemma \[L:prime\], there are even maximal ideals of $A$ (necessarily not containing $\pi$) which do not extend to a proper ideal in ${{A\mathstrut_{\infty}}}$. For instance with $X$ a single variable, the ideal $\varpi A+(1-\pi X)A$ is maximal (with residue field the field of fractions of ${\mathfrak O}/\varpi$), but $\varpi{{A\mathstrut_{\infty}}}+(1-\pi X){{A\mathstrut_{\infty}}} $ is the unit ideal. Indeed, let ${{f\mathstrut_{\infty}}}$ be the ultraproduct of the $${f\mathstrut_{w}}:=(1-({\pi\mathstrut_{w}} X)^w)/(1-{\pi\mathstrut_{w}} X).$$ Since $(1-{\pi\mathstrut_{w}} X){f\mathstrut_{w}}\equiv 1$ modulo $({\pi\mathstrut_{w}})^w{A\mathstrut_{w}}$, we get by <span>Łos' Theorem</span> that $(1-\pi X){{f\mathstrut_{\infty}}}\equiv 1$ modulo $\varpi{{A\mathstrut_{\infty}}}$. Therefore, we cannot hope for $A\to {{A\mathstrut_{\infty}}}$ to be faithfully flat. Nonetheless, using for instance a result of <span>Aschenbrenner</span> on bounds of syzygies, we do have this property for local affine algebras. This result will prove to be crucial in what follows. \[T:ff\] The canonical <span>homomorphism</span> $A\to {{A\mathstrut_{\infty}}}$ is flat. In particular, the canonical <span>homomorphism</span> of a local ${\mathfrak O}$-affine algebra to its non-standard hull is faithfully flat, whence in particular injective. The last assertion is clear from the first, since the <span>homomorphism</span> $R\to {{R\mathstrut_{\infty}}}$ is obtained as a base change of $A\to {{A\mathstrut_{\infty}}}$ followed by a suitable localization, for any local ${\mathfrak O}$-affine algebra $R$. I will provide two different proofs for the first assertion For the first proof, we use a result of <span>Aschenbrenner</span> @Asch in order to verify the equational criterion for flatness, that is to say, given a linear equation $L=0$, with $L$ a linear form over $A$, and given a solution ${{\mathbf f\mathstrut_{\infty}}}$ over ${{A\mathstrut_{\infty}}}$, we need to show that there exist solutions $\mathbf b_i$ in $A$ such that ${{\mathbf f\mathstrut_{\infty}}}$ is an ${{A\mathstrut_{\infty}}}$-linear combination of the $\mathbf b_i$. Choose ${L\mathstrut_{w}}$ and ${\mathbf f\mathstrut_{w}}$ with respective ultraproducts $L$ and ${{\mathbf f\mathstrut_{\infty}}}$. In particular, almost all ${L\mathstrut_{w}}$ have ${{\mathfrak O}\mathstrut_{w}}$-complexity at most $c$, for some $c$ independent from $w$. By <span>Łos' Theorem</span>, ${\mathbf f\mathstrut_{w}}$ is a solution of the linear equation ${L\mathstrut_{w}}=0$, for almost all $w$. Therefore, by @Asch [Corollary 4.27], there is a bound $c'$, only depending on $c$, such that ${\mathbf f\mathstrut_{w}}$ is an ${A\mathstrut_{w}}$-linear combination of solutions ${\mathbf b_1\mathstrut_{w}},\dots, {\mathbf b_s\mathstrut_{w}}$ of ${{\mathfrak O}\mathstrut_{w}}$-complexity at most $c$. Note that $s$ can be chosen independent from $w$ as well by @SchBArt [Lemma 1]. In particular, the ultraproduct $\mathbf b_i$ of the ${\mathbf b_i\mathstrut_{w}}$ lies in $A$ by Lemma \[L:deg\]. By <span>Łos' Theorem</span>, each $\mathbf b_i$ is a solution of $L=0$ in ${{A\mathstrut_{\infty}}}$, whence in $A$, and ${{\mathbf f\mathstrut_{\infty}}}$ is an ${{A\mathstrut_{\infty}}}$-linear combination of the $\mathbf b_i$, proving flatness. If we want to avoid the use of <span>Aschenbrenner</span>'s result, we can reason as follows. By Theorem \[T:SvdD\], both extensions $A/\pi A\to {{A\mathstrut_{\infty}}}/\pi {{A\mathstrut_{\infty}}}$ and $A{\otimes}Q\to {{A\mathstrut_{\infty}}}{\otimes}Q$ are faithfully flat, where $Q$ is the field of fractions of ${\mathfrak O}$. Let $M$ be an $A$-module. Since $\pi$ is $A$-regular, the standard spectral sequence $${\operatorname{Tor}^{A/\pi A}_{p}({{A\mathstrut_{\infty}}}/\pi{{A\mathstrut_{\infty}}},{\operatorname{Tor}^{A}_{q}(M,A/\pi A)})} \implies {\operatorname{Tor}^{A}_{p+q}({{A\mathstrut_{\infty}}}/\pi{{A\mathstrut_{\infty}}},M)}$$ degenerates into short exact sequences $$\begin{gathered} {\operatorname{Tor}^{A/\pi A}_{i-1}({{A\mathstrut_{\infty}}}/\pi {{A\mathstrut_{\infty}}},(0:_M\pi))} \to {\operatorname{Tor}^{A}_{i}({{A\mathstrut_{\infty}}}/\pi{{A\mathstrut_{\infty}}},M)} \to \\ {\operatorname{Tor}^{A/\pi A}_{i}({{A\mathstrut_{\infty}}}/\pi{{A\mathstrut_{\infty}}},M/\pi M)}, \end{gathered}$$ for all $i\geq 2$. In particular, the flatness of $A/\pi A\to {{A\mathstrut_{\infty}}}/\pi{{A\mathstrut_{\infty}}}$ implies the vanishing of ${\operatorname{Tor}^{A}_{2}({{A\mathstrut_{\infty}}}/\pi{{A\mathstrut_{\infty}}},M)}$. Applying this to the short exact sequence $${0\to{{{A\mathstrut_{\infty}}}}\:{{\newcommand{\tmpprop}{\piq} \if\tmpprop{q}\to\else \xrightarrow{{\phantom{i}{\pi}\phantom{i}}}\fi}}\:{{{A\mathstrut_{\infty}}}}\:{{\newcommand{\tmpprop}{q} \if\tmpprop{q}\to\else \xrightarrow{{\phantom{i}{}\phantom{i}}}\fi}}\:{{{A\mathstrut_{\infty}}}/\pi{{A\mathstrut_{\infty}}}}\to0}$$ we get a short exact sequence $$\label{eq:unittor} 0={\operatorname{Tor}^{A}_{2}({{A\mathstrut_{\infty}}}/\pi{{A\mathstrut_{\infty}}},M)}\to {\operatorname{Tor}^{A}_{1}({{A\mathstrut_{\infty}}},M)} {{\newcommand{\tmpprop}{\piq} \if\tmpprop{q}\to\else \xrightarrow{{\phantom{i}{\pi}\phantom{i}}}\fi}} {\operatorname{Tor}^{A}_{1}({{A\mathstrut_{\infty}}},M)}.$$ On the other hand, flatness of $A{\otimes}Q\to {{A\mathstrut_{\infty}}}{\otimes}Q$ yields $$\label{eq:torsiontor} {\operatorname{Tor}^{A}_{1}({{A\mathstrut_{\infty}}},M)}{\otimes}Q = {\operatorname{Tor}^{A{\otimes}Q}_{1}({{A\mathstrut_{\infty}}}{\otimes}Q,M{\otimes}Q)}=0.$$ In order to prove flatness, it suffices by @Mats [Theorem 7.8] to show that ${\operatorname{Tor}^{A}_{1}({{A\mathstrut_{\infty}}},A/I)}$ vanishes, for every finitely generated ideal $I$ of $A$. Towards a contradiction, suppose that ${\operatorname{Tor}^{A}_{1}({{A\mathstrut_{\infty}}},A/I)}$ contains a non-zero element $\tau$. By , we have $a\tau=0$, for some non-zero $a\in{\mathfrak O}$. As observed in @Sab [Proposition 3], every polynomial ring over a valuation ring is coherent, so that in particular $I$ is finitely presented (namely, since $I$ is torsion-free over ${\mathfrak O}$, it is ${\mathfrak O}$-flat, and therefore finitely presented by @RayGru [Theorem 3.4.6]). Hence we have some exact sequence $$A^{a_2} {{\newcommand{\tmpprop}{\varphi_2q} \if\tmpprop{q}\to\else \xrightarrow{{\phantom{i}{\varphi_2}\phantom{i}}}\fi}} A^{a_1} {{\newcommand{\tmpprop}{\varphi_1q} \if\tmpprop{q}\to\else \xrightarrow{{\phantom{i}{\varphi_1}\phantom{i}}}\fi}}A\to A/I\to 0.$$ Therefore ${\operatorname{Tor}^{A}_{1}({{A\mathstrut_{\infty}}},A/I)}$ is calculated as the homology of the complex $$({{A\mathstrut_{\infty}}})^{a_2} {{\newcommand{\tmpprop}{\varphi_2q} \if\tmpprop{q}\to\else \xrightarrow{{\phantom{i}{\varphi_2}\phantom{i}}}\fi}} ({{A\mathstrut_{\infty}}})^{a_1} {{\newcommand{\tmpprop}{\varphi_1q} \if\tmpprop{q}\to\else \xrightarrow{{\phantom{i}{\varphi_1}\phantom{i}}}\fi}} {{A\mathstrut_{\infty}}}.$$ Suppose $\tau$ is the image of a tuple $\mathbf x\in({{A\mathstrut_{\infty}}})^{a_1}$ with $\varphi_1(\mathbf x)=0$. Hence $\mathbf x$ does not belong to $\varphi_2(({{A\mathstrut_{\infty}}})^{a_2})$ but $a\mathbf x$ does. Choose ${\mathbf x\mathstrut_{w}}$, ${a\mathstrut_{w}}$ and ${\varphi_i\mathstrut_{w}}$ with respective ultraproduct $\mathbf x$, $a$ and $\varphi_i$. By <span>Łos' Theorem</span>, almost all ${\mathbf x\mathstrut_{w}}$ lie in the kernel of ${\varphi_1\mathstrut_{w}}$ but not in the image of ${\varphi_2\mathstrut_{w}}$, yet ${a\mathstrut_{w}}{\mathbf x\mathstrut_{w}}$ lies in the image of ${\varphi_2\mathstrut_{w}}$. Choose ${n\mathstrut_{w}}\in{\mathbb N}$ maximal such that ${\mathbf y\mathstrut_{w}}:=({\pi\mathstrut_{w}})^{{n\mathstrut_{w}}}{\mathbf x\mathstrut_{w}}$ does not lie in the image of ${\varphi_2\mathstrut_{w}}$. Since almost all ${a\mathstrut_{w}}$ are non-zero, this maximum exists for almost all $w$. Therefore, if $\mathbf y$ is the ultraproduct of the ${\mathbf y\mathstrut_{w}}$, then $\varphi_1(\mathbf y)=0$ and $\mathbf y$ does not lie in $\varphi_2(({{A\mathstrut_{\infty}}})^{a_2})$, but $\pi\mathbf y$ lies in $\varphi_2(({{A\mathstrut_{\infty}}})^{a_2})$. Therefore, the image of $\mathbf y$ in ${\operatorname{Tor}^{A}_{1}({{A\mathstrut_{\infty}}},A/I)}$ is a non-zero element annihilated by $\pi$, contradicting . In @SchUBS, I exhibit a general connection between the flatness of an ultraproduct over certain canonical subrings and the existence of bounds on syzygies. In particular, using these ideas, the second argument in the above proof of flatness reproves the result in @Asch. In fact, the role played here by coherence is not accidental either; see @AschSab or @SchUBS for more details. \[T:dom\] Let $R$ be a local ${\mathfrak O}$-affine algebra with non-standard hull ${{R\mathstrut_{\infty}}}$ and <span>approximation</span> ${R\mathstrut_{w}}$. - Almost all ${R\mathstrut_{w}}$ are flat over ${{\mathfrak O}\mathstrut_{w}}$ <span>if, and only if,</span> $R$ is torsion-free over ${\mathfrak O}$ <span>if, and only if,</span> $\pi$ is $R$-regular. - Almost all ${R\mathstrut_{w}}$ are domains <span>if, and only if,</span> $R$ is. Suppose first that almost all ${R\mathstrut_{w}}$ are flat over ${{\mathfrak O}\mathstrut_{w}}$, which amounts in this case, to almost all ${R\mathstrut_{w}}$ being torsion-free over ${{\mathfrak O}\mathstrut_{w}}$. By <span>Łos' Theorem</span>, ${{R\mathstrut_{\infty}}}$ is torsion-free over ${\mathfrak O}$, and since $R\subset {{R\mathstrut_{\infty}}}$, so is $R$. Conversely, assume $\pi$ is $R$-regular. By faithful flatness, $\pi$ is ${{R\mathstrut_{\infty}}}$-regular, whence almost all ${\pi\mathstrut_{w}}$ are ${R\mathstrut_{w}}$-regular by <span>Łos' Theorem</span>. Since the ${{\mathfrak O}\mathstrut_{w}}$ are <span>discrete valuation ring</span><span>s</span>, this means that almost all ${{\mathfrak O}\mathstrut_{w}}\to {R\mathstrut_{w}}$ are flat. If almost all ${R\mathstrut_{w}}$ are domains, then so is ${{R\mathstrut_{\infty}}}$ by <span>Łos' Theorem</span>, and hence so is $R$, since it embeds in ${{R\mathstrut_{\infty}}}$. Conversely, assume $R$ is a domain. If $\pi=0$ in $R$, then ${{R\mathstrut_{\infty}}}$ is a domain by Lemma \[L:prime\], whence so are almost all ${R\mathstrut_{w}}$ by <span>Łos' Theorem</span>. So assume $\pi$ is non-zero in $R$, whence $R$-regular. By what we just proved, $R$ is then torsion-free over ${\mathfrak O}$. Let $Q$ be the field of fractions of ${\mathfrak O}$. Write $R$ in the form $S/{\mathfrak p}$, where $S$ is some localization of $A$ at a prime ideal containing $\pi$ and ${\mathfrak p}$ is a finitely generated prime ideal in $S$. Since $S/{\mathfrak p}$ is torsion-free over ${\mathfrak O}$, the extension ${\mathfrak p}(S{\otimes}_{\mathfrak O}Q)$ is again prime and its contraction in $S$ is ${\mathfrak p}$. By Theorem \[T:SvdD\], since we are now over a field, ${\mathfrak p}({{S\mathstrut_{\infty}}}{\otimes}_{\mathfrak O}Q)$ is a prime ideal, where ${{S\mathstrut_{\infty}}}$ is the non-standard hull of $S$ (note that ${{S\mathstrut_{\infty}}}{\otimes}_{\mathfrak O}Q$ is then the non-standard hull of $S{\otimes}_{\mathfrak O}Q$ in the sense of @SchNSTC). Moreover, since $S/{\mathfrak p}$ is torsion-free over ${\mathfrak O}$, so is ${{S\mathstrut_{\infty}}}/{\mathfrak p}{{S\mathstrut_{\infty}}}$ by the first assertion. This in turn means that $${\mathfrak p}{{S\mathstrut_{\infty}}}= {\mathfrak p}({{S\mathstrut_{\infty}}}{\otimes}_{\mathfrak O}Q)\cap {{S\mathstrut_{\infty}}},$$ showing that ${\mathfrak p}{{S\mathstrut_{\infty}}}$ is prime. It follows then from <span>Łos' Theorem</span> that almost all ${{\mathfrak p}\mathstrut_{w}}$ are prime, where ${{\mathfrak p}\mathstrut_{w}}$ is an <span>approximation</span> of ${\mathfrak p}$, and hence almost all ${R\mathstrut_{w}}$ are domains. \[R:extprim\] The last assertion is equivalent with saying that any prime ideal in $R$ extends to a prime ideal in ${{R\mathstrut_{\infty}}}$. Indeed, let $\mathfrak q$ be a prime ideal in $R$ with <span>approximation</span> ${\mathfrak q\mathstrut_{w}}$. By the above result (applied to $R/{\mathfrak q}$ and its <span>approximation</span> ${R\mathstrut_{w}}/{\mathfrak q\mathstrut_{w}}$), we get that almost all ${\mathfrak q\mathstrut_{w}}$ are prime, whence so is their ultraproduct ${\mathfrak q}{{R\mathstrut_{\infty}}}$, by <span>Łos' Theorem</span>. <span><span>Pseudo</span>-dimension</span> {#s:qdim} ========================================== In this and the next section, we will study the local algebra of the category ${\underline{\textsf{Aff}}({\mathfrak O})}$. Although part of the theory can be developed for arbitrary base rings ${\mathfrak O}$, we will only deal with the case that ${\mathfrak O}$ is a local domain of embedding dimension one. Recall that the *embedding dimension* of a local ring $(Z,{\mathfrak p})$ is by definition the minimal number of generators of ${\mathfrak p}$, and its *ideal of infinitesimal* $\varpi$ is the intersection of all powers ${\mathfrak p}^n$. Of course, if $Z$ is moreover Noetherian, then its ideal of infinitesimals is zero. In general, we call $Z/\varpi$ the *<span>separated quotient</span>* of $Z$. For the duration of the next two sections, let ${\mathfrak O}$ denote a local domain of embedding dimension one, with generator of the maximal ideal $\pi$, with ideal of infinitesimals $\varpi$ and with residue field $\kappa$. \[L:dvr\] The <span>separated quotient</span> ${\mathfrak O}/\varpi$ of ${\mathfrak O}$ is a <span>discrete valuation ring</span> with uniformizing parameter $\pi$. For each element $a\in{\mathfrak O}$ outside $\varpi$, there is a smallest $e\in{\mathbb N}$ for which $a\notin\pi^{e+1}{\mathfrak O}$. Hence $a=u\pi^e$ with $u$ a unit in $R$. It is now straightforward to check that the assignment $a\mapsto e$ induces a discrete valuation on ${\mathfrak O}/\varpi$. Note that we do not even need ${\mathfrak O}$ to be domain, having positive depth (that is to say, assuming that $\pi{\mathfrak O}$ is not an associated prime of ${\mathfrak O}$; see @BH [Proposition 9.1.4]) would suffice, for then $\pi$ is necessarily ${\mathfrak O}$-regular. However, we do not need this amount of generality as in all our applications ${\mathfrak O}$ will be of the following special form. \[D:uDVR\] We say that ${\mathfrak O}$ is an *ultra-DVR*, if it is realized as the ultraproduct of some <span>discrete valuation ring</span><span>s</span> ${{\mathfrak O}\mathstrut_{w}}$. Note that $\pi$ and $\kappa$ are then the respective ultraproducts of the uniformizing parameter ${\pi\mathstrut_{w}}$ and the residue field ${\kappa\mathstrut_{w}}$ of ${{\mathfrak O}\mathstrut_{w}}$. We will work in the category ${\underline{\textsf{Aff}}({\mathfrak O})}$ of local ${\mathfrak O}$-affine algebras (see the Introduction), that is to say, the category of algebras of the form $(A/I)_{\mathfrak m}$, with $I$ a finitely generated ideal and ${\mathfrak m}$ a prime ideal containing $\pi$ (and $I$). Nonetheless, some results can be stated even for local algebras which are locally finitely generated over ${\mathfrak O}$, that is without the assumption that $I$ is finitely generated. We call $R$ a *torsion-free* ${\mathfrak O}$-algebra if it is torsion-free over ${\mathfrak O}$ (that is to say, if $ar=0$ for some $r\in R$ and some non-zero $a\in {\mathfrak O}$, then $r=0$). Recall from Theorem \[T:dom\] that a local ${\mathfrak O}$-affine algebra $R$ is torsion-free <span>if, and only if,</span> $\pi$ is $R$-regular. If ${\mathfrak O}$ is an ultra-DVR, then we set ${A\mathstrut_{w}}:={{{\mathfrak O}\mathstrut_{w}}[X]}$ and let ${{A\mathstrut_{\infty}}}$ be their ultraproduct. If $R$ belongs to ${\underline{\textsf{Aff}}({\mathfrak O})}$, that is to say, is a local ${\mathfrak O}$-affine algebra of the form $(A/I)_{\mathfrak m}$, then ${{R\mathstrut_{\infty}}}:=({{A\mathstrut_{\infty}}}/I{{A\mathstrut_{\infty}}})_{{\mathfrak m}{{A\mathstrut_{\infty}}}}$ denotes its non-standard hull and we let ${R\mathstrut_{w}}:=({A\mathstrut_{w}}/{I\mathstrut_{w}})_{{{\mathfrak m}\mathstrut_{w}}}$ be an <span>approximation</span> of $R$, where ${I\mathstrut_{w}}$ and ${{\mathfrak m}\mathstrut_{w}}$ are <span>approximation</span><span>s</span> of $I$ and ${\mathfrak m}$ respectively. Note that ${\mathfrak m}$ is finitely generated, as it contains by definition $\pi$. \[L:inf\] Let $R$ be a local ring which is locally finitely generated over ${\mathfrak O}$. If $I$ is a proper ideal in $R$ containing some power $\pi^m$, then the intersection of all $I^N$ is equal to $\varpi R$. Suppose $\pi^m\in I\subset{\mathfrak m}$. Let $J$ be the intersection of all $I^N$. Since $\pi^m\in I$, we get that $\varpi R\subset J$. Since $S:=R/\varpi R$ is locally finitely generated over the <span>discrete valuation ring</span> ${\mathfrak O}/\varpi$ (see Lemma \[L:dvr\]), it is itself Noetherian. Applying Krull's Intersection Theorem (see for instance @Mats [Theorem 8.10]), we get that $JS=(0)$, and hence that $J= \varpi R$. \[L:comp\] Let ${\mathfrak O}$ be an ultra-DVR (see Definition \[D:uDVR\]) and let $(R,{\mathfrak m})$ be a local ${\mathfrak O}$-affine algebra with <span>approximation</span> ${R\mathstrut_{w}}$. The ${\mathfrak m}$-adic completion ${\widehat {R}}$ of $R$ is isomorphic to ${{R\mathstrut_{\infty}}}/\mathfrak i$, where $\mathfrak i$ is the ideal of infinitesimals of ${{R\mathstrut_{\infty}}}$. In particular, ${\widehat {R}}$ is Noetherian. Clearly, $R$ is ${\mathfrak m}$-adically dense in ${{R\mathstrut_{\infty}}}$, so that they have a common completion. On the other hand, by saturatedness of ultraproducts, ${{R\mathstrut_{\infty}}}$ is quasi-complete in the sense that every Cauchy sequence has a (non-unique) limit. Therefore, its <span>separated quotient</span> ${{R\mathstrut_{\infty}}}/\mathfrak i$ is complete. Our first goal is to introduce a good notion of dimension. Below, the *dimension* of a ring will always mean its *Krull dimension*. Recall that it is always finite for Noetherian local rings. \[T:qdim\] For a local ring $(R,{\mathfrak m})$ which is locally finitely generated over ${\mathfrak O}$, the following numbers are all equal: - the minimal length $d$ of a tuple in $R$ generating an ${\mathfrak m}$-primary ideal; - the dimension ${\widehat {d}}$ of the completion ${\widehat {R}}$; - the dimension $\tilde d$ of $R/\varpi R$; - the degree $\underline d$ of the *Hilbert-Samuel polynomial* $\chi_R$, where $\chi_R$ is the unique polynomial with rational coefficients for which $\chi_R(n)$ equals the length of $R/{\mathfrak m}^{n+1}$ for all large $n$. Moreover, if $\pi$ is $R$-regular, then $R/\pi R$ has dimension $d-1$. If ${\mathfrak O}$ is an ultra-DVR and $R$ is a torsion-free local ${\mathfrak O}$-affine algebra with <span>approximation</span> ${R\mathstrut_{w}}$, then almost all ${R\mathstrut_{w}}$ have dimension $d$. Let $\tilde R:=R/\varpi R$, so that $\tilde R$ is a Noetherian local ring (see the proof of Lemma \[L:inf\]) and $\tilde d$ is finite. Since $R/{\mathfrak m}^n{\cong}\tilde R/{\mathfrak m}^n\tilde R$, the completion of $\tilde R$ is ${\widehat {R}}$ and hence, ${\widehat {d}}=\tilde d$. Moreover, $\chi_R=\chi_{{\widehat {R}}}$, so that by the Hilbert-Samuel theory, $\underline d={\widehat {d}}$. Let $\mathbf x$ be a tuple of length $\tilde d$ such that its image in $\tilde R$ is a system of parameters of $\tilde R$. Hence, for some $n$, we have that ${\mathfrak m}^n\subset \mathbf xR+\varpi R$. In particular, since $\varpi R\subset \pi^{n+1}R$ by Lemma \[L:inf\], we can find $x\in\mathbf xR$ and $r\in R$, such that $\pi^n=x+r\pi^{n+1}$. Therefore, $\pi^n\in\mathbf xR$, since $(1-r\pi)$ is a unit. Since $\varpi\subset\pi^n{\mathfrak O}$, we get that ${\mathfrak m}^n\subset \mathbf xR$, showing that $\mathbf xR$ is an ${\mathfrak m}$-primary ideal and hence that $d\leq \tilde d$. On the other hand, if $\mathbf y$ is a tuple of length $d$ such that $\mathbf yR$ is ${\mathfrak m}$-primary, then $\mathbf y\tilde R$ is an ${\mathfrak m}\tilde R$-primary ideal, and hence $\tilde d\leq d$. This concludes the proof of the first assertion. Assume that $\pi$ is moreover $R$-regular. I claim that $\pi$ is $\tilde R$-regular. Indeed, suppose $\pi \tilde r=0$, for some $\tilde r\in \tilde R$. Take a pre-image $r\in R$, so that $\pi r\in\varpi R\subset\pi^nR$, for every $n$. Since $\pi$ is $R$-regular, we get that $r\in\pi^{n-1}R$, for all $n$. Therefore $r\in\varpi R$, whence $\tilde r=0$ in $\tilde R$, as we needed to show. Since $\pi$ is $\tilde R$-regular and $\tilde R/\pi\tilde R=R/\pi R$, the dimension of $R/\pi R$ is $\tilde d-1$. Suppose finally that ${\mathfrak O}$ is moreover an ultra-DVR. We already observed that ${R\mathstrut_{w}}/{\pi\mathstrut_{w}}{R\mathstrut_{w}}$ is an <span>approximation</span> of $R/\pi R$ in the sense of @SchNSTC. In particular, by @SchNSTC [Theorem 4.5], almost all ${R\mathstrut_{w}}/{\pi\mathstrut_{w}}{R\mathstrut_{w}}$ have dimension $\tilde d-1$. Since $\pi$ is ${{R\mathstrut_{\infty}}}$-regular by flatness, whence ${\pi\mathstrut_{w}}$ is ${R\mathstrut_{w}}$-regular by <span>Łos' Theorem</span>, we get that ${R\mathstrut_{w}}$ has dimension $\tilde d$, for almost all $w$. \[<span><span>Pseudo</span>-dimension</span>\]\[D:qdim\] The minimal number of generators of an ${\mathfrak m}$-primary ideal is called the *<span><span>pseudo</span>-dimension</span>* of $R$. We call a tuple $\mathbf x$ in $R$ *generic*, if it generates an ${\mathfrak m}$-primary ideal and has length equal to the <span><span>pseudo</span>-dimension</span> of $R$. \[C:trim\] In a local ring $(R,{\mathfrak m})$ which is locally finitely generated over ${\mathfrak O}$, every tuple generating an ${\mathfrak m}$-primary ideal can be trimmed to a generic sequence by omitting some of its entries. Let $\tilde R:=R/\varpi R$ and let $d$ be the <span><span>pseudo</span>-dimension</span> of $R$. Let $\mathbf x$ be a tuple generating an ${\mathfrak m}$-primary ideal of $R$. By a well-known prime avoidance argument in the Noetherian ring $\tilde R$, we can rearrange this tuple so that it has the form $(\mathbf y,\mathbf z)$ with $\mathbf y$ a system of parameters in $\tilde R$. In particular, ${\left|\mathbf y\right|}=d$ by Theorem \[T:qdim\]. Let $S:=R/\mathbf yR$ and $\tilde S:=S/\varpi S$. By Theorem \[T:qdim\], the <span><span>pseudo</span>-dimension</span> of $S$ is equal to the dimension of $\tilde S$, whence is zero since $\tilde S=\tilde R/\mathbf y\tilde R$. Therefore, the empty tuple is a generic sequence in $S$, and hence $\mathbf yR$ is ${\mathfrak m}$-primary. Since $\mathbf y$ has length equal to the <span><span>pseudo</span>-dimension</span> of $R$, it is therefore a generic sequence. In fact the above proof shows that there is a one-one correspondence between generic sequences in $R$ and systems of parameters in $R/\varpi R$. In general, the last assertion in Theorem \[T:qdim\] is false when $R$ is not torsion-free. For instance, let $R:={\mathfrak O}/\gamma{\mathfrak O}$ with $\gamma$ a non-zero infinitesimal, so that each ${R\mathstrut_{w}}={{\mathfrak O}\mathstrut_{w}}/{\gamma\mathstrut_{w}}{{\mathfrak O}\mathstrut_{w}}$ has dimension zero, but $R/\varpi R$ is the (one-dimensional) <span>discrete valuation ring</span> ${\mathfrak O}/\varpi$. In the following definition, let ${\mathfrak O}$ be an ultra-DVR and let $R$ be a local ${\mathfrak O}$-affine algebra of <span><span>pseudo</span>-dimension</span> $d$, with <span>approximation</span> ${R\mathstrut_{w}}$. Note that the ${R\mathstrut_{w}}$ have almost all dimension at most $d$. Indeed, if $\mathbf y$ has length $d$ and generates an ${\mathfrak m}$-primary ideal, then almost all ${\mathbf y\mathstrut_{w}}$ are ${{\mathfrak m}\mathstrut_{w}}$-primary by <span>Łos' Theorem</span>, for ${\mathbf y\mathstrut_{w}}$ an <span>approximation</span> of $\mathbf y$. We say that $R$ is *<span>isodimensional</span>* if almost all ${R\mathstrut_{w}}$ have dimension equal to the <span><span>pseudo</span>-dimension</span> of $R$. Theorem \[T:qdim\] shows that every torsion-free local ${\mathfrak O}$-affine algebra is <span>isodimensional</span>. In particular, over an ultra-DVR, the <span>restricted ultraproduct</span> $R$ of domains ${R\mathstrut_{w}}$ of uniformly bounded ${{\mathfrak O}\mathstrut_{w}}$-complexity is <span>isodimensional</span>, since ${{R\mathstrut_{\infty}}}$ is then a domain by <span>Łos' Theorem</span>, whence so is $R$ as it embeds in ${{R\mathstrut_{\infty}}}$. The next result shows that generic sequences in an <span>isodimensional</span> ring are the analog of systems of parameters. \[C:gensop\] Let ${\mathfrak O}$ be an ultra-DVR and $R$ an <span>isodimensional</span> local ${\mathfrak O}$-affine algebra with <span>approximation</span> ${R\mathstrut_{w}}$. Let $\mathbf x$ be a tuple in $R$ with <span>approximation</span> ${\mathbf x\mathstrut_{w}}$. If $\mathbf x$ is generic, then ${\mathbf x\mathstrut_{w}}$ is a system of parameters of ${R\mathstrut_{w}}$, for almost all $w$. Conversely, if $({\pi\mathstrut_{w}})^c\in {\mathbf x\mathstrut_{w}}{R\mathstrut_{w}}$, for some $c$ and almost all $w$, then $\mathbf x$ is generic. Let ${\mathfrak m}$ be the maximal ideal of $R$, with <span>approximation</span> ${{\mathfrak m}\mathstrut_{w}}$. Let $d$ be the <span><span>pseudo</span>-dimension</span> of $R$, so that almost all ${R\mathstrut_{w}}$ have dimension $d$. Suppose first that $\mathbf x$ is generic, so that ${\left|\mathbf x\right|}=d$ and $\mathbf xR$ is ${\mathfrak m}$-primary. Since $\mathbf x{{R\mathstrut_{\infty}}}$ is then ${\mathfrak m}{{R\mathstrut_{\infty}}}$-primary, ${\mathbf x\mathstrut_{w}}{R\mathstrut_{w}}$ is ${{\mathfrak m}\mathstrut_{w}}$-primary by <span>Łos' Theorem</span>, showing that ${\mathbf x\mathstrut_{w}}$ is a system of parameters for almost all $w$. Conversely, suppose ${\mathbf x\mathstrut_{w}}$ is a system of parameters of ${R\mathstrut_{w}}$, generating an ideal containing $({\pi\mathstrut_{w}})^c$. If $\mathbf x$ is the ultraproduct of the ${\mathbf x\mathstrut_{w}}$, then it is defined over $R$ by Lemma \[L:deg\]. By <span>Łos' Theorem</span> and faithful flatness, $\pi^c\in\mathbf xR$. Applying @SchBArt [Corollary 4] to the Artinian base ring ${{\mathfrak O}\mathstrut_{w}}/({\pi\mathstrut_{w}})^c$, we can find a bound $c'$, only depending on $c$, such that $({{\mathfrak m}\mathstrut_{w}})^{c'} \subset {\mathbf x\mathstrut_{w}}{R\mathstrut_{w}}$, for almost all $w$. Hence ${\mathfrak m}^{c'}{{R\mathstrut_{\infty}}}\subset\mathbf x{{R\mathstrut_{\infty}}}$, so that by faithful flatness, $\mathbf xR$ is ${\mathfrak m}$-primary. This shows that $\mathbf x$ is generic. The additional requirement in the converse is necessary: indeed, for arbitrary ${n\mathstrut_{w}}>0$, the element $({\pi\mathstrut_{w}})^{{n\mathstrut_{w}}}$ is a parameter in ${{\mathfrak O}\mathstrut_{w}}$ and has ${{\mathfrak O}\mathstrut_{w}}$-complexity zero, but if ${n\mathstrut_{w}}$ is unbounded, its ultraproduct is an infinitesimal whence not generic. To characterize <span>isodimensional</span> rings, we use the following notion introduced in @SchABCM. \[Parameter Degree\] The *parameter degree* of a Noetherian local ring $C$ is by definition the smallest possible length of a residue ring $C/\mathbf xC$, where $\mathbf x$ runs over all systems of parameters of $C$. In general, the parameter degree is larger than the multiplicity, with equality precisely when $C$ is <span>Cohen-Macaulay</span> (see @Mats [Theorem 17.11]). The homological degree of $C$ is an upper bound for its parameter degree (see @SchABCM [Corollary 4.6]). A priori, being <span>isodimensional</span> is a property of the <span>approximation</span><span>s</span> of $R$, of for that matter, of its non-standard hull. However, the last equivalent condition in the next result shows that it is in fact an intrinsic property \[P:pardeg\] Let ${\mathfrak O}$ be an ultra-DVR and let $R$ be a local ${\mathfrak O}$-affine algebra with <span>approximation</span> ${R\mathstrut_{w}}$. The following are equivalent: 1. \[i:eqdim\] $R$ is <span>isodimensional</span>; 2. \[i:ram\] there exists a $c\in{\mathbb N}$, such that for almost all $w$, we can find a system of parameters ${\mathbf x\mathstrut_{w}}$ of ${R\mathstrut_{w}}$ of ${{\mathfrak O}\mathstrut_{w}}$-complexity at most $c$, generating an ideal containing $({\pi\mathstrut_{w}})^c$; 3. \[i:pardeg\] there exists an $e\in{\mathbb N}$, such that almost all ${R\mathstrut_{w}}$ have parameter degree at most $e$; 4. \[i:intr\] for every generic sequence in $R$ of the form $(\pi,\mathbf y)$, we have that $\mathbf yR\cap {\mathfrak O}$ is the zero ideal. Let ${\mathfrak m}$ be the maximal ideal of $R$, with <span>approximation</span> ${{\mathfrak m}\mathstrut_{w}}$. Let $d$ be the <span><span>pseudo</span>-dimension</span> of $R$ and let $d'$ be the dimension of almost all ${R\mathstrut_{w}}$. Suppose first that $d=d'$. Let $\mathbf x$ be any generic sequence in $R$ with <span>approximation</span> ${\mathbf x\mathstrut_{w}}$. By <span>Łos' Theorem</span>, almost all ${\mathbf x\mathstrut_{w}}$ generate an ${{\mathfrak m}\mathstrut_{w}}$-primary ideal. Since their length is equal to the dimension of ${R\mathstrut_{w}}$, they are almost all systems of parameters of ${R\mathstrut_{w}}$. Choose $c$ large enough so that $\pi^c\in\mathbf xR$. Enlarging $c$ if necessary, we may moreover assume by Lemma \[L:deg\] that almost all ${\mathbf x\mathstrut_{w}}$ have ${{\mathfrak O}\mathstrut_{w}}$-complexity at most $c$. By <span>Łos' Theorem</span>, $({\pi\mathstrut_{w}})^c\in {\mathbf x\mathstrut_{w}}{R\mathstrut_{w}}$, so that holds. Assume next that $c$ and the ${\mathbf x\mathstrut_{w}}$ are as in . Let ${\overline R\mathstrut_{w}}:={R\mathstrut_{w}}/({\pi\mathstrut_{w}})^c{R\mathstrut_{w}}$. We can apply @SchBArt [Corollary 2] over ${{\mathfrak O}\mathstrut_{w}}/({\pi\mathstrut_{w}})^c{{\mathfrak O}\mathstrut_{w}}$ to the ${{\mathfrak m}\mathstrut_{w}}{\overline R\mathstrut_{w}}$-primary ideal ${\mathbf x\mathstrut_{w}}{\overline R\mathstrut_{w}}$, to conclude that there is some $c'$, depending only on $c$, such that ${\overline R\mathstrut_{w}}/{\mathbf x\mathstrut_{w}}{\overline R\mathstrut_{w}}$ has length at most
{'source': 'arXiv_out/math0303383'}