Toric vector bundles: GAGA and Hodge theory

We prove a GAGA-style result for toric vector bundles with smooth base and give an algebraic construction of the Frölicher approximating vector bundle that has recently been introduced by Dan Popovici using analytic techniques. Both results make use of the Rees-bundle construction.


Introduction
A toric variety over a field k is an algebraic variety X over k with a G n m -action that has a dense open orbit on which the group acts simply transitively. A vector bundle on such X is called toric if it is equipped with a G n m -action s.t. the projection is an equivariant map. Toric varieties and vector bundles are an important source of examples in algebraic geometry. Just as normal toric varieties can be studied by combinatorial data, toric vector bundles (and also more general classes of equivariant sheaves) on a given normal toric variety X have been classified in terms of linear-algebra-data (roughly as vector spaces and filtrations with certain compatibility conditions), c.f. [10,11,13,14,18].
If k = C, for every toric variety X over C one also has a natural notion of holomorphic toric vector bundles over X an , the latter meaning (the set of complex points of) X seen as a complex analytic space. One obtains an analytification functor: toric vector bundles on X −→ holomorphic toric vector bundles on X an The first main result of this article is that for smooth toric varieties, this functor is an equivalence of categories: Theorem A For a smooth toric variety X over C, analytification induces an equivalence of categories between algebraic toric vector bundles on X and holomorphic toric vector bundles on X an . The same is true for toric vector bundles with equivariant connections.
Of course, there is the known GAGA-principle by Serre [22], asserting an equivalence of the categories of coherent sheaves on a complex projective variety and its analytification.

LMU, Munich, Germany
The above theorem is not a formal consequence of this. For instance, X is not assumed to be projective and even for projective X , the equivariant structure is sheaf-theoretically described by an isomorphism of sheaves over G n m × X , which is not projective. We do not need the full classification of toric vector bundles. In fact, it is enough for our purposes to consider algebraic toric vector bundles on affine spaces and we include a brief but largely self-contained treatment of these in Sect. 2. A key notion is the Rees-bundle construction, which associates to (suitable) multifiltered vector spaces (V , F 1 , . . . , F n ) a toric vector bundle ξ A n (V , F 1 , . . . , F n ) on A n .
Toric vector bundles have also been studied in connection with Hodge theory, see e.g. [5][6][7]12,16,17,23,24], in part apparently independent of the classification. A basic idea is that, since a Hodge structure is a multifiltered vector space, one may apply Rees-bundle like constructions to it and obtain a toric vector bundle.
Recently in [19], Popovici introduced the so-called Frölicher approximating bundle, in order to give a more conceptual proof of his earlier result that deformation limits of Moishezon manifolds are again Moishezon. This construction associates to every compact complex manifold X and every integer k a holomorphic vector bundle A k on C (thus necessarily trivial) which interpolates between the de-Rham cohomology and the degenerating page of the Frölicher spectral sequence. I.e., it comes equipped with distinguished isomorphisms The construction is analytic, in particular it involves choosing a metric and introducing Laplace-type pseudo-differential operators for the higher pages of the Frölicher spectral sequence. We show here that this bundle can be seen as a special case of the Rees-bundle construction, thereby giving a purely algebraic description, which makes the equivariant, metric-independent and functorial features of this construction transparent.

Theorem B For a compact complex manifold X and the k-th Frölicher approximating bundle A k , there is a canonical isomorphism
where F denotes the Hodge-filtration.

