A note on precotangent spaces: Grassmannians

Abstract.

We prove the existence of the bundle predual to the tangent bundle (called precotangent bundle) for Grassmannians of reflexive Banach spaces and $p$-restricted Grassmannians of the polarized Hilbert space.

1. Introduction

From the point of view of infinite dimensional geometry, considering predual spaces is often more convenient than dual spaces. For example, as demonstrated in [OR03], it is not dual of a Banach Lie algebra, but a predual which carries a canonical Poisson structure (under additional conditions). Such a predual space is called then a Banach Lie–Poisson space, see also [OR04, BR05, BRT07, OR08, GO10, GT24] for more results and applications. In the same spirit, considering the bundle predual to the given bundle makes it easier to study Poisson structures and their relationship with Banach Lie algebroid structures, see [GJ25].

The notion of the precotangent bundle (i.e. the predual bundle to the tangent bundle) first appeared in the paper [OR03] in the context of Banach Lie groups. It was defined as a certain subbundle of the cotangent bundle having the property that duals of the fibers are equal to the tangent spaces. In that paper, it was shown that the precotangent bundle $T_{*}G$ of a Banach Lie group $G$ exists given that its Banach Lie algebra admits a predual space. In that case $T_{*}G$ carries the canonical weak symplectic form. It was also demonstrated that this form on the precotangent bundle $T_{*}G$ (unlike the canonical form on $T^{*}G$) leads to a well-defined Poisson bracket, which in general might not define Hamiltonian vector fields for all smooth functions (i.e. $T_{*}M$ is not a Poisson manifold in the sense of definition given in [OR03]). Notably it is possible to define Poisson brackets also for the weak symplectic forms (e.g. either on $T_{*}M$ or $T^{*}M$) but using more general definitions allowing for Poisson brackets which are not defined for all smooth functions, see e.g. [CP12, NST14, Tum20, GRT25]).

As far as we know, the problem of the existence of $T_{*}M$ for other Banach manifolds $M$ has not been addressed yet. However in the paper [GJ25] the relationship between the Banach Lie algebroid structure on $E\to M$ and the Poisson bracket given by the canonical form on $T_{*}M$ was established.

For the purposes of this paper, we will formulate the following definition:

Definition 1.

The precotangent bundle $T_{*}M$ of a smooth Banach manifold $M$ is a Banach subbundle of $T^{*}M$ such that

$$({T_{*}}_{p}M)^{*}=T_{p}M.$$

Note that in general, due to the non-uniqueness of the predual, the cotangent bundle is also not defined uniquely.

In the paper we present several examples of Banach manifolds for which the precotangent bundles exist. Obviously, all manifolds modeled on reflexive Banach spaces trivially fall into this category.

Section 2 is devoted to the basic discussion of the differential structure of the Grassmannian of a Banach space. In Section 3 we present in detail the simplest example: the Grassmannian of closed subspaces of a Hilbert space. In Section 5 we prove the existence of the precotangent bundle for the Grassmannian of a reflexive Banach space.

2. Initial glance on the subject: Grassmannian of Banach space

Let us consider the Grassmannian $\operatorname{Gr}(\mathbb{E})$ of a Banach space $\mathbb{E}$. It is defined as the set of split subspaces of $\mathbb{E}$, i.e. closed subspaces $F\subset\mathbb{E}$ admitting a complementary subspace $G$. It has a Banach manifold structure, which was discussed e.g. in [AMR88]. The charts are indexed by pairs of complementary closed subspaces $F$ and $G$, while the modeling spaces are the Banach space of bounded linear maps $L(F,G)$. The question of the existence of the precontangent bundle to $\operatorname{Gr}(\mathbb{E})$ in the most general case is too wide since even the problem of finding sufficient and necessary conditions for the existence of the predual space to $L(F,G)$ is open as far as we know. We will apply some of the known results in Section 5.

Let us briefly recall the manifold structure on the Grassmannian $\operatorname{Gr}(\mathbb{E})$ following [AMR88, 3.1.8.G]. For two closed complementary subspaces $F,G\in\operatorname{Gr}(\mathbb{E})$, we define the following projections $\pi_{F}(G)$, $\pi_{G}(F)$ with respect to the decomposition $\mathbb{E}=F\oplus G$:

$$\pi_{F}(G):E\to G\qquad\pi_{G}(F):E\to F.$$

Define the following set

$$\Omega_{G}=\{H\in\operatorname{Gr}(\mathbb{E})\;|\;H\oplus G=\mathbb{E}\}.$$

