Grauert’s line bundle convexity,reduction and Riemann domains

We consider a convexity notion for complex spaces X with respect to a holomorphic line bundle L over X. This definition has been introduced by Grauert and, when L is analytically trivial, we recover the standard holomorphic convexity. In this circle of ideas, we prove the counterpart of the classical Remmert’s reduction result for holomorphically convex spaces. In the same vein, we show that if H⁰(X,L) separates each point of X, then X can be realized as a Riemann domain over the complex projective space Pⁿ, where n is the complex dimension of X and L is the pull-back of O(1).     

On vector bundles over surfaces and Hilbert schemes

Let X be an irreducible smooth projective surface over ${{\mathbb{C}}}$ and Hilb ^d (X) the Hilbert scheme parametrizing the zero-dimensional subschemes of X of length d. Given a vector bundle E on X, there is a naturally associated vector bundle ${{\mathcal{F}}_d(E)}$ over Hilb ^d (X). If E and V are semistable vector bundles on X such that ${{\mathcal{F}}_d(E)}$ and ${{\mathcal{F}}_d(V)}$ are isomorphic, we prove that E is isomorphic to V. A key input in the proof is provided by Biswas and Nagaraj (see [1]).     

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.     

A note on compact Kähler manifolds with nef tangent bundles

In this paper, we study the compact Kähler manifolds whose tangent bundles are numerically effective and whose anti-Kodaira dimensions are equal to one. LetX be a compact Kähler manifold with nef tangent bundle and semiample anti-canonical bundle. We prove that κ(?K _X )=1 if and only if there exists a finite étale coverY→X such thatY??¹×A, whereA is a complex torus. As a consequence, we are able to improve upon a result of T. Fujiwara [3, 4].     

Abelianization of the <Emphasis Type="Italic">F</Emphasis>-divided fundamental group scheme

Let (X , x ₀) be a pointed smooth proper variety defined over an algebraically closed field. The Albanese morphism for (X , x ₀) produces a homomorphism from the abelianization of the F-divided fundamental group scheme of X to the F-divided fundamental group of the Albanese variety of X. We prove that this homomorphism is surjective with finite kernel. The kernel is also described.     

Remarks on Ramanujam-Kawamata-Viehweg Vanishing Theorem

In this article we prove a general result on a nef vector bundle E on a projective manifold X of dimension n depending on the vector space H^n,n(X,E): It is also shown that H^n,n(X,E) = 0 for an indecomposable nef rank 2 vector bundles E on some specific type of n dimensional projective manifold X. The same vanishing shown to hold for indecomposable nef and big rank 2 vector bundles on any variety with trivial canonical bundle.     

On the singularities of foliations and of vector bundle maps

LetF be a (smooth) Γ _q ^∞ -stucture (often called a codimension-q Haefliger structure) on a compact manifoldX ⁿ . Cohomological invariants associated to the singularities ofF are defined whose vanishing is shown to be a necessary condition for deformingF to a codimension-q foliation onX ⁿ . An analagous approach to vector bundle maps is then utilized to prove a general theorem concerning the possibility of embedding a vector bundle in the tangent bundle ofX ⁿ , and applications to the planefield problem are given. In the final section geometric realizations of the singularity classes associated toF are constructed.     

On the Brauer group of the product of a torus and a semisimple algebraic group

Let T be a torus (not assumed to be split) over a field F, and denote by nH _et ² (X,{ie375-1}) the subgroup of elements of the exponent dividing n in the cohomological Brauer group of a scheme X over the field F. We provide conditions on X and n for which the pull-back homomorphism nH _et ² (T,{ie375-2}) → _n H _et ² (X × _F T, {ie375-3}) is an isomorphism. We apply this to compute the Brauer group of some reductive groups and of non-singular affine quadrics. Apart from this, we investigate the p-torsion of the Azumaya algebra defined Brauer group of a regular affine scheme over a field F of characteristic p > 0.     

Riemann-measurable selections

LetX be a Polish space equipped with a σ-finite regular Borel measure μ. IfE is a metric space andF a set-valued function:X → 2 ^E with complete values, and ifF is lower semicontinuous at almost all points ofX, we prove that there exists a Riemann-measurable selections ofF.     

Determinant Bundle Over the Universal Moduli Space of Principal Bundles Over the Teichmüller Space

For a Riemann surface X and the moduli of regularly stable G-bundles M, there is a naturally occuring “adjoint” vector bundle over X × M. One can take the determinant of this vector bundle with respect to the projection map onto M. Our aim here is to study the curvature of the determinant bundle as the conformal structure on X varies over the Teichmüller space.     

Generalized Angles in Ptolemaic Möbius Structures

We show that each Ptolemaic semimetric is Möbius-equivalent to a bounded metric. Introducing generalized angles in Ptolemaic Möbius structures, we study the class of multivalued mappings F: X → 2Y with a lower bound on the distortion of generalized angles. We prove that the inverse mapping to the coordinate function of a quasimeromorphic automorphism of ?? ⁿ lies in this class.     

Generalization of Peternell, Le Potier and Schneider vanishing theorem

In this article we give a vanishing result for Dolbeault cohomology groups ${H^{p,q}(X, S^{\nu}E\otimes L)}$ , where ?? is a positive integer, E is a vector bundle generated by sections and L is an ample line bundle on a smooth projective variety X. We also give a condition for H ^p,q (X, S ^?? E) to vanish when E is s-ample and generated by sections. We also give an application related to a result of Barth-Lefschetz type. A general nonvanishing result under the same hypothesis is given to prove the optimality of the vanishing result for some parameter values.     