Preliminaries
This section collects some basic notions and result from more general theory which are needed later on. No claim to originality is made here: All results (except possibly for mistakes on the author's behalf) are contained in one or more of [5][6][7][10][11][12][13][14][16][17][18]23,24]. If we give only one reference for an omitted proof we do not mean to imply any kind of priority.

Definitions
Throughout all the section, we fix an algebraically closed field k of characteristic zero and denote by G an algebraic group over k, which will soon be set to be the algebraic n-torus G n m . We first repeat some standard definitions. Even though everything is formulated for algebraic varieties, the reader may note that, mutatis mutandis, most of the definitions make sense in the holomorphic, smooth or even continuous setting. Sections 2 and 3 of [15] may be a helpful reference.

Definition 1 A G-variety
is an algebraic variety X over k together with an action ρ X : G × X −→ X of the group G. If G = G n m and there is a dense open orbit on which it acts simply transitively, (X , ρ X ) is called a toric variety.

Example 2
Any variety is a G-variety for the trivial action. The varieties G l m × A n−l for the natural action of G n m by multiplication are toric.
where V is a sheaf and is an isomorphism of O G×X -modules that satisfies the cocycle condition where pr 23 , Id G ×ρ X , μ G × Id X are maps G × G × X −→ G × X given by projection, action and multiplication respectively.
One may check that if V is a coherent and locally free, i.e. the sections of a vector bundle E −→ X , this definition is equivalent to requiring E to be a G-variety s.t. the action commutes with the projection.
Example 4 Let X be the sheaf of Kähler differentials. Recall that for any product X × Y there is a canonical identification X ×Y ∼ = pr * X X ⊕ pr * Y Y . As a consequence one may equip X with the structure of an equivariant sheaf via where the first map is pullback via ρ X and the second map is projection.
Recall that for a connection ∇ : V −→ V ⊗ X and a map f : Y −→ X , there is a well-defined notion of pullback f * ∇ : f * V −→ f * V ⊗ Y which is again a connection: If locally ∇ = d + ω with ω a section of 1 X (End(V)), then f * ∇ = d + f * ω. More globally, one considers f −1 ∇ and prolongs it to Definition 5 An equivariant connection on an equivariant sheaf (V, ) on a toric variety (X , ρ X ) is a connection ∇ : V −→ V ⊗ X such that the following diagram commutes: Here, (pr * X ∇) X denotes the composite of pr * X ∇ : pr * X V −→ pr * X V ⊗ G×X with Id ⊗res where res : G×X −→ pr * X X is projection.
On affine schemes, the above notions can, as usual, be translated into commutative algebra and it is this description that will be used later on in this section.

Proposition 6
The global sections functors yield equivalences of categories between: The proof is standard and we omit it. 1 Let us just describe how the n-grading on A is defined: The action ρ X induces a coaction ρ * and for any multiindex p = ( p 1 , . . . , p n ) ∈ Z n , one sets

Toric vector bundles on affine and projective spaces
It is well-known that one can further simplify the commutative algebra from the previous section and describe equivariant sheaves on normal toric varieties in terms of linear algebra. We keep notations from the previous subsection, and recall how this works for the case X = A n = Spec k[z 1 , . . . , z n ]. We will only use these results for k = C, but everything works for algebraically closed fields of characteristic zero.
Notational conventions: We fix some natural number n and denote by for any toric variety X by Bun(X , G n m ) the category of locally free coherent equivariant sheaves on X with morphisms equivariant morphisms of sheaves (not necessarily of constant rank). By Fil n k , we denote the category of finite dimensional k-vector spaces (V , F 1 , . . . , F n ) with n separated and exhaustive descending filtrations (i.e. F P i = {0} and F p i = V for P 0 p). We sometimes write simply V instead of (V , F 1 , . . . , F n ) for an object in Fil n k . Morphisms in Fil n k are linear maps ϕ : We view these as equipped with the standard n-grading, i.e., z p i has i-th degree p and zero else. For a multiindex p = ( p 1 , . . . , p n ) ∈ Z n , we write | p| := n i=1 p i and z p := z Given some λ ∈ Z, we use the notation λ p := (λ p 1 , . . . , λp n ) and p ± i λ := ( p 1 , . . . , p i−1 , p i ± λ, p i+1 , . . . , p n ) ∈ Z n and similarly with ≥ i instead of ± i . We abbreviate (0, . . . , 0) to just 0. Also, for p, r ∈ Z n , we write p ≥ r :⇔ p i ≥ r i ∀i ∈ {1, . . . , n}.
From filtrations to sheaves: Starting from a multi-filtered vector space (V , F 1 , . . . , F n ), denote by the Rees-module associated with V . Since it is an A-submodule of V ⊗ B, it is always torsion free. Define the (algebraic) Rees-sheaf ξ A n (V ) to be the coherent sheaf associated to this module, with G n m -equivariant structure corresponding to the grading. This construction is functorial.
It turns out that every toric vector bundle is of the form ξ A n (V ). To formulate this more precisely, we need two definitions: For n = 1, 2, one can always construct a splitting by choosing appropriate bases. For n = 1, one sees this by taking successive vector space complements for the inclusions F p+1 ⊆ F p . For n = 2, a (notationally more awkward) variant of this method of 'taking complements' still works, but three or more filtrations may or may not be splittable. In fact, given three distinct lines 1 , . . . , 3 Then any splitting would have to involve all three lines as summands, but their sum is not direct. 2 E.g., 1-strictness coincides with usual strictness for all filtrations and if there exist splittings for the F i and G i respected by f , then f is n-strict.
Denoting by Fil n,splittable k the full subcategory of Fil n k consisting of those multifiltered vector spaces that admit a splitting, one has: The functor ξ A n induces an equivalence of categories ), but just explain why the existence of splittings is the right condition on ξ A n (V ) to be a vector bundle and why n-strictness corresponds to morphisms of constant rank.

