Abstract
We introduce the notion of symplectic flatness for connections and fibre bundles over symplectic manifolds. Given an \(A_\infty \)-algebra, we present a flatness condition that enables the twisting of the differential complex associated with the \(A_\infty \)-algebra. The symplectic flatness condition arises from twisting the \(A_\infty \)-algebra of differential forms constructed by Tsai, Tseng and Yau. When the symplectic manifold is equipped with a compatible metric, the symplectic flat connections represent a special subclass of Yang–Mills connections. We further study the cohomologies of the twisted differential complex and give a simple vanishing theorem for them.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
For a vector bundle E over a smooth manifold M of dimension d, we can study differential forms \(\Omega ^*(M,E)\) taking values in the fibre space of E. For these forms, we can write a de Rham-type complex for \(\Omega ^*(M,E)\):
![figure a](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs12220-022-01018-7/MediaObjects/12220_2022_1018_Figa_HTML.png)
where locally \(d_A = d+A\) and \(A\in \Omega ^1(M, \mathrm {End}\,E)\) is the connection acting on E. The above complex is only a differential complex if the curvature of the connection, \(F=(d_A)^2= dA + A \wedge A =0\). This is the well-known fact that the de Rham complex can be twisted by a flat bundle, i.e. a bundle E that allows for a connection whose curvature vanishes.
Now suppose M is a complex manifold of dimension \(d=2n\) and E is a complex vector bundle over M. On complex manifolds, the differential forms can be decomposed into (p, q) components, that is
and the exterior derivative decomposes into the Dolbeault operators, \(d= \partial + {{{\bar{\partial }}}}\). The decompositions of forms and exterior derivative allow us to consider a more refined complex, the Dolbeault complex, which can be twisted as well:
![figure b](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs12220-022-01018-7/MediaObjects/12220_2022_1018_Figb_HTML.png)
where locally \({{{\bar{\partial }}}_{A}}= {{{\bar{\partial }}}}+ A^{0,1}\) and \(A^{0,1}\) is the (0, 1) component of the connection form A. That the above complex is actually a differential complex imposes the condition
Notice that this is a weakening of the smooth flatness condition \(F=0\) in that (1.3) requires only that the \(F^{0,2}\) component of the curvature vanishes. But a complex vector bundle with a connection such that \(F^{0,2}=0\) is well known to be equivalent to the bundle E having the structure of a holomorphic vector bundle. And so in the complex case, complex flat bundles which can twist the Dolbeault complex are just holomorphic vector bundles.
Flat bundles and holomorphic vector bundles are basic and important objects on smooth and complex manifolds, respectively. In this paper, we are interested in exploring special vector bundles on symplectic manifolds. Specifically, we ask a simple question: is there a symplectic flatness condition for a vector bundle E over a symplectic manifold, \((M^{2n}, \omega )\)?
We can answer this question by proceeding in a similar way as in the smooth and complex cases described above. Let us first recall that on a symplectic manifold, \((M^{2n}, \omega )\), the differential forms can be expressed in a polynomial expansion in powers of \(\omega \). This decomposition of forms is commonly called the Lefschetz decomposition and given by
where \(P^s(M)\) for \(s=0,1,\ldots , n\), denotes the space of primitive forms, i.e. forms that we can not extract an \(\omega \) from them. More precisely, a form \(\beta \in P^s(M)\) if there does not exist an \(\xi \in \Omega ^{s-2}(M)\) such that \(\beta = \omega \wedge \xi \). And besides forms, the exterior derivative, like in the complex case, also has a decomposition into two linear differential operators \((\partial _+, \partial _-)\) dependent on the symplectic structure [7]
and with desirable properties: \((\partial _+)^2 = (\partial _-)^2 =0\) and \(\omega \wedge \partial _+\partial _-= - \omega \wedge \partial _-\partial _+\). Together, they lead to a differential complex that is elliptic (see [7] and references therein)
![figure c](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs12220-022-01018-7/MediaObjects/12220_2022_1018_Figc_HTML.png)
Hence, we can try to extend this complex to one acting on \(P^*(M,E)\), the space of primitive forms with values in E and also twist the operators \((\partial _+, \partial _-, \partial _+\partial _-)\) with a connection form as in (1.1) and (1.2). However, the peculiar definitions of the differentials in (1.5) raise immediate issues. In particular, note that both \(\partial _-:P^s \rightarrow P^{s-1}\) and \(\partial _+\partial _-: P^n \rightarrow P^n\) do not increase the degree of the form by one. Can we simply twist these operators in the primitive complex above by a connection one-form?
The twisting procedure in the symplectic case turns out to be a bit more subtle. Nevertheless, twisting the primitive complex can still be achieved because the complex has an \(A_\infty \)-algebra structure [6]. We will show in this paper, that given any \(A_\infty \)-module structure of differential forms taking values in E, there is a natural twisting of the differentials of the complex by a connection one-form. The new twisted differentials, however, do not represent a deformation of the \(A_\infty \)-module and hence does not lead to a new \(A_\infty \)-module structure.
Our result in the symplectic case is the following. We can write down a twisted primitive complex of forms taking values in E, if the connection one-form on E satisfies the following symplectic flatness condition:
Definition 1.1
For \((M^{2n},\omega )\) a symplectic manifold, let \(\pi :E\rightarrow M\) be a vector bundle with a connection, \(d_A\) the corresponding covariant derivative and F the curvature two-form. We call the connection symplectically flat if
where \(\Phi \in \Omega ^0(M, \mathrm {End}\,E)\). If such a connection exists on E, we say E is a symplectically flat bundle.
Remark 1.2
For a principal bundle P over \((M^{2n}, \omega )\), we say P is symplectically flat if there exists a connection form on P whose curvature satisfies (1.6).
Though written as two equations, condition (1.6) for symplectically flat is effectively just a single equation in all 2n dimensions. For when \(n=1\), the first equation, \(F=\Phi \, \omega \,\), is trivial and gives no condition. On the other hand, when \(n\ge 2\), the second equation, \(d_A \Phi =0\,\), becomes unnecessary as it is implied by the first equation of (1.6) and the Bianchi identity.
To arrive at the symplectic flatness condition, we shall begin in Sect. 2 by reviewing the \(A_\infty \)-algebra structure of the primitive cochain complex of Tsai, Tseng and Yau [6]. We will present a general procedure to twist the differential complex associated with any \(A_\infty \)-algebra. This general procedure gives the flatness conditions for de Rham, Dolbeault and the primitive symplectic complex and results in the twisted primitive complex given in (2.15).
With the symplectic flatness condition established, it is helpful to have examples of symplectic flat bundles and understand some of their properties. We will do this in Sect. 3. Indeed, we will show that symplectically flat connections are a special type of Yang–Mills connections in the presence of a compatible metric on \((M^{2n}, \omega )\). Also, as shown in Table 1, one can choose special local frames such that the local connection form takes the form \(A=\Phi \,\lambda \), where \(\Phi \) is a constant matrix and \(d\lambda =\omega .\) We also point out an interesting relationship: when \(\omega \) is an integral class and we can define a circle bundle X over M whose Euler class is given by \(\omega \), (i.e. the prequantum circle bundle of M), the symplectic flat bundle lifts to a flat bundle on X.
Finally, having twisted the primitive elliptic complex, we analyse the resulting cohomologies on \(P^*(M,E)\) in Sect. 4. We will calculate these twisted primitive cohomologies on \({\mathbb {R}}^{2n}\) and also prove a simple vanishing theorem for the twisted cohomologies when \(\Phi \) is invertible.
In this paper, we will mainly focus on symplectically flat vector bundles. An extensive discussion of symplectically flat principal bundles including their classification will be given in a companion work [8].
This paper is written for a special issue of the Journal of Geometric Analysis in honour of Peter Li. We are fortunate to have had the opportunity to interact closely with Peter Li through our affiliations with the UC Irvine Geometry/Topology group which Peter Li shaped and built-up over twenty plus years as a leading, senior faculty at UC Irvine. Peter Li has without fail been supportive and generous with kind advice to us. We are grateful to him for his strong encouragement in our research work.
2 Twisting the Differential Complex of an \(A_\infty \)-algebra
On symplectic manifolds, Tsai–Tseng–Yau [6] showed that the primitive cochain complex in (1.5) can be extended to an \(A_\infty \)-algebra. (More precisely, it is a commutative \(A_3\) algebra.) We will first describe this algebra below. For ease, we will call this algebra of differential forms on symplectic manifolds the TTY algebra. We then proceed to give a heuristic description of how to twist the differential of the primitive TTY algebra. Going further, we show in generality how the differential of any \(A_\infty \)-module can be twisted. The twisted differential of the TTY algebra is just a special case of this general \(A_\infty \)-module twisting.
2.1 Preliminaries: TTY Algebra
We mostly follow the notations of [6].
As mentioned, differential forms on a symplectic manifold \((M^{2n}, \omega )\) has a Lefschetz decomposition. Any \(\eta _k\in \Omega ^k(M)\) can be expressed as a polynomial in \(\omega \):
where \(\{\beta _k, \beta _{k-2}, \ldots , \beta _{k-2p}, \ldots \}\) are all primitive forms in \(P^*(M)\) and are determined uniquely by \(\eta _k\) and \(\omega \). The non-degeneracy of \(\omega \) also allows us to define the following three operators on differential forms [6]:
-
1.
\(L^p\): When \(p=k\ge 0\), \(L^k = \omega ^k\wedge \). When \(p=-k <0\), \(L^{-k}\) removes k powers of \(\omega \) from a form. For example, acting on the Lefschetz component \(\omega ^r \wedge \beta _s\) for \(\beta _s \in P^s\), \(L^{-k}(\omega ^{r}\wedge \beta _s)=\omega ^{r-k}\wedge \beta _s\) if \(k\le r < n-s+1\). When \(k > r\), then \(L^{-k}(\omega ^r\wedge \beta _s)=0\).
-
2.
\(*_r\): For \(\alpha \in \Omega ^k\), \(*_r\,\alpha =L^{n-k}\alpha \).
-
3.
\(\Pi ^p\): By Lefschetz decomposition, every \(\eta \in \Omega ^k\) can be uniquely written as \(\beta +\omega ^{p+1}\wedge \gamma \), where \(\beta =\beta _k + \omega \wedge \beta _{k-2} + \ldots + \omega ^p \wedge \beta _{k-2p}\) in the decomposition of (2.1). Then, \(\Pi ^p\eta =\beta \).
The third operator, \(\Pi ^p\), is a projection operator and defines the space of p-filtered forms: \(F^p\Omega ^k(M)= \Pi ^p\left[ \Omega ^k(M)\right] \) for \(0\le p \le n\). Note that the Lefschetz decomposition of p-filtered forms has at most terms of order \(\omega ^p\).
For each \(p=0, \ldots , n\), there is a TTY algebra consisting of forms in \(F^p\Omega ^*(M)\). In this paper, we are mainly concerned with the \(p=0\) filtered case \(F^{0}\Omega ^*(M)=P^*(M)\) which consist of just primitive forms. To simplify notation, we will write \(\Pi =\Pi ^0\), i.e. the projection onto the primitive component of the Lefschetz decomposition.
The TTY algebra is an \(A_\infty \)-algebra . Let us recall the definition of an \(A_\infty \)-algebra (for a reference, see [3]).
Definition 2.1
An \(A_\infty \)-algebra is a \({\mathbb {Z}}\)-graded vector space \({\mathcal {A}}=\bigoplus _{k\in {\mathbb {Z}}} {\mathcal {A}}^k\) endowed with graded linear maps
of degree \(2-k\) satisfying
The first three relations of (2.2) are the following:
By the third relation, if \(m_3=0\), then \(m_2\), which acts as a product, is associative. An \(A_\infty \)-algebra with only \(\{m_1, m_2\}\) non-zero is simply a differential graded algebra (DGA). The TTY algebra is, however, generally non-associative with \(m_3\ne 0\), but \(m_k\) for \(k\ge 4=0\) can be set to zero. Hence, it can be more precisely called an \(A_3\) algebra.
We now define the TTY-algebra \(({\mathcal {F}}, m_1, m_2, m_3)\) on primitive forms \(F^0\Omega ^*(M)=P^*(M)\). First, the elements of the primitive TTY-algebra are those of the differential complex (1.5). The grading follows that of the complex and to help distinguish the two sets of primitive forms, we use the ± subscript
where for \(k=0, 1, \dots , n\), \(P^k_+=P^k\) have grading k, and \(P^k_-=P^k\) have grading \(2n+1-k\). As for the \(m_k\) maps, the first map, \(m_1\), is just the differential of the complex (1.5).
The \(m_1\) map.
The \(m_2\) map is the product operation and is dependent on the pair of primitive spaces that it acts on. At times, we will denote it by the product symbol and write \(m_2(\beta ,\gamma )\) as \(\beta \times \gamma \). This \(\times \) operation is graded commutative.
The \(m_2\) map.
-
1.
For \(\beta \in P^j_+,\gamma \in P^k_+\), set
$$\begin{aligned} \beta \times \gamma =\Pi (\beta \wedge \gamma )+\Pi *_r[-dL^{-1}(\beta \wedge \gamma )+(\partial _-\beta )\wedge \gamma +(-1)^j\beta \wedge (\partial _-\gamma )]. \end{aligned}$$Note that when \(j+k\le n\), the second term is trivial, and when \(j+k>n\), the first term is trivial.
-
2.
For \(\beta \in P^j_+,\gamma \in P^k_-\), set
$$\begin{aligned} \beta \times \gamma =(-1)^j*_r[\beta \wedge (*_r\gamma )]. \end{aligned}$$ -
3.
For \(\beta \in P^j_-,\gamma \in P^k_+\), set
$$\begin{aligned} \beta \times \gamma =*_r[(*_r\beta )\wedge \gamma ]. \end{aligned}$$ -
4.
For \(\beta \in P^j_-,\gamma \in P^k_-\), set
$$\begin{aligned} \beta \times \gamma =0. \end{aligned}$$
The \(m_3\) maps measures the non-associativity of the product \(\times \). The non-associativity only arises when all three forms in the input come from \(P^*_+\).
The \(m_3\) map.
-
1.
For \(\beta \in P^i_+, \gamma \in P^j_+, \sigma \in P^k_+\) and \(i+j+k\ge n+2\), we set
$$\begin{aligned} m_3(\beta ,\gamma ,\sigma )=\Pi *_r[\beta \wedge L^{-1}(\gamma \wedge \sigma )-L^{-1}(\beta \wedge \gamma )\wedge \sigma ]. \end{aligned}$$ -
2.
For all other cases, we set \(m_3(\beta ,\gamma ,\sigma )=0\).
Finally, \(m_k=0\) for \(k\ge 4\).
2.2 Twisting the Differential of the Primitive TTY Algebra
We now give a heuristic description of the twisting of the primitive elliptic complex (1.5). Let E be a vector bundle and consider \(\Omega ^*(M,E)\) and \(P^*(M,E)\), the space of differential forms and primitive forms, respectively, taking values in E. We start with the relation of \((\partial _+, \partial _-)\) with d in (1.4). In particular, acting on primitive forms, \(\partial _+= \Pi \, d\) and \(\partial _-= L^{-1} d\). Now, we can decompose the twisted exterior derivative into two components when acting on primitive forms \(\beta \in P^s(M,E)\). Locally with \(d_A = d+A\,\wedge \,\), we can write
where we have noted in the second line that a primitive form wedge a one-form has a Lefschetz decomposition into two terms and in the third line, that the decomposition is independent of the choice of local frames. This allows us to define the global twisted operators:
such that
which gives a twisted version of (1.4). Locally, we have the expressions
Now we can express the action of \((d_A)^2\) on a primitive form in two ways. First, note that the commutator
Therefore, we have
Alternatively, we can also write
where in the second line, we have Lefschetz decomposed the curvature \(F=F_0 + \omega \, \Phi \) with \(F_0=\Pi \,F\in P^2(M, \mathrm {End}\, E)\) and \(\Phi \in \Omega ^0(M, \mathrm {End}\, E)\). If \(F_0=0\), then comparing (2.11) with (2.12) and matching the Lefschetz components, we find
This suggests the following twisted primitive complex
![figure d](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs12220-022-01018-7/MediaObjects/12220_2022_1018_Figd_HTML.png)
This is a differential complex if F satisfies the symplectically flat condition of \(F=\Phi \omega \) (i.e. \(F_0 =0 \)) and \(d_A\Phi =0\) given in Definition 1.6. In particular, we write out the composition of the differential operators in the middle of the complex:
which both vanish since \(d_A\Phi =d\Phi +[A,\Phi ]=0\,\).
In the next subsection, we will give a more systematic description of how to obtain the twisted differentials. We will show how all \(A_\infty \)-algebras can be twisted and that the symplectic flat condition needed above matches exactly the required condition for general twisting.
2.3 Twisting the Differential of an \(A_\infty \)-module
We are interested to twist the primitive elliptic complex (1.5) in a similar manner to how the de Rham complex is twisted in (1.1). Prior to twisting, the untwisted de Rham complex together with the wedge product gives the de Rham DGA: \((\Omega ^*(M), m_1=d, m_2=\wedge )\). In the presence of a vector bundle E with fibre V, twisting the complex consists of locally tensoring by V, i.e. \(\Omega ^*(U)\otimes V\) and modifying the differential \(m_1=d\) to \(m'_1= d+A: \Omega ^k(U)\otimes V \rightarrow \Omega ^{k+1}\otimes V\). In order that the twisted complex remains a differential complex, we obtain the condition
Let us make two observations. First, modifying \(m_1 \rightarrow m'_1\) does not result in a new DGA consisting of \((\Omega ^*(M)\otimes V, m'_1=d+A, m'_2)\). Indeed, we have not and do not need to define a new product \(m'_2\) on \(\Omega ^*(M)\otimes V\). So twisting the de Rham complex does not represent a deformation preserving the DGA structure. Second, without modifying the maps \((m_1, m_2)\), we can tensor the de Rham DGA by matrices: \((\Omega ^*(U)\otimes \text {End}\ V, m_1=d, m_2=\wedge )\). This is still a DGA with
Note that in the context of this tensored de Rham DGA, the flatness condition can be written simply in terms of the deformed \(m'_1\) map:
Now to twist the primitive elliptic complex, we first observe that any \(A_\infty \)-algebra also has a natural tensor product with matrices. Let \(\Omega \) be an \(A_\infty \)-algebra. We twist \({\mathcal {A}}=\Omega \otimes \text {End} \ V\) where V, a vector space, is the fibre of E. \(m_k\) acting on \(\Omega ^{\otimes k}\) can be extended to \(m_k\) acting on \({\mathcal {A}}^{\otimes k}\) where
Elements of the complex are vector valued. They are elements of \({\mathcal {B}}=\Omega \otimes V\) which to be precise is an \(A_\infty \)-module over \({\mathcal {A}}\). (See for example [3] for the definition of an \(A_\infty \) module.) The \(m_k\) acting on \({\mathcal {B}}\) is given by
The above twisting for differential graded algebras can be generalized to twist any \(A_\infty \)-module \({\mathcal {B}}\). In [2], Gibson described the case for \(A_3\)-algebra (i.e. \(m_k=0\) for all \(k\ge 4\)) and showed that \(m'_1(-)=m_1+m_2(A,-)-m_3(A,A,-)\) squares to zero when \(m'_1(A)=0\). Here, we give the general statement for any \(A_\infty \)-module \({\mathcal {B}}\).
Definition 2.2
Let \(\{{\mathcal {A}},m_k\}\) be an \(A_\infty \)-algebra, \({\mathcal {B}}\) an \(A_\infty \)-module over \({\mathcal {A}}\) and A an element of \({\mathcal {A}}\) of grading one. We define the operator \(m'_1\) as
where
Here, we use the notation \(m'_1\) since it is obtained by twisting \(m_1\), but \(m'_1\) is generally not the differential of an \(A_\infty \)-module. As mentioned above, we do not need morphisms \(m'_k\) for \(k\ge 2\) as we are not aiming to obtain a deformed \(A_\infty \)-structure. The theorem below will give a sufficient condition that ensures that \(m'_1\circ m'_1=0\).
Theorem 2.3
\(m'_1\circ m'_1=0\) if \(m'_1(A)=0\).
We first note a simple relation for the \(\delta _k\)’s.
Lemma 2.4
For any \(r\ge 0,s\ge 1\), we have
Proof
Observe that \(\delta _{r+1}\delta _s=(-1)^{\frac{r(r-1)+(s-1)(s-2)}{2}}\) and the power
\(\square \)
Proof of Theorem 2.3
For any \(B\in {\mathcal {B}}\),
Let \(r=i-1\) and \(s=j\). Then \(r\ge 0\), \(s\ge 1\) and the sum can be written as
Rewrite every term as
By the definition of an \(A_\infty \)-algebra, we have
So \({m'_1}^2B\) can be described as
Since \(\delta _{r+t+1}\delta _s=(-1)^{(r+t)(s+1)}\delta _{r+s+t}\), we have \((-1)^{r+s(r+t)+1}\delta _{r+s+t}=(-1)^{t+1}\delta _{r+t+1}\delta _s\). When we take the sum over s first, we get
By assumption \(\sum _{s\ge 1}\delta _s m_s(A^{\otimes s})=m'_1A=0\). Thus, \({m'_1}^2B=0\).
The above prescription for \(A_\infty \) twisting motivated by twisting the de Rham DGA gives the standard twisting for the Dolbeault complex and the primitive TTY-algebra.
Example 2.5
(Twisted Dolbeault complex) Let E be a vector bundle over a complex manifold M. Given a local trivialization over \(U\subset M\), the (0, 1) part of a connection acting on \(\Omega ^{0,*}(U,E)\) can be represented as \({\bar{\partial }}+A^{0,1}\) with \(A\in \Omega ^1(U,\text {End }E)\). \(m'_1(A^{0,1})=\partial A^{0,1}+A^{0,1}\wedge A^{0,1}=0\) over any U if and only if \(F^{0,2}=0\), i.e. this connection is holomorphically flat.
Example 2.6
(Twisted primitive TTY-algebra) Let E be a vector bundle over a symplectic manifold \((M^{2n},\omega )\). Given a local trivialization over \(U\subset M\), a connection can be represented locally as \(d+A\) where \(A\in \Omega ^1(U,\text {End }E)=P^1(U,\text {End }E)\). The primitive complex \(P^*(U,E)\) is an \(A_\infty \)-module over the TTY-algebra \( P^*(U,\text {End }E)\). Hence, we can define the operator \(m'_1\) as in Definition 2.2 and is explicitly given by
In details for the \(\beta \in P^n_+(U,E)\) case, we have
Furthermore,
Therefore, \(m'_1(A)=0\) if and only if the curvature has no primitive component, i.e. \(F=\Phi \,\omega \) and also \(d\Phi +[A,\Phi ] =0\), having noted that \(L^{-1} F = \Phi \). The second equation means that \(\Phi \) is covariantly constant which implies the global condition \(d_A\Phi =0\,\).
Remark 2.7
For the higher p-filtered TTY algebra (i.e. \(p>0\)), if we define \(m'_1\) as in Definition 2.2, then \(m'_1(A)=0\) is just the the usual flat connection condition.
3 Examples and Properties of Symplectically Flat Bundles
We first give some simple examples of symplectically flat bundles.
Example 3.1
When the principal bundle P is rank 1, the condition of symplectically flat becomes \(F=dA=c\, \omega \) for some constant c. Specifically, a circle bundle whose Euler class is \(c\,\omega \) would be symplectically flat.
Example 3.2
A projectively flat bundle has curvature
where c is a constant and \({\mathbf {I}}\) is the identity map over the fibre. Hence, projectively flat bundles are symplectically flat.
Example 3.3
When \(\dim M=2\), the symplectically flat condition is exactly identical to satisfying the Yang–Mills equations in the presence of a compatible metric. More generally, for \(\dim M \ge 2\), a symplectically flat connection is always a critical point of the Yang–Mills functional with respect to a compatible metric
Using the relation \(*\,\omega = \frac{1}{(n-1)!}\,\omega ^{n-1}\), it is straightforward to see that a symplectically flat curvature satisfies the Yang–Mills equation
Hence, symplectically flat connections are a special subset of Yang–Mills solutions.
Example 3.4
When the symplectic manifold has dimension \(\dim M=4\), a symplectically flat connection satisfies the self-dual condition with respect to a compatible metric
Clearly here, the symplectically flat condition \(F=\Phi \, \omega \) is a stronger condition than the self-dual condition.
Below we give some properties of symplectically flat bundles.
Proposition 3.5
Suppose there is a symplectically flat connection on a manifold M with curvature \(F=\Phi \,\omega \). Locally, there exists a trivialization such that \(\Phi \) is represented as a constant matrix, and the covariant derivative can be written as \(d+\Phi \lambda \) for some local 1-form \(\lambda \) satisfying \(d\lambda =\omega \).
The proof of the theorem is based on the following lemma (see for example, [4] Proposition 5.8):
Lemma 3.6
Locally, if \(d+{\tilde{A}}\) is a flat covariant derivative, then \({\tilde{A}}=g^{-1}dg\) for some matrix valued function g.
Proof of Proposition 3.5
First choose local sections \(\{s_1,\ldots ,s_r\}\) forming a frame of \(\Gamma (U,E)\), where r is the rank of vector bundle E. Then \(d_A\) can be written as \(d+A\), and \(\Phi \) can be represented by a matrix \(\Phi _s\) with respect to this frame. Take \(\lambda \in \Omega ^1(U)\) such that \(d\lambda =\omega \). Since \(d+A\) is a symplectically flat covariant derivative, a straightforward calculation shows that
i.e. \(d+A-\Phi _s\lambda \) is a local flat covariant derivative.
By Lemma 3.6 there exists some invertible g such that
Thus,
Then we have
On the other hand,
Therefore, \(d(g\Phi _s g^{-1})=0\), i.e. \(g\Phi _s g^{-1}\) is a constant. Let
be another local frame. Then \(\Phi \) will be represented by \(g\Phi _s g^{-1}\) with respect to this new frame. And the local covariant derivative becomes
\(\square \)
As an application of Proposition 3.5, suppose \((M,\omega )\) is a Kähler manifold and its Levi-Civita connection is symplectically flat. Then the Ricci curvature Ric(u, v) satisfies
By Theorem 3.5 around every point in M, we can find some g such that \(g\Phi g^{-1}\) is a constant. That implies that \(\text {tr}\,\Phi =\text {tr}\,g\Phi g^{-1}\) is a constant. For the same reason, \(\text {tr}\,J\Phi \) is also a constant. Therefore, the Ricci tensor r(u, v) has the following property:
where \(c=\frac{1}{2}(\text {tr}\,J\Phi +i\,\text {tr}\,\Phi )\). In other words, we have
Proposition 3.7
If the Levi-Civita connection of a Kähler manifold is symplectically flat, then the manifold is Kähler–Einstein.
Symplectically flat bundles also have a simple alternative description. When \(\omega \) is integral, it induces a flat connection on the prequantum circle bundle, i.e. the circle bundle over M with Euler class given by \(\omega \).
To show this, we recall a result of Tanaka-Tseng [5] that the primitive TTY algebra is \(A_\infty \)-quasi-isomorphic to the cone algebra \({\mathcal {C}}^*(M)=\Omega ^*(M)\oplus \theta \,\Omega ^*(M)\) where \(d\theta =\omega \). Furthermore, when \(\omega \) is integral and we can consider a circle bundle X over M whose Euler class is \(\omega \), then the de Rham DGA of the circle bundle \(\Omega ^*(X)\) is quasi-isomorphic to both the \({\mathcal {C}}^*(M)\) algebra and the primitive TTY algebra.
We can extend these quasi-isomorphism relations between algebras to include symplectically flat connections. Let E be a vector bundle over M with a connection, and \(d_A\) the corresponding covariant derivative. On the twisted cone algebra \({\mathcal {C}}^*(M,E)=\Omega ^*(M,E)\oplus \theta \,\Omega ^*(M,E)\) with \(d\theta =\omega \), we define the operator
Proposition 3.8
The above connection is symplectically flat if and only if \(D_{{\mathcal {C}}}^2=0\).
Proof
Write \(d_A=d+A\) locally, then \(D_{\mathcal {C}}=d+A-\theta \Phi \).
\(\square \)
Corollary 3.9
Suppose \(\omega \in \Omega ^2(M)\) is an integral closed 2-form on a manifold M, and \(\pi :X\rightarrow M\) be the circle bundle whose Euler class is \(\omega \). If E is a symplectically flat bundle over M, then \(\pi ^*E\) is a flat bundle over X.
4 Calculation of Twisted Cohomology
In this section, we consider a vector bundle E over a symplectic manifold \((M,\omega )\) with a symplectically flat connection whose curvature \(F= \Phi \, \omega \). The twisted primitive elliptic complex (2.15) gives the following cohomologies:
where \(k=0, \ldots , n-1\). To simplify notation below, we use \(m'_1\) as defined in (2.16) to denote the differentials \(\{{\partial _{+A}\,}, -({\partial _{+A}\,}{\partial _{-A}\,}-\Phi ), -{\partial _{-A}\,}\}\) in the complex (2.15).
By (2.14), we obtain a condition on the elements of the \(PH^*(M,E)\) cohomology.
Lemma 4.1
Let \(\beta \in PH^*(M,E)\). Then \(\Phi \beta \) is trivial in \(PH^*(M,E)\) cohomology class. Specifically, for \(\beta _k\in P^k_+(M,E)\) and \(0\le k \le n\),
and for \({\bar{\beta }}_k\in P^k_-(M,E)\),
Proof
For \(k < n\), note that (2.14) simplifies to just \(\ {\partial _{+A}\,}{\partial _{-A}\,}+{\partial _{-A}\,}{\partial _{+A}\,}=\Phi \ \) as \(\omega \) is an injective map when acting on forms of degree less than n. Using this, (4.1) and (4.2) then follow immediately after imposing \(m_1'(\beta _k)={\partial _{+A}\,}\beta _k = 0\) or \(m_1'({\bar{\beta }}_k)=-{\partial _{-A}\,}{\bar{\beta }}_k=0\). When \(k=n\), (4.1) is just \(m_1'(\beta _n)= 0\) and (4.2) is also trivial since \(m_1'({\bar{\beta }}_n)=-{\partial _{-A}\,}{\bar{\beta }}_n=0\). \(\square \)
Theorem 4.2
If \(\Phi \) is invertible, then \(PH^*(M,E)=0\).
Proof
Let \(\Phi ^{-1}\) be the inverse of \(\Phi \). We note that \(d_A \Phi =0\) implies \(d_A \Phi ^{-1} = 0\) since
Therefore, for arbitrary \(\alpha \in \Omega ^*(M,E)\), we have that
It follows that both \(\partial _{+A}\) and \(\partial _{-A}\) also commute with \(\Phi ^{-1}\). So for any \(\beta \in PH^*_{\pm }(M,E)\), if \(m'_1\beta =0\), then \(m'_1(\Phi ^{-1}\beta )=\Phi ^{-1}m'_1\beta =0\). By Lemma 4.1, \(\beta =\Phi (\Phi ^{-1}\beta )\) must be \(m'_1\)-exact. \(\square \)
Corollary 4.3
When \(\mathrm {rank}~E = 1\) and E is non-flat, then \(PH^*(M,E)=0\).
The above Theorem 4.2 is a vanishing statement for \(PH^*(M,E)\) of which \(\Phi \) plays a central role.
4.1 Local Cohomologies
For arbitrary \(x\in M\), we have a neighbourhood U of x isomorphic to \({\mathbb {R}}^{2n}\) such that \(E|_U\simeq U\times V\). There exist \(\lambda \in \Omega ^1(U)\) such that \(d\lambda =\omega \). According the proof of Proposition 3.5, we can find a frame \(\{e_i\}\) on \(E|_U\) such that \(Ae_i=\Phi \lambda e_i\) and \(\Phi \in \text {End }V\) is a constant. Locally, we have \(A=\Phi \lambda \) and we obtain the following result regarding the twisted primitive cohomologies:
Theorem 4.4
Here, \(\ker \Phi \) and \(\,\mathrm {coker}\,\Phi \) are subspaces of V and can be represented by constant sections.
We will make use for the proof of the theorem the local Poincare’ lemmas for the \(\{\partial _+,\partial _+\partial _-, \partial _-\}\) operators in [7]. Before giving the proof, let us first write down some expressions that are \(m_1\)-closed, where \(m_1\) refers to the the untwisted differentials of (2.7), instead of \(m_1'\)-closed. Below, we will often use the simpler product notation \(\times \) to denote the \(m_2\) map as described in Sec. 2.1.
Lemma 4.5
Let \(\beta _k\in P^k_+\) such that \(m_1'(\beta _k)=0\) and \({\bar{\beta }}_k\in P^k_-\) such that \(m_1'({\bar{\beta }}_k)=0\). Then for a symplectically flat connection of the form \(A=\Phi \lambda \) where \(\Phi \) is a constant,
Proof
For \(\beta _k\in P^k_+\) and \(m_1'(\beta _k)=0\), (4.1) implies \(\Phi \beta _k = (\partial _++ \Phi \lambda \times ) {\partial _{-A}\,}\beta _k\), or equivalently,
By direct computation, we will show \(\beta _k - \lambda \times {\partial _{-A}\,}\beta _k\) is \(m_1\)-closed. When \(k<n\), we have
having used Leibniz rule in the first line and noting that \(\lambda \times (\lambda \times {\partial _{-A}\,}\beta _k) = (\lambda \times \lambda ) \times {\partial _{-A}\,}\beta _k = 0\). When \(k=n\), we have
which follows from the relation
since
having used the following \(A_\infty \) relation involving \(m_4\) (with \(m_4=0\) for the TTY algebra):
For \({\bar{\beta }}_k\in P^k_-\) with \(k\ne n\) and \(m_1({\bar{\beta }}_k)=0\), (4.2) implies \(\Phi {\bar{\beta }}_k = (\partial _-- \Phi \lambda \times ) {\partial _{+A}\,}{\bar{\beta }}_k\), or equivalently,
Similar to above, it then follows
having noted that \(\lambda \times (\lambda \times {\partial _{+A}\,}{\bar{\beta }}_k) = (\lambda \times \lambda )\times {\partial _{+A}\,}{\bar{\beta }}_k =0\). \(\square \)
We now give a proof of Theorem 4.4.
Proof of Theorem 4.4
The proof of the theorem is divided into five cases.
Case 1 \(PH^0_+(U,E)\). Let \(\beta _0\in PH^0_+(U,E)\). By (4.1), we have \(\Phi \beta _0 =0\) and hence, \(\beta _0 \in \ker \Phi \). Imposing \({\partial _{+A}\,}\beta _0=0\), we find
Therefore, \(\beta _0\) must be constant and an element of \(\ker \Phi \).
Case 2 \(PH^1_+(U,E)\). Let \(\beta _1\in PH^1_+(U,E)\). By (4.1), \(\Phi \beta _1 = (d + \Phi \lambda ) {\partial _{-A}\,}\beta _1\) which we can write as
We can show that \((\beta _1-\lambda \,{\partial _{-A}\,}\beta _1)\) is d-closed:
By Poincaré Lemma, there exists \(\xi _0\in P^0_+\) such that
Together with (4.6), this implies
where \(\sigma _0\) is a constant matrix. Substituting (4.8) into (4.7) gives
But if \(\sigma _0\in {{\,\mathrm{im}\,}}\Phi \), then there exists some constant \(\tilde{\sigma _0}\) such that \(\lambda \,\sigma _0 = (d+ \Phi \lambda )\tilde{\sigma _0}\). Therefore, \(\sigma _0\in \mathrm {coker~}\Phi \) if \(\beta _1=\lambda \,\sigma _0\) represents a non-trivial class.
Case 3 \(PH^k_+(U,E)\) for \(k=2, \ldots , n\). Let \(\beta _k \in PH^k_+(U,E)\) for \(k=2, \ldots , n\). By Lemma 4.5 and local Poincaré lemmas for \(\partial _+\) and \(\partial _+\partial _-\) operators [7], there exists a \(\xi _{k-1}\in P^{k-1}_+\) such that
Inserting this into (4.3) then implies
for some \(\sigma _{k-2}\in P^{k-2}_+\). Together, (4.9)–(4.10) give us
after noting that \(\lambda \times (\lambda \times \sigma _{k-2}) = (\lambda \times \lambda ) \times \sigma _{k-2} =0.\)
Case 4 \(PH^k_-(U,E)\) for \(k=0, 1, \ldots , n-1\). Let \({\bar{\beta }}_k \in PH^k_+(U,E)\) for \(k=0,1, \ldots , n-1\). By Lemma 4.5 and the local Poincaré lemmas for \(\partial _-\) operator [7], there exists a \({\bar{\xi }}_{k+1}\in P^{k+1}_-\) such that
Inserting this into (4.4) then implies
for some \({\bar{\sigma }}_{k+2}\in P^{k+2}_-\) and \(\sigma _n\in P^n_+\). For \(k<n-1\), (4.11)–(4.12) imply
since \(\lambda \times (\lambda \times {\bar{\sigma }}_{k+2}) = (\lambda \times \lambda ) \times {\bar{\sigma }}_{k+2} =0\). Similarly, when \(k=n-1\), we obtain
having noted that \(\lambda \times (\lambda \times \sigma _n) = (\lambda \times \lambda )\times \sigma _n+ m_3(\lambda , \lambda , -\partial _+\partial _-\sigma _n)\)=0.
Case 5 \(PH^n_-(U,E)\). Let \({\bar{\beta }}_n \in PH^n_-(U,E)\). Hence, \(0={\partial _{-A}\,}{\bar{\beta }}_n = \partial _-{\bar{\beta }}_n - \Phi \lambda \times {\bar{\beta }}_n\), or equivalently,
Further, by Leibniz rule, we find that \(\lambda \times {\bar{\beta }}_n\) is \(\partial _-\)-closed.
Since \(\lambda \times {\bar{\beta }}_n\in P^{n-1}_-\) is \(\partial _-\)-closed, local Poincaré lemma implies there exists an \({\bar{\xi }}_n\in P^n_-\) such that
Together with (4.13), this implies
for some \(\sigma _n\in P^n_+\). Now let \(\xi _n\in P^n_+\) be the same n-form as \({\bar{\xi }}_n\), i.e. \(\xi _n={\bar{\xi }}_n\) as primitive form. We will show that in fact \({\bar{\beta }}_n = m_1'(\xi _n - \lambda \times \partial _-\sigma _n) = (-{\partial _{+A}\,}{\partial _{-A}\,}+ \Phi ) (\xi _n - \lambda \times \partial _-\sigma _n)\) with \((\xi _n - \lambda \times \partial _-\sigma _n)\in P^n_+\). To do so, we write \(\lambda \times \partial _-\sigma _n = \Pi (\lambda \wedge \partial _-\sigma _n)= \lambda \wedge \partial _-\sigma _n - \omega L^{-1}(\lambda \wedge \partial _-\sigma _n)\).
Note first that the second term vanishes.
And the first term gives the desired result.
where to obtain the third line, we noted \(\xi _n={\bar{\xi }}_n\) as forms and applied the relations in (4.14) and (4.15).
4.2 Global Cohomologies and Relation to the Twisted Cone Complex
Tanaka-Tseng in [6] gave a homotopy equivalence between the cochain complex of \(P^*(M)\) and the cone complex of \({\mathcal {C}}^*(M)=\Omega ^*(M) \oplus \theta \, \Omega ^*(M)\). For differential forms taking values in E, a symplectically flat vector bundle over a symplectic manifold \((M,\omega )\), we will construct here a similar relation.
Primitive forms with values in E, denoted by \(P^*(M,E)\), form a twisted cochain complex with differential \(m_1'\) as in (2.15). Similar to (2.6), we use \({\mathcal {F}}^*(M,E)\) to denote this complex, i.e.
For the cone, the differential forms with values in E
also form a twisted cochain complex, with differential \(D_{{\mathcal {C}}}= d_A-\theta \Phi \). Recall from Proposition 3.8 that \(D_{{\mathcal {C}}}^2=0\) as long as \(d_A\) is symplectically flat.
It is useful to decompose each \({\mathcal {C}}^j(M,E)\) into primitive components. Specifically, let \(k\le n\). For \(\alpha _k\in {\mathcal {C}}^k(M,E)\), (4.16) implies the following decomposition
For \(\alpha _{2n+1-k}\in {\mathcal {C}}^{2n+1-k}(M,E)\), noting that \({\mathcal {C}}^{2n+1-k}(M,E) =\Omega ^{2n+1-k}(M,E)+\theta \big ( *_r\Omega ^k(M,E)\big )\), we have the following
Throughout this subsection, all \(\beta _i\in P^i(M,E)\) are primitive forms with values in E. These primitive forms can be acted upon by \(d_A\).
We now define two maps.
Definition 4.6
In terms of the decompositions (4.17)–(4.18), we define the map \(f:{\mathcal {C}}^j(M,E)\rightarrow {\mathcal {F}}^j(M,E)\)
and \(g:{\mathcal {F}}^j(M,E)\rightarrow {\mathcal {C}}^j(M,E)\)
In the next two lemmas, we will show that both f and g are chain maps.
Lemma 4.7
The map f is a chain map, i.e the following graph commutes for all \(0\le j\le 2n\).
![](http://media.springernature.com/lw273/springer-static/image/art%3A10.1007%2Fs12220-022-01018-7/MediaObjects/12220_2022_1018_Equ127_HTML.png)
Proof
Case 1 \(j<n\). For \(\alpha _j\in {\mathcal {C}}^j\), we have \(f(\alpha _j)=\beta _j\) and \(m'_1\circ f(\alpha _j)={\partial _{+A}\,}\beta _j\). On the other hand,
Therefore, \(f\circ D_{{\mathcal {C}}}(\alpha _j)=\Pi (d_A)\beta _j=m'_1\circ f(\alpha _j)\).
Case 2 \(j=n\). For \(\alpha _n\in {\mathcal {C}}^n\), we have \(f(\alpha _n)=\beta _n\) and
On the other hand,
Hence,
Therefore, \(m'_1\circ f(\alpha _n)=f\circ D_{{\mathcal {C}}}(\alpha _n)\).
Case 3 \(j>n\). For \(\alpha _{2n+1-k}\in {\mathcal {C}}^j\), with \(k=2n+1-j\), we have \(f(\alpha _{2n+1-k})=-\beta _k-{\partial _{+A}\,}\beta _{k-1}\), and
having used (2.14). On the other hand,
proving \(m'_1\circ f(\alpha _{2n+1-k})=f\circ D_{{\mathcal {C}}}(\alpha _{2n+1-k})\). \(\square \)
Lemma 4.8
The map g is a chain map, i.e the following graph commutes for all \(0\le j\le 2n\).
![](http://media.springernature.com/lw270/springer-static/image/art%3A10.1007%2Fs12220-022-01018-7/MediaObjects/12220_2022_1018_Equ128_HTML.png)
Proof
Case 1 \(j<n\). For \(\beta _j\in {\mathcal {F}}^j\), \(g(\beta _j)=\beta _j-\theta {\partial _{-A}\,}\beta _j\), and
On the other hand, \(m'_1(\beta _j)={\partial _{+A}\,}\beta _j\) and
using (2.14). Therefore, \(D_{{\mathcal {C}}}\circ g(\beta _j) =g\circ m'_1(\beta _j). \)
Case 2 \(j=n\). For \(\beta _n\in {\mathcal {F}}^n\), we have from (4.19) that
having noted that \({\partial _{+A}\,}\beta _n=0\). On the other hand, \(m'_1(\beta _n)=-{\partial _{+A}\,}{\partial _{-A}\,}\beta _n+\Phi \beta _n\) and we find \(g\circ m'_1(\beta _n)=\theta \left[ {\partial _{+A}\,}\partial _-\beta _n-\Phi \beta _n\right] =D_{{\mathcal {C}}}\circ g(\beta _n)\).
Case 3 \(j>n\). For \(\beta _k\in P^k_-(M,E)={\mathcal {F}}^j\) where \(k=2n+1-j\), we have \(g(\beta _k)=-\theta \,\omega ^{n-k}\wedge \beta _k\) and
where we have used the primitive property that \(\omega ^{n-s+1}\wedge \beta _s =0\) for \(\beta _s\in P^s\). On the other hand, \(m'_1(\beta _k)=-{\partial _{-A}\,}\beta _k\) and we find \(g\circ m'_1(\beta _k) = \theta \, \omega ^{n-k+1} \wedge {\partial _{-A}\,}\beta _k = D_{{\mathcal {C}}}\circ g(\beta _k)\). \(\square \)
With f and g being chain maps, we now proceed to relate the cohomologies associated with \({\mathcal {F}}^*\) and \({\mathcal {C}}^*\). Define the operator \(G:{\mathcal {C}}^j\rightarrow {\mathcal {C}}^{j-1}\)
for any \(\eta _j\in \Omega ^j(M,E)\) and \(\eta _{j-1}\in \Omega ^{j-1}(M,E)\). We have the following the result.
Lemma 4.9
The maps f, g and G are related as follows:
Proof
That \(fg=\text {id}_{\mathcal {F}}\) follows immediately from the definitions of the maps in Definition 4.6. For the second relation, we consider first the left-hand side. We have from the definitions
and therefore,
As for the right-hand side, we have for all j
which implies
When \(j\le n\), this implies using the form decomposition in (4.17) and the properties of \((d_A)\) in (2.8) and (2.10) that
And when \(j>n\), with \(k=2n+1-j\) so that \(\alpha _j=\eta _{2n+1-k} + \theta \,\eta _{2n-k}\), (4.20) together with the form decomposition in (4.18) implies
\(\square \)
Lemma 4.10
For arbitrary \(\alpha \in {\mathcal {C}}\), if \(\alpha \) is \(D_{{\mathcal {C}}}\)-closed, then \(\Phi \alpha \) is \(D_{{\mathcal {C}}}\)-exact.
Proof
Suppose \(\alpha \in {\mathcal {C}}^j\), we can set \(\alpha =\eta _j+\theta \eta _{j-1}\) where \(\eta _j,\eta _{j-1}\in \Omega ^*(M,E)\). Since \(\alpha \) is \(D_{{\mathcal {C}}}\)-closed,
So \(d_A\eta _{j-1}=-\Phi \eta _j\). Then we have
\(\square \)
Now let \(f^*\) and \(g^*\) be the induced maps between \(H_{\mathcal {C}}^*(M,E)\) and \(PH^*(M,E)\). Then, from Lemmas 4.9 and 4.10, we have
which imply the following theorem.
Theorem 4.11
There is an isomorphism between the twisted cohomologies:
From the local cohomologies of \(PH^*(U, E)\) in Theorem 4.4, we have the corollary:
Corollary 4.12
In a local coordinate chart U, there exists some \(\lambda \in \Omega ^1(U)\) such that \(d\lambda =\omega \). The local cohomology
And finally, with Theorem 4.2 which states the triviality of \(PH^*(M,E)\) when \(\Phi \) is invertible, we also have the following:
Corollary 4.13
When \(\Phi \) is invertible, \(H_{\mathcal {C}}^*(M,E)=0\).
References
Bott, R., Tu, L.W.: Differential Forms in Algebraic Topology, Graduate Texts in Mathematics, 82. Springer, New York (1982)
Gibson, M.: Properties of the \(A_\infty \) Structure on Primitive Forms and Its Cohomology, note=Thesis (Ph.D.). University of California, Irvine, ProQuest LLC, Ann Arbor (2019)
Keller, B.: Introduction to \(A\)-infinity algebras and modules. Homol. Homotopy Appl. 3(1), 1–35 (2001)
Ramanan, S.: Global Calculus, Graduate Studies in Mathematics, vol. 65. American Mathematical Society, Providence (2005)
Tanaka, H.L., Tseng, L.-S.: Odd sphere bundles, symplectic manifolds, and their intersection theory. Camb. J. Math. 6(3), 213–266 (2018)
Tsai, C.-J., Tseng, L.-S., Yau, S.-T.: Cohomology and Hodge theory on symplectic manifolds: III. J. Differ. Geom. 103(1), 83–143 (2016)
Tseng, L.-S., Yau, S.-T.: Cohomology and Hodge theory on symplectic manifolds: II. J. Differ. Geom. 91(3), 417–443 (2012)
Tseng, L.-S., Zhou, J.: to appear
Acknowledgements
We would like to acknowledge the helpful input of Matthew Gibson at the onset of this project. We are thankful to Si Li, Lihan Wang, Damin Wu and Shing-Tung Yau for helpful discussions. The first author would also like to acknowledge the support of the Simons Collaboration Grant No. 636284.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Tseng, LS., Zhou, J. Symplectic Flatness and Twisted Primitive Cohomology. J Geom Anal 32, 282 (2022). https://doi.org/10.1007/s12220-022-01018-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s12220-022-01018-7