By $\varphi_{F,G}:\Omega_{G}\to L(F,G)$ we denote a chart associated with the pair $(F,G)$:

(1) $$\varphi_{F,G}(H)=\pi_{F}(G)_{|H}\pi_{G}(F)_{|H}^{-1}.$$

The motivation behind the formula (1) is as follows: the inverse $\varphi_{F,G}^{-1}$ of a chart associates to a linear bounded operator its graph in $F\oplus G=\mathbb{E}$, which is always a closed subspace of $\mathbb{E}$. Obviously, considering all possible decompositions of $\mathbb{E}$ into a pair of closed subspaces, we conclude that the sets $\Omega_{G}$ for all $G\in\operatorname{Gr}(\mathbb{E})$ cover all $\operatorname{Gr}(\mathbb{E})$.

The transition map $\psi_{(F^{\prime},G^{\prime}),(F,G)}$ can be written as

(2) $$\psi_{(F^{\prime},G^{\prime}),(F,G)}(A)=\varphi_{F^{\prime},G^{\prime}}\circ\varphi_{F,G}^{-1}(A)=\pi_{F^{\prime}}(G^{\prime})(1+A)\big(\pi_{G^{\prime}}(F^{\prime})(1+A)\big)^{-1}$$

for $A\in\varphi_{F,G}(\Omega_{G})\subset L(F,G)$.

By the usual construction, the transition maps for the tangent bundle $T\operatorname{Gr}(\mathbb{E})$ are

(3) $$\Psi_{(F^{\prime},G^{\prime}),(F,G)}(A,X)=T\psi_{(F^{\prime},G^{\prime}),(F,G)}(A)(X),$$

where $X\in L(F,G)$. The transition maps $\tilde{\Psi}_{V,W}$ for the cotangent bundle $T^{*}\operatorname{Gr}(\mathcal{H})$ are given by

(4) $$\tilde{\Psi}_{(F^{\prime},G^{\prime}),(F,G)}=\big(\Psi_{(F^{\prime},G^{\prime}),(F,G)}^{-1}\big)^{*}=\big(\Psi_{(F,G),(F^{\prime},G^{\prime})}\big)^{*},$$

where ^∗ denotes the dual map.

3. Grassmannian of the Hilbert space

We will now focus on the simplest case, where $\mathbb{E}$ is a complex separable Hilbert space $\mathcal{H}$. The situation simplifies considerably. First of all, closed subspaces automatically admit a complementary subspace due to the existence of the orthogonal complement. Thus it is enough to consider modeling spaces in the form $L(V,V^{\perp})$, where $V$ is a closed subspace of $\mathcal{H}$. Moreover all closed subspaces of $\mathcal{H}$ are reflexive and satisfy the approximation property. The predual space to $L(V,V^{\perp})$ is the space of trace-class operators $L^{1}(V^{\perp},V)$.

In this paper, it will be useful to associate with the closed subspace $V$ an orthogonal projector $P_{V}$ onto $V$. From this point of view, $\operatorname{Gr}(\mathcal{H})$ can be seen as the set of all orthogonal projectors acting on $\mathcal{H}$.

In order to describe the precotangent bundle $T_{*}\operatorname{Gr}(\mathcal{H})$, let us first write the transition maps for $\operatorname{Gr}(\mathcal{H})$ and $T\operatorname{Gr}(\mathcal{H})$ presented in the previous section more explicitly using orthogonal projectors borrowing the notation from [GJS25]. By $\varphi_{V}:\Omega_{V}\to L(V,V^{\perp})$ we denote a chart associated with the element of the Grassmannian $V\in\operatorname{Gr}(\mathcal{H})$

(5) $$\varphi_{V}(W)=(P_{V})^{\perp}P_{W}P_{V}(P_{V}P_{W}P_{V})^{-1},$$

where the chart domain $\Omega_{V}$ consists of elements of $\operatorname{Gr}(\mathcal{H})$ such that projection from $V$ onto that element is an isomorphism, or equivalently, their orthogonal complement is complementary to $V$ as a Banach subspace:

$$\Omega_{V}=\{W\in\operatorname{Gr}(\mathcal{H})\;|\;V\oplus W^{\perp}=\mathcal{H}\}.$$

The transition map $\psi_{V,W}$ then looks as follows:

$$\psi_{V,W}(A)=\varphi_{V}\circ\varphi_{W}^{-1}(A)=P_{V^{\perp}}(1_{W}+A)\big(P_{V}(P_{W}+A)\big)^{-1}$$

