An algebraic approach to the algebraic Weinstein conjecture
AAN ALGEBRAIC APPROACH TO THE ALGEBRAIC WEINSTEIN CONJECTURE
VIVEK SHENDEA
BSTRACT . How does one measure the failure of Hochschild homology to commute with colimits?Here I relate this question to a major open problem about dynamics in contact manifolds — theassertion that Reeb orbits exist and are detected by symplectic homology. More precisely, I showthat for polarizably Weinstein fillable contact manifolds, said property is equivalent to the failure ofHochschild homology to commute with certain colimits of representation categories of tree quivers.So as to be intelligible to algebraists, I try to include or black-box as much of the geometricbackground as possible.
Existence of closed geodesics on a compact Riemannian manifold M is guaranteed for topolog-ical reasons [14, 25]. Let us recall the argument. Morse theory tells us that the homology of thefree loop space L M = Maps( S → M ) can be computed by a complex generated by geodesics.The trivial loops contribute a subcomplex computing the homology of the original manifold, sothere must be nontrivial loops unless H • ( M ) → H • ( L M ) is an isomorphism. It is obviously notan isomorphism unless M is simply connected, and in this case we study the based loop space Ω M := Maps(( S , → ( M, m )) and the fibration Ω M → L M → M . As this is split by con-stant loops M → L M , we find π k ( L M ) = π k ( M ) ⊕ π k +1 ( M ) , so by Hurewicz the first nontrivialhomotopy group π k +1 ( M ) contributes nontrivially to H k ( L M ) , while H k ( M ) vanishes. In fact, inthe simply connected case, one can obtain rather more refined information [42].We would like to think of the map H • ( M ) → H • ( L M ) as arising from the following local-to-global construction. On M , we can consider the constant cosheaf of spaces, which we denote Ω .By definition, this assigns a point to any contractible open set, and sends covers to colimits. By the( ∞ ) van Kampen theorem, Ω( U ) is the path groupoid of U , explaining the notation. Compositionof loops gives H • (Ω( M )) the structure of a ring, and its Hochschild homology gives the homologyof the free loop space [7, 20]: HH • (H • (Ω M )) = H • ( L M ) . The inclusion of constant loops is:(1) H • ( M ) = colim U HH • (H • (Ω( U ))) → HH • (colim U H • (Ω( U ))) = HH • ( L M ) The following is the first example of the problem we are interested in:
Question . Can the failure of (1) to be an isomorphism be seen in terms of some general machinerymeasuring the failure of Hochschild homology to commute with homotopy colimit?We turn to contact geometry. The contact-geometric formulation of the geodesic flow is thefollowing. On a cotangent bundle T ∗ M , there is the tautological 1-form λ , which at a givencovector ξ is the function on tangent vectors given by ξ . Fixing a metric on M , we may restrict λ to the cosphere bundle S ∗ M ; here it is contact , meaning that λ ∧ ( dλ n − ) is nowhere vanishing.The Reeb vector field R on S ∗ M is characterized by lying in the kernel of dλ and normalized by λ ( R ) = 1 . Its flow is naturally identified with the geodesic flow. We abuse terminology to respect intuition and write ‘homology’ when we mean that we think of the complex asan object in the derived category. Similarly we write ‘ = ’ to mean e.g. identified by a canonical quasi-isomorphism,etc. We always work with ∞ -categories, etc., and (pre)sheaves or cosheaves should be understood accordingly. a r X i v : . [ m a t h . S G ] J a n VIVEK SHENDE
More generally, the same formulas define the Reeb flow for any contact form on any (odd di-mensional) manifold V . The Weinstein conjecture asserts the existence of a closed trajectory [47].It has long been a central problem in contact geometry [44, 22, 23, 21], and known in general onlyin dimension 3, by an argument whose ingredients have no known analogue in higher dimension[40]. The result is also known for flexible contact structures in general [4]; we will be interestedhere in what is in some sense the opposite setting [31], of Weinstein fillable contact manifolds.It is natural to try and generalize the Morse theoretic approach to geodesics to the study of Reeborbits. That is, one wants a complex generated by orbits, so that nonvanishing of the homologygroups implies the existence of orbits. The reason to impose a differential is to provide invarianceunder deformations: these homologies depend only on ker λ rather than λ itself, i.e. on the contactstructure rather than the contact form . Just as the cosphere bundle bounds the codisk bundle, we may ask that some general contact ( V, λ ) is the boundary of some W to which λ extends, and over which ( dλ ) n is everywhere non-vanishing. We also ask that the ‘Liouville’ vector field Z characterized by dλ ( Z, · ) = λ points outat the boundary; in the case of the cotangent bundle this vector field is radial in the fiber direc-tions. Such W are called Liouville domains, and determine a symplectic cohomology SH • ( W ) ,which may be taken to be generated by the Reeb orbits of ( V, λ ) and the critical points of a Morsefunction on W [46]. (See [33] for a leisurely introduction to Liouville manifolds and symplecticcohomology.) The differential is such that these Morse critical points form a subcomplex on whichthe differential is the Morse differential, giving an exact triangle. (2) H • ( W ) → SH • ( W ) → (cid:102) SH • ( W ) [1] −→ In particular, if H • ( W ) → SH • ( W ) fails to be an isomorphism, then the Weinstein conjectureholds for V , as (cid:102) SH • ( W ) , which is generated by the Reeb orbits of V , must be nonzero.Viterbo’s algebraic Weinstein conjecture is the assertion that (cid:102) SH • ( W ) always detects an orbit.It is not typically easy to compute SH • ( W ) . But when W = T ∗ M , one knows: Theorem 2. [45, 43]
There is an isomorphism SH • + n ( T ∗ M ) ∼ = H −• ( L M ) . This isomorphism has seen many further developments; see e.g. [10, 3].The composition H • + n ( T ∗ M ) → SH • + n ( T ∗ M ) ∼ = H −• ( L M ) is identified with the inclusion ofconstant loops H −• ( M ) → H −• ( L M ) under Poincar´e duality [2, Lem. 3.6]. So, the symplectichomology detects geodesics in essentially the same way as the Morse homology of the loop spacedid. However already in this case it does more: it shows that a contact level of T ∗ M , not necessarilythe unit cosphere bundle for any Riemannian metric, will also have Reeb orbits.A class of Liouville domains including but rather more general than codisk bundles are the We-instein domains. By definition, these are those for which the Liouville vector field is gradient-likefor a Morse-Bott function. In this case the critical points of Z have index ≤ dim W/ , and union Taubes’s celebrated work in 3 dimensions [40] also can be understood in terms of such a homology theory [41],though the theory he constructs (embedded contact homology) turns out to in fact be completely independent of λ ,and in fact isomorphic to a topological invariant (Seiberg-Witten homology) known to be sufficiently nontrivial toimply existence of orbits. Unfortunately, in higher dimensions, there are no known analogues of the embedded contacthomology or the Seiberg-Witten homology. There are many differing convention for the grading of symplectic cohomology, and also for which item to callsymplectic cohomology and which symplectic homology. We follow [1, 19]. When M is not spin, it is necessary to twist one side or the other by a local system [27]. Weinstein manifolds and the Weinstein conjecture have the same eponym, but a priori no other relation.
N ALGEBRAIC APPROACH TO THE ALGEBRAIC WEINSTEIN CONJECTURE 3 of descending level sets is a singular isotropic subset termed the core or skeleton . Stein domainsfrom complex analysis are Weinstein when viewed as symplectic manifolds, and conversely anyWeinstein domain is deformation equivalent to a Stein domain [9].Weinstein domains for which the indices of critical points are < dim W/ are said to be sub-critical , and for these it is known that SH • ( W ) = 0 ; in particular, the Weinstein conjecture holdsfor their contact boundaries [43]. Simple examples: the ball; the cotangent bundle of a noncom-pact manifold. Beyond these, the Weinstein conjecture is not known for contact boundaries ofWeinstein domains in any reasonable generality, and it would be a major advance to establish it.One available tool for computing symplectic homology is the open-closed morphism from theHochschild homology of the wrapped Fukaya category [15, 32, 35, 6, 1, 19]:(3) HH • (Fuk( W )) → SH • + n ( W ) By either [1, 16] or [6, 13, 12] plus a ‘generation’ result [8, 18], this morphism is by now knownto be an isomorphism for Weinstein domains.For cotangent bundles, there is an object (the cotangent fiber) of F ∈ Fuk( T ∗ M ) , which gener-ates the category and for which Hom(
F, F ) = H −• (Ω M ) . Thus the open-closed map induces HH • (H −• (Ω M )) = HH • (Hom( F, F )) → SH • + n ( T ∗ M ) = H −• ( L M ) This is the same as the corresponding such morphism mentioned above. How can the open closed map help us? At first, it does not look promising. We have not saidwhat the Fukaya category is, but its definition involves the same sort of geometrical structures asare involved in symplectic homology. On top of this we have now added the nontrivial step oftaking Hochschild homology. However, just as Ω M has better local-to-global behavior than L M ,we also have (as anticipated by [26]): Theorem 3. [19, 18, 17, 37, 30]
The Fukaya category of a Weinstein manifold is the global sectionsof a constructible cosheaf of categories over the skeleton. Moreover, this cosheaf is isomorphic tothe cosheaf of microlocal sheaves. We have not said what microlocal sheaves are and it will not be relevant; but for a definitionsee [30], which is built on the technology of [24]. What is relevant is that microlocal sheavesare in principle combinatorial-topological in nature, but in practice the stalks of the above cosheafmay be complicated categories at complicated singularities of the skeleton. When the skeleton issmooth, the cosheaf is locally constant with stalk the category of chain complexes.For W = T ∗ M , the cosheaf is simply the path groupoid Ω (twisted by a local system if M isnot spin). More generally, Nadler found an explicit collection of so-called ‘arboreal’ singularities[29, 28], with the property that: Theorem 4. [29]
When the skeleton is arboreal, the cosheaf of microlocal sheaves has stalks givenby representation categories of tree quivers. The cogenerization morphisms are explicit.
When dim W = 2 , the skeleton of W will be a (ribbon) graph, and ‘arboreal’ essentiallyamounts to asking that the graph is trivalent. The cosheaf A will assign the category of chain [34, 19] contain the relevant definitions. We will soon cite some results which compute the Fukaya category in allrelevant cases, so the gist of the article will not be lost to the reader with no idea what the Fukaya category is. I am not certain whether this follows from [2], but in any case it certainly does from [19, 18, 17]. Strictly speaking, what is presently in the literature requires that the Weinstein manifold is ‘stably polarizable’. Itis known to experts how to remove this hypothesis; on the other hand we will impose it later for different reasons.
VIVEK SHENDE F IGURE
1. The arboreal A3 singularity, and how to glue it from smooth spaces.All arboreal singularities admit analogous gluing descriptions.complexes at smooth points, and the category of exact triangles (aka
Perf( • → • ) ) at the triva-lent vertices, with the obvious cogenerization morphisms. This case was studied in [11]. For dim W = 4 , the skeleton is two dimensional; the topology of the typical new kind of singularity isdepicted in Figure 1. More geometric pictures can be found in [39, 5].By an arboreal space, we will mean a pair ( X , A ) of a space and a constructible cosheaf, whichare locally given by Nadler’s explicit models. In particular, the stalks are representation categoriesof tree quivers. An explicitly combinatorial exposition of this notion can be found in [38].Some further restrictions on the local models lead to the notion of positive arboreal space [5].These provide skeleta for a large class of Weinstein manifolds: Theorem 5. [5]
There is an equivalence of categories between: • Stably polarized Weinstein manifolds & their homotopies • Positive arboreal spaces & their concordances
Here, a stable polarization is a choice of Lagrangian sub-bundle of
T W ⊕ C n for some n . Remark.
It is not clearly understood what weaker hypothesis corresponds to taking all arborealspaces; in dimension 4, none is needed [39], but this is apparently not the case in general [5].It is expected that this can be repaired by adding some further explicit list of presently unknownsingularities. There are also other tricks for reducing problems to the stably polarized case, like[30, Sec. 10]. In any case, I expect that any technique which works for stably polarized Weinsteinmanifolds should work for Weinstein manifolds in general.In some sense we have already arrived at a reduction to algebra: one could try and develop toolsfor computing the colimit of categories giving A ( X ) or its Hochschild homology HH • ( A ( X )) .Indeed, as far as anyone knows, SH • ( W ) is always either infinite dimensional, or zero. If onecould show this zero or infinite property for HH • ( A ( X )) , the algebraic Weinstein conjecture wouldfollow. Or if one could show that the natural circle action on any nonvanishing HH • ( A ( X )) isnontrivial, the result would again follow.Here we want to point out that in fact it is possible to directly generalize Equation (1) andmake direct contact with Equation (2). Consider a cosheaf of categories A over a space X .The Hochschild homologies form a precosheaf HH • ( A ) which is not generally a cosheaf, sinceHochschild homology does not commute with colimit. We may cosheafify it and obtain a cosheaf HH • ( A ) . There is a natural map(4) Γ( X , HH • ( A )) → HH • ( A ( X )) Because A is constructible, the LHS is the colimit of the Hochschild homologies of the stalks of A , and the RHS is the Hochschild homology of the colimit of the stalks. N ALGEBRAIC APPROACH TO THE ALGEBRAIC WEINSTEIN CONJECTURE 5
Moreover, HH • ( A ) can be computed explicitly. Indeed, for a tree quiver T , it is the case that HH • (Perf( T )) is concentrated in degree zero, and is a free module whose rank is the number ofvertices of T . This gives the stalks of HH • ( A ) , and in fact one can show: Theorem 6. [38]
When ( X , A ) arises from the skeleton of a stably polarizable Weinstein mani-fold, HH •− n ( A ) is the cosheaf of compactly supported cohomologies. As X is compact, we have Γ( X , HH •− n ( A )) ∼ = H • ( X ) . In fact, it is possible to show that the resulting map(5) H • ( X ) ∼ = Γ( X , HH •− n ( A )) → HH •− n ( A ( X )) → SH • ( W ) agrees with the original H • ( X ) = H • ( W ) → SH • ( W ) . This follows from [19, Eq. 1.7] giventhat the local arboreal models are Weinstein sectors , as was shown in [36]. In some more detail:in [36] it is shown that the nondegenerate arboreal sectors are stopped ; hence the top row of [19,Eq. 1.7] consists of isomorphisms. Degenerate arboreal singularities are obtained by stop removal;the desired commutativity descends using the stop removal localization sequence and the fact thatHochschild homology sends localizations to exact triangles.Putting all this together we have:
Theorem 7.
The algebraic Weinstein conjecture for contact manifolds with stably polarizableWeinstein filling is equivalent to the assertion that Γ( X , HH • ( A )) → HH • ( A ( X )) is never anisomorphism for positive arboreal spaces ( X , A ) . We are left with the following:
Question . What measures the failure of Hochschild homology to commute with colimits?
Acknowledgements.
Beyond the evident intellectual debt that this work owes to the ideasof Claude Viterbo, it happens that I was inspired to write it by the upcoming celebration of hismathematics on the occasion of his sixtieth birthday.R
EFERENCES [1] Mohammed Abouzaid. A geometric criterion for generating the Fukaya category.
Publications Math´ematiquesde l’IH ´ES , 112:191–240, 2010.[2] Mohammed Abouzaid. A cotangent fibre generates the Fukaya category.
Advances in Mathematics , 228(2):894–939, 2011.[3] Mohammed Abouzaid. Symplectic cohomology and Viterbo’s theorem. arXiv:1312.3354 , 2013.[4] Peter Albers and Helmut Hofer. On the Weinstein conjecture in higher dimensions. arXiv:0705.3953 .[5] Daniel Alvarez-Gavela, Yakov Eliashberg, and David Nadler. Positive arborealization of polarized Weinsteinmanifolds. arXiv:2011.08962 .[6] Fr´ed´eric Bourgeois, Tobias Ekholm, and Yakov Eliashberg. Effect of Legendrian surgery.
Geometry & Topology ,16(1):301–389, 2012.[7] Dan Burghelea and Zbigniew Fiedorowicz. Cyclic homology and algebraic k-theory of spaces—ii.
Topology ,25(3):303–317, 1986.[8] Baptiste Chantraine, Georgios Dimitroglou Rizell, Paolo Ghiggini, and Roman Golovko. Geometric generationof the wrapped Fukaya category of Weinstein manifolds and sectors. arXiv:1712.09126 .[9] Kai Cieliebak and Yakov Eliashberg.
From Stein to Weinstein and back: symplectic geometry of affine complexmanifolds . American Mathematical Soc., 2012.[10] Kai Cieliebak and Janko Latschev. The role of string topology in symplectic field theory.
New perspectives andchallenges in symplectic field theory , 49:113–146, 2009.[11] Tobias Dyckerhoff and Mikhail Kapranov. Triangulated surfaces in triangulated categories. arXiv:1306.2545 . VIVEK SHENDE [12] Tobias Ekholm. Holomorphic curves for Legendrian surgery. arXiv:1906.07228 .[13] Tobias Ekholm and Yanki Lekili. Duality between Lagrangian and Legendrian invariants. arXiv:1701.01284 .[14] Abram Fet and Lazar Lyusternik. Variational problems on closed manifolds.
Dokl. Akad. Nauk. SSSR , 81:17–18,1951.[15] Kenji Fukaya, Yong-Geun Oh, Hiroshi Ohta, and Kaoru Ono.
Lagrangian intersection Floer theory: anomalyand obstruction . American Mathematical Soc., 2010.[16] Sheel Ganatra. Symplectic cohomology and duality for the wrapped Fukaya category. arXiv:1304.7312 .[17] Sheel Ganatra, John Pardon, and Vivek Shende. Microlocal Morse theory of wrapped Fukaya categories. arXiv:1809.08807 .[18] Sheel Ganatra, John Pardon, and Vivek Shende. Sectorial descent for wrapped Fukaya categories. arXiv:1809.03427 .[19] Sheel Ganatra, John Pardon, and Vivek Shende. Covariantly functorial wrapped Floer theory on Liouville sectors.
Publications math´ematiques de l’IH ´ES , 131(1):73–200, 2020.[20] Thomas G Goodwillie. Cyclic homology, derivations, and the free loopspace.
Topology , 24(2):187–215, 1985.[21] Helmut Hofer. Pseudoholomorphic curves in symplectizations with applications to the Weinstein conjecture indimension three.
Inventiones mathematicae , 114(1):515–563, 1993.[22] Helmut Hofer and Claude Viterbo. The Weinstein conjecture in cotangent bundles and related results.
Annalidella Scuola Normale Superiore di Pisa-Classe di Scienze , 15(3):411–445, 1988.[23] Helmut Hofer and Claude Viterbo. The weinstein conjecture in the presence of holomorphic spheres.
Communi-cations on pure and applied mathematics , 45(5):583–622, 1992.[24] Masaki Kashiwara and Pierre Schapira.
Sheaves on Manifolds . Springer Science & Business Media, 2013.[25] Wilhelm Klingenberg.
Lectures on closed geodesics . Springer Science & Business Media, 2012.[26] Maxim Kontsevich. Symplectic geometry of homological algebra. available at the author’s webpage , 2009.[27] Thomas Kragh. The Viterbo transfer as a map of spectra. arXiv:0712.2533 .[28] David Nadler. Non-characteristic expansions of Legendrian singularities. arXiv:1507.01513 .[29] David Nadler. Arboreal singularities.
Geometry & Topology , 21(2):1231–1274, 2017.[30] David Nadler and Vivek Shende. Sheaf quantization in Weinstein symplectic manifolds. arXiv:2007.10154 .[31] Klaus Niederkr¨uger. The plastikstufe – a generalization of the overtwisted disk to higher dimensions.
Algebraic& Geometric Topology , 6(5):2473–2508, 2006.[32] Paul Seidel. Fukaya categories and deformations. math/0206155 .[33] Paul Seidel. A biased view of symplectic cohomology.
Current developments in mathematics , 2006(1):211–254,2006.[34] Paul Seidel.
Fukaya categories and Picard-Lefschetz theory , volume 10. European Mathematical Society, 2008.[35] Paul Seidel. Symplectic homology as Hochschild homology.
Algebraic geometry—Seattle 2005 , pages 415–434,2009.[36] Vivek Shende. Arboreal singularities from Lefschetz fibrations. arXiv:1809.10359 .[37] Vivek Shende. Microlocal category for Weinstein manifolds via h-principle. arXiv:1707.07663 .[38] Vivek Shende and Alex Takeda. Calabi-Yau structures on topological Fukaya categories. arXiv:1605.02721 .[39] Laura Starkston. Arboreal singularities in Weinstein skeleta.
Selecta Mathematica , 24(5):4105–4140, 2018.[40] Clifford Henry Taubes. The Seiberg–Witten equations and the Weinstein conjecture.
Geometry & Topology ,11(4):2117–2202, 2007.[41] Clifford Henry Taubes. Embedded contact homology and Seiberg–Witten Floer cohomology I.
Geometry &Topology , 14(5):2497–2581, 2010.[42] Micheline Vigu´e-Poirrier and Dennis Sullivan. The homology theory of the closed geodesic problem.
Journal ofDifferential Geometry , 11(4):633–644, 1976.[43] Claude Viterbo. Functors and Computations in Floer homology with applications, II. arXiv:1805.01316 .[44] Claude Viterbo. A proof of Weinstein’s conjecture in R n . Annales de l’Institut Henri Poincare (C) Non LinearAnalysis , 4(4):337–356, 1987.[45] Claude Viterbo. Generating functions, symplectic geometry, and applications. In
Proceedings of the InternationalCongress of Mathematicians , pages 537–547. Springer, 1995.[46] Claude Viterbo. Functors and computations in Floer homology with applications, I.
Geometric & FunctionalAnalysis , 9(5):985–1033, 1999.[47] Alan Weinstein. On the hypotheses of Rabinowitz’ periodic orbit theorems.