arXiv:1504.06938v3 [] 25 Aug 2015

AROUND GENERAL NERON DESINGULARIZATION
DORIN POPESCU

Abstract. It gives new forms of General Neron Desingularization and new applications.
Key words : Smooth morphisms, regular morphisms, Bass-Quillen Conjecture,
arcs.
2010 Mathematics Subject Classification: Primary 13B40, Secondary 14B25,13H05,13J15.

Introduction
M. Artin [2] proved that the convergent power series rings over C has the so called
today the Artin approximation property. Using Artin’s proof, Ploski [15] stated a
theorem in the idea of Neron desingularization [13]. This was the starting point of
our General Neron Desingularization (see Theorem 2). Later other types of such
theorems were published. One was conjectured by Artin [5] and solved positively
in [7] (see Theorem 5) using an idea of [6, Theorem 2.3]. Another one similarly to
the so called the strong Artin approximation property [20] (see Theorem 6), which
has an interesting consequence (see Corollary 8) studied in a special case in Section
2. Computing General Neron Desingularization with SINGULAR (see [8]) it was
necessary to use in [16] maps defined by formal power series but not in an explicit
way. This inspires us Theorem 10.
Let (A, m) be a discrete valuation ring, B a finite type A-algebra, Â its completion
and v : B → A/m2c+1 an A-morphism, for a certain c ∈ N depending on B.
Then there exists an A-morphism v ′ : B → Â such that v ′ ≡ v modulo m using
[16, Theorem 18] - a theorem similar to the Greenberg’s form of the strong Artin
approximation. Our Theorem 15 shows that the set of all A-morphisms B → Â
lifting v is in bijection with an affine space over Â. This could be useful in the theory
of arcs (see Corollary 16). The paper ends with an application of the General Neron
Desingularization to an extension of the Bass-Quillen Conjecture. More precisely,
if R is for example an equicharacteristic regular local ring and I ⊂ R[X], X =
(X1 , . . . , Xr ) is a monomial ideal, then any finitely generated projective R[X]/Imodule is free (see Theorem 20).

The support from the the project ID-PCE-2011-1023, granted by the Romanian National Authority for Scientific Research, CNCS - UEFISCDI is gratefully acknowledged. The author thanks
CIRM, Luminy who provided excellent conditions and stimulative atmosphere in the main stage
of our work.
1

1. A version of General Neron Desingularization in the idea of
Ploski
A ring morphism u : A → A′ has regular fibers if for all prime ideals P ∈ Spec A
the ring A′ /P A′ is a regular ring, i.e. its localizations are regular local rings. It
has geometrically regular fibers if for all prime ideals P ∈ Spec A and all finite field
extensions K of the fraction field of A/P the ring K ⊗A/P A′ /P A′ is regular. If
A ⊃ Q then regular fibers of u are geometrically regular. We call u regular if it is
flat and its fibers are geometrically regular. A Henselian local ring (A, m) is excellent
if it is Noetherian and the completion map A → Â is regular. A regular morphism
is smooth if it is finitely presented and it is essentially smooth if it is a localization
of a finitely presented morphism.
Theorem 1. (Ploski [15]) Let C{x}, x = (x1 , . . . , xn ), f = (f1 , . . . , fs ) be some
convergent power series from C{x, Y }, Y = (Y1 , . . . , YN ) and ŷ ∈ C[[x]]N with
ŷ(0) = 0 be a solution of f = 0. Then the map v : B = C{x, Y }/(f ) → C[[x]] given
by Y → ŷ factors through an A-algebra of type B ′ = C{x, Z} for some variables
Z = (Z1 , . . . , Zs ), that is v is a composite map B → B ′ → C[[x]].
This result shows a particular case of the following theorem in Krull dimension > 1, the case when A, A′ are DVR being given by the so called Néron pdesingularization [13], [3].
Theorem 2. (General Neron Desingularization, Popescu [17], [18], Andre [1], Swan
[24], Spivakovski [23]) Let u : A → A′ be a regular morphism of Noetherian rings
and B a finite type A-algebra. Then any A-morphism v : B → A′ factors through a
smooth A-algebra C, that is v is a composite A-morphism B → C → A′ .
The following theorem is a consequence of Theorem 2 in the idea of Ploski (perhaps
it is already known but we couldn’t find a precise reference).
Theorem 3. Let (A, m) be an excellent Henselian local ring, Â its completion, B
a finite type A-algebra and v : B → Â an A-morphism. Then v factors through
an A-algebra of type A[Z]h for some variables Z = (Z1 , . . . , Zs ), where A[Z]h is the
Henselization of A[Z](m,Z) .
Proof. By Theorem 2 we see that v factors through a smooth A-algebra B ′ , let us say
v′
v is the composite map B → B ′ −
→ Â. Using the local structure of smooth algebras
given by Grothendieck (see [24, Theorem 2.5]) we may assume that Bv′ ′−1 (mÂ) is a
localization of a smooth A-algebra of type (A[Z, T ]/(g))g′h , where Z = (Z1 , . . . , Zs ),
g ′ = ∂g/∂T . Then there exists h ∈ A[Z, T ] such that v ′ factors through C =
w
(A[Z, T ]/(g))g′h let us say v ′ is the composite map B ′ → C −
→ Â.
Choose z0 ∈ AN , t0 ∈ A, such that (z0 , t0 ) ≡ (ẑ, t̂) modulo mÂ. Changing (Z, T )
by (Z −z0 , T −to ) in C we may suppose that w(Z), w(T ) are in mÂ. Then w extends
to a map w ′ : C ′ = (A[Z]h [T ]/(g))g′h → Â and we have C ′ ∼
= A[Z]h since C ′ is an
h
etale neighborhood of A[Z] .

