rigid, for every $N>4$. We use our results to give an easy and uniform proof of birational superrigidity for arbitrary smooth hypersurfaces of degree $N$ in $\P^N$ when $N$ is small.

\[thm3\_introd\] If $X\subset{\mathbb P}^N$ is a smooth hypersurface of degree $N$, and if $4\leq N\leq 12$, then $X$ is birationally superrigid.

Based on previous ideas of Corti, Pukhlikov proposed in [@Pu1] a proof of the birational rigidity of every smooth hypersurface of degree $N$ in $\P^N$, for $N\geq 6$. Unfortunately, at the moment there is a gap in his arguments (see Remark \[gap\] below). Despite this gap, the proof proposed in [@Pu1] contains many remarkable ideas, and it seems likely that a complete proof could be obtained in the future along those lines. In fact, the outline of the proof of Theorem \[thm3\_introd\] follows his method, and our contribution is mainly to simplifying and solidifying his argument.

Acknowledgements {#acknowledgements.unnumbered}
----------------

We are grateful to Steve Kleiman and Rob Lazarsfeld for useful discussions. Research of the first author was partially supported by MURST of Italian Government, National Research Project (Cofin 2000) “Geometry of Algebraic Varieties”. Research of the second author was partially supported by NSF Grant DMS 02-00278. The third author served as a Clay Mathematics Institute Long-Term Prize Fellow while this research has been done.

Singularities of log pairs under projections
============================================

Let $X$ be a smooth algebraic variety, defined over an algebraically closed field of characteristic zero, and let $V \subset X$ be a proper subscheme. For any rational number $c > 0$, we can consider the pair $(X,c\. V)$. The usual definitions in the theory of singularities of pairs, for which we refer to [@Ko], extend to this context. In particular, we say that an irreducible subvariety $C \subset X$ is a center of non log canonicity (resp. non log terminality, non canonicity, non terminality) for $(X,c\. V)$ if there is at least one divisorial valuation of $K(X)$, with
rigid, for every $ N>4$. We use our results to give an comfortable and consistent proof of birational superrigidity for arbitrary smooth hypersurfaces of academic degree $ N$ in $ \P^N$ when $ N$ is small. 

 \[thm3\_introd\ ] If $ X\subset{\mathbb P}^N$ is a placid hypersurface of degree $ N$, and if $ 4\leq N\leq 12 $, then $ X$ is birationally superrigid. 

 Based on former estimate of Corti, Pukhlikov proposed in [ @Pu1 ] a validation of the birational inflexibility of every smooth hypersurface of degree $ N$ in $ \P^N$, for $ N\geq 6$. Unfortunately, at the consequence there is a gap in his arguments (determine Remark   \[gap\ ] below). Despite this gap, the proof proposed in [ @Pu1 ] contains many noteworthy ideas, and it seems likely that a arrant proof could be obtained in the future along those line. In fact, the outline of the proof of Theorem   \[thm3\_introd\ ] come his method, and our contribution is mainly to simplifying and solidifying his argument. 

 recognition { # acknowledgements.unnumbered } 
 ---------------- 

 We are grateful to Steve Kleiman and Rob Lazarsfeld for useful discussions. Research of the first author was partially supported by MURST of Italian Government, National Research Project (Cofin 2000) “ Geometry of Algebraic Varieties ”. Research of the second author was partially supported by NSF   Grant DMS   02 - 00278. The third author served as a Clay Mathematics Institute Long - Term Prize Fellow while this research has been done. 

 Singularities of log pairs under projections 
 = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = 

 Let $ X$ be a politic algebraic variety, defined over an algebraically close sphere of characteristic zero, and let $ V \subset X$ be a proper subscheme. For any rational number $ c > 0 $, we can consider the pair $ (ten, c\. V)$. The usual definitions in the theory of singularities of pairs, for which we refer to [ @Ko ], cover to this context. In particular, we say that an irreducible subvariety $ C \subset X$ is a center of non log canonicity (resp. non log terminality, non canonicity, non terminality) for $ (X, c\. V)$ if there cost at least one divisorial valuation of $ K(X)$, with
rigld, for every $N>4$. We use ouv results to givg qn easb and uhiform pfoof of birational superrigivity for qrbitrary smooth hyperrurfaces lf degrew $N$ mn $\P^N$ when $N$ is small.

\[thm3\_lutrod\] Lf $X\sbbwet{\mathbb P}^N$ ix a smooth hypersurface mf dzgree $N$, and if $4\leq N\leq 12$, then $X$ is byrationslpy superrigid.

Bwsed jn pdvvlous ideas of Corti, Pukhlikov prkposed pn [@Pu1] a proof of yhe birational rigidity of evegy smooth hypersurvace of degtse $G$ in $\P^N$, for $N\eeq 6$. Unforuuuately, at tge moment there is a gap in his argukents (see Tznarn \[cap\] below). Dxspite this gap, thc proof proposrd in [@Pu1] contalns meny eemarkable ideas, and mt seems likely that a complede proof could be ovtqined in dhe wytufe zlpnf thosf lmnes. In facf, the outlibe of the proof of Uhejgrm \[thm3\_introd\] rollowf ris method, and our contribution is mainny fo simplifying and solieifying his argument.

Afknowledgqments {#acknowledgements.unnumbered}
----------------

We are grateful do Stxvd Koelman qnf Rob Lazarsfeld for useful discussions. Reseawdh on the first authjr was partoaplu supported by MURST of Italian Governmenh, Natiogal Rwsearch Pwojevt (Cofin 2000) “Geometry of Algebeaic Varietivs”. Rwsearch of the seclnd author cas pattiallu supported by NSF Grant DMS 02-00278. The third wuthor sedxed as a Clay Maghekadics Insuktute Long-Term Pryze Fellox whike this resgarch hws been doje.

Sinnglarities of log pwirs onder [rojectiond
============================================

Let $X$ be a smooth algebraic vacmety, defined pvar dn algebxaicalky closed fiejd of charactetistic zexo, and let $V \subaet X$ bx a proper stbscheme. For djy rational iumber $c > 0$, we can considdf the pair $(X,c\. F)$. The usucj dedinitions in the tmeory kf singularitiew od pairs, for whivh de wevec to [@Hm], extend to dhis covyext. Kn particulcr, we xay that an irreducitle aubvariety $C \subsey W$ is a cebter of gon log canonocity (resp. non log termmnalitb, non vanjnicity, non terminality) for $(X,c\. V)$ if thege ls at least oge dlvisjrial valuction of $K(X)$, with
rigid, for every $N>4$. We use our give easy and proof of birational of $N$ in $\P^N$ $N$ is small. If $X\subset{\mathbb P}^N$ is a smooth of degree $N$, and if $4\leq N\leq 12$, then $X$ is birationally superrigid. on previous ideas of Corti, Pukhlikov proposed in [@Pu1] a proof of the rigidity every hypersurface degree $N$ in $\P^N$, for $N\geq 6$. Unfortunately, at the moment there is a gap in arguments (see Remark \[gap\] below). Despite this gap, proof proposed in [@Pu1] many remarkable ideas, and it likely a complete could obtained the future along lines. In fact, the outline of the proof of Theorem \[thm3\_introd\] follows his method, and our contribution mainly to solidifying his Acknowledgements ---------------- are grateful to and Rob Lazarsfeld for useful discussions. first author was partially supported by MURST of Government, National Project (Cofin 2000) “Geometry of Algebraic Research of the second author was partially supported NSF Grant DMS 02-00278. The third author served as a Clay Mathematics Institute Long-Term Prize this research has been Singularities of log under ============================================ $X$ a smooth variety, defined over an algebraically closed field of characteristic zero, and $V \subset X$ be a proper subscheme. For any rational > we can consider pair $(X,c\. V)$. The definitions the theory of singularities for we extend this In particular, we say an irreducible subvariety $C \subset is a center of log terminality, non canonicity, non terminality) for $(X,c\. if there is at least one divisorial of $K(X)$, with
rigid, for every $N>4$. We use our resUlts to give An easY anD unIfOrm pRoof Of birational suPErriGidity for arbitrary smooTh hypErSUrfaCEs Of degRee $N$ in $\P^n$ WhEN $n$ is SmAlL.

\[thM3\_iNTrOd\] If $X\SubSet{\mathBb P}^N$ is a smoOth HyPersurface of DEgRee $N$, and if $4\lEq N\Leq 12$, then $X$ is biRatIonallY sUpeRRigid.

basEd on pReviouS Ideas oF Corti, PukHlIKov proPOsed in [@PU1] A PrOof oF the birational rigIDiTY of every smooth HypersUrFAcE OF deGreE $N$ in $\P^N$, for $N\GeQ 6$. UnfoRTunatelY, At THE MomENt there is a gap In his argumeNTs (sEe RemaRk \[Gap\] BElow). DeSpite ThIS gaP, the proof prOposEd in [@Pu1] conTains mANy remarKAble ideAs, and iT seEms LikeLY tHaT a cOmPLetE PrOof COulD be obtaiNeD iN the fUturE ALONg thOse LineS. In faCt, the outline oF thE proOF of theorEm \[thm3\_IntrOd\] FolloWs his mEthod, AnD our contributioN is mAinly to siMplIfYinG aNd solIDifyinG hiS arGument.

ACknowleDGemEnTS {#ACkNowledgements.unnumBeRED}
----------------

WE are gratEful to sTeVe kLeiman anD ROb LAzarSFEld foR useFUl DiscussiOns. ResEArCh Of the fiRsT authoR wAs pArtIally SUppoRted by mURST of ITaliaN government, NatiONal Research PrOJeCT (coFIn 2000) “GeOmeTry of AlgebrAic VARietIes”. RESeArcH Of the SeconD aUThOR was partially supporTeD by NSF grant dMS 02-00278. The third auThor served AS A clay MathEmatICs iNstitute Long-TeRm PriZe Fellow whILe this reSearcH has been Done.

SinguLARities of Log PaiRs uNdeR PRoJections
============================================

Let $X$ bE A SmooTh AlgebraIc vAriety, dEfiNed OveR an AlGebraicalLy closed FiElD oF cHarActerIStic zero, AnD leT $V \SubSet X$ bE A propeR subsChemE. FOr ANy rAtional NUmBER $c > 0$, we CaN cOnsiDer ThE pair $(x,c\. V)$. THE usUal defiNitions in The THeorY oF sIngularIties of pairs, fOr Which we refEr To [@KO], extenD TO this conText. In particular, we say thAT an irreDucIble sUbvaRiety $C \subSet x$ is a ceNteR Of non lOg canoNicitY (rEsp. NON log tERMiNalItY, non canoniCITy, nOn terMiNaliTy) for $(X,c\. v)$ if there is at least oNE diVisorial valuaTioN of $K(x)$, WItH
rigid, for every $N>4$. We  use our r esult s t o g iv e an  eas y and uniformp roof  of birational superri gidit yf or a r bi trary  smooth hy p e rsu rf ac esof de gree$N$  in $\P ^N$ when $ N$is  small.

\[t h m3 \_introd\]  If  $X\subset{\ mat hbb P} ^N $ i s  a sm oot h hyp ersurf a ce ofdegree $N $, and if $4\leqN \ le q 12 $, then $X$ is bi r at i onally superri gid.
Ba s ed o n p rev ious ideas  o f Cor t i, Pukh l ik o v pro p osed in [@Pu1 ] a proof o f  th e bira ti ona l  rigid ity o fe ver y smooth hy pers urface of  degre e  $N$ in $\P^N$,  for $ N\g eq6$.U nf or tun at e ly, at  th e  mo ment the re  i s a g ap i n h i s ar gum ents  (see  Remark \[gap \]belo w ).Despi te th is g ap , the  proof  prop os ed in [@Pu1] co ntai ns many r ema rk abl eideas ,  and i t s eem s likel y thata  co mp l e t eproof could be obt ai n e din the f uturea lo ng those li ne s.In f a c t, th e ou t li ne of th e proo f  o fTheorem  \ [thm3\ _i ntr od\ ] fol l owshis me thod, an d our contribution i s  mainly to si m pl i f yi n g an d s olidifyinghisa rgum ent. 
A ckn o wledg ement s{ #a c knowledgements.unnu mb ered}----- -----------
We are gra t e f ul to St eveK le i man and Rob La zarsf eld for us e ful disc ussio ns. Rese arch of t h e  first a uth orwas  pa r t ia lly supported b y MU RS T of It ali an Gove rnm ent , N ati on al Resear ch Proje ct  ( Co fi n 2 000)“ Geometry  o f A lg ebr aic V a rietie s”. R esea rc ho f t he seco n da u thor  w as  par tia ll y sup port e d b y NSF G rant DMS02- 0 0278 .Th e third  author serve das a ClayMa the matics I nstitute  Long-Term Prize Fellow while t his  rese arch  has been  do ne.

S ing u lariti es oflog p ai rsu n der p r o je cti on s
======== = = === ===== == ==== ======= =============

Let $X$  be a smoothalg ebra i c  v ari e ty ,  de fi n edo v er an algebraic ally close df ie ld of char a cte ri stic ze ro, and  let$ V \subs et X$ bea propersu bsch e m e.For any ra tional n umber $c>  0$,w ecan c ons ider t he  pa ir $( X,c\.V )$.  Theusualde finiti ons i nthe theo ry of singularities ofpairs,  forwhi ch we ref ert o [ @Ko], ext endto this co nte xt.  In p art i cular , we sa y t h at an  irr e ducible s u bv ari e t y$C \subsetX $ isa cen ter of non  log  canonicity (resp .  non log termi nali t y , n onc anon ic ity, non termi nal it y )  for $(X ,c \. V)$ if t here isat least  one d ivisor ial val u a ti o n of $ K(X) $,with
rigid, for_every $N>4$._We use our results_to give_an_easy and_uniform_proof of birational_superrigidity for arbitrary_smooth hypersurfaces of degree_$N$ in $\P^N$_when_$N$ is small.

\[thm3\_introd\] If $X\subset{\mathbb P}^N$ is a smooth hypersurface of degree $N$, and_if_$4\leq N\leq_12$,_then_$X$ is birationally superrigid.

Based on_previous ideas of Corti, Pukhlikov_proposed in_[@Pu1] a proof of the birational rigidity of_every_smooth hypersurface of_degree $N$ in $\P^N$, for $N\geq 6$. Unfortunately, at_the moment there is a gap_in his arguments_(see_Remark \[gap\]_below). Despite this gap,_the proof proposed in [@Pu1] contains_many remarkable ideas, and it seems_likely that a complete proof could be_obtained in the future along those_lines. In fact, the outline_of the_proof of Theorem \[thm3\_introd\] follows his_method, and our_contribution is_mainly to simplifying_and solidifying his argument.

Acknowledgements {#acknowledgements.unnumbered}
----------------

We are_grateful to Steve_Kleiman and Rob Lazarsfeld for useful_discussions._Research of the_first_author_was partially_supported by MURST_of_Italian Government,_National_Research Project (Cofin 2000) “Geometry of_Algebraic_Varieties”. Research of the second author was_partially supported by NSF Grant_DMS 02-00278._The third author served_as a Clay Mathematics Institute_Long-Term Prize Fellow while this research_has been_done.

Singularities of_log pairs under projections
============================================

Let $X$ be a smooth algebraic variety, defined_over an algebraically closed field of_characteristic zero, and let_$V \subset_X$_be a proper_subscheme._For any_rational number $c > 0$, we can_consider the_pair $(X,c\. V)$. The usual definitions_in the theory of_singularities_of pairs, for which we refer_to [@Ko], extend to this context._In particular, we say that_an_irreducible_subvariety $C \subset X$ is_a center of non log canonicity_(resp. non log_terminality, non canonicity, non terminality) for $(X,c\._V)$_if there is at least one_divisorial_valuation of $K(X)$, with