Weakly complex Einstein-Finsler vector bundle

Let (E, F) be a complex Finsler vector bundle over a compact Kähler manifold (M, g) with Kähler form Φ. We prove that if (E, F) is a weakly complex Einstein-Finsler vector bundle in the sense of Aikou (1997), then it is modeled on a complex Minkowski space. Consequently, a complex Einstein-Finsler vector bundle (E, F) over a compact Kähler manifold (M, g) is necessarily Φ-semistable and (E, F) = (E₁, F₁) ? · · · ? (Ek; Fk); where F _j := F |E _j , and each (E _j , F _j ) is modeled on a complex Minkowski space whose associated Hermitian vector bundle is a Φ-stable Einstein-Hermitian vector bundle with the same factor c as (E, F).     

On compact splitting complex submanifolds of quotients of bounded symmetric domains

We study compact complex submanifolds S of quotient manifolds X = ?/Γ of irreducible bounded symmetric domains by torsion free discrete lattices of automorphisms, and we are interested in the characterization of the totally geodesic submanifolds among compact splitting complex submanifolds S ? X, i.e., under the assumption that the tangent sequence over S splits holomorphically. We prove results of two types. The first type of results concerns S ? X which are characteristic complex submanifolds, i.e., embedding ? as an open subset of its compact dual manifold M by means of the Borel embedding, the non-zero(1, 0)-vectors tangent to S lift under a local inverse of the universal covering map π : ? → X to minimal rational tangents of M.We prove that a compact characteristic complex submanifold S ? X is necessarily totally geodesic whenever S is a splitting complex submanifold. Our proof generalizes the case of the characterization of totally geodesic complex submanifolds of quotients of the complex unit ball Bnobtained by Mok(2005). The proof given here is however new and it is based on a monotonic property of curvatures of Hermitian holomorphic vector subbundles of Hermitian holomorphic vector bundles and on exploiting the splitting of the tangent sequence to identify the holomorphic tangent bundle TSas a quotient bundle rather than as a subbundle of the restriction of the holomorphic tangent bundle TXto S. The second type of results concerns characterization of total geodesic submanifolds among compact splitting complex submanifolds S ? X deduced from the results of Aubin(1978)and Yau(1978) which imply the existence of K¨ahler-Einstein metrics on S ? X. We prove that compact splitting complex submanifolds S ? X of sufficiently large dimension(depending on ?) are necessarily totally geodesic. The proof relies on the Hermitian-Einstein property of holomorphic vector bundles associated to TS,which implies that endomorphisms of such bundles are parallel, and the construction of endomorphisms of these vector bundles by means of the splitting of the tangent sequence on S. We conclude with conjectures on the sharp lower bound on dim(S) guaranteeing total geodesy of S ? X for the case of the type-I domains of rank2 and the case of type-IV domains, and examine a case which is critical for both conjectures, i.e., on compact complex surfaces of quotients of the 4-dimensional Lie ball, equivalently the 4-dimensional type-I domain dual to the Grassmannian of 2-planes in C~4.     

Dimension scales of bicompacta

We introduce the notion of a (stable) dimension scale d-sc(X) of a space X, where d is a dimension invariant. A bicompactum X is called dimensionally unified if dim F = dim_G F for every closed F ? X and for an arbitrary abelian group G. We prove that there exist dimensionally unified bicompacta with every given stable scale dim-sc.     

On a question of Sean Keel

Let X be a smooth projective surface defined over , and let L be a line bundle over X such that for every complete curve Y contained in X. A question of Keel asks whether L is ample. If X is a P¹-bundle over a curve, we prove that this question has an affirmative answer.     

Kähler structure on moduli spaces of principal bundles

Let M be a moduli space of stable principal G-bundles over a compact Kähler manifold (X,ωX), where G is a reductive linear algebraic group defined over C. Using the existence and uniqueness of a Hermite-Einstein connection on any stable G-bundle P over X, we have a Hermitian form on the harmonic representatives of H¹(X,ad(P)), where ad(P) is the adjoint vector bundle. Using this Hermitian form a Hermitian structure on M is constructed; we call this the Petersson-Weil form. The Petersson-Weil form is a Kähler form, a fact which is a consequence of a fiber integral formula that we prove here. The curvature of the Petersson-Weil Kähler form is computed. Some further properties of this Kähler form are investigated.     

Counting saddle connections in flat surfaces with poles of higher order

We consider smooth moduli spaces of semistable vector bundles of fixed rank and determinant on a compact Riemann surface X of genus at least 3. The choice of a Poincaré bundle for such a moduli space M induces an isomorphism between X and a component of the moduli space of semistable sheaves over M. We prove that \(\dim H^0(M,\, \text {End}({\mathcal {E}})\otimes TM)\,=\, 1\) for any vector bundle \(\mathcal {E}\) on M coming from this component. Furthermore, there are no nonzero integrable co-Higgs fields on \(\mathcal {E}\).     

Some remarks on a game of Telgársky

In [3] R. Telgársky (1975) asked: does the first player have a winning strategy in the game G(F,X×X) if the first player has a winning strategy in the game G(F,X)? I give a positive answer to this question and prove that this result is also true for spaces where the first player has a winning strategy in game G(K,X) where K=1, F, C, for σC if X is P-space and for DC if X is collectionwise-normal space. The last result is related to the Telgársky's (1983) conjecture discussed in [1]. These results are not true for infinite product of spaces.