Lemma 10
The functors ξ A n (_) behave as follows when restricted to torus-invariant subsets: and similarly for other subvarieties of the form A r × G s m × A t . In particular, there is an There is a functorial isomorphism, equivariant for the G n m -action given by the restricted action on the left and by the grading on the right.
Proof (Sketch of proof) By Proposition 6, it suffices to give the isomorphisms on the modules of global sections, where restriction to an affine open subset corresponds to a localisation and restriction to a closed subset to a quotient.
Note that, as a vector space, Rs n (V ) = p∈Z n F p z − p . So, if we consider the ideal I = (z 1 , . . . , z n ) corresponding to 0 ∈ A n , then the isomorphism in 2. is given as by projection in each summand. Since the grading is given by the z − p , we have the sign switch in the statement. As for 1, the restriction corresponds to inverting z 1 . Thus, one has where the equality r ≤ p 1 F (r , p 2 ,..., p n ) = F ( p 2 ,..., p n ) is a consequence of the assumption that the filtrations are exhaustive (i.e. F r 1 = V for r small enough).
How to see whether ξ A n (V ) is a vector bundle? For example this is the case if V = k so that each filtration has a single jumping index r i , i.e. F r i +1 . . . , r n ), the Rees module is then just z −r k[z 1 , . . . , z n ], which is a free module of rank one. Let us denote the resulting Rees-bundle by O A n (r ). (V , F 1 , . . . , F n ) be in Fil n k . The following assertions are equivalent: 1. The filtrations F 1 , . . . , F n are splittable.

Proposition 11 Let
If one of these conditions is satisfied, any splitting V = p∈Z n V p determines an isomorphism , which is free. From 2. to 3., note that a vector bundle has constant fibre dimension. By Lemma 10, the fibre over any point (e. g. (1, . . . , 1)) in G n m is canonically identified with V , while the fibre over 0 is canonically identified with D p . Finally, assuming 3., choose, for every p ∈ Z n , subspaces V p ⊆ F p s.t. V p projects isomorphically onto D p . By construction, we have In particular, Therefore, there has to be an equality and the sum of the V p is direct.
Proposition 12 Let f : V −→ W be a map in Fil n k and ξ A n ( f ) the associated map of Rees-sheaves.
• The morphism induced by the inclusion ker f → V gives a canonical identification • There is an exact sequence where coker ξ A n ( f ) is the sheaf-theoretic cokernel and T is the torsion subsheaf. Further, f is r -strict ⇔ codim(supp(T )) > r .
Proof It suffices to check this on global sections, i.e. on the Rees-module. For the first point, note that for any p ∈ Z n , a section v p ⊗ z p with v p ∈ F p V is mapped to zero iff v p ∈ ker f . For the second point, let π : W → coker f denote the projection. The global sections of the two right members of the claimed sequence are then given (where the sum is direct as k-vector spaces) by Denoting by ϕ p : the natural map, we can define the map ϕ to be induced by the direct sum of the ϕ p . Using one verifies that ker ϕ = T coincides with the torsion subsheaf.
For simplicity, we verify the statement on the dimension of the support of T only in the case r = n: In fact, n-strictness is equivalent to the condition that all the ϕ p are isomorphisms, which is in turn equivalent to ϕ being an isomorphism.

Toric GAGA
In this section, we are interested in the case k = C and we only treat vector bundles, not more general equivariant sheaves. We consider equivariant connections and weaker (than being algebraic) regularity conditions on transition functions and group actions.
Notations and conventions: Let Gra n C denote the category of finite dimensional ngraded C-vector spaces. For G = (C × ) n or G = T n := (S 1 ) n , by Bun ω (C n , G) with ω ∈ {alg, hol, sm, cont}, we mean algebraic, holomorphic, smooth or continuous Gequivariant bundles on C n when meaningful. Morphisms are not supposed to have constant rank. We identify Bun(A n , G n m ) from the previous section with Bun alg (C n , (C × ) n ) (by considering the complex valued points) and we switch freely between geometric vector bundles and locally free sheaves over the corresponding structure sheaf. By Rep ω (G), with ω as above, we denote algebraic, holomorphic, smooth or continuous representations of G. Those cases of interest to us are related to each other by the following diagram: Here, the vertical arrows forget some structure (or in sheaf-theoretic terms, tensor by a bigger structure sheaf and restrict the action), the horizontal ones are restriction to the fibre at 0 and the diagonal ones are given by the rule (V , ρ) → V = p∈Z n V p where V p with p = ( p 1 , . . . , p n ) is the eigenspace of the character

