On the zeta function of divisors for projective varieties with higher rank divisor class group

Given a projective variety X defined over a finite field, the zeta function of divisors attempts to count all irreducible, codimension one subvarieties of X, each measured by their projective degree. When the dimension of X is greater than one, this is a purely p-adic function, convergent on the open unit disk. Four conjectures are expected to hold, the first of which is p-adic meromorphic continuation to all of Cp. When the divisor class group (divisors modulo linear equivalence) of X has rank one, then all four conjectures are known to be true. In this paper, we discuss the higher rank case. In particular, we prove a p-adic meromorphic continuation theorem which applies to a large class of varieties. Examples of such varieties are projective nonsingular surfaces defined over a finite field (whose effective monoid is finitely generated) and all projective toric varieties (smooth or singular).     

A criterion for ample vector bundles over a curve in positive characteristic

Let X be a smooth projective curve defined over an algebraically closed field of positive characteristic. We give a necessary and sufficient condition for a vector bundle over X to be ample. This generalizes a criterion given by Lange in [Math. Ann. 238 (1978) 193-202] for a rank two vector bundle over X to be ample.     

Base manifolds for fibrations of projective irreducible symplectic manifolds

Given a projective irreducible symplectic manifold M of dimension 2n, a projective manifold X and a surjective holomorphic map f:M→X with connected fibers of positive dimension, we prove that X is biholomorphic to the projective space of dimension n. The proof is obtained by exploiting two geometric structures at general points of X: the affine structure arising from the action variables of the Lagrangian fibration f and the structure defined by the variety of minimal rational tangents on the Fano manifold X.     

Étale covers of affine spaces in positive characteristicRevêtements étales des espaces affines en caractéristique positive

We prove that every projective, geometrically reduced scheme of dimension n over an infinite field k of positive characteristic admits a finite morphism over some finite radicial extension k′ of k to projective n-space, étale away from the hyperplane H at infinity, which maps a chosen Weil divisor into H and a chosen smooth geometric point of X not on the divisor to some point not in H. To cite this article: K.S. Kedlaya, C. R. Acad. Sci. Paris, Ser. I 335 (2002) 921–926.     

An extension theorem for holomorphic functions of slow growth on covering spaces of projective manifolds

LetX be a projective manifold of dimension n ≥ 2 andY →X an infinite covering space. EmbedX into projective space by sections of a sufficiently ample line bundle. We prove that any holomorphic function of sufficiently slow growth on the preimage of a transverse intersection ofX by a linear subspace of codimension <n extends toY. The proof uses a Hausdorff duality theorem for L₂ cohomology. We also show that every projective manifold has a finite branched covering whose universal covering space is Stein.     

Existence of a non‐reflexive embedding with birational Gauss map for a projective variety

We study the relationship between the generic smoothness of the Gauss map and the reflexivity (with respect to the projective dual) for a projective variety defined over an algebraically closed field. The problem we discuss here is whether it is possible for a projective variety X in ℙ^N to re‐embed into some projective space ℙ^M so as to be non‐reflexive with generically smooth Gauss map. Our result is that the answer is affirmative under the assumption that X has dimension at least 3 and the differential of the Gauss map of X in ℙ^N is identically zero; hence the projective varietyX re‐embedded in ℙ^M yields a negative answer to Kleiman–Piene's question: Does the generic smoothness of the Gauss map imply reflexivity for a projective variety? A Fermat hypersurface in ℙ^N with suitable degree in positive characteristic is known to satisfy the assumption above. We give some new, other examples of X in ℙ^N satisfying the assumption. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Groupe de Chow de codimension deux des variétés définies sur un corps de nombres: un théorème de finitude pour la torsion

Summary LetX be a smooth, projective variety defined over a number field and let CH² (X) denote the Chow group of codimension two cycles modulo rational equivalence. We show that if the cohomology groupH ²(X,O_x) vanishes then the torsion subgroup of CH² (X) is a finite group. This result covers all previous results in this direction. The hypothesisH ²(X,O_x)=0 is used to lift line bundles.

---

---

Oblatum 17-IX-1990     

On the fundamental group-scheme

We show that the fundamental group-scheme of a separably rationally connected variety defined over an algebraically closed field is trivial. Let X be a geometrically irreducible smooth projective variety defined over a finite field k admitting a k-rational point. Let {En,σn}_n?0 be a flat principal G-bundle over X, where G is a reductive linear algebraic group defined over k. We show that there is a positive integer a such that the principal G-bundle is isomorphic to E₀, where FX is the absolute Frobenius morphism of X. From this it follows that E₀ is given by a representation of the fundamental group-scheme of X in G.     

Structure of modules over the stereotype algebra ℒ(X) of operators

It is well known that every module M over the algebra ?(X) of operators on a finite-dimensional space X can be represented as the tensor product of X by some vector space E, M ? = E ? X. We generalize this assertion to the case of topological modules by proving that if X is a stereotype space with the stereotype approximation property, then for each stereotype module M over the stereotype algebra ? (X) of operators on X there exists a unique (up to isomorphism) stereotype space E such that M lies between two natural stereotype tensor products of E by X, $E \circledast X \subseteq M \subseteq E \odot X.$ . As a corollary, we show that if X is a nuclear Fréchet space with a basis, then each Fréchet module M over the stereotype operator algebra ?(X) can be uniquely represented as the projective tensor product of X by some Fréchet space E, $M = E \widehat \otimes X$ .     

On holomorphic immersions into kähler manifolds of constant holomorphic sectional curvature

