 complete and has a perfect residue field. Then we just need to make sure that the conditions in \[rig1.1\] are satisfied. Since $\operatorname{pd}_R{^eR}<\infty$ if and only if $R$ is regular, and $F$ commutes with localization, we may conclude that $IPD(^eR)=\operatorname{Sing}(R)$. And it is known that $[^eR] = p^{e\dim R}[R]$ in $G(R)$ (this is actually non-trivial, see [@Ku1], the fact that $R$ is complete with perfect residue field is needed here). The second statement follows because if $\operatorname{Tor}_i^R(M,^eR)=0$ for some $i>0$, then by rigidity all the higher $\operatorname{Tor}$s vanish. Thus one of the two modules $M,^eR$ has to have finite projective dimension, and since $R$ is singular, it must be $M$.

**Torsion on tensor products.**\
In this part we shall apply our rigidity results to show that tensor products rarely have good depths:

\[vanishingiso\] Let $R$ be an admissible hypersurface with dimension $d\geq2$. Let $M,N$ be $R$-modules. Assume that:\
(1) $R$ has isolated singularity.\
(2) $M{\otimes}_RN$ is torsion-free.\
(3) $\operatorname{depth}_R M{\otimes}_RN \geq 2$.\
Then $\operatorname{Tor}_i^R(M,N)=0$ for $i\geq 1$.

