Bertini theorems for ideals linked to a given ideal (Q1331181): Difference between revisions

The goal of this paper is to prove results on properties that hold across ``general'' linkage of ideals, similar to results of \textit{C. Huneke} and \textit{B. Ulrich} [in: Commutative algebra, Proc. Workshop, Salvador 1988, Lect. Notes Math. 1430, 47-60 (1990; Zbl 0723.14002)] valid for ``generic'' linkage. The key is a generalization of the work of \textit{H. Flenner} [Math. Ann. 229, 97-111 (1977; Zbl 0398.13013)] on the Bertini theorems, in which general regular elements are replaced by general regular sequences, but straightforward induction does not suffice. If \(R\) is a local ring containing an infinite field \(k\), and \(I = (g_1, \dots, g_n)\) is an ideal of height \(r \geq 1\), then the affine space \(\mathbb{A}^{rn}\) parametrizes length \(r\) sequences of \(k\)-linear combinations of the generators; for \(\alpha \in \mathbb{A}^{rn}\), if \(f_i = \sum^n_{j = 1} \alpha_{ij} g_j\) for \(1 \leq i \leq r\), then we set \(J_\alpha = (f_1, \dots, f_r) : I\). -- A property is said to hold for general \(J_\alpha\) if it holds for all \(\alpha\) in a non-empty Zariski open subset of \(\mathbb{A}^{rn}\). Using indeterminates \(X_{ij}\) instead of elements \(\alpha_{ ij} \in k\), one has ``generic'' linkage, and there is the problem of specializing results in \(R[\{X_{ij} \}]\) back down to \(R\). \textit{C. Huneke} and \textit{B. Ulrich} have results showing that good specializations exist for \(R\) a Gorenstein local ring with infinite residue field [see Duke Math. J. 56, No. 3, 415-429 (1988; Zbl 0656.13026)]. Here the author proves that if \(R\) is a local Cohen-Macaulay Nagata ring containing an infinite perfect field, then \(I\) has a set of generators such that for general \(J_\alpha\) as above, \(R/J_\alpha\) is regular on \(D(I) \cap \text{reg} (R)\). If \(I\) is equidimensional and radical, and \(R/I\) is Cohen-Macaulay and a complete intersection in codimension one, then \(R/J_\alpha\) is normal and Cohen-Macaulay.