2

A Noetherian local ring (A, m) has the property of Artin approximation if the
solutions in A of every system of polynomial equations f over A is dense with
respect of the m-adic topology in the set of solutions of f in the completion Â of A.
In fact (A, m) has the property of Artin approximation if and only if every system of
polynomial equations f over A has a solution in A if it has one in Â. The following
theorem was conjectured by M. Artin in [4].
Theorem 4. (Popescu [17], [21]) An excellent Henselian local ring has the property
of Artin approximation.
This theorem follows easily from Theorem 2 using the Implicit Function Theorem. But it is much easier to apply Theorem 3. Indeed, let (A, m) be an excellent
Henselian local ring, f = (f1 , . . . , fr ) some polynomials from A[Y ], Y = (Y1 , . . . , YN )
and ŷ ∈ ÂN a solution of f = 0. We will show that f has a solution in A.
Set B = A[Y ]/(f ) and v : B → Â the map given by Y → ŷ. By Theorem
3 v factors through A[Z]h for some Z = (Z1 , . . . , Zs ), that is v is the composite
t
map B −
→ A[Z]h → Â. Let α : A[Z]h → A[[Z]] be the canonical map and set
y = (αt)(Y + (f )). Then y(0) is a solution of f in A.
An extended form of Theorem 2 is the following theorem which is a positive answer
to a conjecture of M. Artin [5].
Theorem 5. (Cipu-Popescu [7]) Let u : A → A′ be a regular morphism of Noetherian rings, B a finite type A-algebra, v : B → A′ an A-morphism and D ⊂ Spec B
the open smooth locus of B over A. Then there exist a smooth A-algebra C and two
A-morphisms t : B → C, w : C → A′ such that v = wt and C is smooth over B at
t∗ −1 (D), t∗ : Spec C → Spec B being induced by t.
Another type of General Neron Desingularization is the following theorem.
Theorem 6. (Popescu [20]) Let (A, m) be a Noetherian local ring with the completion map A → Â regular. Then for every finite type A-algebra B there exists
a function λ : N → N such that for every positive integer c and every morphism v : B → A/mλ(c) there exists a smooth A-algebra C and two A-algebra
morphisms t : B → C, w : C → A/mc such that wt is the composite map
v
B−
→ A/mλ(c) → A/mc .
Remark 7. The proof from [20] is not constructive and so it is not clear that λ
can be computed. On the other hand Â has the so called the strong Artin approximation property (see [3], [14], [10], [17], [21]). Suppose that B = A[Y ]/(f ),
Y = (Y1 , . . . , Yn ), f = (f1 , . . . , fr ) ∈ A[Y ]r and let ν be the Artin function associated
to f considered over Â. Next corollary relates somehow λ with ν.
Corollary 8. Let (A, m) be a Noetherian local ring with the completion map A → Â
regular, c ∈ N, B a finite type A-algebra and λ its function defined by Theorem 6.
Let g : B → Â/mλ(c) Â be an A-morphism. Then there exists a B-algebra C, which
is smooth over A, and an A-morphism w : C → Â such that the composite map
w
B → C −
→ Â coincides with g modulo mc Â. In particular, λ ≥ ν, the last map
3

