Dualite pour les feuilletages transversalement holomorphes

Let F be a transversely holomorphic codimension n foliation on a compact orientable manifold M and E a foliated holomorphic vector bundle on M. We prove that the cohomology of M with coefficients in the sheaf of E-valued holomorphic base-like differential forms satisfies Serre duality. Some computations are given. In case n=1 we show that the base-like cohomology H^*(M/F,) is finite dimensional.     

Cohomology of locally q-complete sets in Stein manifolds

We prove that if X is a Stein complex manifold of dimension n and Ω???X a locally q-complete open set in X with q?≤?n?2, then the cohomology groups H ^p (Ω , OΩ) vanish if p?≥?q and OΩ is the sheaf of germs of holomorphic functions on Ω.     

On the Compactness Theorem for Differential Forms

Kichenassamy found conditions under which the space W _p ^k of differential forms on a closed manifold M embeds compactly in the space F _p ^k of currents on M. We give a version of Kichenassamy's theorem for an arbitrary Banach complex and, in particular, for an elliptic differential complex on a closed manifold.     

Syntomic cohomology as a p-adic absolute Hodge cohomology

The purpose of this paper is to interpret rigid syntomic cohomology, defined by Amnon Besser [Bes], as a p-adic absolute Hodge cohomology. This is a p-adic analogue of a work of Beilinson [Be1] which interprets Beilinson-Deligne cohomology in terms of absolute Hodge cohomology. In the process, we will define a theory of p-adic absolute Hodge cohomology with coefficients, which may be interpreted as a generalization of rigid syntomic cohomology to the case with coefficients. Received: 25 September 2000 / In final form: 23 March 2001 / Published online: 28 February 2002     

Invariants de Von Neumann des faisceaux analytiques cohérents

In order to study the group of holomorphic sections of the pull-back to the universal covering space of an holomorphic vector bundle on a compact complex manifold, it would be convenient to have a cohomological formalism, generalizing Atiyah's index theorem. In [Eys99], such a formalism is proposed in a restricted context. To each coherent analytic sheaf on a n-dimensionnal smooth projective variety and each Galois infinite unramified covering , whose Galois group is denoted by , cohomology groups denoted by are attached, such that: 1. The underly a cohomological functor on the abelian category of coherent analytic sheaves on X. 2. If is locally free, is the group of holomorphic sections of the pull-back to of the holomorphic vector bundle underlying . 3. belongs to a category of -modules on which a dimension function with real values is defined. 4. Atiyah's index theorem holds [Ati76]: The present work constructs such a formalism in the natural context of complex analytic spaces. Here is a sketch of the main ideas of this construction, which is a Cartan-Serre version of [Ati76]. A major ingredient will be the construction [Farb96] of an abelian category containing every closed -submodule of the left regular representation. In topology, this device enables one to use standard sheaf theoretic methods to study Betti numbers [Ati76] and Novikov-Shubin invariants [NovShu87]. It will play a similar r?le here. We first construct a -cohomology theory () for coherent analytic sheaves on a complex space endowed with a proper action of a group such that conditions 1-2 are fulfilled. The -cohomology on the Galois covering of a coherent analytic sheaf onX is the ordinary cohomology of a sheaf on X obtained by an adequate completion of the tensor product of by the locally constant sheaf on X associated to the left regular representation of the discrete group in the space of functions on . Then, we introduce an homological algebra device, montelian modules, which can be used to calculate the derived category of and are a good model of the Čech complex calculating -cohomology. Using this we prove that , if X is compact. This is stronger than condition 3, since this also yields Novikov-Shubin type invariants. To explain the title of the article, Betti numbers and Novikov-Shubin invariants of are the Von Neumann invariants of the coherent analytic sheaf . We also make the connection with Atiyah's -index theorem [Ati76] thanks to a Leray-Serre spectral sequence. From this, condition 4 is easily deduced.

---

---

Received: 30 October 1998 / Published online: 8 May 2000     

Cohomologie de l'algèbre de Lie des opérateurs différentiels sur une variété, à coefficients dans les fonctions

The space of local q-cochains of the Lie algebra of differential operators on a manifold, with coefficients in the space of functions, is naturally graded. The homogeneous terms of a cochain are totally ordered and the derivatives may be symbolized by linear forms on ø^m. This leads to a method giving the first three cohomology spaces.     

Une propriété de continuité associée aux classes de cohomologie de Hodge

