On Computing Thom Polynomials
CEU eTD Collection eateto ahmtc n t Applications its and Mathematics of Department ncmuigTo polynomials Thom computing On nprilfllmn fterequirements the of fulfillment partial In eta uoenUiest,Budapest University, European Central o h ereo otro Philosophy of Doctor of degree the for uevsr L´aszl´oSupervisor: Feh´er uaet Hungary Budapest, Bal´azs K˝om˝uves umte to Submitted 2010 CEU eTD Collection CEU eTD Collection n egv e omlefrteTo oyoil fsm second some of polynomials singularities. Thom Thom-Boardman the order for formulae new classes; give Thom-Boardman we to to and construction related basic spaces geometric moduli new and some a compactify singularities present we contact series; connection for hypergeometric a formulae discover un- we localization previously particular, some between In methods of polynomials. new calculations Thom both explicit known contribute and we calculate computations, work, explicitly can this of we In where examples polynomials. ago, few years these a 50 only than still more are Thom there by observed was phenomenon above oil hc nydpnso h iglrt n h dimensions, the and the singularity called the polyno- on is poly- a multivariate depends as This only expressed map. which the be nomial, of can classes singularity characteristic the given manifold of source a mial the has in the map locus that a the) known of where well (closure ex- is the It simplest of class degenerate. the cohomology being manifolds; differential analytic) the is (or behaviour ample local smooth of between type maps a of means “singularity” A Thom-Boardman particular classes. in singularity maps, of singularities of polynomials h ujc atro hstei stecmuaino Thom of computation the is thesis this of matter subject The hmpolynomial Thom Abstract ftesnuaiy vntog the though Even singularity. the of CEU eTD Collection hpe .Lclzto fTo oyoil 22 Σ - order Second 4. 17 Chapter vi polynomials viii Thom of Localization 3. Chapter 10 theory singularity on Primer 2. Chapter formula Thom-Porteous The - order First 1. Chapter conventions and Notations Introduction ..Cmiaois61 43 56 46 41 57 40 43 31 30 Σ 28 for 26 coefficients The Σ for coefficients 4.5.2. The 4.5.1. Combinatorics coefficients the for formulae 4.5. Explicit formula 20 17 localization 4.4. The singularities compactifications 4.3.3. Thom-Boardman The 22 for 21 model probe 4.3.2. The 18 4.3.1. Localization formula 4.3. Ronga’s definitions different the 4.2. of Equivalence 16 4.1. 14 13 3.4.3. Σ 3.4.2. Σ viii computations analytic 3.4.1. Some 12 approach algorithmic 3.4. An ix specialization 3.3.1. Principal trick substitution 3.3. The singularities contact for 3.2. Localization 3.1. 10 polynomials Thom Known polynomials 2.3.1. Thom classes 2.3. Thom-Boardman viii 2.2. Singularities 2.1. Gr¨obner degeneration equations 1.5. Restriction 1.4. localization Equivariant stability resolution and 1.3. embedded polynomial Porteous’ Thom the of 1.2. Existence 1.1. notations various of list A classes characteristic and functions 3. Symmetric 2. Partitions 1. A 2 1 2 , , Σ , III A 11 1 2 , 2 ij al fContents of Table 22 i, 1 iv 40 64 36 32 32 61 CEU eTD Collection ilorpy95 80 Bibliography Appendix hpe .Tidodr- order Third 5. Chapter ..Psfradfrua 88 93 80 82 85 series hypergeometric Basic A.5. formulae Pushforward classes cohomology equivariant of A.4. Localization polynomials symmetric A.3. for Formulae A.2. differentials Multivariate A.1. ..Mrnsnuaiis70 The singularities 5.2.1. Σ Morin for model probe 5.2. The 5.1. A 3 iglrt 74 singularity A 3 ijk 68 68 v CEU eTD Collection sn optr;adta stesbetmte hstei otiue o ihbt new both with to, contributes thesis the even this and hard, matter examples still subject methods. concrete the are new both is and computations formulae that about explicit and However more computers; much polynomials. using know Szenes, Thom now Rim´anyi, A. we behind R. others, structures Pragacz, N´emethi, and P. A. author, Kazarian, the Feh´er, M. L. Buch, B´erczi, A. still we course, (when of seek coefficients; we formulae. Furthermore, these (closed) compute combinatorics. prefer to rich are methods very coefficients have effective computationally they the that possible) compact, evidence relatively some unique, is elegant, there motivation is the it alphabet; that difference tive is the form in polynomials this are Schur cases for of small combinations linear even as (eg. mials write cases to concrete easy is in computers). it evaluate home second, to other; today’s hard each localization by very two to intractable formulae; convert are latter to which residue the hard formulae very iterated of down often variations formulae; are polyno- which functions; pushforward roots; Schur etc.) alphabet; Chern formulae; of in difference combination polynomials the linear (eg. for classes; forms poly- Chern different these many in First, in mials means: expressed ‘computing’ what be of can question nomials philosophical the into bumps be quickly can called is locus polynomial the this of map; class of the singularity. details cohomology of the fine classes the of the characteristic polynomial quantitative: on the Thom not made of the and of polynomial be map, type a can the as a This type of expressed is, given type the (that itself. homotopy has singularity the map map a on a the generalization where only given a locus depends that are the behaviour is they of of observation properties sense, (co)homological basic a the in The Ren´e behaviour), Thom principle; by local example. this proposed latter of polynomials, manifestation the Thom a of manifold. also the are on 1950, the field around the from vector from manifold a characteristic a a of Euler is of the singularities are: expresses characteristic There phenomenon which Poincar´e-Hopf Euler this theorem, the the of map. and examples expresses curvature; well-known the which Two spaces of theorem, (closed) data. Gauss-Bonnet differential of geometric local the properties the from topological off of global read vanishing the be can the says which is principle, example local-global simple general very a spaces; singu- Thom-Boardman particular in maps, classes. of larity singularities of polynomials Thom computing ntels 0yas hr a e aeo ciiyi h ed hnst ok fG. of works to thanks field; the in activity of wave new a was there years, 10 last the In polyno- Thom the expressing prefer we that is final) means no by is (which answer Our one However, polynomials. these computing of problem the is work this in focus Our (analytic) smooth between maps of behaviour local of type a means here “singularity” of A subject the on investigation ongoing author’s the of state the on reports thesis This nees hyd o eedo h iesoso h oreadtre pcs and spaces, target and source the of dimensions the on depend not do they integers, Introduction vi nonnega- CEU eTD Collection roso em ..,TermA37adTermA44aem w ok hoe 4.2.1 Theorem work; own my the are particular, A.4.4 in Theorem [ statements; and Ronga known A.3.7 of some Theorem of 3.1.2, Lemma proofs of new gave proofs I Furthermore, work. original al [ Maple Maple The resources: and the at stay six-month his during (2006-2007). fellowship of Alfr´ed Oxford Curie R´enyi supported Institute Marie of the was University a he (2003-2006), by work, University and this During (2007-2009), European Mathematics Central support. for the friends by and financially help family his various and for discussions; and Andr´as Szenes Andr´as Rich´ard N´emethi, Rim´anyi and Kirwan, Frances the From 4.5.1 Section results. and new 4.4.3), contain Theorem 5.2.1 of [ Section proof article and the the 4, (except in Chapter 4.4 published was Section in 4.2.2, 4.5 Theorem 4.3, above, 4.4, sections 3; chapter previous the text. in the during introduced the use idea of final, we geometric polynomials results the a various Thom In modify the to viewpoints. compute them, how multiple to evaluate specific show from the to we investigates singularities chapter chapter, idea Thom-Boardman fourth fifth The order new formulae. second a closed of derive introduces general to case the used it with also deals chapter singularities; be chapter can next contact to which third The The for methods example. theory. formula basic singularity running the localization of a definitions and as basic formula polynomials some Thom-Porteous recalls Thom the of using notion them, compute the informally introduces chapter eannmls,a h ag aidfo h rte novnet ote“exceptionally the to inconvenient” “rather the from varied range painful”. the as nameless, remain L with typeset [ Sequences Integer [ [ Maple for age GHC hswr olnteitwtotcmues npriua eue h olwn software following the used we particular In computers. without exist wouldn’t work This raiaino h material. the of Organization Acknowledgments. originality. of statement and results New o h akl rgamn agae[ language programming Haskell the for ] Ste05 Ron72 A t opt ihsmercplnmas;Mtha Franz’s Matthias polynomials); symmetric with compute (to ] T Fra09 E .Tefiue eepoue ihsvrldffrn otae hc should which software, different several with produced were figures The X. sas ervda ieeeto hswork. this of side-effect a as reproved also is ] OEIS t opt ihcne oyer) h lso akl Compiler Haskell Glasgow the polyhedra); convex with compute (to ] ;adls,btntlat aiu iia irre.Tetei was thesis The libraries. digital various least, not but last, and ]; h uhrwudlk otakGreyBeci L´aszl´o B´erczi, Feh´er, Gergely thank to like would author The TM FK06 optragbasse;Jh Stembridge’s John system; algebra computer on ihLaz´ e´r h eto h bv smy is above the of L´aszl´o rest with The Feh´er. joint ] h rttocatr r nrdcoy h first The introductory: are chapters two first The A 3 iglrt.Teapnie olc together collect appendices The singularity. PJ03 h etos32 .,34i Chapter in 3.4 3.3, 3.2, sections The ;Son’ nLn nylpdaof Encyclopedia On-Line Sloane’s ]; SF Convex akg for package pack- vii CEU eTD Collection ihta f[ of that with ini htw lo rirr ubro eo tteedo attos hti,w treat we is, that partitions, of end the at zeros letters of greek number the arbitrary by allow ( we denoted that usually is be tion any will without They work, should integers. results most however, side; safe field the the coefficients). is on integer ring with be coefficient modification, to default (just the numbers algebraic cohomology, nal bundles, singular vector is complex Cohomology are etc. particular, bundles varieties—in vector algebraic complex spaces, are vector varieties complex are spaces tor eoe yepnns e (2 ie. exponents, by denoted partition a of by length The mulae. µ hc r h tnadi h hoyo ymti functions). symmetric of theory the in Segre standard and the Chern are the which to specialize can H we bundles), vector two called being o all partition. a for necessarily isn’t that latter note the sequences; partitions; the of of set subtraction) (resp. the addition on pointwise involution an is This eune( sequence ( ‘block’ the oain o hc ewl use will we which for notation, eoetosqecso omlvralsrltdb h equation the by related variables formal of sequences two denote k that is convention The ercfntos epciey h urn eeae yete ftetosqecsi exactly is polynomials sequences two n symmetric the of of either ring by generated the subring the respectively; functions, metric e µ [ sdfie by defined is , x ∞ → 2 1 i 1 µ , ` nesseiclysae,w ilawy okoe h edo ope ubr;i.vec- ie. numbers; complex of field the over work always will we stated, specifically Unless partition A h sara’priin( partition ‘stairway’ The fw aeacmlxvco bundle vector complex a have we If ( 2 1 .Partitions. 1. .Smercfntosadcaatrsi classes. characteristic and functions Symmetric 2. x , . . . , ( M h ieauehsasg miut ntedfiiino er lse;freapeorcneto agrees convention our example for classes; Segre of definition the in ambiguity sign a has literature the term the µ 2 = ) µ , . . . , i ,rsetvl adta’ h euetenotations the use we why that’s (and respectively ), h ring the , If . µ n k FP98 k ,w a pcaieteefra aibe oteeeetr n opeesym- complete and elementary the to variables formal these specialize can we ], n h egt rsm sdntdby denoted is sum, or weight, the ; µ ojgt partition conjugate h igo ymti functions symmetric of ring the µ , k k 1+ (1 n ( and ) rmtentto,a twl eawy la rmtecnet h reverse The context. the from clear always be will it as notation, the from ) ⊂ k µ − u iesb ( by differs but ] ( 1 n sasbatto fa te partition other an of subpartition a is µ , . . . , c 1 k attosaeb ento nt oicesn eune fpositive of sequences nonincreasing finite definition by are Partitions t ,te its then ), µ + 1 µ , c c 1 2 0 2 sdntdby denoted is ) oain n conventions and Notations t µ , . . . , 2 = + 3 ,n n, sas used also is , − s 1 c 0 b 4 3 1) complement = Λ n (2 = ) t k − ,and 1, = i 3 µ e e , µ . rmta f[ of that from i + 0 1 hc stenme fpstv lmns sdenoted is elements, positive of number the is which , k max = , n , ←− lim · · · [ 0 x n , . . . , , 1 − 2 x , . . . , ) E , k rev · 2 2 [ (1 x , . . . , , → )a h aeojc;ti sotnueu nfor- in useful often is this object; same the as 0) c . 1 1 viii { < µ j x , , − µ 0 Ful98 . 1 M n : , 2 s ] )i sdotneog odsreaspecial a deserve to enough often used is 1) sdfie y( by defined is = 1 S x , . . . , 1 µ | , t o oegnrly omldffrneof difference formal a generally, more (or n µ ) The 1). j h aetigwrswt h limit the with works thing same The . + s | ] < ≥ = s 0 2 i P n t .I ehv oioilring polinomial a have we If 0. = P
` ] n 2 S ( . − µ stecmlxpoetv space—, projective complex the is λ n µ c = ) ulpartition dual eoe by denoted , i s i eetdnmesaeoften are numbers Repeated . 3 Let and λ t { 3 µ 2 e , µ + 1 c χ classes ) ednt by denote We . s 1 i , · · · − i c , = µ nta fthe of instead 2 c , n and 1 = ) 3 c − 1 µ . . . i ( of µ E ν ⊂ k u conven- Our . and and ) . +1 µ λ eoe by denoted , − if , Q i s eomit we ; λ 1 e s , s fratio- of µ i ± i i and ( 2 E µ s , ≤ in ) the 3 . . . , λ h i i CEU eTD Collection rubytems motn ymti ucin,adte iea diiebssi the in basis partition additive a an Given give they functions. polynomial and symmetric functions, of symmetric ring important most the arguably nparticular in h oml above. formula the H sebiga(eesrl ata)ls ftevrosnttosue nti thesis. this in used notations various the of list partial) (necessarily a assembling akl rosCurry. Brooks Haskell J J e J J 2 Diff [ d ( | d ◦ X λ V d h cu oyoil r ymti oyoil aaeeie ypriin;te are they partitions; by parameterized polynomials symmetric are polynomials Schur The Sym A H .Als fvrosnotations. various of list A 3. 4 3 ( ( ( H U | J ( cryn’i tnadtriooyfrti ncmue cec n oi,nmdatrtelogician the after named logic, and science computer in this for terminology standard a is ‘currying’ h equation the E ,W V, W V, ,W V, ( ) i G N ,m n, G ∗ ⊂ curry M i d d d ∗ , ∧ S
( ( ( ( ( ( Z
V [ S λ X k k V V V Y Y V Y f π fa(ope)vco bundle vector (complex) a of ) X V V V V ∨ n j ∗ ∗ eso iemrhss hrhn for shorthand diffeomorphisms; of jets ) ) hrhn for shorthand ) hrhn for shorthand ) hrhn for shorthand part linear injective with jets ) ) ) iglrchmlg ihcecet in coefficients with cohomology singular ) ) h pc of space the ) euvrat ue ls favco udeo ersnain [ representation; or bundle vector a of class Euler (equivariant) ] h euvrat ooooycasrpeetdby represented class cohomology (equivariant) the ] s 3 µ , C rntimportant not or J (( to isomorphic h ieso nlgeo h rvosentry: previous have the we of analogue dimension the uhowr o yi a) if map); Gysin (or pushforward map the along pullback G adfr[ for hand [ by simply denoted often G h aua isomorphism natural the functors; Schur if cones, normal of bundle (or bundle normal if of powers tensor antisymmetric representation order dual of group symmetric the ymti esrpwr of powers tensor symmetric yteformula the by s d s euvratCo rus(e [ (see groups Chow -equivariant euvratcohomology -equivariant ( V J ⊕ ( ( i i ) ,W V, ) ≤ = = d U s ( s i V = ) i i hsi h mg of image the is this , oiae u hieo conventions. of choice our motivates ;saeo esof jets of space ); {
and 0 s ⊂ } j ⊕ µ d jt rm( from -jets = k d = J J J s =1 S d d d (1 U/V V j det ( ( ( ( ( Hom i V, C k ,W V, ,i sdol hnteei odne fconfusion of danger no is there when only used ],—is ) i ) n V [ − = s C , ) µ C j ,wihi nloet ring (nilpotent) a is which ), = ( ⊗ i c where ) Sym + ) + m i f ial etyt aetelf fterae airby easier reader the of life the make to try we Finally sbfr,w a en the define can we before, As . j Sym V ) V, − curry X E ) o ooooycass rvco bundles) vector or classes, cohomology (of i j k ] functions ] )t ( to 0) ( ⊕ k ,W V, V k j ysbtttn t hr o er)cassinto classes Segre) (or Chern its substituting by × U V ( n 1) + k : Sym d ⊗ π = Hom V and ) psil nnt)i la rmtecontext, the from clear is infinity) (possibly EG98a V : W, det / 2 µ X 2 ne h utetmap quotient the under V ( S oa igwt unit with ring local a , ) htis, that 0); [ ( = U .Smlryfor Similarly ). → (1 c J µ e , ⊗ 1 i d S Q ◦ + Y ,..., ]) µ ( ( k ,W V, j 1 ,V V, ) − 1) then µ , = i ] V X µ 2 Sym dim 1 µ , . . . , ) ) = × ssnua)of singular) is → π µ k ∗ ∧ 1 ( ; U saohrlcycorollary. lucky another is k Hom : X V H i k U
,w en h Schur the define we ), in ∗ ( ≤ ( V cu class Schur X U, H j V ) = ) ∗ Hom U . → ( Y V ⊗ Z (or ) i H —sashort- a ]—as ( U
,W V, ∗ in + j → codim If . X H s Sym )) λ G ∗ ( j 4 ( E π Y ≤ ( 2 ) Y U )); ∈ i ix ) ; , CEU eTD Collection ope case. complex Z singularity. the of Remark. polynomial Thom the called is polynomial This sgvnb usiuigteSiflWinycassof classes Stiefel-Whitney the substituting by given is suigsm idtaseslt odtos(ri h ope nltccs,ta h locus the that case, analytic codimension complex expected the the in has (or conditions transversality mild some assuming e staseslt h iglrt subset singularity locus the to transversal is jet P by denote also we (which subset Σ Theorem theorem: following the proposed He hsfruai leri geometry. algebraic in formula this r ieysuidi ieetcnet,icuigtplg,agbacgoer,ec The etc. geometry, algebraic topology, formula Porteous including contexts, different class in studied widely are (1) lse anyway. classes d differential the of rank ker dim the that simply means [ also See chapter. this in Σ presented by methods. denote results different we the of which overview for case, originality studied no widely most claim and simplest the on easnuaiy hti,a is, that singularity, a be n tee-hte lse ihCencass ntefloig ewl ou nthe on focus will we following, the In classes. Chern with classes Stiefel-Whitney and ntosto variables of set two in hmwsitrse ntest() n oegnrly t nlgefrohrsingularities. other for analogue its generally, more and (1), set the in interested was Thom h sentence The notations and phenomena methods, the introduce to is thesis the of part this of aim The Σ 1 1 ihsm bs fntto,w ilawy rt [ write always will we notation, of abuse some With i hpe .Frtodr-TeTo-otosformula Thom-Porteous The - order First 1. Chapter ( [Σ (d f ) i x ( f f h hoe ean rei ereplace we if true remains theorem The = .. ([ 1.1.1 = ) ]i h ooooyrn as nteCo ig t. sgvnb the by given is etc.) ring, Chow the in (also ring cohomology the in )] 1.1. s temap “the ( [Σ( i i m h ooooia rpriso h locus the of properties cohomological The . xsec fteTo oyoiladstability and polynomial Thom the of Existence − f [ n h5,HK57 Tho56, Por71 + ]= )] i Σ( ) ( f f P ∗ f = ) M T ]: ( c : w 1 Σ N c , 1 i Diff ( ( n − 2 N T f x i . . . , Σ → ( = ) N T m ∈ ( ftegoa e space jet global the of ) n ) ]) M N − w , ) . = ) and × m n x 2 Let : Diff ( + a Σ has ∈ N T det h e of jet the d i N N Σ 1 ) hpe f[ of 9 Chapter )). ( [ d , m ) h ooooyclass cohomology the , c n . . . , m : i 10 2 ) and − . . . , iglrt ttepoint the at singularity nain uvreyof subvariety invariant i ker dim X n ; + nta f[ of instead ] f x f i f M + ∗ R uhta o map a for that such w j at rp by drops − m with 1 N T (d k ( x M T ( J etosot ra)mnfls and manifolds, (real) smooth two be x f eog to belongs f d ∗ and ( C ) M T X ,M N, ) FP98 ≥ sot’b ‘analytic’, by ‘smooth’ , f , ,a nycoe uvreisrepresent subvarieties closed only as ], f i i ∗ − hti (assuming is that ,
w ∗ ) M T 2 hr xssapolynomial a exists There . N T it oeapiain of applications some lists ] [Σ( ( M T Σ )] i f notepolynomial the into
orsodnl,we Correspondingly, . J x k,j )] ) d . . . , f ∈ ( ∈ ∈ FR06 ,m n, i : N × H N i ) ” ∗ ∈ ) ( → . N o short a for ] H Σ ; ∗ M Z ( ensa defines m N 2 Z whose , ) Thom- ; 2 fthe of ≥ Z with ) n P ), : CEU eTD Collection ntecasfigspace classifying the on hscntuto scmail ihpl-ak,adfraybundles any for Φ and and pull-backs, with manifold compatible (paracompact) is construction This ial,ltu eakthat remark us let Finally, h tee-hte o hr,i h ope ae lse of classes case) complex the Φ in Chern, (or Stiefel-Whitney the tr.Tu h nvra ls [Σ class universal the Thus ators. i h hr ae yteequation the by bundle difference case) (formal) Chern the the of (in classes Chern or Stiefel-Whitney lohave also d section the if and have we Clearly, where the to construction the apply can section transversal) d section a get we ehv Σ have we σ udeis bundle eln ipywt ope etrbundles. vector complex with simply dealing Σ version “smeared” the define can we group, structure this of Choosing ∗ [Σ ⊗ f sgvnb usiuigteSiflWiny(hr)cassof classes (Chern) Stiefel-Whitney the substituting by given is oeta tti on,w ol aeaytovco bundles vector two any have could we point, this at that Note et e sso htti oyoilcnb xrse saplnma nte(virtual) the in polynomial a as expressed be can polynomial this that show us let Next, e sdmntaeti hoe o h Σ the for theorem this demonstrate us Let 2 i id rhgnlcmlmnsd o xs ntectgr of category the in exist not do complements Orthogonal [Σ = ] at Σ ∗ ∈ t U i x ( safra aibe bev htif that Observe variable. formal a is m Γ ,f N, T ∈ GL i E Hom ( i = σ N ⊂ n ob notooa complement orthogonal an be to Σ = ) B × Hom salna a in map linear a is ( ∗ utn hs oehr egtta Σ that get we together, these putting ; A M T GL Σ ⊕ f i i ( m X f k ( ( U = ) σ ,B E, ftevco bundle vector the of ≥ f σ ic Σ since ; staseslt h taicto ie yteΣ the by given stratification the to transversal is n 0 ⊗ ) ∈ U , c ⊂ id k B ( Γ M m led sa as already ) ⊕ N B ( GL Hom ,x ϕ, )] H E − hr sampΦ: Φ map a is there n ∈ (d = i ,dfie ipyby simply defined ), ∗ Σ A ( × ) testo corank of set (the ( H B [Σ i ,B A, U ) ∈ ( ( U B Hom GL f σ ∗ · m i i f n universal ( Hom ] ( GL (d = ) t Hom ⊗ ) ,B A, k is = = n ∗ nta of instead ) = m id × ( Σ pr pr h hmpolynomial Thom the T set ( n e a get and ; ) i ( ,f N, T ]=Φ = )] x B x 2 ∗ 1 ∗ ( P U f P ,T N, ξ ( ,f N, T GL ) ,e a, n C C tetaseslt odtosaeas equivalent). also are conditions transversality (the = j m − i n U , =0 =0 m n bundles 1 m E Hom 2 i f ( = ) Σ ∗ m ∗ × × sa(rdd oyoilrn,gnrtdby generated ring, polynomial (graded) a is ) ( c iglrt endaoe h eiaied derivative The above. defined singularity c M T of x [Σ satidvco ude hnfrtesection the for then bundle, vector third a is ∗ i j i )) GL GL ) ( → M M T ( ( M N T ,f N, T i A B i A ( = ∼ n m ( σ iermp)i nain o h cinof action the for invariant is maps) linear nvra class universal ,f N, T ) : ) U ) .Asmln hs asfrall for maps these Assembling ). x nsm ag rva bundle trivial large some in E E · ) H · n ( holomorphic t a and t U , ⊂ GL GL i i j ∗ ) ( B ∗ x ( e , ,B A, M T m Hom B ∗ GL m n ∈ ∈ M T ) )] f GL , H ,ϕ N, n ∗ . ) i Φ = ) M T ( P , ( n ∗ × ,f N, T .Tesrcuegopo this of group structure The ). ,f N, T ( U . × M B n etrbnls u eew are we here but bundles, vector ∈ B GL n d and A ; ∗ and B Σ Z GL Σ ∗ ∗ and m )[[ i i M T − M T ( ( i m A U t U T ( uhta Φ that such ]] A ,f N, T f = ) x n n m , A B npriua,we particular, In . ,T N, hc r defined are which , U , by ) , ) n h pullback the and , n B . noteegener- these into H m and m f ,adthus and ), GL ∗ ∗ ( M T x n (nice, a and n ) × C M B GL K es we sets, ) m ∗ ) U eget we , m
x n vra over ( pt ∈ = ) N x . 11 A f , CEU eTD Collection pcntuto nagbacgoer.Uigtentto bv,teroe r lydas played rˆoles are the above, notation the Using geometry. follows: algebraic in construction up map forward variety ambient smooth ( pair a the of Σ subvariety singular a ubnl of subbundle group Lie a where setting, equivariant the Y in works construction same and n h hl iga is diagram whole the and nti iuto ehave we situation this In etrbnlsoe h on) lo hscascno eabtay tle ntesubring the in lies It arbitrary: be cannot class this Also, by point). generated the over bundles vector A that 12 but oyoili nvra ls caatrsi ls) npriua,i sthe is it particular, in subvariety class), closed the (characteristic by represented class class cohomology universal equivariant a is polynomial too. polynomial, versal P (1 and uhta and Σ that such hsi sfli ti ayt opt [ compute to easy is it if useful is This otos osrcin[ construction Porteous’ h cascl ehdfrcluaigtechmlg ls [Σ] class cohomology the calculating for method “classical” The ehaigi h agaeo qiain ooooy edmntae htteThom the that demonstrated we cohomology, equivariant of language the in Rephrasing c , c ubnl,i hc ae[ case which in subbundle, a Σ e ( ( C • • • B B K n h olwn iga commutes: diagram following Σ, the of and resolution a is Σ π e − r h standard the are X, and 1 = ) − A 1 ) hti,sot varieties smooth is, that Σ), Σ = (Σ) ) ic hswrsfraycmatmanifold compact any for works this Since )). π Y { ∗ c n h utetbnl is bundle quotient the and , k X : Y : Σ : Σ e π ( H [Σ B Σ, G e ∗ i r nain and invariant are Σ − e : : : ( ( c ,B A, Y [Σ ( A 1.2. pr Hom Σ Σ Gr e B ) ) i i 2 ⊂ } → i ⊕ = = ( . ]=[Σ = )] rjcint h eodcoordinate second the to projection = GL V X ( Por71 GL H otos meddresolution embedded Porteous’ A V ) n = ] ⊥ G ∗ ( ϕ × n ( ,ϕ R, resp. = ) ( V W , ∈ X Hom i i ) ( ∗ a ecmue,freapeuigtefrua nA.4. in formulae the using example for computed, be can ) ssasrihfradgnrlzto fteuulblow- usual the of generalization straightforward a uses ] Hom A 1 = [1] × m ) Σ c e ) GL ∈ ⊕ ( ( GL ,W V, B π ⊂ Gr ( A Σ Σ m e y ,W V, ( i − π ⊥ W ∗ Y i Σ e ersnain otoal huh sequivariant as thought (optionally representations ( π −−−−→ −−−−→ B , Hom sequivariant. is ) V A steElrcaso h utetbnl.The bundle. quotient the of class Euler the is ] ∗ -qiain.I hssitutation, this In )-equivariant. ⊂ 1 = [1] ,fo hc tflosthat follows it which from ), ) : ) Σ e j i ⊕ Y × ( ⊂ A ,π R, Hom n map a and i ker dim ⊥ π X Y y Y ]=[Σ = )] ∗ π j ∗ ;typically ]; ( ∗ X W ,W V, 1 = [1] ( ,where ), st n an find to is ϕ i ) Y ( : ) π ≥ C M π ∗ scosdsc httepush- the that such choosed is K [ i : Σ e tms etu o h uni- the for true be must it , R B ,
Y R Y ⊂ ⊂ Σ → ⊕ ⊂ i Y ∈ ilb etrbundle vector a be will ker ⊂ A X meddresolution embedded ] π H ⊥ ( ∗ Hom ϕ V ∗ uhthat such )] ( ) , X G stetautological the is
P ( ersne by represented ) A cson acts ( c n salinear a is Σ e ( B , GL A ) m n c , ,where ), × ( X B GL )= )) and m of - CEU eTD Collection hc eut nteformula the in results which ay iersbpcs hti,w aea euvrat etrbundle vector (equivariant) an have we variety is, compact that subspaces; linear many) rank eoe h fiber the denotes that simplicity) (for assuming on nain ffievariety affine invariant singular with well Grassman- quite the works enough. either. of localization formula often Since case localization is the resulting resolution: resolution the full in partial evaluate a a as to varieties, need formula easy not not nice may be a we may such Second, it the have then in not course, works of This may nian; we A.3.3: Corollary where see case, pushforward, general the compute [ to in localization appeared equivariant first polynomials, Thom computing derivation. involved more a in resulting though sufficient, Remark. M ntecs of case the In h yia iuto sta ewn ocmuete(ou-qiain)caso an of class (torus-equivariant) the compute to want we that is situation typical The hsi aito n eeaiaino h rvosmto,wih ntecnetof context the in which, method, previous the of generalization and variation a is This i : etrbnl over bundle vector [Σ nti o ae h ekrvrino h uhowr oml 3)wudb also be would (36) formula pushforward the of version weaker the case, toy this In i ( ,W V, [Σ M pr ]= )] Z M i V Y ( 1 − uhthat such , ,W V, = Σ = 1 ( I I p = = = X X ∈ ∈ Z over ) i ( ( ]= )] h iuto stesm sdsrbdi h rvossection: previous the in described as same the is situation the , n n i i Gr ⊂ ) ) Gr Hom ( = = = 1.3. Q e i ( Q V ( T i ,ϕ R, π π s ( e V / k ( − ( p n ecnpeetteclosure the present can we and , V l m ∗ ∗ T pr ∈ Hom M =1 i ( [ ;tu,uigtepsfradfrua(8,TermA.4.1, Theorem (38), formula pushforward the using thus, ); s c m Z 1) ( ,W V, I M ∈ qiain localization Equivariant ) top ( 2 Hom − i ) Q ( Q m im ⊂ n ssot n a sltdfie on set point fixed isolated has and smooth is Y ∈ + ) ( j j + ( Hom i ,n I, ∈ = ) V ∈ ) ) . Gr π ( i I ( I ( ,W I, ] ∗ ( W n ( T i W α θ − ( Z − ( l = k V i − ,π R, ) − hnw a pl hoe ..,adlocalize and A.3.7, Theorem apply can we Then . − − s I ) ) p ( V )) ∈M × X α m R α ) j ∗ i j ( = ) Hom = − ) W ) T ( n ∈ ) BSz06 [ − e Y T ( Z i − p ) ,W V, ( i [ 1) ) T ⊂ α ( p 1 V im M V α , . . . , .Tefis dai htw a use can we that is idea first The ]. : ) − π ] T ) ∗ W s ( R m ) n i ⊂ θ , ) Z ( R 1 ker sa no f(infinitely of union an as θ , . . . , − ( ϕ π ) ∗ W
Y m ] ) × M ⊂ S n × M S m T Here . . V vra over Y 13 p CEU eTD Collection h olwn nepeaino h em:For lemma: the of interpretation morphism following group the Lie a generally, more and a nqesolution. unique a has olwn e feutosfrtecaso a of class the for equations of set following Lemma [ on [ equations determine get we restrictions, other these Take simple: very the the was compute it thesis, this in directly method other this only the use on are 4.4. don’t cases; there Section we small and for While for motivation large, method limited. original are efficient is symmetries most scope the the its probably when hand, is best This works orbits. It many orbits: finitely of geometry the on h ue ls ftenra bundle normal the of class Euler the Theorem Lemma see G proof, of sketch a For Remark. two. other the Appendix. contains the actually in case A.3.5 third the that Note 14 hl h rgnlvrini emtial oentrl hsvrini ffcieycom- effectively is version this natural, subspace more mentary geometrically take can is We version putable: original the While j p Z ∗ ⊂ Let Rich´ard Rim´anyi, by [ introduced was method This h ai fteter stefloigtheorem: following the is theory the of basis The [ j X Z ∗ G = ] sas h a nue by induced map the also is V eissaiie ugop Then subgroup. stabilizer its be 1.4.1 earpeetto faLegroup Lie a of representation a be hr sadffrn nepeaino hsrsl.Let result. this of interpretation different a is There X .. ([ 1.4.2 . 0 e completely. ] G G Let euvratcas[ class -equivariant ( ( N i p X S FR04 Z ◦ V to h eany be ) H ) j ∗ ( j T Z ∗ N [ Z ∗ ]) p X ob ugopof subgroup a be to [ G Z X Z . : ] Z Z obt,adrsrc h ls [ class the restrict and -orbits, X G H ] ups hr r ntl many finitely are there Suppose in G G 1.4. 6= = ) G = ∗ obt n eoeby denote and -orbit, | = T p ( X, X V p ⊂ V = ) etito equations Restriction i X p ( then , 0 e codim N ( 0 [ e H ] : N G N G H G Z e Z ( H Z ( G V ersne ytecoueof closure the by represented N p G N ∗ X X X ( ( ) Z ( → Z N → Z Z | pt ) ,adi ehv nuheutos ab they maybe equations, enough have we if and ], p ⊂ V V | Z G = ∼ ) p ) G H G ) V ) N ≤ -orbit ⊂ G | G/G → G p p w ol lotk n subgroup any take also could (we ) h = Z n etitfrhr.Ti iwon gives viewpoint This further). restrict and , p codim ( and , V sntazr iio in divisor zero a not is N : ota hr xssa exists there that so H H N ] p Z G X , G ∗ j V p → Z ( ( ( ) S Z X X Rim01 | h embedding the p G = ) ∩ ) Z Z Z ea ri;a sa,w atto want we usual, as orbit; an be H p X ∩ X ⊂ = H ) X ote;i ecncompute can we if them; to ] G X X G ⊂ ∗ ;seas [ also see ]; obt,adfrayorbit any for and -orbits, p Z Z Z = ( hmgnosequations’ ‘homogeneous S pt ∩ = ⊂ p ∅ H ) X ∈ X X . picplequation’ ‘principal X j = Z Z H h ai dais idea basic The . ∅ FR04 : eaypit and point, any be H ivratcomple- -invariant Z G ∗ ( → Z .I sbased is It ]. ) V hnthe Then . G < H Then . p or , Z CEU eTD Collection ler fifiieia actions infinitesimal of algebra sasd ffc fti optto,w e h oieso formula codimension the get we computation, this of effect side a As space tangent the iha with rank of matrix representative a convention, Let tori. maximal the to ourselves restrict to better by is it denote however, us computation the do To Σ varieties rank the exactly are They matrices of space e sspoefrsmlct that simplicity for suppose us Let ihteElrclass Euler the with A it) to equivalent homotopy is it that of (meaning subgroup big reasonably A hnw a us h eut ti osbet rv t(nti ae o xml yusing by example for case, this here. (in step it last prove this to omit we possible resultant); is the it for result, formula determinantal the Sylvester’s this guess Σ in can of we fact, stabilizer when the In clearly since example. Σ others, for formula of the software, all stabilizers algebra imply the computer equation’ contains a ‘principal the using case solve concrete then can of in we bunch polynomial which a a as us (expressed gives polynomial this all Gathering α H b k k +1 H A hntersrcinmap restriction the Then . e’ pl hsmto oorrnigeape h group The example: running our to method this apply Let’s 3 k k h sa ovnint rt iermp smtie stetasoeo htw s ee ythat by here; use we what of transpose the is matrices as maps linear write to convention usual The , . . . , ivratnra pc oΣ to space normal -invariant is k × hc ok o any for works which H α b GL T k k n A n dniymti ntetplf onr n eoeswee ti ayt compute to easy is It elsewhere. zero and corner, top-left the on matrix identity = and k α ol ethe be would Σ 1 k α , . . . , = β Hom b α S T k i k +1 A 7→ = C k 0 , . . . , ( Σ n C k ∗ ∗ ∗ n A and 0 right , fteobtΣ orbit the of α γ b b C β b i 0 i 0 0 0 i m m k A , β e o all for = ) j ru,etc. group, , h orsodn eeaoso h h aia torus maximal the the of generators corresponding the T codim 1 g k k ∗ ∗ k n , β , . . . , k i k > i C = = 0 : ( where k and ≤ S Mat H ( gl , k m at ,R L, G ∗ k B = ) (Σ 0 k < i where n k I ( 0 0 n m m A k ≥ pt × × o 0 for k ∗ k k hsapoc sagrtmci aue fcourse, Of nature. in algorithmic is approach this ; ( = ) ) i ) m linear gl h eeaosof generators the = n Y 0 · sanything is is → two tthe at k n h lsicto fteobt swell-known: is orbits the of classification The . oee,i sntes ngnrlt eiea derive to general in easy not is it However, . m rmteleft the from A +1 : ∗ and ≤ H n to = C sanything is ∈ j e aibe,oefor one variables, set H = ∗ − k Y qain o h offiinso h Thom the of coefficients the for equations LAR Σ ∈ m A k k ≤ +1 k ( k A k GL pt )( ttrsotta agn pc is space tangent that out turns it ; ⊂ k ( n β yjs plig( ai f h Lie the of) basis (a applying just by , sgvnby given is ) β m b − k o uha ri Σ orbit an such For . i Mat j A , 1 7→ − − . T < 3 by k α n b ( ∈ ) × i T < A . H ) m GL . k β γ b b T ∗ Mat i i n A n × G − k T Mat k n m = B , × k > i i ( m GL ≤ pt GL n × = ∼ ;adby and ); ∈ k n n m H Mat GL n n for one and × k k GL m ecnchoose can we , ftestabilizer the of n − × m k m cso the on acts γ b . 1 , . . . , GL T k m γ b of 15 k ), k , CEU eTD Collection hsato;ltu opt teuvratcas[ class equivariant it two compute following us let action; this o xml fw att oaieuigTermA37oe aewihi iglrtoric singular a Gr¨obner is bases. using which classes base Euler a tangent over virtual A.3.7 the compute Theorem sub-computations; be principle using for in would localize useful could to computations be we variety, want Gr¨obner can basis we method resulting if this the example Nevertheless, them, for computers). knew for we (even big if too even and ideals, the Gr¨obner algorithm. a basis using ideal initial the compute [ just can result we the deformations, give flat both plicit Thus 3. multiplicity with but Z have We ihwihs(2 weights with da sjs uc fcodnt usae ihmultiplicities. with subspaces coordinate initial this of the to bunch ideal, a corresponding a initial by geometry just the represented the is since class thus ideal ideal, cohomology deformation). its (torus-equivariant) and invariant given the Gr¨obner variety basis, an compute affine the (torus-invariant) to need algorithm compute we co- an course to the us ideal of particular, algorithms gives an case, in are equivariant for deformation, there the flat that Since (in under is invariant too here are class, fact properties homology basic Many The 15.8). Section geometers. algebraic among I known well is which 16 iegroup tive 0 ¡ ssml h line the simply is oee,i h iutossuidi hstei,mr fe htntw aen daabout idea no have we not that often more thesis, this in studied situations the in However, o eysml xml,cnie h plane the consider example, simple very a For o h aeo opeees ehv omnintemto fGr¨obner degeneration, of method the mention to have we completeness, of sake the For C [ V naplnma ig hr safltdfraint its to deformation flat a is there ring, polynomial a in ] Z 1 U = = U Z ivratoeprmtrdeformations: one-parameter -invariant C α, 1 0 × = 3 h α ω { Z .Tesubvariety The ). i y n ic ohdfrain r culyflt [ flat, actually are deformations both since and , endby defined 0 = } 1.5. ihmlilct ,and 2, multiplicity with Z Z s t 0 = = Gr ω { { y ty · 2 be degeneration obner ¨ ( 2 ,y x, = = Z sx x ( = ) endb h equation the by defined 3 3 ⊂ } ⊂ } ω Z C 2 C C ,ω x, ] 2 Z 2 ∈ 2 ,t s, , 6 = ] ihtelna cino h multiplica- the of action linear the with Z H 3 y and 0 0 U 2 ) steohrcodnt line coordinate other the is , ( α C ∈ ngnrl nta ffidn ex- finding of instead general, In . 2 C = ) . nta ideal initial Z [ α .Frti,cnie the consider this, For ]. y 2 Z = [ = ] x 3 see.[ eg. (see Z sivratto invariant is s [ = ] { Z Eis95 x t 0 ;but ]; 0 = } ], , CEU eTD Collection the Clearly rings). function other and rings polynomial where h iglrt;hwvr htatal steipratojc o si h utetalgebra quotient by the is denote us will for we object which important dimension, the its is and actually what however, singularity; the algebra local eeae ytecmoetfunctions component the by generated Definition satn fo h et on left) the (from acting is ϕ hscnb lotogta ru cin h group the action: group a as thought also be can This as ebifl olc h eesr entosadfcshr hl eern othe to referring while here facts and definitions necessary the collect ([ briefly literature We maps. ino h oreadtetre:Te“etrgt group “left-right” The target: the and source the of tion computations. and so-called perturbation). small a by eliminated be cannot singularity ( germs holomorphic of space the on acts ml perturbation small of A germ the if map A germs. called are obtof -orbit J ∈ ewl edsm udmna definitions. fundamental some need will We While iglrte,i u otx,aetpso oa eaiu f(moho holomorphic) or (smooth of behaviour local of types are context, our in Singularities, rbbytems aua ento st osdrgrso asu oreparameteriza- to up maps of germs consider to is definition natural most the Probably utetalgebra quotient f 0 ( E r otc qiaeti hr sadffoopimgerm diffeomorphism a is there if equivalent contact are C ( n n otc equivalence contact , A etrgtsnuaiyclasses singularity left-right = ) η GL AVGL98 euvlnei etil aua oin etrbhvdcasfiaini the is classification behaved better a notion, natural a certainly a is -equivalence singularity A . ftesingularity the of 2.1.1 m C f uhthat such ) hpe .Pie nsnuaiytheory singularity on Primer 2. Chapter [[ f x at . 1 : x , . . . , f h ieso ftelclagbai aldthe called is algebra local the of dimension The . The M 0 x hr xs an exist there , n h eeecsteen o h eal,a u ou so the on is focus our as details, the for therein) references the and ] nsm adtu,i n)lclcodnt ytmblnst the to belongs system coordinate local any) in thus, (and some in → da fasingularity a of ideal n ]i h igo omlpwrsre on series power formal of ring the is ]] N J η µ ( or f ewe aiod a iglrt type singularity has manifolds between is ,m n, (( f A = K ,ϕ h, K stable stequotient the is I = dim = euvlne nrdcdb onMte.Togerms Two Mather. John by introduced -equivalence, by ) f 2.1. f Diff ) ( = Diff 0 x f ( naaoosdfiiincnb ie o mohreal smooth for given be can definition analogous An . ( 0 x Q Q ( ) ffraymap any for if ls to close = ) ( f Singularities f f ( x C 1 C = ) C = ) f , . . . , = n n n ϕ , µ ) , J 0) 17 ( 0) : dim J × x ϕ ( f × ) ( n x → f m x E ) ( ( = Diff ( aigtesm iglrt i od:the words: (in singularity same the having ) / ( E ( ) h f n C I ( ( ¡ ( ( C ) f n I n x h f / ( f ) , m E )) 1 I C − / GL f f , . . . , ( K , sas nielin ideal an also is f 1 I . m n ) h qiaec lse (orbits) classes equivalence The 0). ewl altenloetquotient nilpotent the call will we ; ( f having ) m x , is ) 0) )) ) − . m 1 h . ) η ∈ J ∈ C n iglrt at singularity Diff smlryfrtruncated for (similarly leri multiplicity algebraic ( ,m n, ( η C n tapoint a at J n a germ map a and ) steielthe ideal the is ) ( n ) E ⊂ x n any and , ( n x .The ). ∈ M of f CEU eTD Collection Definition intuitive. less much is but problem, Σ loci the that finite with work restriction. can real we a thus not order; given is a this at viewpoint, rings our our the In derivatives. truncate to singularity) to objects. belongs the possible dimensional it on is whether (depending it jet many case, any finitely this for only In determine at to looking possible by is singularity it given which for singularities the are isomorphic. are Remark. algebras) quotient their in equivalently, diffeomorphism (or of algebras germ local a by induced map Corollary a by other each into taken Theorem Theorem somtimes convention. literature this the follow that to Note us literature for objects. for theory inconvenient however nilpotent very singularity algebra, the be local The with the work symbols and to the rings. series) natural use power both more (or is for functions it of objects us ring main the with our works of usually versions are There nilpotent: is latter the eis t. n losmlryfrtera ae.The case). real the by for generated similarly ideal also and etc.; series, Remark. 18 o n ne set index any for Σ that Suppose (non-increasing partitions Definition namely, objects, discrete integers). by of indexed sequences are finite classes the that vantage Thom-Boardman The [ schemes. [ Thom classification behaved by better introduced but classification, coarse more have to useful oriaesse and system coordinate Mat73 hsdfiiini nutv nuh u ntedfiiino Σ of definition the in but enough, intuitive is definition This that shows This ic h opeecasfiaino sy otc)snuaiisi oees ti clearly is it hopeless, is singularities contact) (say, of classification complete the Since following: the are us for results important most The ) spoal h otwl-nw n sflsc cee thstecerad- clear the has It scheme. such useful and well-known most the probably is ]), h ieec between difference The nti hss eaeol eln with dealing only are we thesis, this In .. (Mather) 2.1.2 .. (Mather) 2.1.3 .. (Thom) 2.2.1 2.2.2 2.1.4 i i 1 ( Σ , Q f I . . ) U = Let and w ntl eemndmpgrsare germs map determined finitely Two ⊂ i K 1 n l the all and i { euvlnei esnbyntrlobject. natural reasonably a is -equivalence 2 N E i t.aealsot.Bada aeadfiiinwihcrsthis cures which definition a gave Boardman smooth. all are etc. , ϕ U 1 ( µ i , . . . , i ssot;te ecndfieΣ define can we then smooth; is n . ¡ . Σ ∈ . = ) o h oa ler n h leri utpiiy u twould it but multiplicity; algebraic the and algebra local the for K i 2.2. w a em are germs map Two o nc nuh map enough) (nice a For E U ( f euvln tbegrsare germs stable -equivalent ( twl ecnein oas en ∆ define also to convenient be will It . C n k = ) − = ) ⊕J k hmBada classes Thom-Boardman 1 } × Σ E let , { ( x ( I,i k Tho56 f n n ∈ k determinants .Actually ). and ) : ( C N f Σ = ) n : → n lrfidb ormn[ Boardman by clarified and ] J dim C ( i n k } K ( sta h omrrn a nt while unit, a has ring former the that is ) ( f ker J ea da ffntos(rfra power formal (or functions of ideal an be euvln fadol fteriel are ideals their if only and if -equivalent | ntl determined finitely Σ ( det (d n I f f steuiu aia da in ideal maximal unique the is ) k x ) [ : th ∂ϕ . f ij N )= )) A ( aoinextension Jacobian i f → /∂x -equivalent. K ob Σ be to ) euvln fadol ftheir if only and if -equivalent M i j
,where ], en h locus the define , . i 1 i 2 ...i k j ( ( k U f iglrte:These singularities: | Diff ehv oassume to have we ∆ = ) x Σ j i Boa67 f sa(xd local (fixed) a is ,adsimilarly, and ), ( n ) n ∆ . − k k sealso (see ] ( +1 U ( sthe is ) U E ). ( n ). CEU eTD Collection oka h first the at look Remark. tives oriaefntosof functions coordinate ormncas(hssol ecerfo ormnsdfiiin.Te r losal in stable also are They definition). Boardman’s if from that clear sense be the should (this class Boardman latter the when definition Σ Thom’s that with mean coincide we they which that by and applies, spaces, jet appropriate the of of type Boardman the us tells then o map a For ideal the of Remark. ideal Definition Definition h ags ∆ largest The otospooe hr ento n[ in definition third a proposed Porteous ormnpoe httesnuaiysbesdfie hswyaesot submanifolds smooth are way this defined subsets singularity the that proved Boardman seScin4.3.1). Section (see U ( = h rtcletnino nideal an of extension critical The hmBada iglrte forder of singularities Thom-Boardman f g iue1. Figure U 1 2.2.3 .. (Boardman) 2.2.4 f , . . . , : U hc sdfie as defined is which , k N uhta ∆ that such ∆ = f d . → : ieetaso a odcd hte tblnst h ie Thom- given the to belongs it whether decide to map a of differentials ti ayt e that see to easy is It m C 0 M ) ( n U ¡ Σ A → g ) ewe aiod,tk point a take manifolds, between E ⊆ · · · ⊆ nsm oa oriaesse around system coordinate local some in ( C ∆ n 11 k m a ucsieciia extensions critical successive has ) i ( 1 U singularity; U, eog oΣ to belongs . ) h germ The ( ∆ Thom I rank ∆ E k g ( ( i U 2 ttepoint the at n ∆ ( scle the called is ) U ) f i ⊆ ( = ) 1 = U, f I ∆ f Por83 U : dim hns does so then , k R ( = J +1 s∆ is ∆ 2 C f ( → i f ) ( U 3 d − m 1 ∆ x n ,bsdo i hoyof theory his on based ], ) f , . . . , 1 R − . are 2 i (Σ ⊆ · · · ⊆ 2 r 2 + rtclJcba extension Jacobian critical ∆ ∆ = stevria projection. vertical the is Boardman I d i U 1 dtrie,ta s tseog to enough it’s is, that -determined, x ,... . . U, m ) / f r ), ∈ m +1 ⊕ ∆ 2 f N where , . n 0 eog oΣ to belongs 0 = (0) id ). +1 n e ( let and C x ( : U C and = ) n r +1 = g E f → ( rank ( 1 x n nrni deriva- intrinsic f , . . . , ;tedefinition the ); ) C . m U +1 . sthe is m . ethe be ) I fthe if rank 19 CEU eTD Collection series: where Theorem ae hsi olne re oee,cmlxaayi asaergd n eepc the expect we and rigid, are maps Σ( analytic locus complex the However, if hold true. to longer map formula any no almost is for this satisfied is case, (2) thus maps; smooth if all among open and dense Remark. consequently classes; ( characteristic appropriate the substituting by H Since utemr,if furthermore, f ooooycaso h orsodn iglrt e Σ set singularity corresponding the of class cohomology hsplnma scle h hmplnma ftesingularity. the proof. of of polynomial Sketch Thom the called is polynomial This (2) sgvnb usiuigteSiflWiny(ep hr)cassof classes Chern) (resp. Stiefel-Whitney the polynomial substituting by given is locus the of on only polynomial pending universal a exists There J and manifolds, analytic) Theorem singular principle. the local-global of the “shape” of the instance an terms) are cohomological they (in locus; describing singularities, of invariants 20 iglrt subset singularity J d f : ∗ f ( ( N ,m n, nfc,tepolynomial the fact, In e srcl hoe .. rmCatr1: Chapter from 1.1.1 Theorem recall us Let describe Singularities ) B s“a” ecnapoiaei ih“ie ast rirr rcso.I h complex the In precision. arbitrary to maps “nice” with it approximate can we “bad”, is ∗ U → Diff ssml nisomorphism. an simply is Q [Σ( nteuieslstainwl eaplnma ig n h ulakΦ pullback the and ring, polynomial a be will situation universal the in ) ) . M saanaplnma,and polynomial, a again is n f Σ ntera ae h e fmp hc r rnvra oagvnsnuaiyare singularity given a to transversal are which maps of set the case, real the In .. ([ 2.3.2 ecnpl akfo h nvra aeaogtecasfigmpΦ: Φ map classifying the along case universal the from back pull can we , .. ([ 2.3.1 × ) P ⊂ ensasbe wihw lodnt by denote also we (which subset a defines : Diff [Σ( f N n osdrteuiesljtbundle jet universal the Consider [Σ m staseslt ,then Σ, to transversal is [( = ] Σ , f Dam72 h5,HK57 Tho56, m h ooooyclass cohomology the , ]= )] J ⊂ shmtp qiaetto equivalent homotopy is Σ( P and ( J f c P f ( 1 = ) ,M N, Σ c , ) ( local ]) Σ − w P 2 easnuaiy hti,a is, that singularity, a be . 1 uhta o map a for that such , 1 c , . . . , (Σ) ( o otc iglrte,tepolynomial the singularities, contact For antb arbitrary: be cannot N T x f + 1 ]=[Φ = )] eaiu fmp,hwvr hmplnmasare polynomials Thom however, maps, of behaviour 2.3. sasbait ihteepce ieso c.[ (cf. dimension expected the with subvariety a is ) ∈ ⊂ ) ]) X N k n w , ∞ N =1 ; . P hmpolynomials Thom d h 2 ( = ] − : Let 1 h ( i 1 d , ntosto variables of set two in N T k h e of jet the (Σ sdfie ytefloigiett ffra power formal of identity following the by defined is t 2 k [Σ( J N d , . . . , U ) = f . . . , ) n f ) J ⊂ ∗ + 1 )] and + 1 [Σ GL ; ∈ m f J f n J ⊂ ( f P = ) ∗ H P ,M N, U M w × at : j m codim i n → 1 N =1 =1 m GL ( Q ( x Diff M T ,M N, Σ B ( → d ]=Φ = )] c etosot,ra rs.complex (resp. real smooth, two be m eog to belongs h (Σ) ftegoa e space jet global the of ) j i U U t 1 t h ooooyring cohomology the , n i M j ) h , n the and , ( f , × . J ⊂ ]=( = )] N 2 hs e staseslt the to transversal is jet whose c ∗ h , ∗ Diff ; 1 w [Σ Z c , . . . , 3 2 U 2 U . . . , ( J ) m o n oceecase concrete any For . M T P Σ f (resp. N T J ⊂ Diff nain uvreyof subvariety invariant )
[Σ = ) ∗ n P Φ ) U . . . , n and and ∗ × ]; a ewitnas written be can [Σ H U Diff U ) 2 J ⊂ f d codim J ⊂ 1 ∗ m d , . . . , M T f -equivariant U J H n even and , (Σ) .Finally, ]. U ∗ N d Ful98 ∗ ] ( nothe into sgiven is . ( ( ,M N, → J N m global U de- , ; B = ) Z ]). U ) ) ) . : CEU eTD Collection eedo h dimensions the on depend olc h ito rvosykonTo oyoil ee ewl a)s h notation the (ab)use will We here. polynomials Thom known previously Σ( of list the collect by polynomials Thom series the Thom “shift” we if that [ in proven recently was (this where coefficients the that is rendition a such motivating observation one write ncomputing in utemr,tesequence the Furthermore, Corollary Remark. bundle’ difference of interpretation The ntefloigsense: following the in • • • • • • • • • • r nte uhosraini httececet we hyapa)d o actually not do appear) they (when coefficients the that is observation such Another ewl alboth call will We o h hmplnma fΣi eaiecodimension relative in Σ of polynomial Thom the for ) ...KonTo polynomials. Thom Known 2.3.1. and [ r in derived were formulae ecmue Σ computed We Rim´anyi [ For A FR08 A A a ie yKzra [ Kazarian by given was A I A Σ g Σ eg. Σ 2 s hyas optdtececet o nunmdfml hc includes which family unnamed an for coefficients the computed also They -s. Q i ij ≤ ≤ 3 4 2 , µ ( 2 ( [ Gaffney by computed was (0) ( 6 8 ( r ( r r salna obnto fShrplnmas(f pedxA.2): Appendix (cf. polynomials Schur of combination linear a as = r ( (0), r a acltdb otos[ Porteous by calculated was ) I III a optdi [ in computed was ) a optdb og saseilcs fΣ of case special a as Ronga by computed was ) r :Apsfradfruawsgvnb og [ Ronga by given was formula pushforward A ): 2 :Kzra aeapsfradfrua h hmsre a optdi [ in computed was series Thom the formula; pushforward a gave Kazarian ): 2 :A trtdrsdefruawsgvni [ in given was formula residue iterated An ): , hstermas od o h hmBada classes. Thom-Boardman the for holds also theorem This ,[ ], , µ 1 3 2 0 n Σ and (0) ( (Σ) , 3 P ftesnuaiy e [ see singularity; the of r 2.3.3 A Pra07 ( Q ), Rim01 n,m r ≤ ,aduetenotation the use and ), ). ∈ 4 III (1), ( . f N c ∗ a,b 1 h polynomials The ]. M T i c , . . . , stedmnino h utetagbao h iglrt.Ti means This singularity. the of algebra quotient the of dimension the is 1 h ,uigtersrcineutosmethod. equations restriction the using ], 2 P ( I ( i , r r a,b 2 ), nteaoetermi htte r h hr lse fte‘virtual the of classes Chern the are they that is theorem above the in n Σ and ) ( and −
0 for (0) Q a n n k )wr optd ipe eso adacmue program) computer a (and version simpler A computed. were 1) N T ; r Kaz06 + 7→ and ( d W7,PW07b PW07a, BFR02 Q h 1 b d , . . . , 1 FR08 . P h hmplnma of polynomial Thom the ij h , n ≤ m a ( + − 2 + . . . , ]. k,m FR07 tal oeprecisely more all; at i 6, P ,[ ], n )i [ in 1) + ,va“xrplto”fo rvosrslsfrsmall for results previous from “extrapolation” via ], b Gaf83 = ) + Por71 A = ) eedol nterltv codimension relative the on only depend LP09 Tp ≤ k e ≤ r λ vnulystabilizes. eventually Σ ,adScin .,32frtedetails. the for 3.2 3.1, Sections and ], 4 P n oeohreape eecmue by computed were examples other some and 8 ( = X ( opaeorrslsit otx,w re to tried we context, a into results our place To n r ,m n, λ ]. +1 ,Σ ), − btwsaraykont Giambelli). to known already was (but ] e FK06 ]. r ( e ,m r µ,λ ,mtvtdb ueia evidence). numerical by motivated ], +1 r λ hyfi noa nnt eis aldthe called series, infinite an into fit they , rjust or ) +1 21 · ) s ( ( λ ]. r c ( ,adsm te ae,localization cases, other some and ), 1 h c , . . . , BSz06 1 h , tog eaemr interested more are we (though Σ ij Tp 2 . . . . , Ron72 r Σ n . , ]. o hm ewl frequently will We them. for 0; ); d e λ 1 .Sm oceecases, concrete Some ]. d , . . . , are nonnegative n , 0) . r = integers FR07, m I 2 − , 2 ( n r 21 ) , CEU eTD Collection ewn ofidavco bundle vector a find to want we aua ata eouinstsyn u ed;ta osrcinatal ae akt the to back dates actually construction that Mather). needs; (Damon, our seventies satisfying resolution partial natural [ of) closure hc rtapae n[ in appeared first which ti loes oceki ahcnrt iuto ewl elwt ntethesis. the in with deal will we [ situation (see concrete too each them in for check holds to everything easy classes, also contact is general, it in not, are classes localization Remark. following series; that hypergeometric out basic turns of become It world singularities above. the for into described formulae naturally situation quite the leads bundle remedy program difference to this formal fact the) this know of exploit we classes particular, can (Chern we in the variables); on of only sets more. depend two or they in 30 polynomials about of handle is systems cannot general (binoms) computers factors different personal suppose of today’s example number For binoms; the of already: when examples case products the small are relatively denominators memory the for the the happens denominator, exhausting that This quickly common explosion, a computer. exponential much to the an pretty terms of suffer is the terms denominators bringing temporary large of while formulae number with computers; resulting variables using many the even in methods, impossible functions are other rational terms to Summing the since accessible als. evaluate, not to are hard notoriously which are cases in formulae down [ in To oyoil)o otc singularities. contact of polynomials) (Thom Z telclzto aial optsapsfrad.W ilseta hr xssavery a exists there that see will We pushforward). a computes basically localization (the ] FR08 rank h ai osrcini h olwn:Fra(otc)snuaiyclass singularity (contact) a For following: the is construction basic The nti hpe esuytegnrlpoete flclzto omlefrsingularities, for formulae localization of properties general the study we chapter this In epeettebscieso [ of ideas basic the present We to opposed (as properties special some have singularities of polynomials Thom However, ealtefloignotations: following the Recall ( I Q µ k I .Wietelclzto rnil svr oefli h es htw a write can we that sense the in powerful very is principle localization the While ]. F F eew ilwr ihnteter fcnatsnuaiis hl Thom-Boardman while singularities; contact of theory the within work will we Here Q F F F Z = ) hpe .Lclzto fTo polynomials Thom of Localization 3. Chapter = = = ( = ( = ecnte s qiain oaiaino compactification a on localization equivariant use then can we ; dim dim J corank f f ( 1 1 3.1. n f , f , C C ) ( ( / 2 2 m Q f , . . . , f , . . . , I ( I 2 F F oaiainfrcnatsingularities contact for Localization F BSz06 + h leri utpiiy hfe by shifted multiplicity, algebraic the ) iia ubro ler eeaosof generators algebra of number minimal ) I m m F ) ) ) / ¡ J ∈ ntecnetof context the in ] m J 2 E q hpremti identities. -hypergeometric ( ( FR08 n m n, M → h da ftesingularity the of ideal the ) h e ftesingularity the of jet the ) ,wihgv sisgtit h tutr fthe of structure the into insight us give which ], hc sa meddprilrslto f(the of resolution partial embedded an is which 22 A d iglrte,adwr hngeneralized then were and singularities, ainlfunctions rational h utetalgebra quotient the nta fpolynomi- of instead c ako h ideal the of rank ( f ∗ M T M Z ¯ priori a Mat73
J ⊂ ocompute to N T d − ( ;and ); Q ,m n, ) as ]), 1 that ) CEU eTD Collection logenerates also case ideals ⊂ M singular possibly the at class” Euler “tangent (inverse) the as thought point be can quotient The where (3) [ torus compute maximal to the to action the restrict tively; where J Proof. hsw aet ov h ytmo equations of system the solve to have we thus some parameter Z [ matrix generates ideal its for Proposition codimension of ideals of scheme Hilbert duced) ¯ d n unlike and ; ( n t omv owr,w aet nesadte(agn oe fte xdpit of points fixed the) of cones (tangent the understand to have we forward, move To map the Consider h following The aial h object the Basically coefficient the where locus The Zariski-openness: the proves reasoning same the Actually, i n aeany take and ) n u h offiin arx[ matrix coefficient the but , hti,iel eeae ymnmas odwyt iuls hmi ocnie the consider to is them visualise to way good A monomials. by generated ideals is, that , t I Hilb i R Fix :Te h ooiliel fcodimension of ideals monomial the Then 2: = Z Clearly ∈ as aldeuvratmultiplicity). equivariant called (also δ I ij and = F I R µ stesto ou-xdiel in ideals torus-fixed of set the is m + . ( and , X But . π J Z i ( r I s“o htiprat nti theory. this in important” that “not is d E ylclzn on localizing by ] ij Z .. ([ 3.1.1 I p ( ⊂ M t n eoe h atlgclcodimension tautological the denotes E sntivril sclosed. is invertible not is ] and ) − i tlatfrlreenough large for least at , ↓ ↓ ↓ ↓ ↓ ( if ) h xdpit of points fixed The )). b 1 f GL 1 ( i I b , . . . , ε → + c n ) ∈ FR08 = × [ Z ⊗ I ⊂ εb ¯ p Z p C GL − ⊂ M P = ] i M = E : = ) ¯ s m ¯ 1 ssaleog.Frti,write this, For enough. small is Z ( j m π s I I ∈ ,Lma4.3) Lemma ], = I = C i euvratdarmsmaie h situation: the summarizes diagram -equivariant ( X = ) f ∈ → ⊗ I → X E ¯ m i Fix X i p .Tegroup The ). I ∈ nteohrhn ti pnin open is it hand other the On . i ( r rirr lmnso h da;w att hwthat show to want we ideal; the of elements arbitrary are Hilb M [ ⊗ I Z t I δ ¯ Hilb i t ij ) f ⊗ i : ( f 1 ( µ ⊂ + δ s C i C + ( µ ij i + J m J εr m Hilb ∈ C + εb d T d ε ij ( m J ⊂ ( R J ⊂ Hilb 1 n X . εr n = sceryivril for invertible clearly is ] f , . . . , µ j )) .W aet present to have We ). m ) o n ideal any For ij M T noe vrtigaottesnuaiyclass singularity the about everything encodes d GL ) r ¯ ⊂ ( d n ti needn of independent is it j , → r ayt it hyaejs the just are they list: to easy are ij ⊂ ,m n, ( × and , µ m ,m n, f Gr m T j in cso h otmrwtiily ecan We trivially. row bottom the on acts n Gr µ + )] R ( = = ) ⊂ J J µ εb · N { ∈ ⊗ µ d J d X [ µ GL ( m I N ( j d n C ude over bundles J M n ( r nbjcinwt h partitions the with bijection in are 1 I ,dfie ympigajet a mapping by defined ), I ¯ n m n ) where )), d m , . . . , f ⊂ M e × ( b ) ¡ j ¯ ( n i stetnetcn of cone tangent the is T GL ) J = I X −−→ −−→ J ⊗ Gr d m i π π ( P T ⊗ I n C n pl hoe A.3.7 Theorem apply and , ) } I t c ) Gr m i m r | h lsr of closure the , ( ε as ij pt C Hilb δ . | hc hw htthe that shows which , ] ij f Gr d m ml enough. small ( j c + Suppose : ,m n, µ µ = o some for ( εr and J P d ij ) ( ) n t Hilb i )i h (re- the is )) ( ; f i r f monomial µ + p ij 1 M respec- , − f , . . . , ¯ εb ∈ 1 F ( i at I for ) R into ) I = 23 m is . CEU eTD Collection emti ro.I h aetvrino htppr ktho iia ro appeared. direct, proof orbits a similar the such a of give spaces of we sketch Here a paper, it”. Proof. that of of proof version direct latest a the find In to interesting proof. be geometric would “it that noted tapit yapyn h nntsmlato ftecrepdn i ler otepoint. orbit the an to of algebra space Lie tangent correspoding the the compute of to action easy infinitesimal relatively the is applying it by action, point, group a at Lie a have we if Lemma is here fact important The “operation” Q ls sartoa ucini h variables the in function rational a is class is tori the of weights the as for (eg. partitions” dimensional ( weight of where (4) 24 ∞ = ti eyipratt nesadwa apn hnw increase we when happens what understand to important very is It na ale eso f[ of version earlier an In J if I ( osdrayideal any Consider / I n [ .. ([ 3.1.2 usoe h ooiliel fcodimension of ideals monomial the over runs Z ∈ ) /I = ] µ M iue2. Figure ¯ and ; n ) e iue2 nthe In 2. Figure see 1), + hstoetrsd o otiuet h u) oeta h agn Euler tangent the that Note sum). the to contribute not do terms those thus , Tp 7→ FR08 ( n ,θ α, E y# oiae ytemsclntto.Te clearly Then notation. musical the by motivated #, by 1 + O I # # Fix ( = ) α Q ,Lma8.2) Lemma ], = I T = ) h oieso ooiliel( ideal monomial 4 codimension The = ( = ⊂ Diff n Tp and I Q # [ ( ,x I, N ( ¡ α Fix # FR08 n I e 1 M⊂ ( ) E J α , . . . , T ¯ n T · I n I +1 I m ( Gr n n # and T = ,tes called so the 3, = respectively; , = ) I fcodimension of ) ) hslmawspoe oehtidrcl,adwas and indirectly, somewhat proved was lemma this ] Gr . E y y y yx xy y 1 ] n 2 3 4 # I ; ste“ita”tnetElrcasof class Euler tangent “virtual” the is I θ > n O xy xy ⊕ 1 x x = θ , . . . , = ( 2 3 α x E ae ooiliel orsodt “higher- to correspond ideals monomial case, 2 x i n Diff I . +1 2 2 2 Y i y x y =1 µ m 2 ·E ( w n x = ) ( d 3 i α Q +1) 3 ( y n ln partitions plane n µ r h egt fteqoin algebra quotient the of weights the are +1 I is,w ilso o h tangent the how show will we First, . x X 1)) + · ∈ (# 4 µ Fix − in I w Q eaet ahohr ngeneral, In other. each to relate ) ¡ i Q J y j m =1 ) 3 J ( . xy , n d Q ); ( n 2 i µ α =1 x , 1) + .W a o rt (3) write now can We ). E i 2 I and ) ( θ n α j ¡ e sdnt the denote us Let . ) − J θ j w 4 (2) M r ( are i Q ¯ ( α at ) − I times) 1 (which CEU eTD Collection ψ basis a given and Clearly algebra Lie The hr 1 where transformations infinitesimal factor of the types of two action of) the classes computing (the by by do can we which a e agn etrin vector tangent a get can in map ti ayt e htol ae()cnla oanneotnetvco,wihidentifies which vector, tangent nonzero a to lead can (b) case only that see T to easy is It h ou cso h oreside). source the on acts torus gives the which system, notation our weight with are directions new The (5): using easy is which ideal, # of of cones cones tangent tangent of # bundle of the cone tangent the that follows ic hsi refor subset true is this Since (5) i h isomorphism the via # i ( I x h nytigrmisi ocmuetewihso h e ietosa monomial a at directions new the of weights the compute to is remains thing only The (# n +1 O X Hom v T ≤ saproduct a as ) = ) I n ic hsioopimvre otnul sw oeaon on around move we as continously varies isomorphism this since and ; ⊂ O T e # w (# ≤ u I i i (# − d I, T v diff # α + n ( and X J O { I n u (# ). +1 ( ) I ( i n ( bev hti h line the if that Observe . T / Hom n ,u ϕ, + any hc opee h ro teaprn indsrpnycmsfrom comes discrepancy sign apparent (the proof the completes which , 1)(ytkn h eiaiewrt. derivative the taking (by +1)) O 1 sgnrtdb h nntsmlactions infinitesimal the by generated is +1) n I I ,s htw elywn ocluaei h factor the is calculate to want really we what so ), 1) + ≤ O } ( + x ri,i stu o h no fobt,ta s o n invariant any for is, that orbits, of union the for true is it orbit, of n Hom = T I Hom +1 ) # Q { ∈ I 7→ T T Hom E ecncntutabasis a construct can we , Gr I ∪ k ∪ # d ( x x k (# Q × O I, − I n i X i µ X negative +1 1 Gr } ( J Q (# ( I, pligsc nifiieia cingvsu linear a us gives action infinitesimal an such Applying . etitdto restricted , x n t# at x x x µ 7→ 7→ ( ) n ) J n J I, i i i +1 , 7→ 7→ 7→ 1 i h aua atrmap factor natural the via +1) Q ( x x ( ⊂ Q × . . . Q n ) n i n I ) k +1 +1)) ) +1) x x x v ⊂ egt to weights sas rdc,eatytesm a (actually way same the exactly product, a also is / i i i + 7→ + + + + Hom Hom T / ε ε h εx εx εx → u ( = ∼ ( x x i ( I j j j i ( k j I, x x X Hom ϕ 0 uv Gr x 1 1 is Hom k k ( n · · · · · · savco udeoe h udeof bundle the over bundle vector a is , Q x µ v T +1 + T J ) J l µ = ) # (# x x ivratwt weight with -invariant dmninlsubspace -dimensional E k I ( I ( (# diff j k d n n (# { e e − ε I, )(b) = ) = ) ψ )(a) 1 I, at ( Hom i O Q ( n } n > k k Q ) ) +1) of ε Hom . 1) + 1 = 0 = ) o all for 0 = ( A x 1 / n ae n() ysetting by (5), on based , ( diff , +1 ⊕ Q E k ) ( ( Sym n n ;ti sgenerated is this ); +1) k v C ∈ , n Q A w , # C ) i ois so , of I ,because ), ,adwe and ), Hilb µ h it , ψ 25 i i CEU eTD Collection ont h olwn oolr fLma3.1.2: Lemma of corollary following the to down # x to corresponding partition” dimensional permutation { ac oeal culcomputations. actual enable to dancy difference [ class, this (6) nimdaecrlayi that is corollary immediate An (7) 26 ae.Terao ecnd ti htsmig(ainl ubr sa is numbers (rational) small summing very that for is except it before, do impossible can we more-or-less reason was The this data; cases. localization inte- chosen the means deterministically the from That or into randomly numbers holds. either still rational (7) substitute or and can gers practice), computer in a guarantee example the to for into easy that very anything is basically (which substitute zero became can not we that fact the down Theorem with sides, (the of polynomials Schur in Rewriting in. where of singularity; i 1 ( 1 x , n i , . . . , t utetalgebra quotient its e ssatwt h qain(opr ih()above) (4) with (compare equation the with start us Let oeta ecnseiyamnma ideal monomial a specify can we that Note ti elkonta o esnbync iglrte alcnatsnuaiisfl into fall singularities contact (all singularities nice reasonably for that known well is It oethat Note − 2 c k x , . . . , ϕχ λ Q X λ λ ) I usoe h attoswt weight with partitions the over runs r h iteodRcado offiins.Cnie h offiin of coefficient the Consider coefficients). Littlewood-Richardson the are k 0 d } θ λ (where 3.2.1 | Dam72 − = λ n d X ϕ,χ σ o vr ooilideal monomial every for , λ | E α d K = ∈ ∈ hstefrua()aoei eudn.Orie steepotti redun- this exploit the is idea Our redundant. is above (4) formula the thus ; λ I ( . − d codim = S ∈ Z ⊂ ihtenttosaoe ehave we above, notations the With λ [ 1) Q Z k P ) h hmplnma a ewitna oyoili h formal the in polynomial a as written be can polynomial Thom the ]), Z r h nnw offiinso h hmplnma eaeinterested are we polynomial Thom the of coefficients unknown the are = Q | = ] Q χ k hl h H sartoa ucini h variables the in function rational a is RHS the while , = / n Q | y ( c Aut nteLS ti just is it LHS, the on : X ∈ α ϕχ λ J Q Fix n nlyseiyn nodro hs eeaosb hoiga choosing by generators these of order an specifying finally and , X σ λ ( ( s hncosn the choosing then , Q i n ϕ 1 s Here, . ) ) d ( { 3.2. α , . . . , /I θ λ e λ ) ( · E s W s d = χ λ e y λ α y ( h usiuintrick substitution The ( ( α θ α ( unless 0 = J i − σ Aut s n opt h offiinso h hmpolynomial Thom the of coefficients the compute and -s, ( = ) ) − ( ( α i k k α α )) ) Q Q ) = ) Q ) and − · /I ( = eoe h ru fsmere f(n)“higher- (any) of symmetries of group the denotes I hs loigsm emtto ftevariables the of permutation some allowing Thus, . / j Y 1) ∈ 0 ¡ y K | X suul.Denoting usual). as , mµ − ∈ λ θ λ J Fix Y | l 1) d =1 µ 1 seApni .)w get we A.2) Appendix (see k qaln otecodimension the to equalling λ y ( X mµ ∈ ≤ n hc ie h following: the gives which , Q I = Fix hr san is there ) α i µ µ − =1 yfis specifying first by j k . codim P − Q Q ϕ w generators ⊂ j m l =1 Q y ( E X µ ∈ ( m Fix y α ( ) θ σ α ( j ( s − ) i { 1 − I 1) λ e ) α E 0 α , . . . , ( w E i | W y ϕ ¡ E s sln as long as -s, x i y y ( | y s ( I i ( α 1 J 0 α α ( ϕ ) x , . . . , α ( ) h sopimtype ismorphism the ) by ( σ θ )) k ( ) Q i s . k P much { uhthat such ) ) ϕ ) Q e codim α i ( k l hsboils this all , W i s hc boils which ; of λ y E airtask easier ( ( θ ( α Q y Z nboth in ) ( )) where , α fthe of ) does ) I = CEU eTD Collection agt suul h i o a width has box big the usual; as target, “renormalized of any combination for linear polynomial a Thom (as the series alphabet which infinite difference from an the get in we polynomials” way Schur This 3). Figure (see ie:rltv oti ieaetig stable. things are line this to in relative proved line’: finally and Pragacz, by independently also and [ evidence), numerical on (based Remark. d on depend on depend not do coefficients the compute can we other. Also each functions. rational summing than sntvr motn,i h es hti ol esitdb xdfiieaon;however, amount; finite fixed ( a by be shifted to be could seems it choice that natural sense the the in important, very not is Σ singularities Thom-Boardman of family one-parameter the in [ author the by then the of case h hmplnma.Tetprgtpriini h complement the is partition top-right is The line) polynomial. base Thom the the (ignoring partition bottom-left The Σ letting by ofs increase ( Clearly, integers) of sequence increasing ( pair the coefficients denote similarly, the line; for base (7) the formula of RHS the aeline). base PW07a FK06 λ becomes = e sepanFgr nmr eal h etcldte iei h idei u ‘base our is middle the in line dotted vertical The detail. more in 3 Figure explain us Let polynomials Thom the of coefficients the that is 3.2.1 Theorem of corollary important An h coefficients The | ν n eto .) n hn oiae yteeeape,poe n[ in proved examples, these by motivated then, and 4.4), Section and ] + ` m | − | ,[ ], ( µ µ iue3. Figure ν hssaiiypoet a oie nyrcnl:fis n[ in first recently: only noticed was property stability This n + rdecrease or PW07b A d i + ) ihr.Wieteei hfig ntesneta hnw replace we when that sense the in shifting, a is there While either). ν ( 3 ob h nqefis-re hmBada ls u iglrt eog to. belongs singularity our class Thom-Boardman first-order unique the be to λ µ,λ − 1 | iglrt epesdi hr ooil,isedo cu polynomials), Schur of instead monomials, Chern in (expressed singularity ` ) λ sas osat eedn nyo h iglrt adtecoc fthe of choice the (and singularity the on only depending constant, a also is ecnrlbltececet,idxn hmwt h pair the with them indexing coefficients, the relabel can we , ( ν 2 ν + m − d ν , . . . ]. = ) λ h eainbetween relation The adsnete r oyoili h difference the in polynomial a are they since (and − r lokont enneaie hswscnetrdb h author the by conjectured was this nonnegative; be to known also are ,o oeseicly h sge atto”(hc sjs non- a just is (which partition” “signed the specifically, more or ), n ν µ + ti olw o xml rmLma312,i sas rethat true also is it 3.1.2), Lemma from example for follows (this n,since and, ; steprinof portion the is − ν m n + + , − − i | n rev m λ | + n height and = ν ,m n, − ,n i, λ codim d ) n , λ e λ ν ∈ χ θ . − − and a era off. read be can yn ntergto h aeln.W will We line. base the of right the on lying − Z = ν i ( µ − ,weetepstv integer positive the where ), α Z { m by ,called ), λ e ,adthe and ), steprinof portion the is µ , λ h xc lcmn ftebs line base the of placement exact The . r h iesoso h oreand source the of dimensions the are n ν h terms the ; ± , m ν analogously, ; + n h ar( pair the and hmseries Thom codim n − im χ d λ hne by changes = BFR02 χ · s d { ν yn ntelf of left the on lying λ λ ∓ λ e ( θ ftesingularity, the of ν hs perin appear these ; θ χ χ neednl of independently ( = . . . + − 2 1 − ν , FR07 ntesingle the in ] ν α α ν ± − hydon’t they , m − i perin appear ) ) µ ( = , sdefined is − by hnwe when ]. rev ν i, m + 1 ν , ν +1, (see + − 27 ). ) CEU eTD Collection eko httesmi nitgr eol edt xrc h osattrso the of terms constant the extract to notation: following need the only use we will We integer, them. an sum and is series, sum Laurent the individual that know 0, degree we of homogeneous the are formulae As our symmetry: since to the that limit exponents note the of the Finally, taking breaking shifting and symmetry. the specialization, the natural about of rather worry some a shouldn’t is We this shows, literature roots. and we of way that instead any all mials in of natural first somewhat is least specialization answer at The limit looks the which variables? in substitution the works other of any symmetry find the couldn’t breaks it since especially Remark. the [ called is This n nih notesrcuebhn h cns htw ild o st substitute to is now do will we What scenes. the behind structure the 1 into insight any substitution the where i hscase, this (in are 28 ( where Sta99 n ,q q, , − h dai oepn h em f()it arn eis(fe h pcaiain;since specialization); the (after series Laurent into (7) of terms the expand to is idea The hoe .. ok rtywl o optrcluain,hwvri osntallow not does it however calculations, computer for well pretty works 3.2.1 Theorem o neape osdrtesingularity the consider example, an For 1) 2 q , rs W ]. µ G ν 3 + y ± . . . , Tp ν ( h edrcudakwyw ige u hssbttto nta fsm others, some of instead substitution this out singled we why ask could reader The ± α µ eoe h rnraie cu oyoil” ecnrecover can we polynomials”: Schur “renormalized the denotes ,y,n n,m ∓ = ) u oueta ewudne u xrsin ocnansmercpolyno- symmetric contain to expressions our need would we that use to but , i (where suul hs(o any (for Thus usual. as ,since 1, = ( = q = ) { n Tp X w sal)picplspecialization principal (stable) ν ± 1 y ∞ → n,m w , . . . , s q Ts s χ λ safra aibe notevariables the into variable) formal a is ( ( ( ( W A A θ A h nyohrsadr pcaiaini h so-called the is specialization standard other only the ; q 2 2 k y − 2 E = ) = ) ( q , 3.3. µ y − Σ = y } = α rs k (1 1 ) +1 ν stesto egt ttefie point fixed the at weights of set the is , X m m k ,q q, , ± ∞ − =0 11 rnia specialization Principal y X X k k − − q , ∈ =0 =0 X q, n n 7→ Fix 2 ⊂ k +1 +1 2 +2 k − q , . . . , n Σ · G 2 2 q s . . . , m rs 2 1 k k (( ν , . . . , ). ) ( ± m · · k, ,y,n s s − − (2 ( n ol o hneteresult. the change not would A n m k − m + ( 2 ) − − 1 q − h hmplnmasadteTo series Thom the and polynomials Thom The . i ) n ) ) q n µ +1+ n +1 + − ν − = 1 ± k k,m ntesmercplnma literature polynomial symmetric the in )) ) , X e 1 ν 2 ( ± = k − θ ) n ( s − X j +1 θ λ ∈ ( α − Z − θ ) g k − . α ν ) e ± α ) α ( ,y,n,j i θ n let and , ) − y ∈ α · X q Fix = ) j n ∈ g y ν n Q and , ± Tp ,y,n, [[ n edt infinity. to tend q n,m ]][ ∞ → 0 q − exponential χ from 1 ] = restores { Ts λ e by = CEU eTD Collection iha adtv)basis (additive) an with w eoeby Denote Theorem (8) rmwihi olw that follows it which from G Proof. of) series Laurent (the the of degree leading the Corollary the have we this, From ti ntutv olo tteeapeo iue2(ae2) There 24): (page 2 Figure of example the at look to instructive is It ti meit httesals ereis degree smallest the which from that tableaux, immediate Young semistandard is by it determined monomials of sums are polynomials the of one is this 0 weight For each For permutation: versa. the for choices to have ntepermutation). the on Proof. ti eyes osewa apn ihtenumerator: the with happens what see to easy very is it mnma das fti xdtp orsodt h hieof choice the to correspond type fixed this of ideals) (monomial by denoted one, single a g Theorem n ν stab i ν ± 7→ ( ± q ,y,j ti ayt eemn h edn ereo h numerator the of degree leading the determine to easy is It earayudrto hthpeswt h denominator the with happens what understood already We ,y,n )it alrsre,teepninsat with starts expansion the series, Taylor into )) g ν ± sntzero. not is ewl saiihalwrbudfrtelaigdge f(h arn eisof) series Laurent (the of degree leading the for bound lower a estabilish will We e sfi an fix us Let ic hr r nyfiieymn ye fqoin lers ti nuht consider to enough is it algebras, quotient of types many finitely only are there Since . ,y,n,j c 3.3.3 i min 3.3.2 G 3.3.1 vnulysaiie.W ildnt h tbelmtby limit stable the denote will We stabilizes. eventually q ν ± e . . i min ,y,n i j o n fixed any For . o n fixed any For s(norrnigeape either example, running our (in -s h edn sals)tr of term (smallest) leading the +1 n #[ G 0 = codn oCrlay3.3.1 Corollary to According . w ν s ± χ Q i { G ,y,n let , ( g y iial,w a xapermutation a fix can we similarly, ; W W ν ν 2 # ± 1 ± ,x,x xy, y, , y # K = ,y,n,j ,y,n − ]= )] χ e y i min = G = = q ν Y i n ν ν ± =1 µ ± = χ s W ± − eoetelaig(enn mlet ereo of of degree smallest) (meaning leading the denote 0 ( ,y,n and , χ q 1 + q y g } ≤ +1 w n n ν y h orsodn egt are weights corresponding the , − 0 ± i − µ i ( µ w ,y,n · 1 ∈ j ) q k ( i w ( = hr r nyfiieymany finitely only are there , ) i < = W ( +1 Y q ≤ i Fix P + 1 = n ( n ) y 0 q χ 2 ,j = ) +1 i i µ ) and , =1 1 1 < if = 1 + i < Y i =1 G e µ · · · w j > n s q i min G χ ν i n 2 χ , ± ( c ( ν − q i < W i min { ± n < j ,y,n ( 1 ;epnigtemlile 1 multiplier the expanding ); e 2 i n ,y,n i min 2 y − − 1 + ∈ i , k ) 0 − f . · q either n < 2 Y i + n Z =1 ( + 1 Y i i , k µ χ , . . . , =1 0 µ − +max 1 . . . h eiso ainlnumbers rational of series the
i , q w w k . 1 1 σ ν i ; s α i } − ∓ E k ( (( ∈ µ q ) or y 7→ n = { i ) q 1) + S − fw re h weights the order we if ) e hnw increase we when n { i min 1) k q Q k g − i . Q i Q µ 1 ν stab 1 q { + ± i , / = } w n 2 integers and y ν ,y,j Aut where , ,β α β, β, 1 i ∓ J ( i , ∈ ) q ( (2) 1 ) ∈ Q − β Fix i , ie points Fixed . W Q 7→ 2 / ∞ } ( . + f ( y depending − n q q 3 ,α β, uhthat such 0 ) Schur )): i xy , q 2 denotes n rvice or n / w } 2 and , ( we ; i x , q ( n q 2 − 29 ); ) CEU eTD Collection uhthat such 30 where of degree leading the up, it sum To the of degree leading The the of ordering the h edn ereo product a of degree leading The fteivreo oyoil h oyoili ie ntefis ruet noe as encoded argument, first the in given is polynomial The polynomial. a of inverse our the in of but performance; for anyway). that only form fact important that (the in is functions presented rational product typically (univariate) a is arbitrary it into it for restriction); situation factored work real is a to not it denominator is extend the which to 1, easy terms very constant is (with polynomials univariate of product [ recursions. simple series satisfy Laurent coefficients the the computing since furthermore, fast, done nonzero; be is can contribution expansions whose points fixed each the For the for series: bound Thom lower the of coefficients the of independent be must it is series, formula Thom first the that Note (10) Corollary series. Laurent its by well-defined is cumbersome. somewhat into is argument formula this general convert a to Corollary down easy writing is it but case bound, concrete lower any explicit For an degree. the dominate will term e PJ03 i min u e ucincnovsa rirr omlpwrsre ihteTyo expansion Taylor the with series power formal arbitrary an convolves function key Our language programming Haskell the in written program, computer small following The ...A loihi approach. algorithmic An 3.3.1. hc qast t(ic ehv monomial a have we (since it to equals which ,ue hs eusost ffiinl opt h alrsre ftercpoa fa of reciprocal the of series Taylor the compute efficiently to recursions these uses ], L slna nthe in linear is l
) rs − − 3: = n 1 = − − Q (0) 1) + n q n n ij l with , ( = − + , )+2 + 1) + 1 + 1) + A i A ) i 3 + ) x 3 , C rmfirst from ) I [ 2 ofs x , 2 ]) ν , + / III ( ν , x 2 2 − , 3 ), ) ; CEU eTD Collection | r Proof. that so shlmrhco h domain the on holomorphic is ewntne ht,where that), need won’t we Z Lemma (11) P thermore, most at of set thus and | case, particular this in limit works fact annulus in convergence that a summation; the of order since the exchange and series, since htw a aetenc eoiao ntels line. last ( the by in denominator denominator the nice the and have numerator can the we both that multiplied we how Note u q ∞ Q q | ( | n r < 0 oltstk tpbc,adcnie h olwn u in sum following the consider and back, step a take let’s So nrdc h function the Introduce ) .Thus 1. = r h reso h oe of poles the of orders the are ( ( u j R ,u F, n owork. to 1 F F − 1 h sequence The i 1 and 0 = (1) ∞ → ) d sa is one,or bounded, , < 3.4.1 ) a ( n Z ooopi in holomorphic ) | q q ( h difference the , = = = arn polynomial Laurent n j . − ) Ts ( ( 0 0 0 i Suppose F n ,u F, | ≤ ≤ ≤ (Σ X X X ( i ; = q ( + q | ) ) i ( ( q − − ; 1) rs − i ( , (1 a 1, < for q q ) q ( i ( − a 1) ; (+ +1 ; n − 2 ) i q q + q q − − z i 1 u | q ∞ j ; 1) i ( ) u a, ) ) j s − } F ) | j + 1 q q + i n q q | ∈ ) − q − ) j = ; i ( − P ( | ( c.Crlay344below). 3.4.4 Corollary (cf. + j n and 1 = i q a q q icuigte‘eaieroots’ ‘negative the (including j i − 1 < 1 Ω − +1 +1 ) ( ( j ) 2 ; 2 − − ∆ n thsn oe on poles no has it and , where , i q i q n 1 q ( +1 )(1 2 ) ) i ; 1 ( − n − z ) + ( i ( q ) n adas on also (and − ) i 1 +1 q 2 q and ( ) − + − ( = a i ; j j − q ) 1 ( − +1 i 2 q − ( + ( − ; j ) 1 C q +1 q q 2 q ) | ( i j ; u q i u ; + j F ) ( − ) ( +1 q − j q j 2 | q j q F ∈ )( j ) ( ) ( z ; > − ) ; ) n q j ∆ q < ( q − q F q − ( j C P ; q i ) − j q ) a ,rsetvl,where respectively, 1, ( 1 ), q j j ( n | n ; w independent two i − − − − u z ) + s + ( ) − ) q = n | j | q i j F a ) F Ω 1 ) ∆ − q − where − z ; n < − i > 1 q ( a i − a ) n h limit the and , sa culsre with series actual an is j ) − u ) 1 1 ∞ − q P n j j − s − = − ( j hnw aethe take we When : z s + q j i 1 = ) a − ∆ i − {| a | +1 − i − j ) ( sasymptotically is u a n | | q ) F q z > j s | ste(finite) the is )( ( p noLaurent into j 1 = 1 − − q variables − } j 1 i ) /k − Z Then . .Fur- ). q r ∆ q ( 0 i ,u F, but , ,so ), and F 33 . q ) CEU eTD Collection dpnigon (depending | ewl s h nt eso fJbc’ rpepoutfruaA.5.11. formula product triple Jaboci’s of version finite the use will We (12) Corollary ecnd htb introducing by that for do case can special we a has formula this Since Proof. ∪ on holomorphic be must U domain smaller the consider 34 Corollary the is Proposition z ε> | ε .Sbtttn hsbc no(1 n sn oolr ..,w e htfrasmall a for that get we 3.4.3, Corollary using and (11) into back this Substituting 1. = o osdrteLuetsre expansion series Laurent the consider Now this, see To limit. the of holomorphicity the is clear immediately not thing other only The 0 ⊂ U ε ε Ω Set nihorodo ∆ of -neighbourhood Ω = < 1 X i =0 b n ( sacmatst thus set, compact a is < z qz qz, = 1 3.4.3 3.4.4 X j . X i 3.4.2 =0 n zqu n ∞ =0 Z egbuho of neighbourhood ) q ( ( − X . . j n ± q ∞ =0 1 . ) ; For For 1 1 ; ( q /a For 1 ,u F, q − ) ( ) ( i − − n − ( z u u nTermA57adlet and A.5.7 Theorem in q 1) 1) = = = ) z − u ; ( U X 0 6= 0 6= i − q q 1 =0 i = n i + ε 0 6= ( ( q ; ) + 1 ic hswrsfraysmall any for works this Since . n {| ∩ q j n U n j X i ( − q , , ) ( =0 q − q ( ( ε i 1 1 q ( = i , F z z ( ( ,q q, ,q q, ( ; − − 1 i 1 1 ( ; = i +1 − q q u 2 z − − q 0 +1 q n X 2 ∈ ∈ z z j ; ) ( ; | =0 − − ) z z − 1) ) ∈ q n {| z ) ; ; q i − − + < 1 1 C C 1 + − ) ( q q = ) Z ) q q 1 (1 + 1 i 1 1 u j ( | q C ) ) j q n n ( ( 1 u j 1 q 1 ; | ( n n ( − j − ( ( +1 ( 2 n | +1 P q q 2 i q , , < z z qz, − +1 ) 1) 2 F 1 = ; ) ( ; ) (1 ) | n q q q k n z ovre nfrl ni,adte h limit the then and it, on uniformly converges 1 ) ε ( i z − ) ; = ) + | z } − − n ( q − n i − i ) − oeta h atri nt e.Teclosure The set. finite a is latter the that Note . = j − ) − ( + q n q q i − zu 1 j ε 1 j ( ( ( ; n n | − } ) F q i u z − q m u +1 ) ) c X 2 ± ; ( m ) ( 0 ( P P i ∈ 1) q 1 n z ) j + sn h expansions the Using . | ) Z ) − + , ∆ = ) a j n k i k ∞ l ∞ ,w aet eaaethe separate to have we 1, = c i ( =0 ) − =1 ) = ε u j m edt infinity. to tend n +1 hr ∆ where , 1 2 ( = 2 ( if if + − z P j n · z ( ) − k l i zqu ( − ( i qu m zqu q ) q l ( P z z q q ; ∈ = − q ( ; ± Z 1 = 1 6= k m q ) − m 1 if if +1 c 2 j ( ) ; ∈ 1 m qu , ( zqu n > ε q ; Z ) q ε z q ) z ; | | c = n z z ) m ( k q m m − ∞ q | | , ) ; ∪ 1 n u na nuu containing annulus an on ; < > 0, ( q ; − q m zqu p ) q ) ∈ 1 if if 1 1 n ( ) Z n − ∆ j ( n − − j q q ; , ( | 1 i ; p q zqu ) shlmrhcon holomorphic is z z | q ) < ∞ ) 1 6= 1 = 1 n ; − . q ε ) {| n m u . − case; 0 = p | ε < Z } q CEU eTD Collection h motn bevto sta huhordrvto ok nyfralmtdstof set limited a for only works derivation our though that is observation important The where hyareo ml e,te utb qa no h hl oan o ecntk the take can we Now domain. whole the on on equal as be sides must both they of set, limit small a on agree they both egtta o 1 for that get we cases Z b > n Proof. Lemma case of computation the for subsection next eas our because substitute and Z q ( n q nteΣ the In ) ( ( F F ,u F, ,u F, Z b + 0 F ti rethat true is it ic arn oyoili a is polynomial Laurent a Since q ( and 1 = ( ( n 0 z 3.4.5 z = ) ( ) = ) = ) = ) ( z = = = = ,u F, = ) 2 F c c c c c c . F aew tre ih ehave we with, started we case 0 0 0 z 0 0 0 · · n h ucindfie ytels oml r ooopi nΩ on holomorphic are formula last the by defined function the and ) F When b − a ipeeog nml,aLuetplnma) twl enee nthe in needed be will it polynomial), Laurent a (namely, enough simple was + + + u + + + , b + ( F m> − z X b b ad,te rce yteidcinstep induction the by proceed then hand”, “by 2 = = ( ( ( ( ( ( ( = ) 0 ,q q q, q, q q, q, q q, q, z ,q q, q q, q q, .Te h ttmn olw rm(2,osrigta led for already that observing (12), from follows statement the Then 0. 6= < ε ( + ) 0 q u c hl l hscmlxt a neesr o hspriua case, particular this for unnecessary was complexity this all While . Z F n k ; ; ; m 1 1 1 1 1 1 ) q q q q F ( | ∞ → ; ; ; n u saLuetpolynomial, Laurent a is u ) ) ) − − q q q ) n n n z − mk | ( ) ) ) ( − − − a (1 ,q F, < ∞ ∞ ∞ ,a z, z (1 1 1 1 h − : 1 − 1 k k m X X X k k k 1 − =1 =1 ∞ ∞ n n X X = ) = =0 =0 stedcmoiinof decomposition the is ) X − 6=0 ∞ q − − −∞ z − − n ( ( 1 1 (1 c ) − − − n n > a , m c ( ( 1 ( 1) 1) − 0 − − − ) 1 lentvl ecnas tr rm(3,poethe prove (13), from start also can we Alternatively . h k k 1) 1) 1) q − X l q q 1 n ≥ finite Ts k k ( ( k − − u 0 k k q 0 = 1 +1 +1 ( − 2 2 n n ( F ) A u k m 2 2 ) ) 0 + +1 X − − 2 − l 2 ≥ n n q j X ( l u fmnmas ti nuht osdrthe consider to enough is it monomials, of sum ). m X ∞ =0 = ) n 0 u + + 1 + 1 − − − − l k u + 1 k n 2 2 ml − k Z k k k ) F =1 q i F n X X l> − ( − + + q q + ,q F, − 0 q q 1 X l> + and + n ( ( F m< X k k ( F 0 + +1 +1 F = ) − 2 2 F 0 F 0 ( − − 1) ) ) u oispicplpr n h rest. the and part principal its to c − · · l m k ( c + ( ( u 0 u u u k . j n l l + ) mk − − )(13) 2 − k k c n h ) ) 0 i X + 1 (1 + 1 l − − ≥ = 0 2 b F F k → − + 0 2 q − ( > a a , , + q b u ( l q 2. + − k F n +1 2 k − − ) ) 1 u ) ( 0 = u mk X l< l + 0 0 < k 1 u +1 oif so , ml ) u o i -s, 35 CEU eTD Collection codim w ye fqoin lerso oieso ,adtu w ye ffie points: fixed of types two thus and 2, codimension of algebras quotient of types two and is series Thom the So thus 36 rvoscmuain oeta ehv xcl h aetp fsum of type same the closed exactly no have we is that there Note know, computation: previous we as formula. far last the As in appearing middle. sum the of type in the (40) for version formula A.5.9, Theorem using e h eodfipittp smr novd esatwt h ahnr ul nthe in built machinery the with start We involved. more is type fixpoint second The h rtfie on yei rtysrihfrad ecnsml aetelimit the take simply can We straightforward. pretty is type point fixed first The 3.4.3. a ( n ) 2( = = = 0 0 ≤ ≤ (2 m A X X i n = = 1), + ( ) 2 q s . − X = = i = J J + hsi h rtral neetn optto.I hscase, this In computation. interesting really first the is This a − − a (1) (2) Ts ) n X i a =0 − 2 ofs q ( s + 1 = = = = = q X 1 / / = A s + j 3 ( ( ( s − a )( j 2 x x ( ( ( ( ;tepsil ( possible the 0; = Q ( − · = ) a Ts n q, q/ q, q/ q, q/ q, 3 2 q s i 2 − ) y y xy, , ) l j ( 6= (Σ s 2 ! n 1+ − ! 3 2 ,q/ q, i − P [( d 1 1 1 2; 2; 2; q 2 ( a,n 1+ 2 3( · a q = ) q 1 a ∞ + q n X q q q i l i =0 2 = a,n − q =0 i − 2; ) ) ) − − ) ) i ∞ ∞ ∞ 1 21 1 4 rs − · − − 2 1 q q 2 ( Q a ) 1 X a a Z (0 q i q i q lim lim lim ) ∞ q ∞ =0 )( − →∞ →∞ 2 j ; ( , q l j 0) )( a 6= q − q ( + )( ) X i n ) q i,j l 2 q ( ∞ =0 q i q = ) ( 2 − − i j (2 117 i (2 d j ( (2 Φ , h 8 − q ( q a ( ν − − q/a, 2 ( n − 1 q ( l i q, ± − q , q, ) ; 2 2 − q 1) q i − - r gi ( again are )-s q 2 + 1) q q 2 3 )] i 2 ) ,a a, i i i q q ) q i 0 1 2 + 2 i q ) ) h i q P P e 2 i j > a a , , q q ( q ; )( ( ( a ( /a ) · Q Q q ( q n 2 − i 633 +1 16 i q ; 2 /a ) ) 2 1 ( +1 2 2 1) q ) l i q q, ) ; 1 = = ) − ) ; ; 2 q i n q rs i q q q i ) 2 − 4 0 = 2 q a ) 1 3 ) ( ∞ ( q 1 i ∞ a, + j i 2 ( +1 2 − 2 ( ) 0 α − q i ( 2 3129 ) a ; − ( − Φ i a, 32 ) q q/ where , 2 1) 1 ) 2 − n 2; β i − q + a )( 2 1 5 q j for ) − ,a q, q ) q β + n 2 i ( /a − i ( − · · · +1 Z 2 q 1 ; − q 2 ( ) a q n + α i ) ) q, ∈ ( ) j ( j ,q F, ( +1 2 2 N q a q ) ; hr are There . q ,bthere but ), ) n n − µ 1 ∞ → − 2, = j : CEU eTD Collection where substituted for hr,a rtw used we first at where, compute to forward our h arn eisaround series Laurent The o,lt compute lets Now, the discard can Laurent we that thus 3.4.5) sum, (Lemma zero section a give previous term the constant in proved we But z F 7→ is z − k 1 x = nwy hnw sdtetiilidentity trivial the used we then anyway; 0 Z H l (2 + q + ( + H F Z ( j z F 0 a H o e scnetaeo h ne u.Osrethat Observe sum. inner the on concentrate us let Now . q ( q , − +1 ( z ( + H 1 z = ) H = ) = ) ( = ) − (2 = 0 z = = = = ± q , = ) X 2 ( | z ( ( ( ( ( z H ;satn rm(13): from starting ); − H 2(1 + q q q q q − | a a − ; ; ; ; ; + +1 H scnegn for convergent is 1 = 1 ) 1 1 1 1 1 = q q q q q ( H nta of instead ) ( ) ) ) ) ) − z − z ∞ 3 ∞ 3 ∞ 3 ∞ 3 ∞ 3 − 3(1 X − ( + 1 + ) ( x z 2 z 1 − 2 j j j X X k 2 = ) l 0 z = ) = ) ∞ ∞ =0 = = = =0 X X X − + + + 1 )(1 − = = 1 −∞ −∞ −∞ a ∞ ∞ ∞ − ( ( ) z − − − X − H i 2(1 2( − ) =1 xq − ( a H 2 1) 1) 1 1 (2 x − ( z a z/ z j (2 − − − z l k 1) a (2 + H − − + ) 1 q 1 1 +1 q ( = 2) i ( 2 2 j z ± ( − 2 2) l q q q k +1 − 2 ( 1 z − +1 ( ( 2 s j j a z ( 1 X ) xq j = ) 2 + X + +1 x = ) ,wihi n ic h u ssymmetric is sum the since fine is which ), +1 X k k ) 2 X 2 − j ∞ a = ; = ∞ + j = ; − X + ) a q s X − = | j − q + X − ( j = −∞ 2 1 a 1 ) + ∞ ( z | ) − z +1 k j ( 4 1 − i − s j a < − 2 + ) ) − k z a ; 1) − = ( 1 · ) 1) − X z 2 | − a H z z k s q ) H x a 1) k ± | q + j +1 8 1 P 0 q ( < H ( j X ( k l at n aclt utwith just calculate and part, z + + z ∞ =0 q − k +1 2 + k n 2 ) ,adi srltvl straight- relatively is it and 2, +1 ( 2 i = − H ( X j − ) . · ( +1 z − 2 1 ) − s − − + ) X n = + ) 16 1) 1 ( ( − 1 a ( z − a q l z − − H q 1) q j z 3 polynomials 1 ( ) lj s − ) l 2 · · · − k +1 2 q ( q z j ) ( − k q +1 2 lj 1 ) ) ;finally, 0; = ihu a without 37 CEU eTD Collection eaaey hsls oml svldfor valid is formula last this separately, hthpeswt h rtcltr,set term, critical the with happens ( what terms of rest the sn ht( that using back for substitute denominator to the want and we numerator Now A.5.14. formula and transformation bilateral the using writing 38 = = lim = y j ε ε lim (2 (2 = → → X + ( = −∞ ∞ ,q/ q, q/ q, 0 0 q ( y l " q +1 q = ; ( ( l oee,telte sabttik:I ed tniey egtzrsbt nthe in both zeros get we naively, it do we If tricky: bit a is latter the however, ; − (2 q q (2 ; ( 2; 2; · q ) ( q y qy qy, q 1) | − ∞ 2 ,q/ q, q ,q/ q, l ) q q l l ∞ j n briefly and +1 ) ) + q q ∞ ∞ l ( ; 2 2; ε j q + − q +1 − 2 ( 2 ); j ) 1 − q − 1 ε l ) ; q 6= ) − ; l 1) q ; ( ∞ ) q ( 1 xq ) q ∞ x ) − − ∞ Z ( = ∞ ; l ( ; l l q q q − − eoe ipyzr hnmlile y( by multiplied when zero simply becomes ) q ( x ( ) H 1 ) j q − j 1) = j X + ; js o h ymty,teinrsmi (1 is sum inner the symmetry), the for (just 2 = · l 2 0 +1 y q −∞ − ∞ q , j ) l ) 1 l ( q − = lim = = lim = 2 = ) qy ( ( − − 1 − − − a a ( l {z ( ( ( ( l 2 →∞ →∞ − 1 1) +1 q x qx qx, qx qx, y qy qy, y qy qy, · ; ( l q (1 1) q, ) q j > l ) + ∞ q 2 l l 2 2 ( − − − ε ( ( Ψ l j ,q/ q, l ya x q/x, qx, qy/a, qx/a, qy, +1 1 2 − − − − y ,to Thus too. 0, = 0, q 2 q · − 1 1 1 1 l ) − · = )( ; ; (1 ; ; 1 1 j ( q q q q 2; a x , a 1 (1 q 2 l q − ) ) q ) ) ) − − = − q ∞ ∞ ∞ ∞ − l l q oeta huhw ade the handled we though that Note . 1 l l − + q ) + +1 +1 q xq , − ∞ y j − j j y ( ε ε 1 l ; = = X X q + + l n aetelimit the take and , otntl,te utcne u,and out, cancel just they Fortunately, . X 2 ( q ; l a,q/y /ax, l −∞ −∞ ∞ =0 ∞ ∞ q j q ) + l l q, − ( + y ∞ ( ( ε 1 1 − = − − yq )) ( /ay ε a } q 1) q 1) 1) )) l ; # + l q j j q ε ; ; · ) q q ( q q ∞ ( ( l ) ) +1 j j 2 ∞ ∞ +1 +1 2 2 · ) ε | lim ) ) 2 → 2 − 1 ( Ψ ( qy 0 1 l y − 2 ; − ; q q q q (1 1 ) ε y j ) a y , a − j y j → − l − x x ; 1 1 q j j = yq , q 0: {z ) − − − − ∞ 1 l ( q x .T see To 0. = q l q + ) l q, l − ε + l 1 xq case 0 = a ε times )) x 2 = } CEU eTD Collection otisalteesnilcmlxt.Nt htw r o wr fayohrmto for method other any of data. aware localization not the are from we directly cases that series the next Thom Note that the the suggesting complexity. computing computing evidence essential While light the (very) all some computation. contains also our is basic of there the needs generalized; well how the astonishing fit quite theory ( it find this we of indeed results series; hypergeometric basic of [ theory in Ronga the by of calculated polynomials Thom result—the to cross- respect we way. (with this careful, expansion discovered being series was first Laurent) error of the (or sign examining addition Taylor subtle by the In typically of (Maple), software correctness: coefficients algebra 30-40 its computer in using step confident each checked reasonably be can actually we may series series the these that singularities, complicated proving more than of for easier However, powers negative much did). contain we case) an (as this to other (in each up cancel is identity which hypergeometric appearing, a sum series get the we that thus guarantees constant, theory a general is the constant). polynomial, unknown appearing Thom functions the the know of didn’t interesting we an if proved even we theory, polynomial Thom the Remark. ysubstituting by A.5.10: identity product triple Jacobi’s by connected are two The type! fixpoint other the ial,cmiigwt h te xdpittype, point fixed other the with combining Finally, thus (1 the from comes sign The e µ a = )ti a sihrnl oedffiut esilhp httecneto a be can connection the that hope still we difficult, more inherently is way this 3) = h edrpoal oie ht nsieo h opeiyo h optto,the computation, the of complexity the of spite in that, noticed probably reader The nfc,t opt h hmsre,w edt opt nytecntn emo the of term constant the only compute to need we series, Thom the compute to fact, In ocuigremarks. Concluding 2 1 Z q ( ,q F, ecudas untewoeagmn piedw,adsyta trigfrom starting that say and upside-down, argument whole the turn also could We = ) Z i q − = ( 1 2 H ( q, j 0 2 .Rognzn,w get we Reorganizing, 1. + q , 2 − ,q/ q, a = ) Ron72 (2 + 2; q − − osmlrcmuain ilb necessary. be will computations similar so , ti ayt aemsae nsc ogcmuain however, computation; long a such in mistakes make to easy is It q a x P +1 ) ) ∞ − ( l ∞ .Hwvr edsoee upiigcneto ihthe with connection surprising a discovered we However, ]. =0 q, 1 − = = = = Ts atr( factor ( 2 2 − ,q/ q, n X X X l l l ( − ≥ ≥ ≥ = X A 1) a ∞ 0 0 0 −∞ ) 2 ( ( ( l A Z = ) q − − − 2; ( 2 q ( x 1) 1) 1) l ( q +1 − 2 H iglrt— sntignw hywr first were They new: nothing is singularity—, ) ) hsis This 2). = X a l l l 1) ∞ ) q q q ≥ 0 2 ( ( ( q , 0 n − l l l +1 +1 +1 2 2 2 q 2 l ) ( a ) ) ) 1 = n rs 2 2 2 +1 2 2 = 1 1 1 d l l l ( ) a, a − + + − 2 − + a 1 n q a + 2 hpremti dniy(oethat (note identity -hypergeometric ) 2 X X e i> i< almost P a X j 0 0 ≥ 2 2 = ( j ∞ ( ( − 0 q, =0 − − ( a − 1) 1) 2 a ( − ,q/ q, − n h hmsre is series Thom the and , 1) h aea h oml for formula the as same the i i q q 2 1) j ( ( a q 2 i i j +1 +1 ) 2; ( 2 q j 2 ( +1 ) 2 i q j 2 +1 ) 1 2 ) P i ∞ 2 µ ) j ( j ∞ 2 q, aealready case 3 = =0 j 2 ( ,q/ q, − q .Ide,a Indeed, ). 1) j 2; q ( q j +1 ) 2 ∞ ) 2 j 39 . CEU eTD Collection fteideal the of Remark. h ags ∆ largest The set. generating particular this Definition to belonging functions of derivatives partial ∆ Lemma and system coordinate local by generated ideal the is Definition singularities. complicated more closure of) the in interested are we equivalent. are they that show and place Σ Σ the of Σ coefficients the the of Σ for all formulae for also closed and derive singularities, we methods) different completely o hs ubr susle.W eadti ata oi vdnefrtercns of richness of the combination for linear Σ evidence as solid expressed a polynomials as Thom fact enumeration polynomials. of this Schur positive (supersymmetric) regard coefficients or We the formula, the of of unsolved. for combinatorics kind is 4.4.4), numbers some Theorem are these finding (see there for of show that will problem true we combinatorial is as resulting it fact, Chern- While Σ (or in Schur case case. known; the particular the in not coefficients not are the is expansion polynomials, this Thom monomial) these that for argue formulae different we many however, solved; is tion [ Porteous by ij ij k ( o eaerayt state to ready are we Now ewl edsm entos hc ercl rmCatr2. Chapter from recall we which definitions, some need will We space jet second the in working are we that Recall eaeuigdffrn entoso h leri esΣ sets algebraic the of definitions different using are We nti hpe,w ilfis eiealclzto oml o h hmplnmasof polynomials Thom the for formula localization a derive first will we chapter, this In Σ singularities Thom-Boardman order second of polynomials Thom The U iglrte,wihlast e ro fRnasterm(hoe ..) hn(by then 4.2.1); (Theorem theorem Ronga’s of proof new a to leads which singularities, sa is ) sgnrtdb hs ucin oehrwt h eemnnswt nre being entries with determinants the with together functions these by generated is 22 Diff .. Bada,[ (Boardman, 4.1.2 h rtcletnino nideal an of extension critical The ae hs eefis rsne n[ in presented first were these case, U 2 4.1.1 4.1.3 ( Por71 U hc sdfie as defined is which , k n ) uhta ∆ that such ∆ = 4.1. × ii . . hs offiinshsavr iecmiaoilitrrtto,adthe and interpretation, combinatorial nice very a has coefficients these , Let Diff ti ayt e that see to easy is It ,Rna[ Ronga ], 0 ( qiaec ftedfeetdefinitions different the of Equivalence J U 2 U hpe .Scn re - order Second 4. Chapter 2 ( ) ( U m ¡ ⊆ · · · ⊆ ,m n, -nain mohqaian uvreyo hssae Usually space. this of subvariety quasi-affine smooth )-invariant E n l the all and k ϕ Boa67 ( ( i n ij U = ) Ron72 ∈ ea da ffntos The functions. of ideal an be ) ) Σ ntesals oieso hyapa.Wt h exception the With appear. they codimension smallest the in ¯ U ( ij ∆ Hom twl ecnein oas en ∆ define also to convenient be will It . rank hc ssnua;teboundary the singular; is which , ]) E k . ( ( U ,Kzra [ Kazarian ], n Let ( k scle the called is ) U ) C × ⊆ n = , k ( C ∆ ϕ U determinants dim m 1 40 k FK06 ϕ , . . . , +1 s∆ is ) C ⊕ ( ( U Hom Kaz06 m n ) − 2 ]. N ⊆ · · · ⊆ r + rtclJcba extension Jacobian critical ) ∆ = ( Sym U eagnrtn ytmfor system generating a be .Sm ol a htti ques- this that say would Some ]. ) det / r m +1 2 ij C [ ∆ 2 ∂ϕ k where , eew olc hmi one in them collect we here ; . n th n , +1 Σ i C /∂x aoinextension Jacobian ( m ij U ); Σ ¯ j = ) ,where ], r ij = k − E ( ij U rank ( Σ n ∆ = ) r well-studied, are ij ) . x otis(jets contains U j . sa(fixed) a is sthe is n − U k i +1 ∆ 1 then ; Σ , k rank ( ( U U 22 ). ) CEU eTD Collection inof nian oml,wihw rsn ee(rncie nomr oenlanguage). modern more into (transcribed here present we which formula, [ that (note choose e.Σ (eg. Remark. f() h eodtr aihsb ento,adtefis embcmseuvln o(3). to equivalent becomes term first the and definition, by vanishes term second the (4), of im Proof. pnset): open Theorem-Definition Ron72 ( α Let og a h rtt td ndti h hmplnmaso Σ of polynomials Thom the detail in study to first the was Ronga (3) (4) (2) (1) 1 4 Preu)With (Porteous) (4) 3 Preu,Bada,Rna Let Ronga) Boardman, (Porteous, (3) 2 Bada)Let (Boardman) (2) 1 To)Let (Thom) (1) ijk ◦ ⇒ ⇒ ⇔ ⇔ α V β i .B osrcigarslto ftecoueo Σ of closure the of resolution a constructing By ]. ). 2 pae,ad0 and -planes, 2 ogi oeitiinaotsc xrsin.Nt:tescn qaincan equation second the Note: expressions. such as about rewritten intuition be some gain to 12, such no and β Then U oe hswrsfr“ie maps “nice” for works This Note: Σ entosi htΣ that is definitions = ) n 1 3.Tecrepnec ewe h w entoswl be will definitions two the between correspondence The (3). 4.Choose (4). 3.Se[ See (3). [ See (2). obe to i F l hs entosgnrlz o ihrodrTo-ormnsingularities Thom-Boardman order higher for generalize definitions these All ( and ( = J ∈ f 1 sasot umnfl ihteepce oieso,ad0 and codimension, expected the with submanifold smooth a is ) ker F F a rank has F f F 2 1 W curry 1 2 ◦ ( = ( f , . . . , ( ◦ ∈ curry ,i j, α m ( 1 Σ F α Boa67 Boa67 ( erpeettosof representations be uhthat such ) F F 1 1 ij x b b ,β α, f F , F α 2 2 ) ⊗ b α m if α , n 2 2 → 4.1.4 1 : 2 ) .Fcoigotby out Factoring ). ( β , − = dim ) : : α F 1 ¡ C xsswt ihridcs e pedxA1 npriua Figure particular in A.1, Appendix See indices. higher with exists F ,Scin7. Section ], 6. Section ], ( 1 I 1 J ∈ n i β − ( = Sym ker E ). ( = ◦ . ij ( 1 uhthat such → ( → ker ( β ( h olwn entoso Σ of definitions 4 following The n y F f F f 1 F a ucsieciia xesos∆ extensions critical successive has ) 2 )) F 2 1 4.2. V )+ )) ( = ) 1 ( 1 F C 1 ( f , . . . , 1 ,m n, coim im ker F , −→ 1 m → ◦ + = ) F 2 α F J 1 easot a.W a 0 say We map. smooth a be F og’ formula Ronga’s F sbefore, as ) F = ) 1 Q 1 Hom 1 2 1 1 im i m ) f and 0 = ◦ and → α ) ) − −→ α ( GL Hom − α 2 1 J ∈ 2 ( 1 ( f 1 h atlgcleatsqec vri.The it. over sequence exact tautological the 0 ◦ ker ,β x, n (Σ ◦ = ) coker dim Sym : ( and ( ( ij id F F C N ,m n, 1 2 ker ( 1 ( n J ⊂ ⊗ F n 2 ker y , ( , im GL C F )) C coker → β ( ∈ eajto map. a of jet a be ) ( 1 n F ( 1 F m 2 ntetre ftescn equation second the of target the in ) m curry : 0 = ) 1 ( 1 Σ −−→ 0 = M ) ) ,m n, respectively; , and ) F ij ⊕ 2 F m ◦ fteeeit ( exists there if 1 Hom h eainhpwt h other the with relationship the ; F ) b )). C . 2 α ∀ m im )= )) ij ij 1 x C ( edrvdapushforward a derived he , ⊗ −→ ( Sym i ge a es naZariski- a on least (at agree ∈ α ⊗ α 1 j C 1 where , C ◦ i coker 2 ∈ y , i C j β ( Gr U im = ) → n Σ ∈ , i n ∆ and ) F ( ij ( C F α V C α ij C ( ker m 1 1 ∈ f 1 m h Grassman- the ) j α , = ) ) f0 if ) iglrte in singularities . , Σ . ( ∈ curry 2 ij ) ker Σ j J ∈ fteideal the if (∆ j ( ∈ ( F f b F i 2 2 ( | ◦ 1 Σ U Σ ,and ), ( and ) i ,n i, i )). ( ( f f ) 41 ), ). ), CEU eTD Collection ffcieol o eysalcss n tshr odrv eea omlefo t(except it from formulae general derive to hard it’s and case cases, the small along in very pushforwards for the only compute effective to A.4.1) (Theorem p formula pushforward the use 4.3.3. Section in localization equivariant via theorem this re-derive will We Theorem 4.4. section in use will we which maps collapse polynomials: offiins Then coefficients. where Theorem Then ttlsaeo h)Gasana bundle Grassmannian Fl the) of space (total 42 ee ntelnug fCatr3 hssaeetmasta sn h hfe bs line’ terms ‘base shifted the using Already that means statement this ` 3, Chapter of ( language the In here. Remark. eaentitrse nteeatrsl fteinrpsfrad nta ejs set just we instead pushforward; inner the of result exact the in interested not are We case special the for —which, l he liswl etecneuneo h olwn optto.Frt substituting First, computation. following the of consequence the trivial be the will claims three All 4.2.2. Theorem of Proof m ( 1 ν ij − fe h eaaino aibe sn h omlei ..Hwvr hsagrtmis algorithm this However, A.2. in formulae the using variables of separation the after ( hstermgvsa loih ocmueteTo oyoil fΣ of polynomials Thom the compute to algorithm an gives theorem This − V = ) b ( (b) (a) (c) ;w ildnt t atlgclbnl with bundle tautological its denote will we ); n e f λ λ µ + A s i i λ λ ( i r oececet.Uigteaoeepninaan o for now again, expansion above the Using coefficients. some are Σ 3 1 m c olw rmtegnrlter,to a n seily()i hti important is what is (b) especially and (a) too; theory, general the from follows (c) m ,n i, 1) + 4.2.2 .. (Ronga) 4.2.1 i with ij Σ = µ > − j = ( n iesoa ersnainfor representation dimensional [Σ c.Fgr ) oeta b si eea as o ihrodrsingularities: higher-order for false general in is (b) that Note 3). Figure (cf. r Σ + − p j ) ( i . 111 ij 1 m ij = ) λ ,[ 1, = ( i ( Σ rt h hmplnma of polynomial Thom the Write − ( 6⊂ : ,fraltrsapaigi h hmsre,w have we series, Thom the in appearing terms all for ), − ,W V, e V i aifig(b)). satisfying n sacutrxml ta s h hmplnmasof polynomials Thom the is, (that counterexample a is ij Gr λ V + + λ n ( 0 = i = ) W , − i +1) i Ron72 ( ) V V . ewl s h hrhn notations shorthand the use will We m ) ) λ if ⊂ = j X ⊂ ]= )] → = h λ λ π k ± s λ ∗ ) eetees ecnuei opoetefloigtheorem, following the prove to it use can we Nevertheless, ]). aifisayo h olwn he conditions: three following the of any satisfies ± λ pt n α,β = p ( X e , A λ P 2 X ( ⊂ ∗ ⊂ h p Hom s + λ h k 2 e { k λ λ ` B gives : p ( s X ( µ 1 I Gr λ ( = ) ) ∗ ,W I, ( ≤ h W j i s J ( c s ( X I Gr µ,ν αβ λ = ) m ( − ) h )) W i j k f ) → ( ) ( V c λ · µ I ( ` I µν λ s ( A n sn h xaso seA.2) (see expansion the using and X ) sntiges u h ata a variety flag partial the but else nothing is ) ) · µ ( Gr Σ where , s i ) s · + λ ≤ ij α s i ( j i ( J ( ( µ ) V B f V V m ,m n, ( eoeby Denote . λ µ = ) A − and ) ) − n · ) · + s s I p ) e i µ ν ) P 1 λ ( ( salna obnto fSchur of combination linear a as ∗ W · B I h µ p ∈ π ) s ⊂ ) 2 , h − ( ∗ h m : Z s k = ( i { Fl ) s I λ p r nneaieinteger) (nonnegative are ( µ ij m ( I 1 ( I , ( ) A J V s − p β ) e 2 + ) J s ( n I { and ) → A Q µ i ∨ + s ( . 3 ) ) B λ s i pt oti nonzero contain ( ij ` µ o π —w get we )— V and ( ( respectively. , ic ecan we since , ν I = + − ) i = ) p I . k 1 eget: we ) = ◦ p p 2 i i 2 and and the j . CEU eTD Collection Proposition where Σ set singularity the Let qain r satisfied: are equations a oecac owr nsm te ae o e.i a eaatdt okfrthe for work to adapted [ be can it (eg. too cases other hope 5). some we particular Chapter the which in see this construction, not work singularity, convoluted in that’s to rather directly, While chance another, present understand some we that. has to compactification first to enough canonical thus general; map simple a in dominant is is case compactification a there has canonical require words, which this the we other it but case and In over it; Grassmannian, bundle space. compactify vector a to compactified a inside have the has we to space therefore extend our compact, since to not arbitrary, is be over cannot localize compactification to want we space Σ of polynomials h upsso localization. of purposes Σ the of definition fourth the of expansions the in appearing identity partitions the the using of follows. thus, duals theorem the conditions; the satisfies three is, term the that a such theorem, satisfy of the expansion of the claims that three directly follows it form rule Richardson the of terms of the where sn h iteodRcado ueA25 hoe .. n httern of rank the that and A.4.1 that Theorem immediately A.2.5, follows rule Littlewood-Richardson the Using Por83 nti eto,w ilapyeuvratlclzto odrv oml o h Thom the for formula a derive to localization equivariant apply will we section, this In ealtefloignotations: following the Recall ...TepoemdlfrTo-ormnsingularities. Thom-Boardman for model probe The 4.3.1. F α J ∈ h olwn ento fTo-ormnsnuaiis(hc stegeneralization the is (which singularities Thom-Boardman of definition following the ] p k 1 ∗ J ∈ d h g ( s γ ,m n, ( saeitgrcecet.Nw eseta [Σ that see we Now, coefficients. integer are ’s J m J d J ◦ Diff .. ([ 4.3.1 d +1 i d ◦ ) d ( ( ( ( ethe be ) ,W V, ,W V, ij − I ,m n, d ) k ( s iglrte.A sa ihsc ffrs h andffiut sta the that is difficulty main the efforts, such with usual As singularities. ( V β I i e k ( s Por83 := ) := ) := ) := ) o given a for i , I α ∨ ( k V ) − d s 1 ) jto naayi a;w ol iet eiewehri sin is it whether decide to like would we map; analytic an of -jet µ ) ij s ( ]) ( d(d(d( = d(d( 0 = 0 d( = 0 I h uigtecneto that convention the (using J J M k n414aoe.A ewl e hsdfiiini elsie for well-suited is definition this see will we As above). 4.1.4 in ) . i =1 d + i d d ( ◦ F ( ϕ γ ( . . . = C Hom ,V V, ) I 1 ( ∈ ϕ , n 4.3. V ± ( = , C Σ ,where ), 2 p ) ( ϕ , . . . , F m 1 I i Sym 1 ∗ Localization ) F fadol fteeeit a exists there if only and if h ◦ , ≥ s α F ( ◦ etc. k m i 1 ,W V, 2 α ) d ◦ i | ) ) 1 ≥ · · · ≥ 0 α ( α ) J ∈ I 1 ◦ ) ⊂ ) ) s α ◦ β e d h 2 ( ( α ) I k ,W V, | s 2 ) 0 i λ ) s and d ( µ ). ◦ − ( i α I 0 s.t. ) V ) 3 ` = i ) ij = ) ( | γ = 0 ]( n ) − ,sc httefollowing the that such ), ` ≤ ker s ( X V γ λ e ) ( salna combination linear a is ) i ≤ V ϕ rmteLittlewood- the From . i rb ( probe 1 ∨ g γ ( = ) = otospooe in proposed Porteous · { s 0 ( h } − i α + 1) 1 γ α , ) | ( λ duals V | 2 s α , . . . , ) λ e I , ( V is fall of the ) i it , A d 43 ) d 3 , CEU eTD Collection nloet ig n nfact, in because and also ring, and (nilpotent) possible, simplest the it’s j on image the w probes two n h pc eaeral neetdi stefco space factor the is in interested really are we space the and Grassmannian of restriction the hc el sta htmtesi not is matters what that us tells which u h qain o h rb rte u ntecmoet are components the in out written probe the for equations the But compute to hard not It’s hstegroup the Thus h miut h rbshv.Cnie o xml h case the example for Consider symbols space the have. factor probes the the in ambiguity interested the only are we and n osc rb xssfrhge ormnindices. Boardman Remark. higher for exists probe such no and 44 nqe n ngnrlfist euiu ncmlctdwy.T tr ih fw r given are we if with, start To ways. complicated F in unique diffeomorphisms be of) to (jets fails general in and unique, any first the of probes). of space moduli F en htte eaaete“rva”pr fΣ of part “trivial” the separate they that means I,W hnw a en e rb (˜ probe new a define can we then , probe fixed a for thus ; n ngnrl ovn h qain for equations the solving general, In h andffiut ihteapiaino hstermi htsc rb snta all at not is probe a such that is theorem this of application the with difficulty main The are equations the that is observation important very Another k : = . M P dim I ij → /G im nipratpoet fteeeutosi htte are they that is equations these of property important An k ( α V α = 0 = 0 ( • qain a edtrie ihu okn ntermiigeutos for equations, remaining the on looking without determined be can equations Gr ij ( ( sol 1 ;hwvr tde o eedon depend not does it however, ); F α and α , G C = µ 1 1 .W ilcall will We ). ( m I F , α , α 2 J β , = 2 d β β F F 2 2 ( ( 1 to im ) ) ←− 1 • - ,W V, 2 1 Q F resp. , ( ( qiaetif equivalent α α ( k d im J ∈ J ∈ J ∈ α =1 1 1 1 P ,α v, v ψ C C ( )frany for )) ) β ) { ij Diff 1 , n n 1 α ψ , . . . , im /G F 2 2 1 in ) M 1 ◦ ◦ ( ( 1 ( ( ( i ←− ←− ( ,m n, d ) β ,n i, ,i j, F , α α ij α ˜ } +1 I sol M 1 1 1 h ouin omalna usaeof subspace linear a form solutions the , 1 n fisinputs its of one w mesit h pc of space the into embeds 2 seApni A.1): Appendix (see = ) − = ) ◦ o h opnnso h rb,rs.temap the resp. probe, the of components the for , d I )+ )) I = ) k sol where , β W α ( : y C C the i 1 P 1 k ψ ( ) i i h aua hiet okwt is with work to choice natural The . , . . . , 1 1 cso h pc fprobes of space the on acts ) α , I F 1 α ¯ • α → ouisaeo probes of space moduli 1 F = ) 2 Hom Hom Hom ( 2 ) ←− ←− α α α ψ ˜ J Gr α tef(hc sasmercblna a) but map), bilinear symmetric a is (which itself ˜ ie a rmtesaeo probes of space the from map a gives 2 2 2 k d ( d sol ∈ µ ,β v, ytefloigdiagram: following the by ) ( ( ◦ ◦ P ∈ V, C ( ( ( I Fl J ( C C /G y n C C β Diff W . 1 telna br)fo h esne (the “essence” the from fibers) linear (the C d ij i j , ψ • i i , w ( , C 2 2 oe iha xr tutr:I sa is It structure: extra an with comes ) oee,ta sufruaeyntall not unfortunately is that However, . ( .Ti pc so oreioopi to isomorphic course of is space This ). ,W V, C C tcmswt aoia embedding canonical a with comes it : 2 n )) m d n i ) +1 ) ) ) −··· · · ←− −··· · · ←− × . ⊕ α α ⊕ − ˜ )) 3 3 k Hom Hom Hom , ( ideals i k ∀ ∀ ,adapoe( probe a and ), ( ( v M d ( ( Sym ,w v, oeta tas depends also it that Note . Sym Sym ∈ 2, = filtered I fti ring. this of ←− ←− α α C ˜ P 2 = ) d d 2 2 C i I C C ∈ linear I i = P , n i C , ( = h ouinspace solution The : , I C y C C C Q C i / ψ n i i n × ∼ d d m ,j i, / k d d ) W J =1 im nteunknown the in hr ecall we where , , ) C , d α .W iluse will We ). j ( ( = J 1 ,W V, α α , . . . , d ◦ 1 C +1 )) because , − . P .This ). F k I ( : d i for ) k oa to i , k − 1 ), CEU eTD Collection atclrcs sas aldtemdl of moduli the called also is case particular hti,jt fcre in curves of jets is, that where etcurve test (14) rbshstesm ouinsaei n nyi hi mg ne h utetmap quotient the under image their if only and if space solution same hand”. the “by has it probes understand Still, to 4.3.2. Theorem us apply. of enable not Proof to do enough nice Theory) Invariant is quotient Geometric particular (namely, this quotients group reductive with Remark. by given quotient linear the through where stesm on.T e hs ewl pl asineiiaint qain 1) ecan We (14). Equations to elimination that Gaussian generality apply of will we loss this, without see assume To point. same the is Theorem ouin vrafie probe fixed a over solutions Theorem well: pretty understand we Example. ngnrl h space the general, In F b I 1 i : and γ C oeta h group the that Note 4.3.2 .. ([ 4.3.3 osdrtesmls osbecs fΣ of case possible simplest the Consider n J ∈ /I J . j d α b → ◦ J I (1 2 For r h atlgclbnlsoe h ata a variety flag partial the over bundles tautological the are BSz06 C J n , ( = = = m 1 Σ ( ) C im im sotie from obtained is ij are C n C is,w hwthat show we First, h ouisaeo probes of space moduli the , M sol ( ( n ,[ ], , α α n sol C → M 1 1 ( I C ( M q m Gaf83 pt eaaeeiain h ouin in solutions The reparameterization. to up α ) ,J, I, ( P ◦ n a eqiecmlctd hr r oee w ae which cases two however are There complicated. quite be can j γ : = ) = ) ij C /I β ⊂ = ) P n 1 Diff = ij = = h atrmap factor The . /I ) α b M : C Hom 2 = ]) ⊂ ) = 0 = 0 n ) d d . ◦ 1 is (1) F Gr Hom Gr Hom M ∈ J = F I α For 2 β ( i i J ∈ ◦ F F F j 2 ( ( I ( J 1 ∈ ⊂ C C Λ ( = (Λ) 1 1 2 ,n i, ◦ ◦ ( d : ij | | ◦ C ( n n sn h rteuto:Since equation: first the using I I Hom A d not ( etcurves test (1 C C ) ) C α n ( J, ) r h pairs the are d ,m n, i J j → , M n , 1 − n , J × C Σ = → C C 1 + eutv,tu h sa ehiusdealing techniques usual the thus reductive, ( ) m Gr ij C ⊗ n n / F : ) C b ) /I ) 1 C Diff n ◦ ( stemdl space moduli the is 1 α 11 ( , n n i i ) ,i j, q 1 ◦ − C − / ... nti ae ehave we case, this In . and F M → 1 Λ) d i α m b 1 stequotient the is ) : ) ) (1) ) h ouio rbs(hc nthis in (which probes of moduli the , m 2 | : ) P ◦ ∨ I ij M → Fl