being the Artin function over Â associated to the system of polynomials f defining
B. Moreover, for any A-morphism v : B → Â congruent with g modulo mλ(c) Â,
w
there exists an A-morphism w : C → Â such that the composite map B → C −
→ Â
coincides with v modulo mc Â.
Proof. Let λ be given by Theorem 6. Then there exists a B-algebra C which is
smooth over A and an A-morphism w̃ : C → A/mc such that the composite map
w̃
B→C−
→ Â/mc Â coincides with g modulo mc . By the Implicit Function Theorem
w̃ can be lifted to an A-morphism w : C → Â. Therefore, g coincides with the
w
composite map B → C −
→ Â modulo mc Â.

Remark 9. It will be nice to get above that v coincides with the composite map
w
B →C −
→ A′ because then C could be chosen independently on v but depending
on g (clearly, C can be replaced for example by a polynomial algebra over C and so
it is not unique). This is possible in a special case (see Theorem 10).
2. A special case of Corollary 8
Let A be a discrete valuation ring, x a local parameter of A, A′ = Â its completion
and B = A[Y ]/I, Y = (Y1 , . . . , Yn ) a finite type A-algebra. If f = (f1 , . . . , fr ), r ≤ n
is a system of polynomials from I then we consider a r × r-minor M of the Jacobian
matrix (∂fi /∂Yj ). Let c ∈ N. Suppose that there exist an A-morphism v : B →
A′ /(x2c+1 ) and N ∈ ((f ) : I) such that v(NM) 6∈ (x)c /(x2c+1 ), where for simplicity
we write v(NM) instead v(NM +I). We may assume that M = det((∂fi /∂Yj )i,j∈[r]).
Theorem 10. Then there exists a B-algebra C which is smooth over A such that every A-morphism v ′ : B → A′ with v ′ ≡ v modulo x2c+1 (that is v ′ (Y ) ≡ v(Y ) modulo
x2c+1 ) factors through C.
Proof. We follow somehow the proof of [16, Theorem 3] given in a more general
assumptions. Since A/(x2c+1 ) ∼
= A′ /(x2c+1 ) we may choose y ′ ∈ An , such that
v(Y ) = y ′ + (x2c+1 ). Set P = NM and d = P (y ′). Multiplying N by a certain power
of x we may suppose that dA = xc A.
Let H be the n × n-matrix obtained adding down to (∂f /∂Y ) as a border the
block (0|Idn−r ) (we assume as above that M is given on the first r columns of the
Jacobian matrix). Let G′ be the adjoint matrix of H and G = NG′ . We have
GH = HG = NMIdn = P Idn
and so
dIdn = P (y ′)Idn = G(y ′ )H(y ′).
Let
h = Y − y ′ − dG(y ′))T,
where T = (T1 , . . . , Tn ) are new variables. Since
Y − y ′ ≡ dG(y ′)T modulo h
4

and
f (Y ) − f (y ′) ≡

X

∂f /∂Yj (y ′)(Yj − yj′ )

j

yj′

modulo higher order terms in Yj − by Taylor’s formula we see that we have
X
f (Y ) − f (y ′) ≡
d∂f /∂Yj (y ′ )Gj (y ′ )Tj + d2 Q =
j