Condition (1) makes sure that $\theta^R(M,N)$ is defined for any pair of modules $(M,N)$. We may assume that $M,N$ are torsion-free (This argument was basically in the proof of (2.4,\[HW1\]), we repeat it here for the reader’s convenience). Let $t(M)$ be the torsion part of $M$ and $\overline{M}=M/t(M)$. Tensoring the exact sequence : $$0 \to t(M) \to M \to \overline{M} \to 0$$ with $N$, we get: $$\xymatrix{ \operatorname{Tor}_1^R(\overline{M},N) \ar[r] &t
complete and has a perfect residue field. Then we barely necessitate to make sure that the conditions in \[rig1.1\ ] are quenched. Since $ \operatorname{pd}_R{^eR}<\infty$ if and only if $ R$ is regular, and $ F$ commutes with localization of function, we may reason that $ IPD(^eR)=\operatorname{Sing}(R)$. And it is known that $ [ ^eR ] = p^{e\dim R}[R]$ in $ G(R)$ (this is actually non - trivial, see [ @Ku1 ], the fact that $ R$ is complete with perfect residue playing field is needed here). The second statement follow because if $ \operatorname{Tor}_i^R(M,^eR)=0 $ for some $ i>0 $, then by rigidity all the higher $ \operatorname{Tor}$s vanish. Thus one of the two modules $ M,^eR$ has to have finite projective property, and since $ R$ is singular, it must be $ M$. 

 * * Torsion on tensor products.**\ 
 In this part we shall give our rigidity results to show that tensor products rarely experience good depths: 

 \[vanishingiso\ ] Let $ R$ be an admissible hypersurface with dimension $ d\geq2$. Let $ molarity, N$ be $ R$-modules. Assume that:\ 
 (1) $ R$ has isolated singularity.\ 
 (2) $ M{\otimes}_RN$ is torsion - free.\ 
 (3) $ \operatorname{depth}_R M{\otimes}_RN \geq 2$.\ 
 Then $ \operatorname{Tor}_i^R(M, N)=0 $ for $ i\geq 1$. 

 Condition (1) makes sure that $ \theta^R(M, N)$ is define for any couple of modules $ (M, N)$. We may assume that $ M, N$ are torsion - free (This argument was basically in the proof of (2.4,\[HW1\ ]), we repeat it here for the lector ’s public toilet). Let $ t(M)$ be the torsion part of $ M$ and $ \overline{M}=M / t(M)$. Tensoring the accurate succession: $ $ 0 \to t(M) \to M \to \overline{M } \to 0$$ with $ N$, we get: $ $ \xymatrix { \operatorname{Tor}_1^R(\overline{M},N) \ar[r ] & t
 colplete and has a perfect residue field. Jhwn we oust nesd to maye sure that the conditions mn \[rug1.1\] art satisfied. Since $\ooeratornale{pd}_R{^eR}<\ibfty$ uf and onlb if $R$ is regumwr, aud $F$ commutes wijh localizathon, we may conwljdz that $IPD(^eR)=\operatorname{Sing}(R)$. And it is knoen that $[^eR] = p^{e\dii R}[R]$ yn $G(D)$ (this is actually non-trivial, see [@Iu1], the hact that $R$ is vomplete with perfect resifue vield is needed hege). The secobd seqtement folluws becaust nf $\operatorhame{Tor}_i^R(M,^eR)=0$ for some $i>0$, then by rigibity all thg gihver $\operatocname{Tjr}$s vanish. Tmls one mf the ywo modules $M,^eV$ has to have finite projectite dimension, and sinse $R$ is shnyular, it must be $M$.

**Torwiin on tenvor oeodjcta.**\
Ii tgis pagt xe shall aplly our rigudity results to shpw nnat tensor pdoductf warely have good depths:

\[vanishingiso\] Let $R$ ge an admissible hypersyrface with dimension $d\geq2$. Let $M,N$ be $R$-modules. Assume that:\
(1) $R$ has isolated singuldrity.\
(2) $O{\otnnes}_RN$ us torsion-free.\
(3) $\operatorname{depth}_R M{\otimes}_RN \geq 2$.\
Fhtn $\pperatorname{Tov}_i^R(M,N)=0$ for $i\geq 1$.

Concihipg (1) makes sure that $\cgefa^R(M,N)$ is defined flr any kair od modules $(M,N)$. Ee may assume that $M,N$ are tirsion-free (Tkis argument was basieally in the propf of (2.4,\[HW1\]), we repeat it here fur tge reader’s fonveniendd). Let $t(M)$ be the gorximn part of $M$ and $\overline{M}=I/t(M)$. Tensocing che exacg seauence : $$0 \to t(M) \tl M \to \overline{M} \to 0$$ witj $N$, wg get: $$\fymatrix{ \ooeratorname{Tor}_1^R(\overline{M},N) \ar[r] &t
complete and has a perfect residue field. just to make that the conditions $\operatorname{pd}_R{^eR}<\infty$ and only if is regular, and commutes with localization, we may conclude $IPD(^eR)=\operatorname{Sing}(R)$. And it is known that $[^eR] = p^{e\dim R}[R]$ in $G(R)$ (this actually non-trivial, see [@Ku1], the fact that $R$ is complete with perfect residue is here). second follows because if $\operatorname{Tor}_i^R(M,^eR)=0$ for some $i>0$, then by rigidity all the higher $\operatorname{Tor}$s vanish. Thus of the two modules $M,^eR$ has to have projective dimension, and since is singular, it must be **Torsion tensor products.**\ this we apply our rigidity to show that tensor products rarely have good depths: \[vanishingiso\] Let $R$ be an admissible hypersurface with $d\geq2$. Let $R$-modules. Assume (1) has singularity.\ (2) $M{\otimes}_RN$ (3) $\operatorname{depth}_R M{\otimes}_RN \geq 2$.\ Then 1$. Condition (1) makes sure that $\theta^R(M,N)$ is for any of modules $(M,N)$. We may assume $M,N$ are torsion-free (This argument was basically in proof of (2.4,\[HW1\]), we repeat it here for the reader’s convenience). Let $t(M)$ be the of $M$ and $\overline{M}=M/t(M)$. the exact sequence $$0 t(M) M \overline{M} \to with $N$, we get: $$\xymatrix{ \operatorname{Tor}_1^R(\overline{M},N) \ar[r] &t
 complete and has a perfect resIdue field. THen we JusT neEd To maKe suRe that the condiTIons In \[rig1.1\] are satisfied. Since $\OperaToRName{PD}_R{^ER}<\infTy$ if and ONlY IF $R$ iS rEgUlaR, aND $F$ CommuTes With locAlization, wE maY cOnclude that $Ipd(^er)=\operatornAme{sing}(R)$. And it is KnoWn that $[^ER] = P^{e\dIM R}[R]$ in $g(R)$ (tHis is ActualLY non-trIvial, see [@KU1], tHE fact tHAt $R$ is coMPLeTe wiTh perfect residue fIElD Is needed here). ThE seconD sTAtEMEnt FolLows becausE iF $\operATorname{tOr}_I^r(m,^ER)=0$ fOR some $i>0$, then by rIgidity all tHE hiGher $\opErAtoRName{ToR}$s vanIsH. thuS one of the twO modUles $M,^eR$ haS to havE Finite pROjectivE dimenSioN, anD sinCE $R$ Is SinGuLAr, iT MuSt bE $m$.

**ToRsion on tEnSoR prodUcts.**\
iN THIs paRt wE shaLl appLy our rigidity ResUlts TO shOw thaT tensOr prOdUcts rArely hAve goOd Depths:

\[vanishingIso\] LEt $R$ be an adMisSiBle HyPersuRFace wiTh dImeNsion $d\gEq2$. Let $M,N$ BE $R$-mOdULES. ASsume that:\
(1) $R$ has isolaTeD SInGularity.\
(2) $m{\otimeS}_rN$ Is TOrsion-frEe.\
(3) $\OpeRatoRNAme{dePth}_R m{\OtImes}_RN \geQ 2$.\
Then $\oPErAtOrname{TOr}_I^R(M,N)=0$ foR $i\Geq 1$.

conDitioN (1) MakeS sure tHat $\theta^r(M,N)$ is DEfined for any paIR of modules $(M,N)$. WE MaY ASsUMe thAt $M,n$ are torsion-Free (tHis aRgumENt Was BAsicaLly in ThE PrOOf of (2.4,\[HW1\]), we repeat it herE fOr the rEader’S convenience). LEt $t(M)$ be the tORSIon part oF $M$ anD $\OvERline{M}=M/t(M)$. TensoRing tHe exact seqUEnce : $$0 \to t(M) \To M \to \Overline{m} \to 0$$ with $N$, wE GEt: $$\xymatrIx{ \oPerAtoRnaME{toR}_1^R(\overline{M},N) \aR[R] &T
 complete and has a perfec t residuefield . T hen  w e ju st n eed to make su r e th at the conditions in \ [rig1 .1 \ ] ar e  s atisf ied. Si n ce $ \op er at orn am e {p d}_R{ ^eR }<\inft y$ if andonl yif $R$ is re g ul ar, and $F $ c ommutes with  lo caliza ti on, we ma y c onclu de tha t  $IPD( ^eR)=\ope ra t orname { Sing}(R ) $ .Andit is known that$ [^ e R] = p^{e\dimR}[R]$  i n  $ G ( R)$  (t his is act ua lly n o n-trivi a l, s e e [ @ Ku1], the fac t that $R$i s c omplet ewit h  perfe ct re si d uefield is ne eded  here). T he sec o nd stat e ment fo llowsbec aus e if $\ op era to r nam e {T or} _ i^R (M,^eR)= 0$  f or so me $ i > 0 $ , th enby r igidi ty all the hi ghe r $\ o per atorn ame{T or}$ svanis h. Thu s one  o f the two modul es $ M,^eR$ ha s t ohav efinit e  proje cti vedimensi on, and sin ce $ R $is singular, it mu st b e$M$.

** Torsio n  o nt ensor pr od uct s.** \ In th is p a rt  we shal l appl y  o ur  rigidi ty  resul ts  to  sh ow th a t te nsor p roductsrarel y  have good dep t hs:

\[vanish i ng i s o\ ]  Let  $R $ be an adm issi b le h yper s ur fac e  with  dime ns i on $d\geq2$. Let $M,N$  b e $R$- modul es. Assume th at:\
(1) $ R $ has isol ated si n gularity.\
(2)  $M{\ otimes}_RN $  is tors ion-f ree.\
(3 ) $\opera t o rname{de pth }_R  M{ \ot i m es }_RN \geq 2$. \ Then  $ \operat orn ame{Tor }_i ^R( M,N )=0 $for $i\ge q 1$.

C on di ti on  (1 ) mak e s sure t ha t $ \t het a^R(M , N)$ is  defi nedfo ra nypair of mo d u les$( M, N)$.  We  m ay as sume tha t $M,N$  are tors ion - free  ( Th is argu ment was basi ca lly in the  p roo f of ( 2 . 4,\[HW1\ ]), we repeat it here f o r the r ead er’sconv enience).  Le t $t(M )$b e thetorsio n par tof$ M $ and $ \o ver li ne{M}=M/t( M ) $.Tenso ri ng t he exac t sequence : $$0 \ t o t (M) \to M \to  \o verl i n e{ M}\ to 0$$  w i th$ N $, we get: $$\x ymatrix{ \ op e ra torname{To r }_1 ^R (\overl ine{M}, N) \a r [r] &t
 complete_and has_a perfect residue field._Then we_just_need to_make_sure that the_conditions in \[rig1.1\]_are satisfied. Since $\operatorname{pd}_R{^eR}<\infty$_if and only_if_$R$ is regular, and $F$ commutes with localization, we may conclude that $IPD(^eR)=\operatorname{Sing}(R)$. And_it_is known_that_$[^eR]_= p^{e\dim R}[R]$ in $G(R)$_(this is actually non-trivial, see_[@Ku1], the_fact that $R$ is complete with perfect residue_field_is needed here)._The second statement follows because if $\operatorname{Tor}_i^R(M,^eR)=0$ for some_$i>0$, then by rigidity all the_higher $\operatorname{Tor}$s vanish._Thus_one_of the two modules_$M,^eR$ has to have finite projective_dimension, and since $R$ is singular,_it must be $M$.

**Torsion on tensor products.**\
In_this part we shall apply our_rigidity results to show that_tensor products_rarely have good depths:

\[vanishingiso\] Let_$R$ be an_admissible hypersurface_with dimension $d\geq2$._Let $M,N$ be $R$-modules. Assume that:\
(1)_$R$ has isolated_singularity.\
(2) $M{\otimes}_RN$ is torsion-free.\
(3) $\operatorname{depth}_R M{\otimes}_RN_\geq_2$.\
Then $\operatorname{Tor}_i^R(M,N)=0$ for_$i\geq_1$.

Condition_(1) makes_sure that $\theta^R(M,N)$_is_defined for_any_pair of modules $(M,N)$. We may_assume_that $M,N$ are torsion-free (This argument was_basically in the proof_of_(2.4,\[HW1\]), we repeat it_here for the reader’s convenience)._Let $t(M)$ be the torsion part_of $M$_and $\overline{M}=M/t(M)$._Tensoring the exact sequence : $$0 \to t(M) \to M \to_\overline{M} \to 0$$ with $N$, we_get: $$\xymatrix{ \operatorname{Tor}_1^R(\overline{M},N) \ar[r]_&t