Stein structures and holomorphic mappings

We prove that every continuous map from a Stein manifold X to a complex manifold Y can be made holomorphic by a homotopic deformation of both the map and the Stein structure on X. In the absence of topological obstructions, the holomorphic map may be chosen to have pointwise maximal rank. The analogous result holds for any compact Hausdorff family of maps, but it fails in general for a noncompact family. Our main results are actually proved for smooth almost complex source manifolds (X,J) with the correct handlebody structure. The paper contains another proof of Eliashberg’s (Int J Math 1:29–46, 1990) homotopy characterization of Stein manifolds and a slightly different explanation of the construction of exotic Stein surfaces due to Gompf (Ann Math 148(2): 619–693, 1998; J Symplectic Geom 3:565–587, 2005).      

On Macaulayfication of sheaves

Let X be a quasi-projective scheme and ℱ a coherent sheaf of modules over X such that its non-Cohen–Macaulay locus is at most one dimensional. We use and extend the techniques of Brodmann to construct proper birational morphisms of quasi-projective schemes f:Y→X and Cohen–Macaulay coherent sheaves of modules over Y that are isomorphic to the pull-back of ℱ away from the exceptional locus of f. Certain blow-ups of X at locally complete intersections subschemes which contain non-reduced scheme structures on the non-Cohen–Macaulay locus of ℱ are the main part of the construction. Received: 19 February 1998 / Revised version: 28 December 1998     

Representability of Hom implies flatness

LetX be a projective scheme over a noetherian base schemeS, and letF be a coherent sheaf onX. For any coherent sheaf ε onX, consider the set-valued contravariant functor Hom(ε,F)S-schemes, defined by Hom(ε,F) (T)= Hom(ε _T ,F _T) where ε _T andF _T are the pull-backs of ε andF toX _T =X x _S T. A basic result of Grothendieck ([EGA], III 7.7.8, 7.7.9) says that ifF is flat over S then Kom_ε,F) is representable for all ε. We prove the converse of the above, in fact, we show that ifL is a relatively ample line bundle onX over S such that the functor Hom(L ^-n ,F) is representable for infinitely many positive integersn, thenF is flat overS. As a corollary, takingX =S, it follows that ifF is a coherent sheaf on S then the functorT ↦H°(T, F _t) on the category ofS-schemes is representable if and only ifF is locally free onS. This answers a question posed by Angelo Vistoli. The techniques we use involve the proof of flattening stratification, together with the methods used in proving the author’s earlier result (see [N1]) that the automorphism group functor of a coherent sheaf onS is representable if and only if the sheaf is locally free.     

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     

On the distribution of Weierstrass points on singular curves

Weierstrass points are defined for invertible sheaves on integral, projective Gorenstein curves. An example is given of a rational nodal curveX and an invertible sheaf ℒ of positive degree onX such that the set of all higher order Weierstrass points of ℒ is not dense inX.     

The Kato-type spectrum and local spectral theory

Let T ∈ ℒ(X) be a bounded operator on a complex Banach space X. If V is an open subset of the complex plane such that λ-T is of Kato-type for each λ ∈ V, then the induced mapping f(z) ↦ (z-T)f(z) has closed range in the Fréchet space of analytic X-valued functions on V. Since semi-Fredholm operators are of Kato-type, this generalizes a result of Eschmeier on Fredholm operators and leads to a sharper estimate of Nagy’s spectral residuum of T. Our proof is elementary; in particular, we avoid the sheaf model of Eschmeier and Putinar and the theory of coherent analytic sheaves.     

Local rigidity of quasi-regular varieties

For a G-variety X with an open orbit, we define its boundary ∂ X as the complement of the open orbit. The action sheaf S _X is the subsheaf of the tangent sheaf made of vector fields tangent to ∂ X. We prove, for a large family of smooth spherical varieties, the vanishing of the cohomology groups H ⁱ (X, S _X ) for i > 0, extending results of Bien and Brion (Compos. Math. 104:1–26, 1996). We apply these results to study the local rigidity of the smooth projective varieties with Picard number one classified in Pasquier (Math. Ann., in press).     