for $A\in\varphi_{W}(\Omega_{W})\subset L(W,W^{\perp})$. In consequence, using (3), the transition maps for the tangent bundle $T\operatorname{Gr}(\mathcal{H})$ assume the form

$$\Psi_{V,W}(A,X)=T\psi_{V,W}(A)(X)=\big(\psi_{V,W}(A),P_{V^{\perp}}X\big(P_{V}(P_{W}+A)\big)^{-1}-$$

$$-P_{V^{\perp}}(1_{W}+A)\big(P_{V}(P_{W}+A)\big)^{-1}P_{V}X\big(P_{V}(P_{W}+A)\big)^{-1}\big),$$

where $X\in L(W,W^{\perp})$.

Now, the precotangent bundle is obtained by considering a subbundle of $T^{*}\operatorname{Gr}(\mathcal{H})$ with fibers modeled on predual spaces to $L(V,V^{\perp})$, i.e. $L^{1}(V^{\perp},V)$.

Theorem 2.

The precotangent bundle $T_{*}\operatorname{Gr}(\mathcal{H})$ exists and locally it is defined as

$$T_{*}\operatorname{Gr}(\mathcal{H})_{|\Omega_{V}}=(T\varphi_{V})^{*}(L^{1}(V^{\perp},V)).$$

Proof.

The fibers of $T_{*}\operatorname{Gr}(\mathcal{H})_{|\Omega_{V}}$ are closed. We need to show that this definition makes sense globally. Let us consider an element of the cotangent bundle $\tilde{\mu}\in T^{*}_{U}\operatorname{Gr}(\mathcal{H})$ over the subspace $U\in\Omega_{V}$ with $A=\varphi_{V}(U)$. In a chart $\varphi_{V}$ the functional $\tilde{\mu}$ is given by a trace class operator $\mu\in L^{1}(V^{\perp},V)$ in the following way

$$\langle\tilde{\mu};\tilde{v}\rangle=\operatorname{Tr}(\mu v)$$

for $v\in L^{1}(V,V^{\perp})$ and $\tilde{v}=(T_{U}\varphi_{V})^{-1}(A,v)\in T_{U}\operatorname{Gr}(\mathcal{H})$. In another chart $\varphi_{W}$, such that $U\in\Omega_{W}$, the element $\tilde{\mu}$ is represented by an element $\mu^{\prime}$ given by

$$(A^{\prime},\mu^{\prime})=\tilde{\Psi}_{W,V}(A,\mu)=\Psi_{V,W}^{*}(A,\mu),$$

where $A^{\prime}=\psi_{W,V}(A)$ and

(6) $$\mu^{\prime}=\big(P_{W}(P_{V}+A)\big)^{-1}\mu P_{W^{\perp}}\big(1-(1_{V}+A)\big(P_{W}(P_{V}+A)\big)^{-1}P_{W}\big).$$

It is again a trace class operator. Thus the space of trace class operators is preserved by transition maps for the cotangent bundle. From this it follows that the local definition of the precotangent bundle extends to the global one. ∎

4. Restricted Grassmannians

Consider now a polarized Hilbert space, i.e. a separable complex Hilbert space with a fixed orthogonal decomposition

$$\mathcal{H}=\mathcal{H}_{-}\oplus\mathcal{H}_{+},$$

where $\mathcal{H}_{\pm}$ are infinite-dimensional closed subspaces orthogonal to each other. We will denote with $P_{\pm}$ the orthogonal projectors on $\mathcal{H}_{\pm}$.

For a parameter $1\leq p<\infty$ we denote by $L^{p}(\mathcal{H})$ $p$-Schatten ideal. By $L^{0}(\mathcal{H})$ we denote the ideal of compact operators. It is known that these spaces are reflexive for $p>1$. For $p=1$, the predual space of $L^{1}(\mathcal{H})$ is the space $L^{0}(\mathcal{H})$, while the dual is $L(\mathcal{H})$. On the other hand, by Sakai theorem, $L^{0}(\mathcal{H})$ does not possess a predual since it is not weakly closed in $L(\mathcal{H})$. All duality pairings mentioned here are given by the trace.

The $p$-restricted Grassmannian $\operatorname{Gr_{res}^{p}(\mathcal{H})}$ is defined as the set of closed subspaces $W\subset\mathcal{H}$ such that:

1. the orthogonal projection $p_{+}:W\to\mathcal{H}_{+}$ is a Fredholm operator;