The obstructions, for a closed smooth differential form of bidimension $(p,p)$ on a projective manifold, to be cohomologous to an algebraic cycle with complex coefficients, are calculated in terms of the Chow transformation. They can be expressed as an orthogonality condition, on the manifold itself, with families parametrized by the Grassmannian of currents that are completely determined. Each of these currents is $\mathrm{d}{\mathrm{d}}^{\mathrm{c}}$-closed and with support in the intersection of the manifold and of the projective subspace associated with the parameter. By the theory of harmonic forms, a period is thus associated with that differential form for each parameter. We study the set of periods, obtained when the parameter varies, and we arrive at a continuity on the Grassmannian, when the cohomology class is rational. The same property can be obtained by going to the space of divisors of the Grassmannian and by using a characterization of Chow forms. We proceed here directly, by calculating the periods by means of the Atiyah–Hirzebruch theorem. This global continuity implies the orthogonality for all parameter.     

The cohomology of the cotangent bundle of Heisenberg groups

Given a parabolic subalgebra g₁×n of a semisimple Lie algebra, Kostant (Ann. Math. 1963) and Griffiths (Acta Math. 1963) independently computed the g₁ invariants in the cohomology group of n with exterior adjoint coefficients. By a theorem of Bott (Ann. Math. 1957), this is the cohomology of the associated compact homogeneous space with coefficients in the sheaf of local holomorphic forms. In this paper we determine explicitly the full module structure, over the symplectic group, of the cohomology group of the Heisenberg Lie algebra with exterior adjoint coefficients. This is the cohomology of the cotangent bundle of the Heisenberg group.     

Fonctions L associées aux F-isocristaux surconvergents II: Zéros et pôles unités

Résumé Nous démontrons la conjecture de Katz concernant la méromorphie et la caractérisation des zéros et p?les unités des fonctions L associées aux représentations p-adiques lorsque celles-ci se prolongent sur une compactification du schéma de base. Comme cas particuliers importants, on obtient celui de la fonction zêta d’un schéma quelconque et celui d’une représentation p-adique quelconque sur un schéma propre.

---

If X is a smooth variety over a finite field ? _q of characteristic p > 0 and ℱ is a p-adic sheaf associated to a representation of the fundamental group of X, N. Katz conjectures, in his Bourbaki talk 409, that the L function L (X, ℱ, t) has its p-adic unit roots and poles given in terms of p-adic étale cohomology. We prove this conjecture in the case of the structure sheaf ℱ = ℤ _p , that is for the Zeta function, and also more generally when the p-adic sheaf ℱ extends to a smooth sheaf on a compactification of X: as a consequence we get the Unit-Root Zeta function of Dwork and Sperber as an L function. The idea of the proof is to get the p-adic étale cohomology with coefficients and compact support as the fixed points of Frobenius acting on rigid cohomology with compact support. For this purpose, we first build a crystalline Artin–Schreier short exact sequence on the syntomic site of a scheme which is separated of finite type over a perfect field k: this naturally generalizes the work of J.M. Fontaine and W. Messing in the proper smooth case. Then getting rigid cohomology with coefficients as a limit of crystalline cohomologies of variable level we deduce a long exact sequence connecting p-adic étale cohomology (with compact support) to rigid cohomology (with compact support). When X is smooth and affine over an algebraically closed field, the former exact sequence splits into short exact sequences that identify the p-adic étale cohomology with support of X to the part of its rigid cohomology invariant under Frobenius. We can then describe the p-adic unit roots and poles of the Zeta function of X; as a corallary we get the Unit-Root Zeta function of Dwork and Sperber as an L function. In the appendix we show that the characteristic spaces of Frobenius in rigid cohomology commute with isometric extensions of the base, and that isocrystals associated to p-adic sheaves with finite monodromy are overconvergent: we thus obtain a p-adic proof of the rationality of the corresponding L-function.

---

---

Oblatum 8-XII-1994 & 30-IV-1996     

Periodic Cyclic Homology as Sheaf Cohomology Dedicated to Daniel Quillen on his 60th Birthday

We study a noncommutative version of the infinitesimal site of Grothendieck. A theorem of Grothendieck establishes that the cohomology of the structure sheaf on the infinitesimal topology of a scheme of characteristic zero is de Rham cohomology. We prove that, for the noncommutative infinitesimal topology of an associative algebra over a field of characteristic zero, the cohomology of the structure sheaf modulo commutators is periodic cyclic cohomology. We also compute the noncommutative infinitesimal cohomology of other sheaves. For example, we show that infinitesimal hypercohomology with coefficients in K-theory gives the fiber of the Jones–Goodwillie character which goes from K-theory to negative cyclic homology.     

A universal complex structure on complete metrizable topological spaces

Let X be a topological space whose topology may be defined by a complete metric d. Taking all such metrics d we define a universal complex structure on X. For this complex structure the sheaf of germs of holomorphic functions on X coincides with the sheaf of germs of continuous functions on X, and hence the theories of topological and holomorphic vector bundles on X are the same.     

Meromorphic Functions on a Riemann Surface to a Locally Semi-convex Space