L’application cotangente des surfaces de type général

We study surfaces of general type S whose cotangent sheaf is generated by its global sections. We define a map called the cotangent map of S that enables us to understand the obstructions to the ampleness of the cotangent sheaf of S. These obstructions are curves on S that we call “non-ample”. We classify the surfaces with an infinite number of non-ample curves and we partly classify the non-ample curves.     

On the compactification of concave ends

Let X be a complex manifold which admits a proper strictly plurisubharmonic function ρ : X →]a, b[, where −∞ ≤ a < b ≤ ∞. It is well-known that the Hausdorffness of H ¹(X) is necessary for the existence of a Stein completion of X. We show that this condition is also sufficient.     

On the meromorphic convexity of normality domains in a Stein manifold

Let X be a Stein manifold. Then we prove that for any family ℱ⊂?(X) the normality domain Dℱ) is a meromorphically ?(X)-convex open set of X. Received: 4 November 1999     

Analytic subvarieties with many rational points

We give a generalization of the classical Bombieri–Schneider–Lang criterion in transcendence theory. We give a local notion of LG-germ, which is similar to the notion of E-function and Gevrey condition, and which generalize (and replace) the condition on derivatives in the theorem quoted above. Let ${K \subset \mathbb{C}}We give a generalization of the classical Bombieri–Schneider–Lang criterion in transcendence theory. We give a local notion of LG-germ, which is similar to the notion of E-function and Gevrey condition, and which generalize (and replace) the condition on derivatives in the theorem quoted above. Let K ì \mathbbC{K \subset \mathbb{C}} be a number field and X a quasi-projective variety defined over K. Let γ : M → X be an holomorphic map of finite order from a parabolic Riemann surface to X such that the Zariski closure of the image of it is strictly bigger then one. Suppose that for every p ? X(K)?g(M){p\in X(K)\cap\gamma(M)} the formal germ of M near P is an LG-germ, then we prove that X(K)?g(M){X(K)\cap\gamma(M)} is a finite set. Then we define the notion of conformally parabolic K?hler varieties; this generalize the notion of parabolic Riemann surface. We show that on these varieties we can define a value distribution theory. The complementary of a divisor on a compact K?hler manifold is conformally parabolic; in particular every quasi projective variety is. Suppose that A is conformally parabolic variety of dimension m over \mathbbC{\mathbb{C}} with K?hler form ω and γ : A → X is an holomorphic map of finite order such that the Zariski closure of the image is strictly bigger then m. Suppose that for every p ? X(K)?g(A){p\in X(K)\cap \gamma (A)} , the image of A is an LG-germ. then we prove that there exists a current T on A of bidegree (1, 1) such that ò_ATùw^m-1{\int_AT\wedge\omega^{m-1}} explicitly bounded and with Lelong number bigger or equal then one on each point in γ ⁻¹(X(K)). In particular if A is affine γ ⁻¹(X(K)) is not Zariski dense.     

An algebraic proof of Iitaka‚s conjecture C 2, 1

We give a proof of Iitaka‘s conjecture C_{2, 1} using only elementary methods from algebraic geometry. The main point we show is that, given a non-isotrivial and relatively minimal model of a family f : X ? B f : X \rightarrow B , where X is a surface and B is a curve, both smooth and projective, the direct image of the relatively canonical sheaf of differentials has strictly positive degree.     

Euler–Poincaré formula in equal characteristic¶under ordinariness assumptions

Let X be an irreducible smooth projective curve over an algebraically closed field of characteristic p>0. Let ? be either a finite field of characteristic p or a local field of residue characteristic p. Let F be a constructible étale sheaf of $\BF$-vector spaces on X. Suppose that there exists a finite Galois covering π:Y→X such that the generic monodromy of π^* F is pro-p and Y is ordinary. Under these assumptions we derive an explicit formula for the Euler–Poincaré characteristic χ(X,F) in terms of easy local and global numerical invariants, much like the formula of Grothendieck–Ogg–Shafarevich in the case of different characteristic. Although the ordinariness assumption imposes severe restrictions on the local ramification of the covering π, it is satisfied in interesting cases such as Drinfeld modular curves. Received: 7 December 1999 / Revised version: 28 January 2000     

