On Carleman formulas for the Dolbeault Cohomology

We discuss the Cauchy problem for the Dolbeault cohomology in a domain of C ⁿ with data on a part of the boundary. In this setting we introduce the concept of a Carleman function which proves useful in the study of uniqueness. Apart from an abstract framework we show explicit Carleman formulas for the Dolbeault cohomology. To the memory of Lamberto Cattabriga     

Analytic density in Lie groups

A subgroupH of an analytic groupG is said to beanalytically dense if the only analytic subgroup ofG containingH isG itself. The main purpose of this paper is to give sufficient conditions onG (analogous to those of [8], [9], and [7] in the case of Zariski density) which guarantee the analytic density of cofinite volume subgroupsH. First we consider the case of arbitrary cofinite volume subgroups (Theorem 5 and its corollaries). Then we specialize to lattices, and prove the following result (Theorem 8):Let G be an analytic group whose radical is simply connected and whose Levi factor has no compact part and a finite center. Then any lattice in G is analytically dense. In proving this use is made of a result of Montgomery which also implies that for any simply connected solvable group, cocompactness of a closed subgroup implies analytic density. In the case of a solvable group with real roots this means analytic density and cocompactness are equivalent and thus completes a circle of ideas raised in Saito [13]. In Corollary 9 we deal with a related local condition. Finally in Theorem 10 and its corollaries we apply these considerations to prove a homomorphism extension theorem and an isomorphism theorem for 1-dimensional cohomology.     

Dolbeault cohomology of compact complex homogeneous manifolds

We show that ifM is the total space of a holomorphic bundle with base space a simply connected homogeneous projective variety and fibre and structure group a compact complex torus, then the identity component of the automorphism group ofM acts trivially on the Dolbeault cohomology ofM. We consider a class of compact complex homogeneous spacesW, which we call generalized Hopf manifolds, which are diffeomorphic to S¹ ×K/L whereK is a compact connected simple Lie group andL is the semisimple part of the centralizer of a one dimensional torus inK. We compute the Dolbeault cohomology ofW. We compute the Picard group of any generalized Hopf manifold and show that every line bundle over a generalized Hopf manifold arises from a representation of its fundamental group.     

Spin^{\rm c} -manifolds with Pin(2)-action

We study -manifolds with Pin(2)-action. The main tool is a vanishing theorem for certain indices of twisted -Dirac operators. This theorem is used to show that the Witten genus vanishes on such manifolds provided the first Chern class and the first Pontrjagin class are torsion. We apply the vanishing theorem to cohomology complex projective spaces and give partial evidence for a conjecture of Petrie. For example we prove that the total Pontrjagin class of a cohomology with -action has standard form if the first Pontrjagin class has standard form. We also determine the intersection form of certain 4-manifolds with Pin(2)-action. Received: 26 June 1998     

n-Cohomology of simple highest weight modules on walls and purity

Summary LetGPB be respectively a complex connected linear algebraic semisimple group, a parabolic subgroup and a Borel subgroup. The first main result is the following theorem: Let be a pure complex onG/B, smooth with respect to Bruhat cells. Then its restriction to anyP-orbit is pure as well, of the same weight. As a consequence we are able to compute then-cohomology of simple highest weight modules on walls.Written during the author's stay at MSRI, supported by a Stipendium der Clemens-Plassmann-Stiftung     

Hopf cyclic cohomology and Hodge theory for proper actions on complex manifolds

We introduce two Hopf algebroids associated to a proper and holomorphic Lie group action on a complex manifold. We prove that the cyclic cohomology of each Hopf algebroid is equal to the Dolbeault cohomology of invariant differential forms. When the action is cocompact, we develop a generalized complex Hodge theory for the Dolbeault cohomology of invariant differential forms. We prove that every cyclic cohomology class of these two Hopf algebroids can be represented by a generalized harmonic form. This implies that the space of cyclic cohomology of each Hopf algebroid is finite dimensional. As an application of the techniques developed in this paper, we generalize the Serre duality and prove a Kodaira type vanishing theorem.     

Extensions with estimates of cohomology classes