dP (y ′)T + d2 Q = d2 (T + Q) modulo h,
where Q ∈ T 2 A[T ]r . This is because (∂f /∂Y )G = (P Idr |0). We have f (y ′) = d2 a
for some a ∈ xAr . Set gi = ai + Ti + Qi , i ∈ [r] and E = A[Y, T ]/(I, g, h). Clearly,
it holds d2 g ⊂ (f, h) and (f ) ⊂ (h, g) .
Note that U = (A[T ]/(g))s is smooth for some s ∈ 1 + (T ) because the r × rminor of the Jacobian matrix (∂g/∂T ) given by the first r columns has the form
det(Idr + (∂Qi /∂Tj )i,j∈[r]). In particular, U is flat over A and so d is regular in U.
We claim that Ess′ ∼
= Us′ for some s′ ∈ 1 + (x, T ). It will be enough to show that
I ⊂ (h, g)A[Y, T ]ss′ . We have P I ⊂ (f ) ⊂ (h, g) and so P (y ′ + dL)I ⊂ (h, g) where
L = G(y ′)T . But P (y ′ + dL) has the form ds′ for some s′ ∈ 1 + (d, T ). It follows
that s′ I ⊂ (h, g)A[Y, T ]s since d is regular in U and so I ⊂ (h, g)A[Y, T ]ss′ . Thus
C = Ess′ is a B-algebra smooth over A.
Remains to see that an arbitrary A-morphism v ′ : B → A′ with v ′ ≡ v modulo x2c+1
factors through C. We have v ′ (Y ) ≡ v(Y ) ≡ y ′ modulo x2c+1 and so there exists
ε ∈ xA′n such that v ′ (Y ) − y ′ = d2 ε. Then t := H(y ′)ε ∈ xA′n satisfies
G(y ′)t = P (y ′)ε = dε
and so
v ′ (Y ) − y ′ = dG(y ′)t,
that is h(v ′ (Y ), t) = 0. Note that d2 g(t) ∈ (h(v ′ (Y )), t), f (v ′(Y ))) = (0) and it
follows that g(t) = 0 since A′ is a domain. Thus v ′ factors through E, that is v ′
α
is a composite map B → E −
→ A′ , where α is a B-morphism given by T → t. As
α(s) ≡ 1 modulo x and α(s′ ) ≡ 1 modulo (x, t), t ∈ xA′ we see that α(s), α(s′) are
invertible because A′ is local and so α (thus v ′ ) factors through the standard smooth
A-algebra C.

Remark 11. In Theorem 10 always we get an A-morphism v ′′ : B → A′ such that
v ′′ ≡ v modulo m using a theorem of type Greenberg (see [9] and [16, Theorem 18])
but {v ′ ∈ HomA (B, A′ ) : v ′ ≡ v modulo x2c+1 } could be empty (here HomA (B, A′ )
denotes the set of all A-morphisms B → A′ ).
Corollary 12. In the assumptions and notations of the above theorem, let ρ :
B → C be the structural algebra map. Then ρ induces a bijection ρ∗ between {w ∈
HomA (C, A′ ) : wρ ≡ v modulo x2c+1 } and {v ′ ∈ HomA (B, A′ ) : v ′ ≡ v modulo x2c+1 }
given by ρ∗ (w) = wρ.
Proof. By the above theorem ρ∗ is surjective. Let w, w ′ ∈ HomA (C, A′ ) be such that
wρ = w ′ ρ ≡ v modulo x2c+1 . Since H(y ′)(Y − y ′ ) ≡ x2c T modulo h by construction
5

of E we get x2c (w(T ) − w ′(T )) = 0 and so w|E = w ′|E because A′ is a domain. It
follows w = w ′ .

Corollary 13. In the assumptions and notations of the above corollary, suppose
that there exists an A-morphism ṽ : B → A′ with ṽ ≡ v modulo x2c+1 . Then there
exists an unique A-morphism w̃ : C → A′ such that w̃ρ = ṽ.
For the proof take w̃ = ρ∗ −1 (ṽ), where ρ∗ is defined in the above corollary.
By a Grothendieck’s theorem [24, Theorem 2.5], C can be chosen of the form
(A[Z, V ]/(g))g′h , where Z = (Z1 , . . . , Zs ) and g ′ = ∂g/∂V .
Lemma 14. There exists a canonical bijection
A′s → {w ′ ∈ HomA (C, A′ ) : w ′ ≡ w̃ modulo x2c+1 }.
Proof. Let w ′ ∈ HomA (C, A′) be with w ′ ≡ w̃ modulo x2c+1 . We have
g(w ′(Z), w̃(V )) ≡ g(w̃(Z), w̃(V )) = 0 modulo x2c+1 ,
g ′ (w ′ (Z), w̃(V )) ≡ g ′(w̃(Z), w̃(V )) 6≡ 0 modulo x,
h(w ′ (Z), w̃(V )) ≡ h(w̃(Z), w̃(V )) 6≡ 0 modulo x.
Thus g(w ′(Z), V ) = 0 has an unique solution (namely w ′ (V )) in w̃(V ) + x2c+1 A′ by
the Implicit Function Theorem. It follows that the restriction
{w ′ ∈ HomA (C, A′) : w ′ ≡ w̃ modulo x2c+1 } →
{w ′′ ∈ HomA (A[Z], A′ ) : w ′′ ≡ w̃|A[Z] modulo x2c+1 }
is bijective.
On the other hand, the map
{w ′′ ∈ HomA (A[Z], A′ ) : w ′′ ≡ w̃|A[Z] modulo x2c+1 } → w̃(Z) + x2c+1 A′s
given by w ′′ → w ′′ (Z) is a bijection too. It follows that there exists a canonical
bijection between {w ′ ∈ HomA (C, A′) : w ′ ≡ w̃ modulo x2c+1 } and w̃(Z) + x2c+1 A′s ,
the last one being in bijection with A′s .