Proposition 13 In the diagram ( * ), all arrows induce bijections on isomorphism classes. The sides of the triangles on the right are equivalences of categories.
Proof It is well-known that all sides of the triangles on the right are equivalences of categories. For the convenience of the reader, let us recall one possible strategy of proof: Let V be some continuous representation of T n . Since T n is compact, one can choose an invariant scalar product on V and thereby find a decomposition of V into irreducible summands. Since T n is Abelian, and by Schur's Lemma ([2, p. 69]), stating that maps between two irreducible representations are zero if they are nonisomorphic and a multiple of the identity otherwise, all irreducible components are 1-dimensional. Since T n = (S 1 ) n , one is thus reduced to classify continuous group homomorphisms S 1 → S 1 which one checks to be z → z p for p ∈ Z. Therefore, V = p∈Z n V p with V p the eigenspace of χ p . But these are even algebraic and defined on (C × ) n , so the same decomposition holds also in Rep ω (G) for ω = alg, hol, sm. The statement about maps also follows from Schur's Lemma.
To a G-representation (V , ρ) in Rep ω (G), one can associate the trivial (geometric) vector bundle V := C n × V with product action We also denote this V ω if we want to emphasize that we consider it as a bundle in Bun ω (C n , G). E.g., in the notation of the previous section, V alg = p∈Z n V p ⊗ C O A n , where as above V p is the eigenspace of χ p , but equipped with the trivial action.
The invariant global sections of V ω can be identified with equivariant (algebraic, holomorphic, smooth or continuous) maps C n −→ V and the restriction of V to 0 is canonically isomorphic to (V , ρ), i.e. V → V gives a section of the functors from Bun ω (C n , G) to Rep ω (G). In particular, all horizontal arrows in ( * ) are essentially surjective.
Because C n is T n -equivariantly contractible to the fixed point 0, the restriction to the fibre induces a bijection on isomorphism classes 3 for ω ∈ {sm, cont} and by Theorem 9 and Proposition 11, so does Finally, by a general Theorem of Heinzner and Kutzschebauch on equivariant bundles on Stein spaces 4 the forgetful functor induces a bijection on isomorphism classes. The remaining arrows are bijections on isomorphism classes by commutativity of the diagram induced by ( * ) on isomorphism classes.
For the functor from algebraic to holomorphic bundles, even more is true:

Proposition 14 The functor
Bun is an equivalence of categories.
Proof We already know that it is essentially surjective by Proposition 13. It is also obviously faithful, so what remains to be checked is that it is full. Consider a map of equivariant holomorphic bundles V −→ W. Without loss of generality, we may assume V = V , W = W for some (C × ) n -representations V , W . In this case, the statement follows from the following lemma applied to the bundle Hom(V, W). 3 This follows from the 'homotopy invariance of isomorphism classes of equivariant vector bundles': Given a compact topological group G and two equivariantly homotopic equivariant maps f 0 , f 1 : X −→ Y between G-spaces with X paracompact. Then for any vector bundle V on Y the pullbacks f * 0 V and f * 1 V are equivariantly isomorphic. This is essentially proven in [1], p. 40f. However, there only the case of a compact Hausdorff base and a finite group is treated. See [21] for the case of a compact group (but still compact base) and, e.g., [26, p. 21] for the case of non-equivariant bundles over a paracompact base, which can be adapted to the equivariant case by a standard averaging trick. 4 [9, p. 341], see also [8, par. 1.4.] for the notions used in the statement. → (z, s(z)) of the bundle V hol , there are a finite subset I ⊆ Z n ≥0 and elements v p ∈ V − p for all p ∈ I s.t.

Lemma 15 Let V be an object of Rep hol ((C × ) n ). For any equivariant section z
Proof It suffices to check the equality on the dense open subset U = (C × ) n ⊆ C n . Since (C × ) n acts simply transitively on U , a section is determined by its value s(1, . . . , 1) = p∈I v p . Because the section extends to the whole of C n , necessarily I ⊆ Z n ≥0 . This implies the lemma.

