\documentclass[CRMATH,Unicode,biblatex,XML]{cedram} \TopicFR{Géométrie et Topologie} \TopicEN{Geometry and Topology} \addbibresource{CRMATH_Lejmi_20240359.bib} \newcommand{\Hh}{{\mathcal H}} \DeclareMathOperator{\Ke}{Ker} \newcommand{\del}{\partial} \newcommand{\delb}{{\bar \partial}} \newcommand{\mub}{{\bar \mu}} \newcommand{\dd}{\mathrm{d}} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \makeatletter \let\save@mathaccent\mathaccent \newcommand*\if@single[3]{% \setbox0\hbox{${\mathaccent"0362{#1}}^H$}% \setbox2\hbox{${\mathaccent"0362{\kern0pt#1}}^H$}% \ifdim\ht0=\ht2 #3\else #2\fi } %The bar will be moved to the right by a half of \macc@kerna, which is computed by amsmath: \newcommand*\rel@kern[1]{\kern#1\dimexpr\macc@kerna} %If there's a superscript following the bar, then no negative kern may follow the bar; %an additional {} makes sure that the superscript is high enough in this case: \newcommand*\widebar[1]{\@ifnextchar^{{\wide@bar{#1}{0}}}{\wide@bar{#1}{1}}} %Use a separate algorithm for single symbols: \newcommand*\wide@bar[2]{\if@single{#1}{\wide@bar@{#1}{#2}{1}}{\wide@bar@{#1}{#2}{2}}} \newcommand*\wide@bar@[3]{% \begingroup \def\mathaccent##1##2{% %Enable nesting of accents: \let\mathaccent\save@mathaccent %If there's more than a single symbol, use the first character instead (see below): \if#32 \let\macc@nucleus\first@char \fi %Determine the italic correction: \setbox\z@\hbox{$\macc@style{\macc@nucleus}_{}$}% \setbox\tw@\hbox{$\macc@style{\macc@nucleus}{}_{}$}% \dimen@\wd\tw@ \advance\dimen@-\wd\z@ %Now \dimen@ is the italic correction of the symbol. \divide\dimen@ 3 \@tempdima\wd\tw@ \advance\@tempdima-\scriptspace %Now \@tempdima is the width of the symbol. \divide\@tempdima 10 \advance\dimen@-\@tempdima %Now \dimen@ = (italic correction / 3) - (Breite / 10) \ifdim\dimen@>\z@ \dimen@0pt\fi %The bar will be shortened in the case \dimen@<0 ! \rel@kern{0.6}\kern-\dimen@ \if#31 \overline{\rel@kern{-0.6}\kern\dimen@\macc@nucleus\rel@kern{0.4}\kern\dimen@}% \advance\dimen@0.4\dimexpr\macc@kerna %Place the combined final kern (-\dimen@) if it is >0 or if a superscript follows: \let\final@kern#2% \ifdim\dimen@<\z@ \let\final@kern1\fi \if\final@kern1 \kern-\dimen@\fi \else \overline{\rel@kern{-0.6}\kern\dimen@#1}% \fi }% \macc@depth\@ne \let\math@bgroup\@empty \let\math@egroup\macc@set@skewchar \mathsurround\z@ \frozen@everymath{\mathgroup\macc@group\relax}% \macc@set@skewchar\relax \let\mathaccentV\macc@nested@a %The following initialises \macc@kerna and calls \mathaccent: \if#31 \macc@nested@a\relax111{#1}% \else %If the argument consists of more than one symbol, and if the first token is %a letter, use that letter for the computations: \def\gobble@till@marker##1\endmarker{}% \futurelet\first@char\gobble@till@marker#1\endmarker \ifcat\noexpand\first@char A\else \def\first@char{}% \fi \macc@nested@a\relax111{\first@char}% \fi \endgroup } \makeatother \let\oldbar\bar \renewcommand*{\bar}[1]{\mathchoice{\widebar{#1}}{\widebar{#1}}{\widebar{#1}}{\oldbar{#1}}} \let\oldtilde\tilde \renewcommand*{\tilde}[1]{\mathchoice{\widetilde{#1}}{\widetilde{#1}}{\oldtilde{#1}}{\oldtilde{#1}}} %\let\tilde\widetilde %\let\hat\widehat \let\oldhat\hat \renewcommand*{\hat}[1]{\mathchoice{\widehat{#1}}{\widehat{#1}}{\oldhat{#1}}{\oldhat{#1}}} %\let\tilde\widetilde \renewcommand*{\to}{\mathchoice{\longrightarrow}{\rightarrow}{\rightarrow}{\rightarrow}} \let\oldmapsto\mapsto \renewcommand*{\mapsto}{\mathchoice{\longmapsto}{\oldmapsto}{\oldmapsto}{\oldmapsto}} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \newcommand*{\mk}{\mkern -1mu} \newcommand*{\Mk}{\mkern -2mu} \newcommand*{\mK}{\mkern 1mu} \newcommand*{\MK}{\mkern 2mu} \hypersetup{urlcolor=purple, linkcolor=blue, citecolor=red} \newcommand*{\romanenumi}{\renewcommand*{\theenumi}{\roman{enumi}}} \newcommand*{\Romanenumi}{\renewcommand*{\theenumi}{\Roman{enumi}}} \newcommand*{\alphenumi}{\renewcommand*{\theenumi}{\alph{enumi}}} \newcommand*{\Alphenumi}{\renewcommand*{\theenumi}{\Alph{enumi}}} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \title{Conformally symplectic structures and the Lefschetz condition} \alttitle{Les structures conformément symplectiques et la condition de Lefschetz} %%%1 \author{\firstname{Mehdi} \lastname{Lejmi}\IsCorresp\CDRorcid{0000-0002-7489-9149}} \address{Department of Mathematics, Bronx Community College, City University of New York, 2155 University Av., Bronx, NY 10453, USA.} \email{mehdi.lejmi@bcc.cuny.edu} %%%2 \author{\firstname{Scott} \middlename{O.} \lastname{Wilson}\CDRorcid{0000-0002-2463-6148}} \address{Department of Mathematics, Queens College, City University of New York, 65-30 Kissena Blvd., Flushing, NY 11367, USA.} \email{scott.wilson@qc.cuny.edu} \thanks{The first author is supported by the Simons Foundation Grant \#636075. The second author acknowledges support provided by the Simons Foundation Award program for Mathematicians (\#963783) and a PSC-CUNY Award, jointly funded by The Professional Staff Congress and The City University of New York (TRADB \# 66358-00 54)} \CDRGrant[Simons Foundation]{\#636075} \CDRGrant[Simons Foundation]{\#963783} \CDRGrant[PSC-CUNY]{\# 66358-00 54} \subjclass{53D05, 53B35} \keywords{\kwd{Locally conformally symplectic structures} \kwd{hard Lefschetz condition} \kwd{almost complex structures}} \altkeywords{\kwd{Structures localement conformément symplectiques} \kwd{condition de Lefschetz} \kwd{structures presque complexes}} \begin{abstract} This short note provides a symplectic analogue of Vaisman's theorem in complex geometry. Namely, for any compact symplectic manifold satisfying the hard Lefschetz condition in degree 1, every locally conformally symplectic structure is in fact globally conformally symplectic, whenever there is a mutually compatible almost complex structure. \end{abstract} \begin{altabstract} Cette courte note fournit un analogue symplectique au théorème de Vaisman en géométrie complexe. Plus précisement, pour toute variété compacte symplectique satisfaisant la condition de Lefschetz en degré 1, chaque structure localement conformément symplectique est en fait globalement conformément symplectique, quand celle-ci et la forme symplectique sont compatibles avec la même structure presque complexe. \end{altabstract} \begin{document} \maketitle This short note provides a symplectic analogue of Vaisman's foundational result for complex manifolds, which states that if a complex manifold is Kähler, then every locally conformally Kähler structure is indeed globally conformally Kähler~\cite{Vais}. Recall that a locally conformally symplectic structure is a pair $(\eta,\theta)$ consisting of a real closed $1$-form $\theta$, and a non-degenerate $2$-form $\eta$, such that $\dd \eta = \theta \wedge \eta$, where $\dd $ is the exterior derivative. If $\theta$ is $\dd$-exact, then $(\eta,\theta)$ is globally conformally symplectic. Moreover, if $\theta=0$, then $\eta$ is a symplectic form. For more about locally conformally symplectic structures, we refer the reader for instance to~\cite{MR1481969,OV,MR3880223}. An almost complex structure $J$ is compatible with $\eta$ if $\eta(J\cdot,J\cdot)=\eta$ and $\eta(\cdot,J\cdot)$ defines a Riemannian metric. The induced Riemannian metric is called an almost-Kähler metric if $\eta$ is a symplectic form. Eliashberg and Murphy~\cite[Theorem~1.11]{MR4495837} used the $\mathit{h}$-principle to prove that compact almost-complex manifolds with a non-zero degree one cohomology class admit locally conformally symplectic structures which are not globally conformally symplectic. In addition to this, symplectic manifolds can have locally conformally symplectic structures which are not globally conformally symplectic, even in the presence of mutually compatible almost complex structures, cf. Example \ref{ex;symLCSnotGCSex} below (we also refer the reader to~\cite{MR3724467,MR3767426,MR4088745,TT}). A sufficient condition for every locally conformally symplectic structure to be globally conformally symplectic, in the presence of a compatible almost complex structure, is given by the hard Lefschetz condition in degree $1$. \begin{thm} \label{LCS-GCS} If a compact symplectic manifold $(M,\omega)$ satisfies hard Lefschetz in degree $1$, then any locally conformally symplectic structure $(\eta, \theta)$ on $(M,\omega)$ is necessarily globally conformally symplectic whenever $\eta$ and $\omega$ share a compatible $J$. \end{thm} Recall that on a symplectic manifold $(M, \omega)$ of dimension $2n$ the hard Lefschetz condition holds in degree $1$ if \[ L^{n-1} : H^1_\dd (M) \to H^{2n-1}_\dd (M) \] is an isomorphism, where $L\alpha = \omega \wedge \alpha$. We begin with a lemma, after establishing some notation. For an almost complex manifold, we let $\dd_c := J^{-1}\, \dd J$, where $J$ is extended as an algebra automorphism, and for an odd operator $\delta$ define its Laplacian $\Delta_\delta = \delta^* \delta + \delta^* \delta$ with harmonics $\Hh^k_\delta = \Ke \Delta_\delta \cap \Omega^k$, where $\Omega^k$ is the space of real differential $k$-forms. \begin{lemma} Let $(M,\omega)$ be a compact symplectic manifold of dimension $2n$. The following are equivalent: \begin{enumerate} \item The hard Lefschetz condition holds in degree $1$. \item For any compatible almost-Kähler structure, $\Hh^1_\dd = \Hh^1_{\dd ^c}$, i.e. every $d$-harmonic $1$-form is $d^c$-harmonic (and vice versa). \item For any compatible almost-Kähler structure, every $d$-harmonic $1$-form is the sum of $d$-harmonic forms of pure bi-degree, \[ \Hh^1_d =\Hh^{1,0}_d \oplus \Hh^{0,1}_d . \] \item For any compatible almost-Kähler structure, \[ \Hh^1_d = \Hh^1_\delb \cap \Hh^1_\mu, \] where $d = \mub+\delb+\del+\mu$, with bidegrees \[ |\mub|=(-1,2), \, |\delb|=(0,1), \, |\del|=(1,0), \text{ and } \, |\mu|=(2,-1). \] \end{enumerate} \end{lemma} A proof that the first condition implies the second is given in ~\cite[Proposition~3.3]{Lin:2023aa}, which we streamline below, using the same essential idea. We note that in ~\cite[Theorem~5.4]{TW}, Tomassini and Wang show that the second condition implies first (in fact, in all degrees). Namely, for an almost-Kähler manifold, the space $\Hh_d$ satisfies the hard Lefschetz condition whenever $\Hh_d = \Hh_{d^c}$ (in all degrees). The remaining statements are included to give additional characterizations in terms of decompositions of $d$-harmonic forms. \begin{proof} To prove the first implication, assume there's a $d$-harmonic 1-form $\alpha$ so that $J\alpha$ is not $d$-harmonic. Since $J$ is orthogonal, we may as well assume $\alpha$ is $d$-harmonic, but $J\alpha$ is orthogonal to the $d$-harmonics. Then \[ L^{n-1}\alpha =\frac{1}{(n-1)!} \star J \alpha. \] Since star is an isometry, $L^{n-1}\alpha$ is orthogonal to the $d$-harmonics, and therefore $[L^{n-1}\alpha]$ is zero in cohomology. This shows $L^{n-1}$ has a non-zero kernel. Using \begin{align*} \dd^c &= -i \mub + i\delb -i \del +i\mu \end{align*} we have \[ \Hh_{\dd}^1 \cap \Hh_{\dd^c}^1 = \Hh^{1,0}_{\dd} \oplus \Hh^{0,1}_{\dd} \subset \Hh^1_{\dd}. \] This proves the second condition implies the third. Next, \[ \Hh^{1,0}_{\dd} \oplus \Hh^{0,1}_\dd \subset \Hh^1_\delb \cap \Hh^1_\mu \subset \Hh^1_{\dd} \] where the last containment follows from the almost-Kähler identity \cite{CW}, \[ \Delta_\delb + \Delta_\mu = \Delta_\del + \Delta_\mub. \] This proves the third condition implies the fourth. Finally, by ~\cite[Theorem~5.1]{CW}, the last condition implies the first, since the space $\Hh_\delb \cap \Hh_\mu$ always has the Lefschetz $\mathfrak{sl}(2)$-representation, and so satisfies hard Lefschetz on $H^1_{\dd}(M) \cong \Hh^1_{\dd}(M)$ if $ \Hh^1_\delb \cap \Hh^1_\mu = \Hh^1_{\dd}(M)$. \end{proof} The proof of Theorem~\ref{LCS-GCS} is now essentially the same as in Vaisman \cite{Vais}, see also Ornea and Verbitsky \cite{OV}. \begin{proof} Let $(\eta , \theta)$ be a locally conformally symplectic structure. Suppose there is a symplectic structure $(M,\omega)$ satisfying hard Lefschetz in degree $1$, and let \[ \theta = h + \dd \gamma \] be the Hodge decomposition of $\theta$, with $h \in \Hh_{\dd}^1$. By the conformal change $\eta \mapsto \eta'=e^{-\gamma} \eta$, we have \[ \dd \eta' = \theta' \wedge \eta' \] and $\theta'=h$ satisfies $\dd \theta'=0$. So, we may as well assume that $\dd \eta = \theta \wedge \eta$ with $\theta$ $\dd$-harmonic. By the Lemma's first implication, ${\dd}^c \theta = 0$ for any compatible almost Kähler structure, so that \[ {\dd}\dd^c \eta^{n-1} = -(n-1)^2 \theta \wedge J\theta \wedge \eta^{n-1}, \] since ${\dd}^c \eta = J^{-1} \dd\eta = J^{-1} (\theta \wedge \eta ) = -J \theta \wedge \eta$. Therefore, \[ 0 = \int_M \dd \dd^c \eta^{n-1} = -(n-1)^2 \int_M \theta \wedge J\theta \wedge \eta^{n-1}. \] Since $J$ is compatible with $\eta$, we conclude that $\theta=0$, so that $\eta$ is symplectic. \end{proof} \begin{example} \label{ex;symLCSnotGCSex} Two examples show the necessity of the assumptions in the theorem. In \cite[Example~4.1]{TT} the authors show that the Kodaira--Thurston manifold supports both a symplectic structure $\omega$ and a locally conformally symplectic structure $(\eta,\theta)$, which is not globally conformally symplectic, while $\eta$ and $\omega$ share a compatible $J$. In this case the hard Lefschetz condition fails in degree $1$. On the other hand, a locally conformally symplectic structure $(\eta, \theta)$ on a symplectic manifold $(M,\omega)$ can fail to be globally conformally symplectic if $\omega$ and $\eta$ do not share a compatible $J$, even if the hard Lefschetz condition holds in degree $1$. For example, the solvmanifold with structure equations $\dd x_1 = x_1 x_3$, $\dd x_2 = -x_2x_3$, and $\dd x_3=\dd x_4=0$, with symplectic form $\omega= x_1x_2 + x_3x_4$ has $(\theta = -x_3, \eta = x_1x_4+x_2x_3)$ which is locally conformally symplectic, but not globally conformally symplectic. \end{example} From the theorem we deduce several corollaries, and emphasize that those statements concerning homogeneous spaces apply to all symplectic and locally conformally symplectic structures (even inhomogeneous structures). \begin{corollary} Let $G$ be a simply connected $4$-dimensional Lie group admitting a uniform lattice $\Gamma$. Suppose $M=\Gamma \backslash G$ admits a symplectic form $\omega$ that satisfies hard Lefschetz in degree $1$. Let $(\eta , \theta)$ be a locally conformally symplectic structure on $M$. Suppose that there is an almost complex structure $J$ compatible with $\eta$ that is compatible with some symplectic form. Then, $(\eta , \theta)$ is a globally conformal symplectic structure. \end{corollary} \begin{proof} By hypothesis, $\omega$ satisfies hard Lefschetz in degree $1$, and therefore all degrees. By ~\cite[Theorem~4.2]{MR4658927}, any other symplectic form satisfies hard Lefschetz as well, so the corollary follows then from Theorem~\ref{LCS-GCS}. \end{proof} \begin{corollary} Let $M$ be a $2n$-dimensional torus or a hyperelliptic surface. Let $(\eta , \theta)$ be a locally conformally symplectic structure on $M$. Suppose that there is an almost complex structure $J$ compatible with $\eta$ that is compatible with some symplectic form. Then, $(\eta , \theta)$ is a globally conformal symplectic structure. \end{corollary} \begin{proof} Any symplectic form on a $2n$-dimensional torus or a hyperelliptic surface satisfies hard Lefshetz (for the torus see for instance~\cite[Proposition~4.1]{MR4658927}, we also refer the reader to~\cite{MR0976592,MR0993739,MR2409637,MR1880654}). The corollary then follows from Theorem~\ref{LCS-GCS}. \end{proof} Tan and Tomassini studied in~\cite{MR4658927} the hard Lefschetz condition on some $6$-dimensional compact completely solvable manifolds namely Nakamura manifolds $N^6$~\cite{MR0326005}, and $M^6(c),N^6(c),P^6(c)$ (we refer the reader to~\cite{MR1186146,MR1381616,MR4658927} for their definition). We remark that the manifolds $M^6(c),N^6(c)$, and $P^6(c)$ do not admit any Kähler metric~\cite{MR1381616}. \begin{corollary} Let $M$ be a Nakamura manifold $N^6$ or the compact completely solvable manifold $M^6(c)$ or $N^6(c)$ or $P^6(c)$. Let $(\eta , \theta)$ be a locally conformally symplectic structure on $M$. Suppose there is an almost complex structure $J$ compatible with $\eta$ that is compatible with some symplectic form. Then, $(\eta , \theta)$ is a globally conformal symplectic structure. \end{corollary} \begin{proof} It follows from~\cite[Theorem~5.1, Theorem~6.1, Remark~6.2]{MR4658927} that any symplectic form on $M$ satisfies hard Lefschetz. The corollary then follows from Theorem~\ref{LCS-GCS}. \end{proof} \section*{Acknowledgements} The authors are grateful to Adriano Tomassini and Nicolleta Tardini for pointing out their example in \cite{TT}, and to Giovanni Bazzoni, Liviu Ornea, and Baptiste Chantraine for helpful discussions. \section*{Declaration of interests} The authors do not work for, advise, own shares in, or receive funds from any organization that could benefit from this article, and have declared no affiliations other than their research organizations. \printbibliography \end{document}