On the Oka principle in a Banach space,II

 Let X be one of the Banach spaces c ₀ , ℓ _p , 1≤p<∞; Ω⊂X pseudoconvex open, a holomorphic Banach vector bundle with a Banach Lie group G ^* for structure group. We show that a suitable Runge-type approximation hypothesis on X, G ^* (which we also prove for G ^* a solvable Lie group) implies the vanishing of the sheaf cohomology groups H ^q (Ω, 𝒪 ^E ), q≥1, with coefficients in the sheaf of germs of holomorphic sections of E. Further, letting 𝒪^Γ (𝒞^Γ) be the sheaf of germs of holomorphic (continuous) sections of a Banach Lie group bundle Γ→Ω with Banach Lie groups G, G ^* for fiber group and structure group, we show that a suitable Runge-type approximation hypothesis on X, G, G ^* (which we prove again for G, G ^* solvable Lie groups) implies the injectivity (and for X=ℓ₁ also the surjectivity) of the Grauert–Oka map H ¹ (Ω, 𝒪^Γ)→H ¹ (Ω, 𝒞^Γ) of multiplicative cohomology sets. Received: 1 March 2002 / Published online: 28 March 2003 Mathematics Subject Classification (2000): 32L20, 32L05, 46G20 RID="*" ID="*" Kedves Laci Móhan kisfiamnak. RID="*" ID="*" To my dear little Son     

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 Ω.     

Division and <Emphasis Type="Italic">k</Emphasis>-th root theorems for <Emphasis Type="Italic">Q</Emphasis>-manifolds

We prove that a locally compact ANR-space X is a Q-manifold if and only if it has the Disjoint Disk Property (DDP), all points of X are homological Z _∞-points and X has the countable-dimensional approximation property (cd-AP), which means that each map f: K → X of a compact polyhedron can be approximated by a map with the countable-dimensional image. As an application we prove that a space X with DDP and cd-AP is a Q-manifold if some finite power of X is a Q-manifold. If some finite power of a space X with cd-AP is a Q-manifold, then X ² and X × [0, 1] are Q-manifolds as well. We construct a countable family χ of spaces with DDP and cd-AP such that no space X ∈ χ is homeomorphic to the Hilbert cube Q whereas the product X × Y of any different spaces X, Y ∈ χ is homeomorphic to Q. We also show that no uncountable family χ with such properties exists. This work was supported by the Slovenian-Ukrainian (Grant No. SLO-UKR 04-06/07)     

Non-trivial simple poles at negative integers and mass concentration at singularity

Let (X,0) be the germ of a normal space of dimension n+1 and let f be the germ at 0 of a holomorphic function on X. Assume both X and f have an isolated singularity at 0. Denote by J the image of the restriction map , where F is the Milnor fibre of f at 0. We prove that the canonical Hermitian form on , given by poles of order at in the meromorphic extension of , passes to the quotient by J and is non-degenerate on . We show that any non-zero element in J produces a “mass concentration” at the singularity which is related to a simple pole concentrated at for (in a non-na?ve sense). We conclude with an application to the asymptotic expansion of oscillatory integrals , for , when . Received: 28 May 2001 / Published online: 26 April 2002     

A long ℂ<Superscript>2</Superscript> which is not Stein

We construct a 2-dimensional complex manifold X which is the increasing union of proper subdomains that are biholomorphic to ℂ², but X is not Stein.     

Łojasiewicz exponents and resolution of singularities

We show an effective method to compute the Łojasiewicz exponent of an arbitrary sheaf of ideals of O_X{\mathcal{O}_X} , where X is a non-singular scheme. This method is based on the algorithm of resolution of singularities.     

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