Submitted exclusively to the London Mathematical Society DOI: S0000000000000000

Description

Submitted exclusively to the London Mathematical Society DOI: 10.1112/S000000 ON SMOOTH MAPS WITH FINITELY MANY CRITICAL POINTS DORIN ANDRICA and LOUIS FUNAR Abstract We compute the minimum number of critical points of a small codimension smooth map between two manifolds. We give as well some partial results for the case of higher codimension when the manifolds are spheres. 1. Introduction If M,N are manifolds, possibly with boundary, consider maps f : M ? N with ∂M = f?1(∂N) such that f has no critical points on ∂M . Denote by ?(M,N) the minimal number of critical points of such maps. The reader may consult the survey [3] for an account of various features of this invariant (see also [24]). Most of the previously known results consist of sufficient conditions on M and N ensuring that ?(M,N) is infinite. The aim of this note is to find when non-trivial ?(Mm, Nn) can occur if the dimensions m and n of Mm and respectively Nn, satisfy m ≥ n ≥ 2. Non-trivial means here finite and non-zero. Our main result is the following: Theorem 1.1. Assume that Mm, Nn are compact orientable manifolds and ?(Mm, Nn) is finite, where 0 ≤ m? n ≤ 3 and (m,n) 6? {(2, 2), (4, 3), (4, 2), (5, 3), (5, 2

• points must


• sn?1 ?


• ?? ? ?


• has only


• finitely many critical


• local diffeomorphism onto


• then ?


• riemann surface

Sujets

• London
• Okane ga nai
• Riemann surface

Informations

• Publié par: pefav
• Nombre de lectures: 44
• Langue: English

Extrait

SubmittedexclusivelytotheLondonMathematicalSociety DOI:10.1112/S0000000000000000 ONSMOOTHMAPSWITHFINITELYMANYCRITICAL POINTS DORINANDRICA and LOUISFUNAR Abstract Wecomputetheminimumnumberofcriticalpointsofasmallcodimensionsmoothmapbetween twomanifolds.Wegiveaswellsomepartialresultsforthecaseofhighercodimensionwhenthe manifoldsarespheres. 1.Introduction IfM,Naremanifolds,possiblywithboundary,considermapsf:M→Nwith ∂M=f −1 (∂N)suchthatfhasnocriticalpointson∂M.Denotebyϕ(M,N)the minimalnumberofcriticalpointsofsuchmaps.Thereadermayconsultthesurvey [ 3 ]foranaccountofvariousfeaturesofthisinvariant(seealso[ 24 ]).Mostofthe previouslyknownresultsconsistofsufficientconditionson M and N ensuringthat ϕ ( M,N )isinfinite. Theaimofthisnoteistofindwhennon-trivial ϕ ( M m ,N n )canoccurifthe dimensions m and n of M m andrespectively N n ,satisfy m ≥ n ≥2.Non-trivial meansherefiniteandnon-zero.Ourmainresultisthefollowing: Theorem1.1.AssumethatM m ,N n arecompactorientablemanifoldsand ϕ(M m ,N n )isfinite,where0≤m−n≤3and(m,n)6∈{(2,2),(4,3),(4,2),(5,3), (5,2),(6,3),(8,5)}.Ifm−n=3wealsoassumethatthePoincare´conjecturein dimension3holdstrue. Thenϕ(M m ,N n )∈{0,1}andϕ(M m ,N n )=1preciselywhenthefollowingtwo conditionsarefulfilled: (i) M m isdiffeomorphictotheconnectedsum N b ] Σ m ,whereΣ m isanexotic sphereandN b isam-manifoldwhichfibersoverN n . (ii)M m doesnotfiberoverN n . Proof.Thestatementisaconsequenceofpropositions3.1,4.1and5.1. Remark1.1. (i)Thesecondconditionisnecessary,ingeneral.Thereexistexamplesofcon- nectedsums N b ] Σ m whichfiberover N ,yettheyarenotdiffeomorphicto non-diffeomorphicfibrationsover S 4 withfiber S 3 . N b .Infact,theexotic7-spheresconstructedbyMilnorin[ 20 ]arepairwise (ii)However,ifthecodimensionm−niszerowebelievethatthesecondcon- ditionisredundanti.e.if M m isdiffeomorphicto N b ] Σ m and M m isnot 2000 MathematicsSubjectClassification 57R45,58K05,57R60,57R70. PartiallysupportedbytheEuropeanResearchTrainingNetworkGeometricAnalysis.