\documentclass[11 pt]{article} \usepackage{amsmath,amsthm,amsfonts,amssymb,titlesec} \usepackage{hyperref} \usepackage{tikz} \usepackage{verbatim} \usepackage{accents} \usepackage[citestyle=alphabetic,bibstyle=alphabetic,backend=bibtex]{biblatex} \usepackage{todonotes} \usepackage[american]{babel} \usepackage{fancyhdr} \hypersetup{colorlinks=false} \usetikzlibrary{calc, decorations.pathreplacing,shapes.misc} \usetikzlibrary{decorations.pathmorphing} \usepackage[left=1in,top=1in,right=1in]{geometry} \usepackage[capitalize]{cleveref} \newcommand{\mathcolorbox}[2]{\colorbox{#1}{$\displaystyle #2$}} \newcommand{\xxx}{T base with combinatorial potential data } \newcommand{\Xxx}{T base with combinatorial potential data } \newcommand{\xxxc}{combinatorial potential stratified space } \newcommand{\Xxxc}{combinatorial potential stratified space } \newcommand{\argument}{symplectic character } \newcommand{\arguments}{symplectic characters } \newcommand{\snip}[2]{#1} \newtheorem{theorem}{Theorem}[section] \newtheorem{lem}[theorem]{Lemma} \newtheorem{lemma}[theorem]{Lemma} \newtheorem{proposition}[theorem]{Proposition} \newtheorem{corollary}[theorem]{Corollary} \newtheorem{conjecture}[theorem]{Conjecture} \newtheorem{notation}[theorem]{Notation} \newtheorem{question}[theorem]{Question} \theoremstyle{remark} \newtheorem{rem}[theorem]{Remark} \newtheorem{remark}[theorem]{Remark} \crefname{rem}{Remark}{Remarks} \Crefname{rem}{Remark}{Remarks} \newtheorem{exercise}[theorem]{Exercise} \newtheorem{example}[theorem]{Example} \newenvironment{construction}{}{} \newenvironment{exposition}{}{} \newenvironment{application}{}{} \theoremstyle{definition} \newtheorem{df}[theorem]{Definition} \newtheorem{definition}[theorem]{Definition} \titleformat*{\section}{\normalsize \bfseries \filcenter} \titleformat*{\subsection}{\normalsize \bfseries } \newtheorem{mainthm}{Theorem} \Crefname{mainthm}{Theorem}{Theorems} \newtheorem{maincor}[mainthm]{Corollary} \Crefname{maincor}{Corollary}{Corollaries} \renewcommand*{\themainthm}{\Alph{mainthm}} \makeatletter \def\namedlabel#1#2{\begingroup \def\@currentlabel{#2}% \label{#1}\endgroup } \makeatother \fancypagestyle{firstpage}{% \fancyhf{} \renewcommand\headrulewidth{0pt} \fancyfoot[R]{Original text at \texttt{ \href{http://jeffhicks.net/snippets/index.php?tag=art_contactManifoldsAndReebFlow}{snippets/art\_contactManifoldsAndReebFlow}}} } \newcommand{\wt}{\widetilde} \newcommand{\wh}{\widehat} \newcommand{\wb}{\overline} \newcommand{\bb}{\mathbb} \newcommand{\scr}{\mathscr} \newcommand{\RR}{\mathbb R} \newcommand{\ZZ}{\mathbb Z} \newcommand{\CC}{\mathbb C} \newcommand{\TT}{\mathbb T} \newcommand{\NN}{\mathbb N} \newcommand{\PP}{\mathbb P} \newcommand{\LL}{\mathbb L} \newcommand{\II}{\mathbb I} \newcommand{\CP}{\mathbb{CP}} \newcommand{\del}{\nabla} \newcommand{\pp}{\mathbf{m}} \newcommand{\into}{\hookrightarrow} \newcommand{\emprod}{m} \newcommand{\tensor}{\otimes} \renewcommand{\Re}{\text{Re}} \renewcommand{\Im}{\text{Im}} \newcommand{\eps}{\varepsilon} \newcommand{\CF}{CF^\bullet} \newcommand{\HF}{HF^\bullet} \newcommand{\SH}{SH^\bullet} \newcommand{\core}{\mathfrak{c}} \newcommand{\cocore}{\mathfrak{u}} \newcommand{\stp}{\mathfrak{f}} \newcommand{\li}{i} \newcommand{\ot}{\leftarrow} \newcommand{\Spinc}{\text{Spin}^c} \newcommand{\ev}{ev} \newcommand{\st}{\;:\;} \newcommand{\OP}{\mathcal O_{\mathbb P^1}} \newcommand{\OPP}{\mathcal O_{\mathbb P\times \mathbb P}} \newcommand{\gentime}{\text{\ClockLogo}} \newcommand{\q}{m} \newcommand{\HeF}{\widehat{CF}^\bullet} \newcommand{\HHeF}{\widehat{HF}^\bullet} \newcommand{\p}{\eta} \DeclareMathOperator{\id}{id} \DeclareMathOperator{\cone}{cone} \DeclareMathOperator{\dg}{dg} \DeclareMathOperator{\Hom}{Hom} \DeclareMathOperator{\Log}{Log} \DeclareMathOperator{\Conn}{Conn} \DeclareMathOperator{\Sym}{Sym} \DeclareMathOperator{\Flux}{Flux} \DeclareMathOperator{\Crit}{Crit} \DeclareMathOperator{\ind}{ind} \DeclareMathOperator{\codim}{codim} \DeclareMathOperator{\sgn}{sgn} \DeclareMathOperator{\Ext}{Ext} \DeclareMathOperator{\TropB}{TropB} \DeclareMathOperator{\weight}{wt} \DeclareMathOperator{\Span}{span} \DeclareMathOperator{\Coh}{Coh} \DeclareMathOperator{\Pic}{Pic} \DeclareMathOperator{\Fuk}{Fuk} \DeclareMathOperator{\str}{star} \DeclareMathOperator{\Ob}{Ob} \DeclareMathOperator{\Coh}{Coh} \DeclareMathOperator{\CritVal}{CritV} \DeclareMathOperator{\Sing}{Sing} \DeclareMathOperator{\FS}{FS} \DeclareMathOperator{\Vect}{Vect} \DeclareMathOperator{\grad}{grad} \DeclareMathOperator{\Supp}{Supp} \DeclareMathOperator{\Bl}{Bl} \DeclareMathOperator{\Spec}{Spec} \DeclareMathOperator{\Tw}{Tw} \DeclareMathOperator{\Int}{Int} \DeclareMathOperator{\Arg}{\mathbf{M}}\begin{filecontents}{references.bib} @article{ballard2012hochschild, title={Hochschild dimensions of tilting objects}, author={Ballard, Matthew and Favero, David}, journal={International Mathematics Research Notices}, volume={2012}, number={11}, pages={2607--2645}, year={2012}, publisher={OUP} } @article{craw2007explicit, title={Explicit methods for derived categories of sheaves}, author={Craw, Alastair}, publisher={Citeseer} } @article{weinstein1971symplectic, title={Symplectic manifolds and their {L}agrangian submanifolds}, author={Weinstein, Alan}, journal={Advances in Mathematics}, volume={6}, number={3}, pages={329--346}, year={1971}, publisher={Academic Press} } @article{hanlon2022aspects, title={Aspects of functoriality in homological mirror symmetry for toric varieties}, author={Hanlon, A and Hicks, J}, journal={Advances in Mathematics}, volume={401}, pages={108317}, year={2022}, publisher={Elsevier} } @article{biran2013lagrangian, title={{L}agrangian cobordism. {I}}, author={Biran, Paul and Cornea, Octav}, journal={Journal of the American Mathematical Society}, volume={26}, number={2}, pages={295--340}, year={2013} } @article{tanaka2016fukaya, title={The Fukaya category pairs with Lagrangian cobordisms}, author={Tanaka, Hiro Lee}, journal={arXiv preprint arXiv:1607.04976}, year={2016} } @book{seidel2008fukaya, title={Fukaya categories and Picard-Lefschetz theory}, author={Seidel, Paul}, volume={10}, year={2008}, publisher={European Mathematical Society} } @article{seidel2003long, title={A long exact sequence for symplectic {F}loer cohomology}, author={Seidel, Paul}, journal={Topology}, volume={42}, pages={1003--1063}, year={2003} } @article{da2001lectures, title={Lectures on symplectic geometry}, author={da Silva, Ana Cannas}, journal={Lecture Notes in Mathematics}, volume={1764}, year={2001}, publisher={Springer} } @article{polterovich1991surgery, title={The surgery of {L}agrange submanifolds}, author={Polterovich, Leonid}, journal={Geometric \& Functional Analysis GAFA}, volume={1}, number={2}, pages={198--210}, year={1991}, publisher={Springer} } @misc{perutz2008handleslide, doi = {10.48550/ARXIV.0801.0564}, url = {https://arxiv.org/abs/0801.0564}, author = {Perutz, Timothy}, keywords = {Symplectic Geometry (math.SG), Geometric Topology (math.GT), FOS: Mathematics, FOS: Mathematics, 53D12; 53D40; 57M27; 32U40}, title = {Hamiltonian handleslides for {H}eegaard {F}loer homology}, publisher = {arXiv}, year = {2008}, copyright = {Assumed arXiv.org perpetual, non-exclusive license to distribute this article for submissions made before January 2004} } @incollection{audin1994symplectic, title={Symplectic rigidity: {L}agrangian submanifolds}, author={Audin, Mich{\`e}le and Lalonde, Fran{\c{c}}ois and Polterovich, Leonid}, booktitle={Holomorphic curves in symplectic geometry}, pages={271--321}, year={1994}, publisher={Springer} } @phdthesis{oancea2003suite, title={La suite spectrale de {L}eray-{S}erre en homologie de {F}loer des vari{\'e}t{\'e}s symplectiques compactes {\`a} bord de type contact}, author={Oancea, Alexandru}, year={2003}, school={Universit{\'e} Paris Sud-Paris XI} } @article{abouzaid2010geometric, title={A geometric criterion for generating the {F}ukaya category}, author={Abouzaid, Mohammed}, journal={Publications Math{\'e}matiques de l'IH{\'E}S}, volume={112}, pages={191--240}, year={2010} } @article{viterbo1999functors, title={Functors and computations in {F}loer homology with applications, I}, author={Viterbo, Claude}, journal={Geometric \& Functional Analysis GAFA}, volume={9}, number={5}, pages={985--1033}, year={1999}, publisher={Springer} } @misc{stacks-project, author = {The {Stacks project authors}}, title = {The Stacks project}, howpublished = {\url{https://stacks.math.columbia.edu}}, year = {2022}, } @article{wendlbeginner, title={A beginner’s overview of symplectic homology}, author={Wendl, Chris}, journal={Preprint. www. mathematik. hu-berlin. de/wendl/pub/SH. pdf} } @article{seidel2006biased, title={A biased view of symplectic cohomology}, author={Seidel, Paul}, journal={Current developments in mathematics}, volume={2006}, number={1}, pages={211--254}, year={2006}, publisher={International Press of Boston} } @article{arnol1980lagrange, title={{L}agrange and {L}egendre cobordisms. I}, author={Arnol'd, Vladimir Igorevich}, journal={Funktsional'nyi Analiz i ego Prilozheniya}, volume={14}, number={3}, pages={1--13}, year={1980}, publisher={Russian Academy of Sciences} } @article{fukaya2007lagrangian, title={{L}agrangian intersection {F}loer theory-anomaly and obstruction, chapter 10}, author={Fukaya, K and Oh, YG and Ohta, H and Ono, K}, journal={Preprint, can be found at http://www. math. kyoto-u. ac. jp/\~{} fukaya/Chapter10071117. pdf}, year={2007} } @article{biran2014lagrangian, title={Lagrangian cobordism and Fukaya categories}, author={Biran, Paul and Cornea, Octav}, journal={Geometric and functional analysis}, volume={24}, number={6}, pages={1731--1830}, year={2014}, publisher={Springer} } @article{bourgeois2009symplectic, title={Symplectic homology, autonomous {H}amiltonians, and {M}orse-{B}ott moduli spaces}, author={Bourgeois, Fr{\'e}d{\'e}ric and Oancea, Alexandru}, journal={Duke mathematical journal}, volume={146}, number={1}, pages={71--174}, year={2009}, publisher={Duke University Press} } @incollection{auroux2014beginner, title={A beginner’s introduction to {F}ukaya categories}, author={Auroux, Denis}, booktitle={Contact and symplectic topology}, pages={85--136}, year={2014}, publisher={Springer} } @article{singer1933three, title={Three-dimensional manifolds and their {H}eegaard diagrams}, author={Singer, James}, journal={Transactions of the American Mathematical Society}, volume={35}, number={1}, pages={88--111}, year={1933}, publisher={JSTOR} } @article{ozsvath2004holomorphic, title={Holomorphic disks and three-manifold invariants: properties and applications}, author={Ozsv{\'a}th, Peter and Szab{\'o}, Zolt{\'a}n}, journal={Annals of Mathematics}, pages={1159--1245}, year={2004}, publisher={JSTOR} } @article{ozsvath2004introduction, title={An introduction to {H}eegaard {F}loer homology}, author={Ozsv{\'a}th, Peter and Szab{\'o}, Zolt{\'a}n}, journal={{F}loer homology, gauge theory, and low-dimensional topology}, volume={5}, pages={3--27}, year={2004} } @article{fet1952variational, title={Variational problems on closed manifolds}, author={Fet, Abram Il'ich}, journal={Matematicheskii Sbornik}, volume={72}, number={2}, pages={271--316}, year={1952}, publisher={Russian Academy of Sciences, Steklov Mathematical Institute of Russian~…} }\end{filecontents} \addbibresource{references.bib}\begin{document} \title{contact manifolds and Reeb flow} \maketitle \thispagestyle{firstpage} \begin{definition} \label{def:contactManifold} Let $M$ be a closed $2n+1$-real dimensional manifold. A \emph{contact form} on $M$ is one form $\alpha\in \Omega^1(M)$ so that \[\alpha \wedge (d\alpha)^n \] is a volume form on $M$. We call the pair $(M, \alpha)$ a contact manifold. \label{def:contactManifold} \end{definition} \begin{example} \label{exm:contactManifold} A key set of examples of contact manifolds come as hypersurfaces of symplectic manifolds. Let $(X, \omega)$ be a symplectic manifold. Suppose that there is an expanding vector field $Z$ on $X$, that is, a vector field so that \[\mathcal L_Z \omega = \omega.\] The symplectic manifold $X$ is exact, with primitive given by $\lambda=\iota_Z \omega$. Let $i:M\into X$ be a hypersurface which is transverse to $Z$. Then the restriction $\alpha:=\lambda|_M$ is an example of a contact form. We see that the form \begin{align*} \alpha \wedge d\alpha^{n-1} =& i^* (\iota_Z \omega \wedge \omega^{n-1})\\ \end{align*} is nonvanishing, as $\omega^n$ is a volume form and $Z$ is transverse to $M$. The simplest example to consider come from $\CC^n= \RR^{2n}$, where the radial vector field $Z=\frac{1}{2}\sum_i \left(x_i \partial_{x_i} + y_i\partial_{y_i}\right)$ provides an example of an expanding vector field. The associated primitive for the symplectic form is \[\iota_Z \omega =\sum_{i=1}^n x_i dy_i-y_idx_i \] This radial vector field plays especially nicely with respect to the moment map, \begin{align*} p: \RR^{2n}\to& (\RR_{\geq 0})^n\\ (x_i, y_i)\mapsto&\frac{1}{2} (x_i^2+y_i^2) \end{align*} We give the base of the moment polytope $(\RR_{\geq 0})^n$ coordinates $(p_1, \ldots, p_n$). At every point $(x_i, y_i)\in \RR^{2n}$, we can project the Liouville vector field to \[p_*Z_{(x_i, y_i)}= \sum_{i=1}^n (x_i^2+y_i^2) \partial_{p_i} =\frac{1}{2}\sum_{i=1}^n p_i \partial_{p_i}.\] In particular, if we have a hypersurface $N\subset (\RR_{\geq 0})^n$ which is transverse to the radial vector field $\sum_{i=1}^n p_i \partial_{p_i}$ and whose preimage $M:=p^{-1}(N)\subset \RR^{2n}$ is a smooth hypersurface, then $M$ is a contact manifold. \label{exm:contactManifold} \begin{figure} \label{fig:liuvilleMomentMapR2} \centering \begin{tikzpicture} \fill[gray!20] (0,0)--(3, 0)--(3,3)--(0,3)--cycle; \draw (0,0)--(3,0) (0,3)--(0,0); \foreach \r in { .5, 1,1.5, 2,2.5, 3} { \foreach \t in {0,...,9} { \draw[->] ({\r * cos(10*\t)},{ \r * sin(10*\t) })-- ({1.1*\r * cos(10*\t)},{ 1.1*\r * sin(10*\t) }); } } \draw[red] (0,2.5) .. controls (0.5,2.5) and (1,2) .. (1.5,1.5) node[fill=gray!20] {$N$} .. controls (2,1) and (2,0.5) .. (2,0); \node at (2.5, 2.5) {$\mathbb R_{\geq 0}^2$}; \end{tikzpicture}\caption{The Liouville structure on \(\CC^2\) as viewed from the moment map} \end{figure}\end{example} \begin{definition} \label{def:reebVectorField} Let $(M, \alpha)$ be a contact manifold. The Reeb vector field is the unique vector field $R_\alpha$ characterized by \begin{align*} R_\alpha\in \ker(d\alpha) && \alpha(R_\alpha)=1.\end{align*} \label{def:reebVectorField} \end{definition} \begin{example} \label{exm:reebVectorField} We return to \cref{exm:contactManifold} of hypersurfaces in $\RR^{2n}$ given by $M=p^{-1}(N)$. Consider the hypersurface $N$ defined by the equation $p_1+\cdots p_n=1$. Then $M=S^{2n-1}\subset \RR^n$. We give $\CC^n$ the polar coordinates $(r_i, \theta_i)$. Let $f=\sum_{i=1}^n |z_i|^2.$ The tangent space to $M$ is the orthogonal complement to $\grad(f).$ Consider the vector field \[V:=\sum_{i=1}^n x_i \partial_{y_i}- y_i \partial_{x_i}.\] First, observe that \[V\cdot \grad(f)=\sum_{i=1}^n( x_i y_i - y_i x_i )= 0 \] so $V$ restricts to a vector field on $M$. Let $v=\sum_{i}a_i \partial_{x_i}+b_i\partial_{y_i}$ be any vector in $TM$. Then the pairing \begin{align*} \omega(v, V)=&\sum_{i=1}^n a_ix_i+b_iy_i\\ =&v\cdot \grad(f)=0 \end{align*} From this, we conclude that $V\in \ker(d\alpha)$. Finally, we have that $\alpha=\iota_Z\omega$, so \[\omega(Z, V)=\sum_{i=1}^n (x^2+y^2)=1\] From which we conclude that $V$ is the Reeb vector field for $(M, \alpha)$. \end{example} A Reeb orbit is a map $\gamma: \RR/\ell\ZZ\to M$ with $\frac{d}{dt}\gamma = R$. Unlike the setting of Hamiltonian Floer theory, we do not restrict ourselves to time-one orbits. We have a contact-version of the Arnold conjecture. \begin{conjecture} Every contact manifold $(M, \alpha)$ has at least one Reeb orbit. \label{cnj:weinsteinConjecture} \end{conjecture}Since we do not restrict ourselves to time one-orbits, if there is an orbit, there are an infinite number of orbits (by considering their multiple covers). Even when one considers orbits up to multiplicity, an infinite number of orbits can occur. \begin{example} \label{exm:reebOrbits} We return to \cref{exm:reebVectorField} of the Reeb vector field on $(S^{n-1},\alpha)$, where $S^{n-1}$ is considered as a hypersurface of $\CC^n$. Recall we have a map $p:S^{2n-1}\to N$, where $N\subset \RR_{\geq 0}^n$ is the simplex defined by $\sum_{i=1}^n p_i^2=1$. The fibers of $p$ are $n$-dimensional tori in $S^{2n-1}$ which are parallel to the Reeb vector field $V_\alpha$. In fact, Reeb vector field $V_\alpha$ acts on the fibers $p^{-1}(p_1, \ldots, p_n)$ by translation in the $(\sqrt p_1, \ldots, \sqrt p_n)$ direction. We therefore identify two types of fibers of $p$: \begin{itemize} \item If $(\sqrt p_1, \ldots, \sqrt p_n)$ has integral slope (that is, there exists a scalar $r$ so that $r\cdot(\sqrt p_1, \ldots, \sqrt p_n) \in \ZZ^n$) then every point on the fiber belongs to a closed orbit. \item Otherwise, no point on the fiber belongs to a closed orbit. \end{itemize} The Reeb orbits of $(S^{n-1}, \alpha)$ are in bijection with $\bigoplus_{\vec v\in \NN^n\setminus \{0\}} T^n/\vec v$. \end{example} In \cref{exm:reebOrbits} we have an uncountable number of orbits, but the set of periods of these orbits is only countable. Given a Reeb orbit $\gamma$, let $\ell(\gamma)$ denote its period. \begin{proposition} \label{prp:countableNumberOfReebPeriods} Let $M$ be a contact manifold. Let \[\Gamma:=\{\gamma: \RR/\ell\RR\to M \st\gamma'=R\}\] denote the set of Reeb orbits. The image of $\ell(\Gamma)\subset \RR_{\geq 0}$ is countable and closed. \label{prp:countableNumberOfReebPeriods} \end{proposition} \begin{proof} \label{prf:countableNumberOfReebPeriods} Give a Reeb orbit, the reparameterization of the orbit satisfying $\dot \gamma = \ell V_\alpha$ is a critical point of the action \begin{align*} A:W^{1,2}(S^1, M)\to& \RR\\ \gamma\mapsto& \int_{\gamma}\alpha \end{align*} where $W^{1,2}(S^1, M)$ is the space of maps of Sobelov class $1,2$. On a Reeb orbit, observe that \[\int_{\gamma}\alpha= \int_{S^1} \alpha(\cdot \gamma) = \ell\] the action computes the period of $\gamma$. Therefore the set of periods is a subset of the critical values of $A$. By applying the Sard-Smale theorem, the critical values of a functional are countable and closed in $\RR$. \end{proof} While the Weinstein conjecture is stated in terms of contact geometry, there is a standard method to translate questions in contact geometry to questions in symplectic geometry. \begin{definition} \label{def:symplectization} \label{def:symplectization} Let $(M, \alpha)$ be a contact manifold. The symplectization of $(M, \alpha)$ is the symplectic manifold \[(\RR\times M, d(\exp(r)\cdot \alpha)).\] \end{definition} To see that this is a symplectic manifold, observe that \begin{align*} (d(\exp(r)\cdot \alpha)^n=( \exp(r) (dr\wedge\alpha + d\alpha))^n = \exp(nr) ( dr\wedge \alpha\wedge d\alpha^{n-1}) \end{align*} which is non-vanishing everywhere as $\alpha$ is a contact form. \begin{definition} \label{def:linearHamiltonian} Let $M$ be a contact manifold, and let $\RR\times M$ be its symplectization. A \emph{linear Hamiltonian} of slope $m$ is the Hamiltonian $H^m(r, x)= m\cdot \exp(r)$. \label{def:linearHamiltonian} \end{definition} Observe that the level sets of a linear Hamiltonian are $\{r\}\times M$. The Hamiltonian vector field therefore can be restricted to a vector field on the contact manifold $M$. It is not a surprise that the $m V_\alpha$ and Hamiltonian vector field $H_V$ agree: \begin{align*} \iota_{i_* m V_\alpha}\omega=& d(\exp(r) \alpha )(m V_\alpha)\\ =&(\exp(r) dr \wedge d\alpha - \exp(r) d\alpha) (m V_\alpha)\\ =&- m \cdot \exp(r)dr = dH^m \end{align*} Therefore, the time one Hamiltonian orbits of $H^m$ correspond to the time $m$ Reeb orbits of $V_\alpha$; by studying Hamiltonian Floer theory on the symplectization $\RR\times M$ we obtain some understanding of the Reeb dynamics of $(M, \alpha)$. A useful observation is the following: suppose that $m$ is not a period of some Reeb orbit. Then $\RR\times M$ has no time one orbits for the linear Hamiltonian of slope $m$. \label{rem:increasingHamiltonian} If we take $h: \RR_{\geq 0}\to \RR$ a function with slope increasing to infinity the Hamiltonian $H:=h(\exp(r)): X\times \RR\to \RR$ our Hamiltonian vector field is related to the linear Hamiltonian vector fields by \[V_H = h'(\exp(r)) V_{H^1}\] Therefore, the time-one Hamiltonian orbits contained in the level set $\exp(r)\times M$ will compute the $h'(\exp(r))$-period Reeb orbits of $V_\alpha$. \printbibliography \end{document}