2. the orthogonal projection $p_{-}:W\to\mathcal{H}_{-}$ is $L^{p}$ class.

One can equivalently describe $\operatorname{Gr_{res}^{p}(\mathcal{H})}$ in the following way:

$$W\in\operatorname{Gr_{res}(\mathcal{H})}\Longleftrightarrow P_{W}-P_{+}\in L^{p},$$

see [SV94, Wur01].

It is known that $\operatorname{Gr_{res}^{p}(\mathcal{H})}$ is a manifold modeled on the Banach spaces of $L^{p}(V,V^{\perp})$ with charts given by formula (5) (but considered as taking values in $L^{p}$), see e.g. [PS86, Wur01] for the case $p=2$ or [SW85] for $p=0$.

Naturally, due to reflexivity, for $p>1$ the precotangent bundle is equal to the cotangent bundle. For $p=0$ the precotangent bundle does not exist. In the case $p=1$, following the same line of reasoning as in the previous section, we have the following result

Theorem 3.

The precotangent bundle $T_{*}\operatorname{Gr_{res}^{1}(\mathcal{H})}$ exists and locally it is defined as

$$T_{*}\operatorname{Gr_{res}^{1}(\mathcal{H})}_{|\Omega_{V}}=(T\varphi_{V})^{*}(L^{0}(V^{\perp},V)).$$

Proof.

Analogously to the previous proof, we need to make sure that the transition maps for the cotangent bundle $T^{*}\operatorname{Gr_{res}^{1}(\mathcal{H})}$ preserve the class of compact operators. Transition maps are given by the formula (6), but this time with $\mu\in L^{0}(V^{\perp},V)$. From the properties of compact operators, it is immediate that $\mu^{\prime}$ is also compact. Thus the local definition of $T_{*}\operatorname{Gr_{res}^{1}(\mathcal{H})}$ is correct. ∎

5. Grassmannian of a reflexive Banach space

This case generalizes the results of Section 3 to the case of an arbitrary reflexive Banach space $\mathbb{E}$.

Proposition 4.

Let $\mathbb{E}$ be reflexive. Then for any two closed subspaces $F,G\subset\mathbb{E}$, the space of bounded linear maps $L(F,G)$ admits a predual, which is $F\hat{\otimes}_{\pi}G_{*}$.

Proof.

Every closed subspace of a reflexive space is also reflexive, see e.g. [Meg98, 1.11.16 Theorem]. Thus $F_{*}=F^{*}$ and $G_{*}=G^{*}$.

Moreover, the following identification holds

$$L(X,Y^{*})=(X\hat{\otimes}_{\pi}Y)^{*},$$

where $X\hat{\otimes}_{\pi}Y$ denotes the projective tensor product of Banach spaces $X,Y$, see [Rya02, Section 2.2]. On the elements of the algebraic tensor product, the duality pairing is given as follows

(7) $$\big\langle T,\textstyle\sum x_{i}\otimes y_{i}\big\rangle=\textstyle\sum\langle Tx_{i},y_{i}\rangle$$

for $T\in L(X,Y^{*})$ and finitely many $x_{i}\in X$, $y_{i}\in Y$.

Specializing to our case, we obtain immediately:

$$(L(F,G))_{*}=F\hat{\otimes}_{\pi}G_{*}.$$

∎

Moreover if either $F$ or $G_{*}$ additionally satisfies the approximation property, it is known that $(F\hat{\otimes}_{\pi}G_{*})$ is the space of nuclear operators $\mathcal{N}(G,F)$, see [Rya02, Corrolary 4.8]. However assuming the approximation property for $\mathbb{E}$ does not imply that its subspaces (or their duals) satisfy it as well.

In general the projective tensor product of reflexive Banach spaces might not be reflexive itself. The easiest example is a projective tensor product of two copies of a Hilbert space $\mathcal{H}$ which is the space $L(\mathcal{H},\mathcal{H}^{*})$. On the other hand, it is known for example that if every element of $L(F,G)$ is compact, then $L(F,G)$ (and thus $F\hat{\otimes}_{\pi}G_{*}$ as well) is reflexive, see [Rya02, Theorem 4.19].

Theorem 5.

For the Grassmannian $\operatorname{Gr}(\mathbb{E})$ of the reflexive Banach space $\mathbb{E}$, the precotangent bundle $T_{*}\operatorname{Gr}(\mathbb{E})$ exists.

Proof.