Remark 16
The other two forgetful functors are still faithful and essentially surjective, but no longer full: E.g. consider any equivariant line bundle L. Then Hom(L, L) is the (equivariantly) trivial bundle. An S 1 -invariant continuous section s of the trivial bundle C × C can be given by prescribing an arbitrary continuous function R ≥0 → C (the restriction to s| R ≥0 ), but these sections do not have to be smooth, and even if they are, they don't have to be constant (i.e. C × -equivariant).

Remark 17
Using the whole diagram ( * ) and in particular [9] to show essential surjectivity of analytification seems to be quite an overkill. It would be interesting to see a direct derivation of the classification of isomorphism classes in Bun hol (C n , (C × ) n ).

Theorem 18 For any smooth toric variety X , analytification yields an equivalence of categories equivariant algebraic vector bundles on X ←→ equivariant holomor phic vector bundles on X an
Proof For any groups G, G and G-space X , one obtains by pullback an identification of the G × G -equivariant bundles over X × G and the G-equivariant bundles over X . In fact, any equivariant bundle on X × G is trivialized in the fibre direction by the action of G , so one can pick transition functions depending only on the base. Also, an invariant section has to be constant along the fibre. In particular, equivariant maps (invariant sections of a homomorphism bundle) of bundles on X × G correspond to equivariant maps between bundles on X . This reasoning works regardless whether one works in the algebraic or holomorphic category. In particular, there is an equivalence for ω = alg, hol and so by Proposition 14, analytification gives an equivalence of algebraic and holomorphic equivariant bundles over C n × (C × ) m . One concludes by noting that every toric variety is covered by open sets equivariantly isomorphic to C n × (C × ) m for some n, m ∈ Z ≥0 , the intersections of which have again this form. 5

It restricts to an equivalence of the subcategories of vector bundles with flat connections.
Proof That the functor is fully faithful follows from the corresponding statement for bundles without a connection. In fact, a map between algebraic vector bundles with connection is compatible with the connections if and only if its analytification is. Similarly, a connection is flat if and only if its analytification is. For essential surjectivity, we can assume that X = C n × (C × ) m with action by multiplication of (C × ) n+m and that a holomorphic bundle V is given in trivialized form, i.e., as One checks that on these (trivial) bundles the canonical connection d is equivariant, so any connection is given as where is a global invariant holomorphic 1-form on C n × (C × ) m with values in the vector space End(V(0)). Arguing as in the proof of Lemma 15, such a form can be written as where the A p,i are endomorphisms of V(0) of multidegree − p (which are taken to be zero if they would cause a pole, i.e., if p i = 0). In particular, the connection is algebraic.
For flat connections, there is also a nicer comparison to representations, which also accounts for the smooth case. Let Bun ω ∇ (C n , (C × ) n ) with ω ∈ {alg, hol} denote the category of (C × ) n algebraic or holomorphic equivariant vector bundles with an equivariant connection and denote by Bun ω ∇ (C n , (C × ) n ) the respective subcategories of flat connections. Let Bun sm ∇ (C n , T n ) be the category of smooth equivariant vector bundles with flat equivariant connections. As above, there is a commutative diagram: Here, horizontal arrows are again restriction to 0 and vertical ones forget about the stronger regularity conditions imposed.

Proposition 20
In the diagram ( * * ), all arrows are equivalences of categories.
Proof Since we already know the functors in the right column and the one from algebraic to holomorphic bundles to be an equivalence, it suffices to show that restriction to the fixed point is an equivalence in the holomorphic and smooth cases. We do this in the holomorphic case, the smooth case works the same way. Sending (V , ∇) to ker ∇ is an equivalence of categories between flat equivariant connections and equivariant local systems on C n . Since C n is contractible, any local system is necessarily trivial. So restriction from global sections to any point is an isomorphism. In particular, restriction to the fixed point 0 induces an equivalence of categories with Rep hol ((C × ) n ).
For completeness, here is an explicit description of the pseudo-inverse to the restriction functor in ( * * ): For any representation (V , ρ) in Rep hol ((C × ) n ), as before, consider the bundle V with product action. Its sheaf of sections V ⊗ C O C n is equipped with the canonical equivariant connection d given by and sending a map f : (V , ρ V ) −→ (W , ρ W ) of representations to f ⊗ Id this defines the pseudo-inverse Remark 21 It is a natural task to extend these results to arbitrary coherent sheaves and possibly singular toric varieties. The coherent sheaf case might be approachable by the same methods as in this article: One would want some sort of equivariant resolution by vector bundles in the holomorphic setting (whose existence the author is currently unaware of). For the case of singular base, the present method of reducing to C n appears to be unsuitable.