In this article, vector-valued holomorphic and meromorphic functions on a Riemann surface to a complete Hausdorff locally semi-convex space are discussed. By introducing the concepts of vector-valued holomorphic and meromorphic differential forms, Cauchy's theorem and the Residue theorem of a vector-valued differential form on a Riemann surface are proved. Using the theory on the operator and the theory of a cohomology of a sheaf, we give a proof of the Mittag-Leffler theorem for vector-valued meromorphic functions on a non-compact Riemann surface to a complete Hausdorff locally semi-convex space.     

Intersection numbers of cycles on locally symmetric spaces and fourier coefficients of holomorphic modular forms in several complex variables

Using the theta correspondence we construct liftings from the cohomology with compact supports of locally symmetric spaces associated to O(p, q) (resp. U(p, q)) of degreenq (resp. Hodge typenq, nq) to the space of classical holomorphic Siegel modular forms of weight (p +q)/2 and genusn (resp. holomorphic hermitian modular forms of weightp +q and genusn). It is important to note that the cohomology with compact supports contains the cuspidal harmonic forms by Borel [3]. We can express the Fourier coefficients of the lift of η in terms of periods of η over certain totally geodesic cycles—generalizing Shintani’s solution [21] of a conjecture of Shimura. We then choose η to be the Poincaré dual of a (finite) cycle and obtain a collection of formulas analogous to those of Hirzebruch-Zagier [8]. In our previous work we constructed the above lifting but we were unable to prove that it took values in theholomorphic forms. Moreover, we were unable to compute the indefinite Fourier coefficients of a lifted class. By Koecher’s Theorem we may now conclude that all such coefficients are zero. Partially supported by NSF Grant # MCS-82-01660. Partially supported by NSF Grant # DMS-85-01742.     

Superconnections and higher index theory

LetM be a smooth closed spin manifold. The higher index theorem, as given for example in Proposition 6.3 of [CM], computes the pairing between the group cohomology of ₁(M) and the Chern character of the higher index of a Dirac-type operator on M. Using superconnections, we give a heat equation proof of this theorem on the level of differential forms on a noncommutative base space. As a consequence, we obtain a new proof of the Novikov conjecture for hyperbolic groups.     

Vanishing theorem for sheaves of microfunctions at the boundary on cr–manifolds

Let X be a complex analytic manifold. Consider S?M?Xreal analytic submonifolds with codium ^R _MS=1,and let ω be a connected component of M\S. Let p∈S X_MT_M ^*X where T^* _Xdenotes the conormal bundle to M in X, and denote by ν(p) the complex radial Euler field at p. Denote by μ*(Ox) (for * = M, ω) the microlocalization of the sheaf of holomorphic functions along *.

Under the assumption dim^R(T_pT_M ^*X? ν(p)) = 1, a theorem of vanishing for the cohomology groups H^jμM(Ox)p is proved in [K-S 1, Prop. 11.3.1], j being related to the number of positive and negative eigenvalue for the Levi form of M.

Under the hypothesis dim^R(T_pT_S ^*X∩ν(p))=1, a similar result is proved here for the cohomology groups of the complex of microfunctions at the boundary μω(Ox).Stating this result in terms of regularity at the boundary for CR–hyperfunctions a local Bochner–type theorem is then obtained.     

Differential operators and the Frobenius pull back of the tangent bundle on G/P

In this paper we study the sheaf of differential operators on a flag manifold X in characteristic p>0. We generalize the non-vanishing theorem of Haastert on the associated filtration of . We make use of the lifting of X to characteristic zero and the complex geometry of X. Received: 27 March 1998     

Eine Spektralsequenz in der stetigen Kohomologietheorie topologischer Gruppen

Let H^*(G; M) be the continuous cohomology of a locally compact group G with coefficients in a topological RG-module M. If G operates without fixed points on a R-paracompact space X such that there is a slice through each point and X/G is R-paracompact, then there exists a spectral sequence converging to the equivariant cohomology H^*(X,G; M) of X with second term E₂ ^p.q?H^p(G; H^qX; M)) where the sheaf theoretical cohomology of X is suitable topologized. Several applications and a generalization to actions of G with non-empty fixed point sets are given.     

Quantum D-modules and equivariant Floer theory for free loop spaces

The objective of this paper is to clarify the relationships between the quantum D-module and equivariant Floer theory. Equivariant Floer theory was introduced by Givental in his paper ``Homological Geometry'. He conjectured that the quantum D-module of a symplectic manifold is isomorphic to the equivariant Floer cohomology for the universal cover of the free loop space. First, motivated by the work of Guest, we formulate the notion of ``abstract quantum D-module' which generalizes the D-module defined by the small quantum cohomology algebra. Second, we define the equivariant Floer cohomology of toric complete intersections rigorously as a D-module, using Givental's model. This is shown to satisfy the axioms of abstract quantum D-module. By Givental's mirror theorem [Giv3], it follows that equivariant Floer cohomology defined here is isomorphic to the quantum cohomology D-module.