Analogously to previous sections, we define the precotangent bundle locally using the charts (1) as follows

$$T_{*}\operatorname{Gr}(\mathbb{E})_{|\Omega_{G}}=(T\varphi_{F,G})^{*}(F\hat{\otimes}_{\pi}G_{*}).$$

By virtue of Proposition 4, it is sufficient now to prove that the transition maps $\tilde{\Psi}_{(F^{\prime},G^{\prime}),(F,G)}$ for $T^{*}\operatorname{Gr}(\mathbb{E})$ preserve the projective tensor product $F\hat{\otimes}_{\pi}G_{*}$. As stated in (4) they are dual maps of (the inverse of) transition maps $\Psi_{(F,G),(F^{\prime},G^{\prime})}$ for $T\operatorname{Gr}(\mathbb{E})$. It is straightforward to derive an explicit expression for transition maps $\Psi_{(F,G),(F^{\prime},G^{\prime})}$ from (2). We will not however write an explicit formula here as it is sufficient to note only that it is of the form

$$\Psi_{(F,G),(F^{\prime},G^{\prime})}(A,X)=\big(\psi_{(F,G),(F^{\prime},G^{\prime})}A,\sum\limits_{i}T_{i}XS_{i}\big),$$

where $X\in L(F^{\prime},G^{\prime})$, the sum is finite and $T_{i}\in L(G^{\prime},G)$, $S_{i}\in L(F,F^{\prime})$ (they may depend on $A$). In other words, they are given by a combination of left and right multiplication by bounded operators.

From (4) we have that the transition maps for $T^{*}\operatorname{Gr}(\mathbb{E})$ are given as dual maps

$$\tilde{\Psi}_{(F^{\prime},G^{\prime}),(F,G)}(A,\mu)=\big(\psi_{(F,G),(F^{\prime},G^{\prime})}A,\mu^{\prime})$$

for

$$\mu^{\prime}=\big(\sum\limits_{j}T_{j}\,\cdot\,S_{j}\big)^{*}\mu.$$

From the definition of the dual map and the formula for duality pairing (7) applied to the elements of the algebraic tensor product $F\otimes G_{*}$, we have

$$\big\langle X,\big(\sum\limits_{j}T_{j}\,\cdot\,S_{j}\big)^{*}\textstyle\sum\limits_{i}x_{i}\otimes y_{i}\big\rangle=\big\langle\sum\limits_{j}T_{j}XS_{j},\textstyle\sum\limits_{i}x_{i}\otimes y_{i}\big\rangle=\textstyle\sum\limits_{i,j}\big\langle T_{j}XS_{j}x_{i},y_{i}\big\rangle=$$

$$\textstyle\sum\limits_{i,j}\big\langle XS_{j}x_{i},T_{j}^{*}y_{i}\big\rangle=\big\langle X,\sum\limits_{i,j}S_{j}x_{i}\otimes T_{j}^{*}y_{i}\big\rangle$$

for $x_{i}\in F$, $y_{i}\in G_{*}$. Since algebraic tensor product is dense in projective tensor product, we get that the dual map $\Psi_{(F,G),(F^{\prime},G^{\prime})}$ on the predual space is a tensor product of operators

$$\mu^{\prime}=\big(\textstyle\sum\limits_{i}S_{i}\otimes T_{i}^{*}\big)(\mu),$$

see also [Rya02, Proposition 2.3]. Naturally the maps of the type $S_{i}\otimes T_{i}^{*}$ map the space $F\hat{\otimes}_{\pi}G_{*}$ to $F^{\prime}\hat{\otimes}_{\pi}G^{\prime}_{*}$. In this manner we obtain a Banach bundle $T_{*}\operatorname{Gr}(\mathbb{E})$ as a subbundle of $T^{*}\operatorname{Gr}(\mathbb{E})$. ∎

Remark 6.

The manifold $\operatorname{Gr}(\mathbb{E})$ is disconnected. The sets $\operatorname{Gr}_{k}(\mathbb{E})$ and $\operatorname{Gr}^{k}(\mathbb{E})$ of respectively $k$-dimensional and $k$-codimensional subspaces are connected submanifolds, see [AMR88]. Thus the precotangent bundle exists also for $\operatorname{Gr}_{k}(\mathbb{E})$ and $\operatorname{Gr}^{k}(\mathbb{E})$, including in particular the projective space $\mathbb{CP}(\mathbb{E})$ of a Banach space $\mathbb{E}$, i.e. the space of one-dimensional subspaces.