[Paper Review] Injectivity of the Double Fibration Transform for Cycle Spaces of Flag Domains

Alan Huckleberry, Joseph A. Wolf|ArXiv.org|Aug 29, 2003

Advanced Algebra and Geometry20 references5 citations

TL;DR

This paper establishes the injectivity of the double fibration transform (DFT) for cycle spaces of flag domains in complex geometry. Using Schubert slice theory and cohomological techniques, it proves that the DFT is injective when the holomorphic vector bundle is sufficiently negative, leveraging the contractibility of cycle spaces and fiber bundles over contractible bases.

ABSTRACT

The basic setup consists of a complex flag manifold $Z=G/Q$ where $G$ is a complex semisimple Lie group and $Q$ is a parabolic subgroup, an open orbit $D = G_0(z) \subset Z$ where $G_0$ is a real form of $G$, and a $G_0$--homogeneous holomorphic vector bundle $\mathbb E o D$. The topic here is the double fibration transform ${\cal P}: H^q(D;{\cal O}(\mathbb E)) o H^0({\cal M}_D;{\cal O}(\mathbb E'))$ where $q$ is given by the geometry of $D$, ${\cal M}_D$ is the cycle space of $D$, and $\mathbb E' o {\cal M}_D$ is a certain naturally derived holomorphic vector bundle. Schubert intersection theory is used to show that ${\cal P}$ is injective whenever $\mathbb E$ is sufficiently negative.

Motivation & Objective

• To establish the injectivity of the double fibration transform (DFT) for cycle spaces of flag domains in complex geometry.
• To understand the cohomological structure of $G_0$-homogeneous holomorphic vector bundles over open orbits $D$ in flag manifolds $Z=G/Q$.
• To analyze the cycle space $\mathcal{M}_D$ of $D$ as a Stein domain and relate it to the geometry of $G$-orbits in the Chow variety.
• To use Schubert slice fibrations to decompose the cycle space and reduce the DFT injectivity problem to fiberwise cohomological vanishing.
• To prove that the DFT is injective when the bundle $\mathbb{E}$ is sufficiently negative, using contractibility of fibers and base spaces.

Proposed method

• Utilizes the double fibration construction via incidence space $\mathfrak{X}_D = \{(z,C) \in D \times \mathcal{M}_D : z \in C\}$ with projections $\mu: \mathfrak{X}_D \to D$ and \nu: \mathfrak{X}_D \to \mathcal{M}_D$.
• Lifts the $G_0$-homogeneous holomorphic vector bundle $\mathbb{E} \to D$ to $\mu^*\mathbb{E}$ on $\mathfrak{X}_D$, then considers the $\nu$-direct image sheaf to define the DFT to $H^0(\mathcal{M}_D; \mathcal{O}(\mathbb{E}'))$.
• Applies Schubert slice theory to decompose $\mathcal{M}_D$ as a fiber bundle $\pi_\Sigma: \mathcal{M}_D \to \Sigma$ over a contractible base $\Sigma$, a Schubert slice in the flag manifold.
• Uses the fact that $\mathcal{M}_D$ is diffeomorphic to $\Sigma \times F$, where $F$ is the fiber over a base point, and proves $F$ is contractible via Ehresmann connections and contractibility of total and base space.
• Applies Buchdahl's vanishing conditions and theorems on relative Dolbeault cohomology to show that $H^p(C; \Omega^r_\mu(\mathbb{E})|_C) = 0$ for $p < q$, $r \geq 1$, under negativity of $\mathbb{E}$.
• Combines cohomological vanishing with the contractibility of $\mathcal{M}_D$ and $\Sigma$ to deduce that the DFT is injective via isomorphisms in the spectral sequence and coefficient maps.

Experimental results

Research questions

• RQ1 Under what conditions is the double fibration transform $\mathcal{P}: H^q(D; \mathcal{O}(\mathbb{E})) \to H^0(\mathcal{M}_D; \mathcal{O}(\mathbb{E}'))$ injective?
• RQ2 How does the geometry of the cycle space $\mathcal{M}_D$—particularly its structure as a fiber bundle over a Schubert slice—facilitate the analysis of the DFT?
• RQ3 What role does the negativity of the holomorphic vector bundle $\mathbb{E}$ play in ensuring cohomological vanishing necessary for injectivity?
• RQ4 Can the contractibility of the cycle space $\mathcal{M}_D$ and its fibers be established using differential-geometric tools like Ehresmann connections?
• RQ5 How does the $A_0N_0$-equivariant fibration $\varphi: \mathcal{M}_D \to \Sigma$ relate to the global structure of $\mathcal{M}_D$ and the DFT?

Key findings

• The double fibration transform $\mathcal{P}: H^q(D; \mathcal{O}(\mathbb{E})) \to H^0(\mathcal{M}_D; \mathcal{O}(\mathbb{E}'))$ is injective whenever $\mathbb{E}$ is sufficiently negative.
• $\mathcal{M}_D$ is a Stein domain and is diffeomorphic to a product $\Sigma \times F$, where $\Sigma$ is a contractible Schubert slice and $F$ is the fiber over a base point.
• The fiber $F$ of the fibration $\mathcal{M}_D \to \Sigma$ is contractible, as shown via Ehresmann connections and the contractibility of the total space and base.
• Cohomological vanishing $H^p(C; \Omega^r_\mu(\mathbb{E})|_C) = 0$ for $p < q$, $r \geq 1$ holds under the negativity assumption on $\mathbb{E}$, enabling the use of spectral sequence arguments.
• The DFT is injective because the Buchdahl conditions are satisfied, and the associated maps in the spectral sequence are isomorphisms, leading to injectivity of the transform.
• The DFT is realized as a composition of isomorphisms in the spectral sequence and coefficient maps, with injectivity following from the cohomological triviality of fibers and contractibility of the base.