BLOG Carl McTague rss icon
Aspiring:composer, fiddler, mathematician, photographer

05 January 2014 | categories: Mathematics

Computing Hirzebruch L-Polynomials

Andrew Ranicki recently asked me to compute the Hirzebruch L-polynomial L8 expressing the signature of a 32-dimensional manifold in terms of its Pontrjagin numbers. (Hirzebruch’s book Topological Methods in Algebraic Geometry only lists L1 through L5, in §1.5.)

Here is Mathematica code to compute it, or any other member of a multiplicative sequence of polynomials:

 K[Q_,n_Integer] := Module[{z,x},
   SymmetricReduction[
      SeriesCoefficient[
       Product[ComposeSeries[Series[Q[z],{z,0,n}], 
         Series[Subscript[x,i]z,{z,0,n}]],{i,1,n}],n], 
      Table[Subscript[x,i],{i,1,n}], 
      Table[Subscript[c,i],{i,1,n}]][[1]] // FactorTerms]

The generating series for the L-sequence is $\frac{\sqrt{z}}{\tanh\sqrt{z}}$ so L8 can then be computed by running:

  K[ Sqrt[#]/Tanh[Sqrt[#]]&, 8] /. c->p

which produces:

$\hspace{-30pt}L_8=\frac{1}{488462349375}\left(355554717 p_8-63136017 p_1 p_7-18909191 p_2 p_6+15043799 p_1^2 p_6-5468617 p_3 p_5+8640058 p_1 p_2 p_5-3750699 p_1^3 p_5-1334163 p_4^2+2843653 p_1 p_3 p_4+1311182 p_2^2 p_4-3307215 p_1^2 p_2 p_4+972066 p_1^4 p_4+679224 p_2 p_3^2-825291 p_1^2 p_3^2-1250470 p_1 p_2^2 p_3+1371584 p_1^3 p_2 p_3-286966 p_1^5 p_3-68435 p_2^4+423040 p_1^2 p_2^3-407726 p_1^4 p_2^2+122508 p_1^6 p_2-10851 p_1^8\right)$

Some other L-polynomials (now published as OEIS sequence A237111):

$\hspace{-30pt}L_1=\frac{1}{3}p_1$

$\hspace{-30pt}L_2=\frac{1}{45}\left(7 p_2-p_1^2\right)$

$\hspace{-30pt}L_3=\frac{1}{945}\left(62 p_3-13 p_1 p_2+2 p_1^3\right)$

$\hspace{-30pt}L_4=\frac{1}{14175}\left(381 p_4-71 p_1 p_3-19 p_2^2+22 p_1^2 p_2-3 p_1^4\right)$

$\hspace{-30pt}L_5=\frac{1}{467775}\left(5110 p_5-919 p_1 p_4-336 p_2 p_3+237 p_1^2 p_3+127 p_1 p_2^2-83 p_1^3 p_2+10 p_1^5\right)$

$\hspace{-30pt}L_6=\frac{1}{638512875}\left(2828954 p_6-503904 p_1 p_5-159287 p_2 p_4+122523 p_1^2 p_4-40247 p_3^2+86901 p_1 p_2 p_3-33863 p_1^3 p_3+8718 p_2^3-27635 p_1^2 p_2^2+12842 p_1^4 p_2-1382 p_1^6\right)$

$\hspace{-30pt}L_7=\frac{1}{1915538625}\left(3440220 p_7-611266 p_1 p_6-185150 p_2 p_5+146256 p_1^2 p_5-62274 p_3 p_4+88137 p_1 p_2 p_4-37290 p_1^3 p_4+22027 p_1 p_3^2+16696 p_2^2 p_3-39341 p_1^2 p_2 p_3+10692 p_1^4 p_3-7978 p_1 p_2^3+11880 p_1^3 p_2^2-4322 p_1^5 p_2+420 p_1^7\right)$

$\hspace{-30pt}L_8=\frac{1}{488462349375}\left(355554717 p_8-63136017 p_1 p_7-18909191 p_2 p_6+15043799 p_1^2 p_6-5468617 p_3 p_5+8640058 p_1 p_2 p_5-3750699 p_1^3 p_5-1334163 p_4^2+2843653 p_1 p_3 p_4+1311182 p_2^2 p_4-3307215 p_1^2 p_2 p_4+972066 p_1^4 p_4+679224 p_2 p_3^2-825291 p_1^2 p_3^2-1250470 p_1 p_2^2 p_3+1371584 p_1^3 p_2 p_3-286966 p_1^5 p_3-68435 p_2^4+423040 p_1^2 p_2^3-407726 p_1^4 p_2^2+122508 p_1^6 p_2-10851 p_1^8\right)$

$\hspace{-30pt}L_9=\frac{1}{194896477400625}\left(57496915570 p_9-10208138209 p_1 p_8-3048553630 p_2 p_7+2429800789 p_1^2 p_7-844282766 p_3 p_6+1377913993 p_1 p_2 p_6-602296505 p_1^3 p_6-271389940 p_4 p_5+388346645 p_1 p_3 p_5+194787260 p_2^2 p_5-503353722 p_1^2 p_2 p_5+151701815 p_1^4 p_5+93946261 p_1 p_4^2+130062108 p_2 p_3 p_4-164047713 p_1^2 p_3 p_4-150462162 p_1 p_2^2 p_4+176155388 p_1^3 p_2 p_4-39714485 p_1^5 p_4+12765448 p_3^3-78021660 p_1 p_2 p_3^2+44101890 p_1^3 p_3^2-20200592 p_2^3 p_3+100397374 p_1^2 p_2^2 p_3-70683311 p_1^4 p_2 p_3+12038553 p_1^6 p_3+11098737 p_1 p_2^4-29509334 p_1^3 p_2^3+20996751 p_1^5 p_2^2-5391213 p_1^7 p_2+438670 p_1^9\right)$

$\hspace{-30pt}L_{10}=\frac{1}{32157918771103125}\left(3844943648994 p_{10}-682613292644 p_1 p_9-203707792197 p_2 p_8+162436741673 p_1^2 p_8-55782134394 p_3 p_7+91819476941 p_1 p_2 p_7-40205725073 p_1^3 p_7-15408421872 p_4 p_6+24755004136 p_1 p_3 p_6+12733594519 p_2^2 p_6-33128200250 p_1^2 p_2 p_6+10051904387 p_1^4 p_6-3689436247 p_5^2+7860847666 p_1 p_4 p_5+7156900191 p_2 p_3 p_5-9206843259 p_1^2 p_3 p_5-9177195410 p_1 p_2^2 p_5+11001659873 p_1^3 p_2 p_5-2541992887 p_1^5 p_5+1745258589 p_2 p_4^2-2219530950 p_1^2 p_4^2+1300052223 p_3^2 p_4-6094105875 p_1 p_2 p_3 p_4+3572462273 p_1^3 p_3 p_4-932098945 p_2^3 p_4+4896089605 p_1^2 p_2^2 p_4-3669438754 p_1^4 p_2 p_4+671189161 p_1^6 p_4-597952583 p_1 p_3^3-750509715 p_2^2 p_3^2+2548895877 p_1^2 p_2 p_3^2-923938550 p_1^4 p_3^2+1322085815 p_1 p_2^3 p_3-2812761078 p_1^3 p_2^2 p_3+1451051181 p_1^5 p_2 p_3-208588561 p_1^7 p_3+46251222 p_2^5-471455695 p_1^2 p_2^4+768892622 p_1^4 p_2^3-433817957 p_1^6 p_2^2+97463470 p_1^8 p_2-7333662 p_1^{10}\right)$

$\hspace{-30pt}L_{11}=\frac{1}{2218896395206115625}\left(107522567547780 p_{11}-19088863620918 p_1 p_{10}-5695530073310 p_2 p_9+4542143981708 p_1^2 p_9-1555173021402 p_3 p_8+2565423874181 p_1 p_2 p_8-1123840932470 p_1^3 p_8-411527701200 p_4 p_7+683711631540 p_1 p_3 p_7+354034647890 p_2^2 p_7-922678415929 p_1^2 p_2 p_7+280446917930 p_1^4 p_7-129278298520 p_5 p_6+186412296664 p_1 p_4 p_6+189226541336 p_2 p_3 p_6-244992687206 p_1^2 p_3 p_6-250388515289 p_1 p_2^2 p_6+302166509321 p_1^3 p_2 p_6-70283925270 p_1^5 p_6+44421264839 p_1 p_5^2+60174415980 p_2 p_4 p_5-77314873002 p_1^2 p_4 p_5+27308760472 p_3^2 p_5-139409773867 p_1 p_2 p_3 p_5+83319979706 p_1^3 p_3 p_5-23080275470 p_2^3 p_5+123981810568 p_1^2 p_2^2 p_5-95102983271 p_1^4 p_2 p_5+17820178690 p_1^6 p_5+13901765658 p_3 p_4^2-33935234091 p_1 p_2 p_4^2+20066965081 p_1^3 p_4^2-25211090659 p_1 p_3^2 p_4-23432247682 p_2^2 p_3 p_4+82201241803 p_1^2 p_2 p_3 p_4-30872129848 p_1^4 p_3 p_4+25074247417 p_1 p_2^3 p_4-56265244569 p_1^3 p_2^2 p_4+30821702183 p_1^5 p_2 p_4-4743504310 p_1^7 p_4-4701152064 p_2 p_3^3+8079666657 p_1^2 p_3^3+20273980429 p_1 p_2^2 p_3^2-29454532487 p_1^3 p_2 p_3^2+7815215137 p_1^5 p_3^2+2684318680 p_2^4 p_3-22975754625 p_1^2 p_2^3 p_3+29852017156 p_1^4 p_2^2 p_3-12130331601 p_1^6 p_2 p_3+1509537376 p_1^8 p_3-1620540574 p_1 p_2^5+6744992170 p_1^3 p_2^4-7829491106 p_1^5 p_2^3+3662998844 p_1^7 p_2^2-732652806 p_1^9 p_2+51270780 p_1^{11}\right)$

$\hspace{-30pt}L_{12}=\frac{1}{3028793579456347828125}\left(59482964049337110 p_{12}-10560195815097210 p_1 p_{11}-3150694647926016 p_2 p_{10}+2512728757752768 p_1^2 p_{10}-859683903320810 p_3 p_9+1418912367890776 p_1 p_2 p_9-621655204655468 p_1^3 p_9-224971539271761 p_4 p_8+377051717854661 p_1 p_3 p_8+195571661859765 p_2^2 p_8-509919773356306 p_1^2 p_2 p_8+155056838434481 p_1^4 p_8-60744246118110 p_5 p_7+98470681343871 p_1 p_4 p_7+103164098432426 p_2 p_3 p_7-133798852640129 p_1^2 p_3 p_7-137649995502241 p_1 p_2^2 p_7+166399979251074 p_1^3 p_2 p_7-38770694005481 p_1^5 p_7-14410087794673 p_6^2+30742795880856 p_1 p_5 p_6+28042926014435 p_2 p_4 p_6-36219404128521 p_1^2 p_4 p_6+13840906762108 p_3^2 p_6-72790761663197 p_1 p_2 p_3 p_6+43779115251039 p_1^3 p_3 p_6-12351564858777 p_2^3 p_6+66784338642637 p_1^2 p_2^2 p_6-51565502511583 p_1^4 p_2 p_6+9726168419869 p_1^6 p_6+6690315663313 p_2 p_5^2-8610718021212 p_1^2 p_5^2+9009316465271 p_3 p_4 p_5-23053514535432 p_1 p_2 p_4 p_5+13772029163489 p_1^3 p_4 p_5-10424737212619 p_1 p_3^2 p_5-10349150762991 p_2^2 p_3 p_5+36980302520182 p_1^2 p_2 p_3 p_5-14155214042120 p_1^4 p_3 p_5+12199190282918 p_1 p_2^3 p_5-27983496067711 p_1^3 p_2^2 p_5+15683170260164 p_1^5 p_2 p_5-2471593910869 p_1^7 p_5+871756041250 p_4^3-5299281214631 p_1 p_3 p_4^2-2544205275373 p_2^2 p_4^2+9000337394702 p_1^2 p_2 p_4^2-3410474361584 p_1^4 p_4^2-3803158108206 p_2 p_3^2 p_4+6677705750121 p_1^2 p_3^2 p_4+12382204834839 p_1 p_2^2 p_3 p_4-18566411153047 p_1^3 p_2 p_3 p_4+5099150967499 p_1^5 p_3 p_4+945948441582 p_2^4 p_4-8478203154675 p_1^2 p_2^3 p_4+11595957601472 p_1^4 p_2^2 p_4-4991726989557 p_1^6 p_2 p_4+663128304922 p_1^8 p_4-206345908947 p_3^4+2489517554874 p_1 p_2 p_3^3-1830324992020 p_1^3 p_3^3+1052197012244 p_2^3 p_3^2-6891343720499 p_1^2 p_2^2 p_3^2+6109565322130 p_1^4 p_2 p_3^2-1275465567049 p_1^6 p_3^2-1828977466670 p_1 p_2^4 p_3+6374277369326 p_1^3 p_2^3 p_3-5871050509546 p_1^5 p_2^2 p_3+1966494037756 p_1^7 p_2 p_3-215864759622 p_1^9 p_3-44720298010 p_2^6+679976646780 p_1^2 p_2^5-1676297291469 p_1^4 p_2^4+1502303537032 p_1^6 p_2^3-600842521854 p_1^8 p_2^2+108419277660 p_1^{10} p_2-7090922730 p_1^{12}\right)$

$\hspace{-30pt}L_{13}=\frac{1}{9086380738369043484375}\left(72322615121247036 p_{13}-12839651071909926 p_1 p_{12}-3830739593311176 p_2 p_{11}+3055097425061946 p_1^2 p_{11}-1045049756196264 p_3 p_{10}+1725094701581424 p_1 p_2 p_{10}-755821122963534 p_1^3 p_{10}-272712748239906 p_4 p_9+458078601115360 p_1 p_3 p_9+237699842426306 p_2^2 p_9-619830309829310 p_1^2 p_2 p_9+188499057034344 p_1^4 p_9-70565079148746 p_5 p_8+118306288116891 p_1 p_4 p_8+124969620711936 p_2 p_3 p_8-162151396044763 p_1^2 p_3 p_8-167097801278477 p_1 p_2^2 p_8+202085845024907 p_1^3 p_2 p_8-47105612724954 p_1^5 p_8-21922060368516 p_6 p_7+31742893399152 p_1 p_5 p_7+32491662944022 p_2 p_4 p_7-42035081558097 p_1^2 p_4 p_7+16441304584404 p_3^2 p_7-87179794392340 p_1 p_2 p_3 p_7+52522473118357 p_1^3 p_3 p_7-14890478221466 p_2^3 p_7+80649517416487 p_1^2 p_2^2 p_7-62376843431291 p_1^4 p_2 p_7+11785293691794 p_1^6 p_7+7511972573843 p_1 p_6^2+10136863360022 p_2 p_5 p_6-13080453013002 p_1^2 p_5 p_6+8993483945286 p_3 p_4 p_6-23579084234895 p_1 p_2 p_4 p_6+14158404892491 p_1^3 p_4 p_6-11593881767582 p_1 p_3^2 p_6-11781330593106 p_2^2 p_3 p_6+42359270842707 p_1^2 p_2 p_3 p_6-16315258400629 p_1^4 p_3 p_6+14320243955795 p_1 p_2^3 p_6-33061727161314 p_1^3 p_2^2 p_6+18650010728593 p_1^5 p_2 p_6-2958448000074 p_1^7 p_6+2170310001860 p_3 p_5^2-5616857698569 p_1 p_2 p_5^2+3362197563453 p_1^3 p_5^2+1598325532596 p_4^2 p_5-7521438548927 p_1 p_3 p_4 p_5-3747037194988 p_2^2 p_4 p_5+13387399017752 p_1^2 p_2 p_4 p_5-5124542468415 p_1^4 p_4 p_5-3386244167460 p_2 p_3^2 p_5+6038413635675 p_1^2 p_3^2 p_5+11951705360023 p_1 p_2^2 p_3 p_5-18248868443891 p_1^3 p_2 p_3 p_5+5106691054163 p_1^5 p_3 p_5+983844985516 p_2^4 p_5-9004069487482 p_1^2 p_2^3 p_5+12584826999985 p_1^4 p_2^2 p_5-5540530920427 p_1^6 p_2 p_5+753423126204 p_1^8 p_5-726569491346 p_1 p_4^3-1736384753736 p_2 p_3 p_4^2+3069125281035 p_1^2 p_3 p_4^2+2939216673351 p_1 p_2^2 p_4^2-4444873416929 p_1^3 p_2 p_4^2+1231788304752 p_1^5 p_4^2-444806806572 p_3^3 p_4+4390275986442 p_1 p_2 p_3^2 p_4-3296411478022 p_1^3 p_3^2 p_4+1358265174044 p_2^3 p_3 p_4-9151640683451 p_1^2 p_2^2 p_3 p_4+8367077111912 p_1^4 p_2 p_3 p_4-1806365634680 p_1^6 p_3 p_4-1396161717978 p_1 p_2^4 p_4+5087384629390 p_1^3 p_2^3 p_4-4923620079719 p_1^5 p_2^2 p_4+1743201389284 p_1^7 p_2 p_4-203721801174 p_1^9 p_4+238460897625 p_1 p_3^4+418208554632 p_2^2 p_3^3-1845509565666 p_1^2 p_2 p_3^3+827899012917 p_1^4 p_3^3-1560693825696 p_1 p_2^3 p_3^2+4159635712346 p_1^3 p_2^2 p_3^2-2612096050645 p_1^5 p_2 p_3^2+448999445468 p_1^7 p_3^2-126439832080 p_2^5 p_3+1660385531550 p_1^2 p_2^4 p_3-3418480202739 p_1^4 p_2^3 p_3+2422033713280 p_1^6 p_2^2 p_3-689846708628 p_1^8 p_2 p_3+67770375018 p_1^{10} p_3+81719534070 p_1 p_2^6-490242029730 p_1^3 p_2^5+838678611984 p_1^5 p_2^4-610634946312 p_1^7 p_2^3+213434336190 p_1^9 p_2^2-35110888158 p_1^{11} p_2+2155381956 p_1^{13}\right)$