Theorem 15. In the assumptions and notations of Corollary 12 there exists a
canonical bijection
A′s → {v ′ ∈ HomA (B, A′ ) : v ′ ≡ v modulo x2c+1 }
for some s ∈ N.
For the proof apply Corollary 12 and the above lemma.
Let k be a field and F a finite type k-algebra, let us say F = k[U]/J, U =
(U1 , . . . , Un ). An arc Spec k[[x]] → Spec F (see [12]) is given by a k-morphism
F → A′ = k[[x]]. Assume that HF/k 6= 0 (this happens for example when F is
reduced and k is perfect). Set A = k[x](x) , B = A ⊗k F . Let f = (f1 , . . . , fr ), r ≤ n
be a system of polynomials from J and M a r × r-minor of the Jacobian matrix
(∂fi /∂Uj ). Let c ∈ N. Assume that there exist an A-morphism g : F → A′ /(x2c+1 )
and N ∈ ((f ) : J) such that g(NM) 6∈ (x)c /(x2c+1 ). Note that A ⊗k − induces a
bijection Homk (F, A′ ) → HomA (B, A′ ) by adjunction.
Corollary 16. The set {g ′ ∈ Homk (F, A′ ) : g ′ ≡ g modulo x2c+1 } is in bijection
with an affine space A′s over A′ for some s ∈ N.
6

3. An application of General Neron Desingularization to an
extension of Bass-Quillen Conjecture
Let R[T ], T = (T1 , . . . , Tn ) be a polynomial algebra in T over a Noetherian ring R.
A finitely generated projective R[T ]-module M is extended from R if there exists a
finitely generated projective R-module M ′ such that M ∼
= R[T ]⊗R M ′ . An extension
of Serre’s Problem proved by Quillen and Suslin is the following
Conjecture 17. (Bass-Quillen) If R is a regular ring then every finitely generated
projective module over R[T ] is extended from R.
If (R, m) is regular local ring then the above conjecture says that every finitely
generated projective module over R[T ] is free. For a possible proof it is enough to
consider only this case using the Quillen’s Patching Theorem [22, Theorem 1]. A
consequence of Theorem 2 is a partial answer to a question of Swan which was the
bases of the following theorem.
Theorem 18. (Popescu [19]) The Bass-Quillen Conjecture holds if R is a regular
local ring in one of the cases:
(1) R contains a field,
(2) the characteristic p of k is not in m2 ,
(3) R is excellent Henselian.
An interesting problem is to replace in the Bass-Quillen Conjecture the polynomial
algebra R[T ] by other R-algebras. A useful result in this idea is the following theorem
which we found too late to use it in [19].
Theorem 19. (Vorst [25]) Let A be a ring, A[X], X = (X1 , . . . , Xr ) a polynomial
algebra, I ⊂ A[X] a monomial ideal and B = A[X]/I. Then every finitely generated
projective B-module M is extended from a finitely generated projective A-module if
for all n ∈ N every finitely generated projective A[T ]-module, T = (T1 , . . . , Tn ) is
extended from a finitely generated projective A-module.
Using the above theorem and Corollary 18 we get the following theorem.
Theorem 20. Let R be a regular local ring in one of the cases of Theorem 18,
I ⊂ R[X], X = (X1 , . . . , Xr ) be a monomial ideal and B = R[X]/I. Then any
finitely generated projective B-module is free.
The Bass-Quillen Conjecture could also hold when R is not regular as shows the
following theorem.
Theorem 21. Let R be a regular local ring in one of the cases of Theorem 18,
I ⊂ R[X], X = (X1 , . . . , Xr ) be a monomial ideal and A = R[X]/I. Then every
finitely generated A[T ]-module, T = (T1 , . . . , Tn ) is free.
For the proof note that A[T ] is a factor of R[X, T ] by the monomial ideal IR[X, T ].
Remark 22. If I is not monomial above then the Bass-Quillen Conjecture may
fail for A. Indeed, if A = R[X1 , X2 ]/(X12 − X23 ) then there exist finitely generated
projective A[T ]-modules of rank one which are not free (see [11, (5.10)]).
7