We prove an extension theorem of ??Ohsawa-Takegoshi type?? for Dolbeault q-classes of cohomology (q??? 1) on smooth compact hypersurfaces in a weakly pseudoconvex K?hler manifold.     

Rational surfaces and regular maps into the 2-dimensional sphere

Let X and Y be affine nonsingular real algebraic varieties. A general problem in Real Algebraic Geometry is to try to decide when a mapping, , can be approximated by regular mappings in the space of mappings, , equipped with the topology. In this paper, we obtain some results concerning this problem when the target space is the 2-dimensional standard sphere and X has a complexification that is a rational (complex) surface. To get the results we study the subgroup of the second cohomology group of X with integer coefficients that consists of the cohomology classes that are pullbacks, via the inclusion mapping , of the cohomology classes in represented by complex algebraic hypersurfaces. Received December 1, 1998; in final form August 2, 1999     

Duality in the cohomology of crystalline local systems

Let k be a perfect field of a positive characteristic p, K-the fraction field of the ring of Witt vectors W(k) Let X be a smooth and proper scheme over W(k). We present a candidate for a cohomology theory with coefficients in crystalline local systems: p -adic étale local systems on X_K characterized by associating to them so called Fontaine-crystals on the crystalline site of the special fiber X _k. We show that this cohomology satysfies a duality theorem.     

Curves of genus g on an abelian variety of dimension g

In this paper we prove a general theorem concerning the number of translation classes of curves of genus g belonging to a fixed cohomology class in a polarized abelian variety of dimension g. For g = 2 we recover results of Göttsche and Bryan-Leung. For g = 3 we deduce explicit numbers for these classes.     

Dolbeault cohomology of compact nilmanifolds

LetM=G/ be a compact nilmanifold endowed with an invariant complex structure. We prove that on an open set of any connected component of the moduli space of invariant complex structures onM, the Dolbeault cohomology ofM is isomorphic to the cohomology of the differential bigraded algebra associated to the complexification of the Lie algebra ofG. to obtain this result, we first prove the above isomorphism for compact nilmanifolds endowed with a rational invariant complex structure. This is done using a descending series associated to the complex structure and the Borel spectral sequences for the corresponding set of holomorphic fibrations. Then we apply the theory of Kodaira-Spencer for deformations of complex structures.Research partially supported by MURST and CNR of Italy.Research partially supported by MURST and CNR of Italy.     

Nilpotency of Bocksteins, Kropholler's hierarchy and a conjecture of Moore

We show that the class of pairs (Γ,H) of a group and a finite index subgroup which verify a conjecture of Moore about projectivity of modules over ZΓ satisfy certain closure properties. We use this, together with a result of Benson and Goodearl, in order to prove that Moore's conjecture is valid for groups which belongs to Kropholler's hierarchy LHF. For finite groups, Moore's conjecture is a consequence of a theorem of Serre, about the vanishing of a certain product in the cohomology ring (the Bockstein elements). Using our result, we construct examples of pairs (Γ,H) which satisfy the conjecture without satisfying the analog of Serre's theorem.     

Monads on projective spaces

Let be a vector bundle on P ⁿ . There is a strong relationship between and its intermediate cohomology modules. In the case where has low rank, we exploit this relationship to provide various splitting criteria for . In particular, we give a splitting criterion for in terms of the vanishing of certain intermediate cohomology modules. We also show that the Horrocks-Mumford bundle is the only non-split rank two bundle on P ⁴ with a Buchsbaum second cohomology module.Partially supported by NSF Grants.     

Varieties for cohomology with twisted coefficients

Let G be a finite group and k a field of characteristic p > 0. In this paper we consider the support variety for the cohomology module Ext _kG ^* (M, N) where M and N are kG-modules. It is the subvariety of the maximal ideal spectrum of H*(G, k) of the annihilator of the cohomology module. For modules in the principal block we show that that the variety is contained in the intersections of the varieties of M and N and the difference between the that intersection and the support variety of the cohomology module is contained in the group theoretic nucleus. For other blocks a new nucleus is defined and a similar theorem is proven. However in the case of modules in a nonprincipal block several new difficulties are highlighted by some examples. Partially supported by grants from NSF and EPSRC     