We study holomorphic immersions f:X →M from a complex manifoldX into a Kähler manifold of constant holomorphic sectional curvatureM, i.e. a complex hyperbolic space form, a complex Euclidean space form, or the complex projective space equipped with the Fubini-Study metric. ForX compact we show that the tangent sequence splits holomorphically if and only iff is a totally geodesic immersion. ForX not necessarily compact we relate an intrinsic cohomological invariantp(X) onX, viz. the invariant defined by Gunning measuring the obstruction to the existence of holomorphic projective connections, to an extrinsic cohomological invariant(f) measuring the obstruction to the holomorphic splitting of the tangent sequence. The two invariantsp(X) and?(f) are related by a linear map on cohomology groups induced by the second fundamental form. In some cases, especially whenX is a complex surface andM is of complex dimension 4, under the assumption thatX admits a holomorphic projective connection we obtain a sufficient condition for the holomorphic splitting of the tangent sequence in terms of the second fundamental form.     

Generalization of a criterion for semistable vector bundles

It is known that a vector bundle E on a smooth projective curve Y defined over an algebraically closed field is semistable if and only if there is a vector bundle F on Y such that both H⁰(X,EF) and H¹(X,EF) vanishes. We extend this criterion for semistability to vector bundles on curves defined over perfect fields. Let X be a geometrically irreducible smooth projective curve defined over a perfect field k, and let E be a vector bundle on X. We prove that E is semistable if and only if there is a vector bundle F on X such that Hⁱ(X,EF)=0 for all i. We also give an explicit bound for the rank of F.     

Unramified Brauer group of the moduli spaces of PGL r (ℂ)-bundles over curves

Let X be an irreducible smooth complex projective curve of genus g, with g ≥ 2. Let N be a connected component of the moduli space of semistable principal PGL _r (?)-bundles over X; it is a normal unirational complex projective variety. We prove that the Brauer group of a desingularization of N is trivial.     

Schauder decompositions and the Fremlin projective tensor product of Banach lattices

In this paper, we first introduce a lattice decomposition and finite-dimensional lattice decomposition (FDLD) for Banach lattices. Then we show that for a Banach lattice with FDLD, the following are equivalent: (i) it has the Radon-Nikodym property; (ii) it is a KB-space; (iii) it is a Levi space; and (iv) it is a σ-Levi space. We then give a sequential representation of the Fremlin projective tensor product of an atomic Banach lattice with a Banach lattice. Using this sequential representation, we show that if one of the Banach lattices X and Y is atomic, then the Fremlin projective tensor product has the Radon-Nikodym property (or, respectively, is a KB-space) if and only if both X and Y have the Radon-Nikodym property (or, respectively, are KB-spaces).     

Opers and theta functions

We construct natural maps (the Klein and Wirtinger maps) from moduli spaces of semistable vector bundles over an algebraic curve X to affine spaces, as quotients of the nonabelian theta linear series. We prove a finiteness result for these maps over generalized Kummer varieties (moduli space of torus bundles), leading us to conjecture that the maps are finite in general. The conjecture provides canonical explicit coordinates on the moduli space. The finiteness results give low-dimensional parametrizations of Jacobians (in for generic curves), described by 2Θ functions or second logarithmic derivatives of theta.We interpret the Klein and Wirtinger maps in terms of opers on X. Opers are generalizations of projective structures, and can be considered as differential operators, kernel functions or special bundles with connection. The matrix opers (analogues of opers for matrix differential operators) combine the structures of flat vector bundle and projective connection, and map to opers via generalized Hitchin maps. For vector bundles off the theta divisor, the Szegö kernel gives a natural construction of matrix oper. The Wirtinger map from bundles off the theta divisor to the affine space of opers is then defined as the determinant of the Szegö kernel. This generalizes the Wirtinger projective connections associated to theta characteristics, and the associated Klein bidifferentials.     

On the ample vector bundles over curves in positive characteristic

Let E be an ample vector bundle over a smooth projective curve defined over an algebraically closed field of positive characteristic. We construct a family of curves in the total space of E, parametrized by an affine space, that surjects onto the total space of E and give a deformation of (nonreduced) zero section of E. To cite this article: I. Biswas, A.J. Parameswaran, C. R. Acad. Sci. Paris, Ser. I 339 (2004).     

On the stability of tangent bundle on double coverings

Let Y be a smooth projective surface defined over an algebraically closed field k with char k≠2, and let π : X →Y be a double covering branched along a smooth divisor. We show that y_X is stable with respect to π~*H if the tangent bundle y_Y is semi-stable with respect to some ample line bundle H on Y.     

Fields of moduli and fields of definition of odd signature curves

Let X be a smooth projective curve of genus ${g \geq 2}$ defined over a field K. We show that X can be defined over its field of moduli K _X if the signature of the covering ${X \rightarrow X/ Aut(X)}$ is of type ${(0;c_1,\dots,c_k)}$ , where some c _i appears an odd number of times. This result is applied to cyclic q-gonal curves and to plane quartics.     

Pseudoconvex domains spread over complex homogeneous manifolds

Using the concept of inner integral curves defined by Hirschowitz we generalize a recent result by Kim, Levenberg and Yamaguchi concerning the obstruction of a pseudoconvex domain spread over a complex homogeneous manifold to be Stein. This is then applied to study the holomorphic reduction of pseudoconvex complex homogeneous manifolds X = G/H. Under the assumption that G is solvable or reductive we prove that X is the total space of a G-equivariant holomorphic fiber bundle over a Stein manifold such that all holomorphic functions on the fiber are constant.