Acknowledgment
The author would like to thank Herwig Hauser for suggesting the statement of
Theorem 3 and Guillaume Rond for talks on the proof of Theorem 10. The main
part of this paper was done within the special semester on Artin Approximation of
the Chaire Jean Morlet at CIRM, Luminy, spring 2015. Also the author owes thanks
to the members of the Luminy seminar organized by Hauser and Rond for several
discussions, and to a Referee who hinted a mistake in a earlier proof of Theorem 15.
References
[1] M. Andre, Cinq exposes sur la desingularisation, Handwritten manuscript Ecole Polytechnique
Federale de Lausanne, (1991).
[2] M. Artin, On the solutions of analytic equations, Invent. Math., 5, (1968), 277-291.
[3] M. Artin, Algebraic approximation of structures over complete local rings, Publ. Math. IHES,
36 (1969), 23-58.
[4] M. Artin, Constructions technques for algebraic spaces, Actes Congres. Intern. Math., t 1,
(1970), 419-423-291.
[5] M. Artin, Algebraic structure of power series rings, Contemp. Math. AMS, Providence,1982,
223-227.
[6] M. Artin, J. Denef, Smoothing of a ring homomorphism along a section, Arithmetic and
Geometry, vol. II, Birkhäuser, Boston, (1983), 5-32.
[7] M. Cipu, D. Popescu, A desingularization theorem of Neron type, Ann.Univ. Ferrara, 30
(1984), 63-76.
[8] W. Decker, G.-M. Greuel, G. Pfister, H. Schönemann: Singular 3-1-6 — A computer algebra
system for polynomial computations.http://www.singular.uni-kl.de (2012).
[9] M. Greenberg, Rational points in henselian discrete valuation rings, Publ. Math. IHES, 31,
(1966), 59-64.
[10] H. Kurke, T. Mostowski, G. Pfister, D. Popescu, M. Roczen, Die Approximationseigenschaft
lokaler Ringe, Springer Lect. Notes in Math., 634, Springer-Verlag, Berlin-New York, (1978).
[11] T. Y. Lam, Serre’s Conjecture, Springer Lect. Notes in Math., 635, Berlin, 1978.
[12] M. Lejeune-Jalabert, Courbes tracées sur un germe d’hypersurface, Amer. J. Math., 112
(1990), 525-568.
[13] A. Néron, Modeles minimaux des varietes abeliennes sur les corps locaux et globaux, Publ.
Math. IHES, 21, 1964.
[14] G. Pfister, D. Popescu, Die strenge Approximationseigenschaft lokaler Ringe, Inventiones
Math. 30, (1975),145-174.
[15] A. Ploski, Note on a theorem of M. Artin, Bull. Acad. Polon. des Sci., t. XXII, 11 (1974),
1107-1110.
[16] A. Popescu, D. Popescu, A method to compute the General Neron Desingularization in the
frame of one dimensional local domains, arXiv:AC/1508.05511.
[17] D. Popescu, General Neron Desingularization and approximation, Nagoya Math. J., 104
(1986), 85-115.
[18] D. Popescu, Letter to the Editor. General Neron Desingularization and approximation, Nagoya
Math. J., 118 (1990), 45-53.
[19] D. Popescu, Polynomial rings and their projective modules, Nagoya Math. J., 113, (1989),
121-128.
[20] D. Popescu, Variations on Néron desingularization, in: Sitzungsberichte der Berliner Mathematischen Gesselschaft, Berlin, 2001, 143-151.
[21] D. Popescu, Artin Approximation, in ”Handbook of Algebra”, vol. 2, Ed. M. Hazewinkel,
Elsevier, 2000, 321-355.
[22] D. Quillen, Projective modules over polynomial rings, Invent. Math., 36, (1976), 167-171.
8

[23] M. Spivakovski, A new proof of D. Popescu’s theorem on smoothing of ring homomorphisms,
J. Amer. Math. Soc., 294 (1999), 381-444.
[24] R. Swan, Neron-Popescu desingularization, in ”Algebra and Geometry”, Ed. M. Kang, International Press, Cambridge, (1998), 135-192.
[25] T. Vorst, The Serre Problem for discrete Hodge algebras, Math. Z., 184, (1983), 425-433.
Dorin Popescu, Simion Stoilow Institute of Mathematics , Research unit 5, University of Bucharest, P.O.Box 1-764, Bucharest 014700, Romania
E-mail address: dorin.popescu@imar.ro

9