Remark 22
An early impetus for the questions treated in this section came from studying Kapranov's proof [12] of the equivalence between (complex) Mixed Hodge Structures and algebraic toric vector bundles with an equivariant connection on C 2 . A crucial step in the proof consists in an application of the equivariant Radon-Penrose transform, that yields an equivalence between equivariant holomorphic vector bundles with a connection on C 2 and a certain holomorphic toric vector bundle on P 2 C \{[1, 0, 0]}. The latter are then related to triples of opposed filtrations via the Rees-bundle construction. One then has to check that if a bundle on one side of the equivalence is algebraic, so is its counterpart on the other side. By Theorem 18 and Corollary 19 this last step is in a certain sense redundant: The algebraic and holomorphic categories on both sides are equivalent.

The Frölicher approximating bundle
For a complex manifold X , denote by (C ∞ · (X , C), d) the complex of C-vector spaces given by complex-valued differential forms and exterior differentiation. This complex carries a filtration given by where C ∞ p,q (X , C) denotes the subspace of forms of type p, q. This filtration induces a filtration on H k d R (X , C), still denoted F·, by The filtration F on C ∞ · (X , C) induces the so-called Frölicher spectral sequence as in Proposition 11: locally free) sheaf. Hence, one can also omit the compactness condition and use ξ A 1 (H k d R (X , C), F) as a definition of the FAVB for arbitrary complex manifolds (although one may argue that the filtration used here is not the 'right' filtration to consider in the non-compact case).
By Lemma 10, the bundle ξ A 1 (H k d R (X , C), F) has the desired identifications ( * ). The isomorphism with A k will follow from the following general 'base-change-property' for Rees-bundles.

Lemma 25
Given a complex manifold X and k ∈ Z, consider the complex (A · , d ξ ) of sheaves on C defined by A · = ξ A 1 (C ∞ · (X , C), F) and d ξ = ξ A 1 (d). There is a canonical identification of toric vector bundles on C: where T denotes the torsion subsheaf. There are canonical isomorphisms p+q=k ω p,q · p(z ±1 ) −→ p+q=k ω p,q p(z ±1 )z p under which d ξ gets identified with d z = z · (∂ ⊗ Id) + (∂ ⊗ Id).
Proof The first part is a direct application of Proposition 12, i.e. the fact that the Reesconstruction commutes with kernels and commutes with cokernels up to torsion. The isomorphism in the second part is the trivialization from Proposition 11 (note that there is the canonical splitting of F given by C ∞ k (X , C) = p+q=k C ∞ p+q (X , C)).

Proof of Theorem 23
Consider the holomorphic bundle ker˜ z as a subsheaf of C ∞ k (X , C)⊗ C O C . By equation ( * * ), it is contained in ker d z ∩C ∞ k (X , C)⊗ C O C ∼ = A k ∩ker d ξ and therefore projects to H k A an · , d an ξ mod T . The result now follows from ( * ) and Lemma 10.
We end this section and the article by sketching a few open ends and questions: • (Second filtration) The FAVB bundle does not see the real structure on H k d R (X , C). To remedy this, one can take the conjugate Hodge-filtration into account and obtain a bundle on A 2 , given as ξ A 2 (H k d R (X , C), F,F), which is now also equivariant with respect G 2 m and the antilinear involution on the base given by (z 1 , z 2 ) → (z 2 ,z 1 ) and hence descends to a real bundle on A 2 R . One can also form ξ P 1 (H k d R (X , C), F,F), i.e. descend the bundle to projective space. If the Hodge-filtrations induce a pure Hodge structure of some weight k (not necessarily = k) on k, this is a Twistor Structure in the sense of Simpson [24] (after forgetting most of the action). Let us instead continue to consider it as a bundle on C 2 . Its restriction to A 1 × {h} (h = 0) yields the FAVB, while its restriction to {h} × A 1 (h = 0) yields the analogous bundle for the conjugate spectral sequence. It is, similarly to Proposition 25, isomorphic to the cohomology (modulo torsion) of the de-Rham complex with parameters z 1 , z 2 and deformed differential, now given by z 1 ∂ + z 2 ∂. The fibre of ξ A 2 (H k d R (X , C), F,F) over (0, 0) is given by the space