arXiv:2012.02004v1 [math.HO] 3 Dec 2020 ooti udmna eut n hntre oanwfil,being field, new pe a the to of turned each then problem. In and challenging results years. fundamental five chan obtain in to to once used average He in geometry. interests algebraic research mea real fields: and various topology, to contributions theories, outstanding of number a cludes h cp fRklnsmathematics. Rokhlin’s of scope The R nooeo h eta nainsi oooyo manifolds. of topology in invariants • central the of one into onsa retdsot compact smooth oriented an bounds ofidtetidsal oooygopo pee,ta is that spheres, of group homotopy stable third the find to challenge. good firs ergod the A to followed. In back topology systems. came of dynamical Rokhlin period of fifties, entropy the late to the firs related w In research The PhD his 1950. systems”. mea his dynamical in of of finished after classes period concepts soon metric fundamental important defended most the dissertation the “On (doctoral) paper second his The in presented were ensahmmrhs Ω homomorphism a defines eo eoeve h eut ulse yRklni h oe f1951 of notes the calculated in he groundbreaking Rokhlin where make by R4]), could published R3, he R2, results [R1, where the overview area, research we Below new a in himself te od,Ω words, other iu,wihalwdhmt rv that prove to him allowed which nique, results. Groundbreaking oped. h signature The • offiinsi ignlzto fteitreto form intersection the of diagonalization a in coefficients in fcbrimgop Ω groups cobordism of tions and n ro ota otygnfudtegroups the found Pontryagin that to Prior aiod htwsnee o iia aclto of compar calculation 4-dime a similar and a 3- on of for relied topology needed It A was that surfaces. bundles. manifolds and curves normal of trivialized topology surf with simple and space curves of Euclidean study in a was calculation Pontryagin’s Technically, n retdcoe moh3mnfl onsacmatorie compact a bounds 3-manifold smooth closed oriented Any ≥ h intr fa retdsot lsd4-aiodvani 4n-manifold closed smooth oriented an of signature The of ohi tre ntemaueadegdctere.Terslsof results The theories. ergodic and measure the in started Rokhlin ohi nrdcdtesignature the introduced Rokhlin yhsmto,wihbigstehmtp hoyaddifferential and theory homotopy the bridges which method, his by 3 N M n ydsoeigtepoete fsgauesae eo ohi tu Rokhlin below stated signature of properties the discovering By . eeitoue yRklni h aenotes.) same the in Rokhlin by introduced were σ 3 ( 0.) = M OHI’ INTR THEOREMS SIGNATURE ROKHLIN’S stedffrnebtentenmeso oiieadnegative and positive of numbers the between difference the is ) hnRklntre otplg,hsiiilcalnewas challenge initial his topology, to turned Rokhlin When .FNSI,V HRAO,O VIRO O. KHARLAMOV, V. FINASHIN, S. 4 n 3 nasrkn ord oc,Rklndvlpdatech- a developed Rokhlin force, de tour striking a In → n Ω and Z .) (4 4 n Cbrim n h oods rusΩ groups cobordism the and (Cobordisms . σ +1) ( π M n π +3 π fa retdcoe 4 closed oriented an of ) -manifold. n n +3 ( +2 S ohi’ ahmtclhrtg in- heritage mathematical Rokhlin’s ( n ( S S .Terslsge u fcalcula- of out grew results The ). n n = ) with ) I te od,tesignature the words, other (In π Z H n / +3 2 n 24 n ( ( ≥ S M π for n n and 2 td4-manifold. nted ; a o e devel- yet not had ) +3 hsi h manifold the if shes R afo h fifties, the of half t n id,h managed he riods, etefcso his of focus the ge ( ) S ueadergodic and sure roi theory ergodic t × ≥ soa smooth nsional n csembedded aces n π trce ya by attracted scle “On called as H -manifold with ) uetheory”. sure n ,adfound and 5, +1 2 cter in theory ic discoveries. n ( ( topology. M S i PhD his 5 (see -52 n ndit rned atively ; n with ) R ≥ ) M (In → 5. n . 2 S.FINASHIN,V.KHARLAMOV,O.VIRO

• An oriented smooth closed 4-manifold M bounds a compact oriented 5-manifold if and only if σ(M)=0. In general, an oriented smooth closed 4-manifold M is cobordant to the disjoint sum of σ(M) copies of the complex projective plane. (In particular, Ω4 = Z.) • The signature of an oriented smooth closed 4-manifold M equals one third of the Pontryagin number p1(M)[M]. • The signature of an oriented smooth closed 4-manifold M with w2(M)=0 is divisible by 16. Most of these achievements are often attributed to other authors, who discovered these things later. However, the last item in this list stands apart. It is commonly referred to as the Rokhlin Theorem and considered Rokhlin’s most famous result. Many times it played a substantial rˆole in the subsequent development of topology. Below we concentrate on a few of them that seem the most important. Reformulations of the Rokhlin Theorem. To a non-specialist, the Rokhlin theorem sounds a bit cryptic and technical. Let us take a closer look. The theorem establishes a relation between two basic characteristics of an oriented smooth closed 4-manifold M: its second Stiefel-Whitney class w2(M) and the signature σ(M). It claims that if w2(M) = 0, then σ(M) ≡ 0 mod 16. What does the assumption w2(M) = 0 mean? The Stiefel-Whitney classes k wk(M) ∈ H (M; Z/2) measure complexity of the tangent bundle TM. Orientability of M means w1(M) = 0. For an orientable smooth closed 4-manifold M, w2(M) is the only obstruction for M being almost parallelizable, that is admitting 4 tangent vector fields linear independent at all points but one. With this in mind we can reformulate the Rokhlin Theorem as follows: • The signature of an almost parallelizable smooth closed 4-manifold is divisible by 16. A smooth closed manifold M admits a Spin-structure iff w1(M) = 0 and w2(M)= 0. Thus we can reformulate the Rokhlin Theorem as follows: • The signature of a smooth closed Spin 4-manifold is divisible by 16. For an orientable smooth closed 4-manifold M the assumption w2(M) = 0 holds true iff the Z/2 intersection form H2(M; Z/2) × H2(M; Z/2) → Z/2 is even, that is the self-intersection number of any closed surface in M is even. This interpretation does not depend on the smooth structure or tangent bundle of M. Thus we get one more reformulation: • If an oriented smooth closed 4-manifold M has even Z/2 intersection form, then σ(M) ≡ 0 mod 16. Causes for divisibility: Topology versus Algebra. Divisibility of some integer by 16 looks quite mysterious. Sixteen is a large non-prime number. As we will see, a half of divisibility of the signature by 16, that is divisibility by 8, can be extracted by purely algebraic arguments from simple topological facts, which are not specific for smooth 4-manifolds. On the contrary, the last factor 2 in 16 manifests a crucial obstruction for a topological manifold to admit a smooth structure. Due to Poincar´eduality, the intersection form H2(M) × H2(M) → Z of a closed oriented 4-manifold M is a symmetric integral unimodular form. If w2(M) = 0, then this form is even, because its reduction modulo 2 is a part of the Z/2 intersection form, which is even as w2(M) = 0. The signature of an even symmetric integral unimodular form is divisible by 8. This is a purely algebraic fact. ROKHLIN’S SIGNATURE THEOREMS 3

The Rokhlin Theorem claims that σ(M) is divisible not only by 8, as the algebra ensures, but by 16. So, it imposes a restriction on a symmetric even unimodular form realizable as the intersection form of an oriented smooth closed 4-manifold M with w2(M) = 0. Namely, the signature of a realizable form cannot be congruent to 8 mod 16. For example, the form E8 (a famous even unimodular integral form of rank and signature 8) is prohibited. Obstructions to Diff or PL on a 4-manifold. In Rokhlin’s theorem, the assumption that M is smooth is necessary: there exists an oriented closed topolog- ical simply-connected 4-manifold with any unimodular intersection form, as it was proven by Freedman [1982]. If the form is even and its signature is not divisible by 16 (say, if this is E8) then by the Rokhlin Theorem the manifold does not admit a smooth structure. In lower dimensions this does not happen: any n-manifold with n< 4 admits a smooth structure. In dimension four, smoothability is equivalent to existence of a piecewise linear structure (PL-structure). Thus the Rokhlin theorem provides an obstruction to existence of a PL-structure. The key to PL in high dimensions. In the eighties Donaldson discovered other numerous obstructions to existence of PL or smooth structure on 4-manifolds. How- ever, they are less robust. The Rokhlin Theorem is formulated in terms invariant under cobordisms and gives rise to high-dimensional results, while the other ob- structions do not. For example, if M is a simply-connected closed 4-manifold with signature non- divisible by 16 (and does not admit a PL-structure by the Rokhlin Theorem), then M × (S1)n does not admit a PL-structure for any n> 0. This can be deduced from the Rokhlin Theorem. Complete obstructions to existence or equivalence of PL-structures on manifolds of dimension ≥ 5 (discovered by Kirby and Siebenmann in the seventies) rely on the Rokhlin Theorem. More about the Rokhlin Theorem. Due to the space restrictions, our story is very incomplete. We said nothing about numerous generalizations of the Rokhlin Theorem, their applications, proofs, misconceptions, etc. You can find all of this on http://mathcenter.spb.ru/nikaan/book/index.html . See also a book [GM] by L. Guillou and A. Marin. References. [GM] L. Guillou, A. Marin. A la recherche de la topologie perdue. Progr. Math., 62, Birkh¨auser Boston, Boston, MA, 1986. [R1] V.A.Rokhlin. On a mapping of an (n + 3)-dimensional sphere to an n-dimensional one. Doklady Akad. Nauk SSSR (N.S.) 80 (1951), 541 - 544. [R2] V.A. Rokhlin. Classification of mappings of an (n + 3)-dimensional sphere to an n-dimensional one. Doklady Akad. Nauk SSSR (N.S.) 81 (1951), 19 - 22. [R3] V.A.Rokhlin. A three-dimensional manifold is the boundary of a four-dimensional one. Doklady Akad. Nauk SSSR (N.S.) 81 (1951), 355 - 357. [R4] V.A. Rokhlin. New results in the theory of four-dimensional manifolds. Doklady Akad. Nauk SSSR (N.S.) 84 (1952), 221 - 224.