Skip to main content
2 of 2
broken link fixed, cf. https://meta.mathoverflow.net/q/5301/70594
Glorfindel
  • 2.8k
  • 6
  • 28
  • 38

It depends on what do you mean by "direct". There is no elementary proof, as far as I known, even for polynomials when $d=2$, see page 8 of this note. When $d=1$, the statement is an easy exercise: one can write $f_1= da, f_2=db$ with $(a,b) = R$ since $R$ is an UFD.

There are a few proofs of this very interesting theorem, analytic (the original one, over complex numbers), using duality theory (Lipman-Sathaye, for all regular rings) and reduction to characteristic $p$ + tight closure (Hochster-Huneke, when $R$ contains a field, see the note in the first paragraph for some exposition of this method) but I am not sure any of them can be called direct. Any new proof will be very exciting!

Hailong Dao
  • 30.5k
  • 5
  • 102
  • 188