André–Quillen homology of algebra retracts

Abstract: Given a homomorphism of commutative noetherian rings

p h i : R o S

, Daniel Quillen conjectured in 1970 that if the Andre-Quillen homology functors

D_{n} (S | R, -)

vanish for all

n g g 0

, then they vanish for all

n g e 3

. We prove the conjecture under the additional hypothesis that there exists a homomorphism of rings

p s i : S o R

such that

p h i c i r c p s i = i d_{S}

. More precisely, in this case we show that

p s i

is complete intersection at

p h i^{- 1} (f n)

for every prime ideal

f n

of

S

. Using these results, we describe all algebra retracts

S o R o S

for which the

S

-algebra

T o r^{R} (S, S)

is finitely generated.

Recommendations

Cites work

Cited in

(11)

This page was built for publication: André–Quillen homology of algebra retracts