A Lower Bound for {a+b:aA, bB, and P(a,b)≠0}

Let A and B be two finite subsets of a field . In this paper, we provide a non-trivial lower bound for {a+b:aA, bB, and P(a,b)≠0} where P(x,y) [x,y].     

Entropy of Stationary Measures and Bounded Tangential de-Rham Cohomology of Semisimple Lie Group Actions

Let G be a connected noncompact semisimple Lie group with finite center, K a maximal compact subgroup, and X a compact manifold (or more generally, a Borel space) on which G acts. Assume that ν is a μ -stationary measure on X, where μ is an admissible measure on G, and that the G-action is essentially free. We consider the foliation of K\ X with Riemmanian leaves isometric to the symmetric space K\ G, and the associated tangential bounded de-Rham cohomology, which we show is an invariant of the action. We prove both vanishing and nonvanishing results for bounded tangential cohomology, whose range is dictated by the size of the maximal projective factor G/Q of (X, ν). We give examples showing that the results are often best possible. For the proofs we formulate a bounded tangential version of Stokes’ theorem, and establish a bounded tangential version of Poincaré’s Lemma. These results are made possible by the structure theory of semisimple Lie groups actions with stationary measure developed in Nevo and Zimmer [Ann of Math. 156, 565--594]. The structure theory assert, in particular, that the G-action is orbit equivalent to an action of a uniquely determined parabolic subgroup Q. The existence of Q allows us to establish Stokes’ and Poincaré’s Lemmas, and we show that it is the size of Q (determined by the entropy) which controls the bounded tangential cohomology. Supported by BSF and ISF. Supported by BSF and NSF.     

Vanishing theorems for ample vector bundles

Summary. The main result of this article is a general vanishing theorem for the cohomology of tensorial representations of an ample vector bundle on a smooth complex projective variety. In particular, we extend classical theorems of Griffiths and Le Potier to the whole Dolbeault cohomology, prove a variant of an uncorrect conjecture of Sommese, and answer a question of Demailly. As an application, we prove conjectures of Debarre and Kim for branched coverings of grassmannians, and extend a well-known Barth–Lefschetz type theorem for branched covers of projective spaces, due to Lazarsfeld. We also obtain new restriction theorems for certain degeneracy loci. Oblatum 10-IV-1996 & 22-V-1996     

Borel-Weil-Bott theory on the moduli stack of G-bundles over a curve

Let G be a semi-simple group and M the moduli stack of G-bundles over a smooth, complex, projective curve. Using representation-theoretic methods, I prove the pure-dimensionality of sheaf cohomology for certain “evaluation vector bundles” over M, twisted by powers of the fundamental line bundle. This result is used to prove a Borel-Weil-Bott theorem, conjectured by G. Segal, for certain generalized flag varieties of loop groups. Along the way, the homotopy type of the group of algebraic maps from an affine curve to G, and the homotopy type, the Hodge theory and the Picard group of M are described. One auxiliary result, in Appendix A, is the Alexander cohomology theorem conjectured in [Gro2]. A self-contained account of the “uniformization theorem” of [LS] for the stack M is given, including a proof of a key result of Drinfeld and Simpson (in characteristic 0). A basic survey of the simplicial theory of stacks is outlined in Appendix B. Oblatum 17-XII-1996 & 26 VI-1997     

On extensions of a symplectic class

Let F be a fibration on a simply-connected base with symplectic fiber (M,ω). Assume that the fiber is nilpotent and T2k-separable for some integer k or a nilmanifold. Then our main theorem, Theorem 1.8, gives a necessary and sufficient condition for the cohomology class [ω] to extend to a cohomology class of the total space of F. This allows us to describe Thurston?s criterion for a symplectic fibration to admit a compatible symplectic form in terms of the classifying map for the underlying fibration. The obstruction due to Lalond and McDuff for a symplectic bundle to be Hamiltonian is also rephrased in the same vein. Furthermore, with the aid of the main theorem, we discuss a global nature of the set of the homotopy equivalence classes of fibrations with symplectic fiber in which the class [ω] is extendable.