On the dimension of global sections of adjoint bundles for polarized 3-folds and 4-folds

Let (X,L) be a polarized manifold of dimension n defined over the field of complex numbers. In this paper, we treat the case where n=3 and 4. First we study the case of n=3 and we give an explicit lower bound for h⁰(K_X+L) if κ(X)≥0. Moreover, we show the following: if κ(K_X+L)≥0, then h⁰(K_X+L)>0 unless κ(X)=−∞ and h¹(O_X)=0. This gives us a partial answer of Effective Non-vanishing Conjecture for polarized 3-folds. Next for n=4 we investigate the dimension of H⁰(K_X+mL) for m≥2. If n=4 and κ(X)≥0, then a lower bound for h⁰(K_X+mL) is obtained. We also consider a conjecture of Beltrametti-Sommese for 4-folds and we can prove that this conjecture is true unless κ(X)=−∞ and h¹(O_X)=0. Furthermore we prove the following: if (X,L) is a polarized 4-fold with κ(X)≥0 and h¹(O_X)>0, then h⁰(K_X+L)>0.     

On the sectional invariants of polarized manifolds

Let (X,L) be a polarized manifold of dimension n. In this paper, for any integer i with 0≤i≤n we introduce the notion of the ith sectional invariant of (X,L). We define the ith sectional Euler number e_i(X,L), the ith sectional Betti number b_i(X,L), and the ith sectional Hodge number of type (j,i−j) of (X,L) and we will study some properties of these.     

Normally generated line bundles on general curves, II

Let C be a general curve of genus g≥3. Here we prove that there is a normally generated L∈Pic^d(C) such that h⁰(C,L)=r+1≥4 (i.e. a very ample line bundle which embeds C in P^r as a projectively normal curve) if and only if (r+1)h¹≤g≤r(r−1)/2+2h¹, where h¹?g+r−d=h¹(C,L).     

Complex surfaces polarized by an ample and spanned line bundle of genus three

Let X be a complex connected projective nonsingular algebraic surface endowed with an ample line bundle L, which is spanned by its global sections. Pairs (X, L) as above, with sectional genus g(X, L)=1+(L·(K _X L))/2=3 are classified by means of the main techniques of adjunction theory.     

On non-vanishing of cohomologies of generalized Raynaud polarized surfaces

We consider a family of slightly extended version of Raynaud’s surfaces X over the field of positive characteristic with Mumford-Szpiro type polarizations Z, which have Kodaira non-vanishing H¹(X,Z⁻ⁿ)≠0 for all 1≤n≤N with some N≥1. The surfaces are at least normal but smooth under a special condition. We also give a fairly large family of non-Mumford-Szpiro type polarizations Z_a,b with Kodaira non-vanishing.     

On projectively normal embeddings of generalk-gonal curves

Fix integersg, k andt witht>0,k≥3 andtk<g/2−1. LetX be a generalk-gonal curve of genusg andR∈Pic ^k (X) the uniqueg _k ¹ onX. SetL:=K _X⊗(R ^*)^⊗t.L is very ample. Leth _L:X→P(H ⁰(X, L)^*) be the associated embedding. Here we prove thath _L(X) is projectively normal. Ifk≥4 andtk<g/2−2 the curveh _L(X) is scheme-theoretically cut out by quadrics. The author was partially supported by MURST and GNSAGA of CNR (Italy).     

Discriminant loci of ample and spanned line bundles

Let (X,L,V) be a triplet where X is an irreducible smooth complex projective variety, L is an ample and spanned line bundle on X and V⊆H⁰(X,L) spans L. The discriminant locus D(X,V)⊂|V| is the algebraic subset of singular elements of |V|. We study the components of D(X,V) in connection with the jumping sets of (X,V), generalizing the classical biduality theorem. We also deal with the degree of the discriminant (codegree of (X,L,V)) giving some bounds on it and classifying curves and surfaces of codegree 2 and 3. We exclude the possibility for the codegree to be 1. Significant examples are provided.     

Pluricanonical maps of stable log surfaces

Stable surfaces and their log analogues are the type of varieties naturally occurring as boundary points in moduli spaces. We extend classical results of Kodaira and Bombieri to this more general setting: if (X,Δ)$(X,\mathrm{\Delta })$ is a stable log surface with reduced boundary (possibly empty) and I   is its global index, then 4I(_KX+Δ)$4I(K_X+\mathrm{\Delta })$ is base-point-free and 8I(_KX+Δ)$8I(K_X+\mathrm{\Delta })$ is very ample.     

On holomorphic families of Schrödinger-type operators with singular potentials on manifolds of bounded geometry

We consider a family of Schrödinger-type differential expressions L(κ)=D²+V+κV(1), where κ∈C, and D is the Dirac operator associated with a Clifford bundle (E,∇E) of bounded geometry over a manifold of bounded geometry (M,g) with metric g, and V and V(1) are self-adjoint locally integrable sections of EndE. We also consider the family I(κ)=^*(∇F)∇F+V+κV(1), where κ∈C, and ∇F is a Hermitian connection on a Hermitian vector bundle F of bonded geometry over a manifold of bounded geometry (M,g), and V and V(1) are self-adjoint locally integrable sections of EndF. We give sufficient conditions for L(κ) and I(κ) to have a realization in L²(E) and L²(F), respectively, as self-adjoint holomorphic families of type (B). In the proofs we use Kato's inequality for Bochner Laplacian operator and Weitzenböck formula.     

Fano 3-folds with divisible anticanonical class

We show the nonvanishing of H ⁰(X,−K _X ) for any a Fano 3-fold X for which −K _X is a multiple of another Weil divisor in Cl(X). The main case we study is Fano 3-folds with Fano index 2: that is, 3-folds X with rank Pic(X)=1, -factorial terminal singularities and −K _X  = 2A for an ample Weil divisor A. We give a first classification of all possible Hilbert series of such polarised varieties (X,A) and deduce both the nonvanishing of H ⁰(X,−K _X ) and the sharp bound (−K _X )³≥ 8/165. We find the families that can be realised in codimension up to 4.     

A new topological degree theory for perturbations of the sum of two maximal monotone operators

Let X be an infinite dimensional real reflexive Banach space with dual space X^∗ and G⊂X, open and bounded. Assume that X and X^∗ are locally uniformly convex. Let T:X⊃D(T)→2^X∗ be maximal monotone and strongly quasibounded, S:X⊃D(S)→X^∗ maximal monotone, and C:X⊃D(C)→X^∗ strongly quasibounded w.r.t. S and such that it satisfies a generalized (S₊)-condition w.r.t. S. Assume that D(S)=L⊂D(T)∩D(C), where L is a dense subspace of X, and 0∈T(0),S(0)=0. A new topological degree theory is introduced for the sum T+S+C, with degree mapping d(T+S+C,G,0). The reason for this development is the creation of a useful tool for the study of a class of time-dependent problems involving three operators. This degree theory is based on a degree theory that was recently developed by Kartsatos and Skrypnik just for the single-valued sum S+C, as above.     

Connectivity of iterated line graphs

Let k≥0 be an integer and L^k(G) be the kth iterated line graph of a graph G. Niepel and Knor proved that if G is a 4-connected graph, then κ(L²(G))≥4δ(G)−6. We show that the connectivity of G can be relaxed. In fact, we prove in this note that if G is an essentially 4-edge-connected and 3-connected graph, then κ(L²(G))≥4δ(G)−6. Similar bounds are obtained for essentially 4-edge-connected and 2-connected (1-connected) graphs.     

Hilbert curves of polarized varieties

Let X be a normal Gorenstein complex projective variety. We introduce the Hilbert variety V_X associated to the Hilbert polynomial χ(x₁L₁+?+x_ρL_ρ), where L₁,…,L_ρ is a basis of , ρ being the Picard number of X, and x₁,…,x_ρ are complex variables. After studying general properties of V_X we specialize to the Hilbert curve of a polarized variety (X,L), namely the plane curve of degree dim(X) associated to χ(xK_X+yL). Special emphasis is given to the case of polarized threefolds.     

Higher syzygies of hyperelliptic curves

Let X be a hyperelliptic curve of arithmetic genus g and let f:X→P¹ be the hyperelliptic involution map of X. In this paper we study higher syzygies of linearly normal embeddings of X of degree d≤2g. Note that the minimal free resolution of X of degree ≥2g+1 is already completely known. Let A=f^∗O_P¹(1), and let L be a very ample line bundle on X of degree d≤2g. For , we call the pair (m,d−2m)the factorization type ofL. Our main result is that the Hartshorne-Rao module and the graded Betti numbers of the linearly normal curve embedded by |L| are precisely determined by the factorization type of L.     

The multiplier ideal is a universal test ideal

Abstract

For a canonical threefold X, we know that h ⁰(X, 𝒪 _X (nK _X )) ≥ 1 for a sufficiently large n. When χ(𝒪 _X ) > 0, it is not easy to get such an integer n. Fletcher showed that h ⁰(X, 𝒪 _X (12K _X )) ≥ 1 and h ⁰(X, 𝒪 _X (24K _X )) ≥ 2 when χ(𝒪 _X ) = 1. He inquired about existence of a canonical threefold with given conditions which shows the result sharp. We show that such an example does not exist. Using a different technique, we prove h ⁰(X, 𝒪 _X (12K _X )) ≥ 2.     

On polarized 3-folds (X, L) withg(L)=q(X)+1 andh 0(L)≥4

Let (X, L) be a polarized 3-fold over the complex number field. In [Fk3], we proved thatg(L)≥q(X) ifh ⁰(L)≥2 and moreover we classified (X, L) withh ⁰(L)≥3 andg(L)=q(X), whereg(L) is the sectional genus of (X, L) andq(X)=dimH ¹(O _X ) the irregularity ofX. In this paper we will classify polarized 3-folds (X, L) withh ⁰(L)≥4 andg(L)=q(X)+1 by the method of [Fk3].     

Vanishing viscosity in the plane for vorticity in borderline spaces of Besov type

The existence and uniqueness of solutions to the Euler equations for initial vorticity in BΓ∩Lp₀∩Lp₁ was proved by Misha Vishik, where BΓ is a borderline Besov space parameterized by the function Γ and 1<p₀<2<p₁. Vishik established short time existence and uniqueness when Γ(n)=O(logn) and global existence and uniqueness when . For initial vorticity in BΓ∩L², we establish the vanishing viscosity limit in L²(R²) of solutions of the Navier-Stokes equations to a solution of the Euler equations in the plane, convergence being uniform over short time when Γ(n)=O(logn) and uniform over any finite time when Γ(n)=O(logκn), 0?κ<1, and we give a bound on the rate of convergence. This allows us to extend the class of initial vorticities for which both global existence and uniqueness of solutions to the Euler equations can be established to include BΓ∩L² when Γ(n)=O(logκn) for 0<κ<1.     

Cube structures and intersection bundles

We define the notion of a hypercube structure on a functor between two commutative Picard categories which generalizes the notion of a cube structure on a G_m-torsor over an abelian scheme. We prove that the determinant functor of a relative scheme X/S of relative dimension n is canonically endowed with a (n+2)-cube structure. We use this result to define the intersection bundle I_X/S(L₁,…,L_n+1) of n+1 line bundles on X/S and to construct an additive structure on the functor I_X/S:PIC(X/S)ⁿ⁺¹→PIC(S). Then, we construct the resultant of n+1 sections of n+1 line bundles on X, and the discriminant of a section of a line bundle on X. Finally we study the relationship between the cube structures on the determinant functor and on the discriminant functor, and we use it to prove a polarization formula for the discriminant functor.     

Ropelengths of closed braids

For a link K, let L(K) denote the ropelength of K and let Cr(K) denote the crossing number of K. An important problem in geometric knot theory concerns the bound on L(K) in terms of Cr(K). It is well known that there exist positive constants c₁, c₂ such that for any link K, c₁⋅(Cr(K))^3/4?L(K)?c₂⋅(Cr(K))^3/2. In this paper, we show that any closed braid with n crossings can be realized by a unit thickness rope of length at most of the order O(n6/5). Thus, if a link K admits a closed braid representation in which the number of crossings is bounded by a(Cr(K)) for some constant a?1, then we have L(K)?c⋅(Cr(K))^6/5 for some constant c>0 which only depends on a. In particular, this holds for any link that admits a reduced alternating closed braid representation, or any link K that admits a regular projection in which there are at most O(Cr(K)) crossings and Seifert circles.     

Deformations of the generalised Picard bundle

Let X be a nonsingular algebraic curve of genus g?3, and let M_ξ denote the moduli space of stable vector bundles of rank n?2 and degree d with fixed determinant ξ over X such that n and d are coprime. We assume that if g=3 then n?4 and if g=4 then n?3, and suppose further that n₀, d₀ are integers such that n₀?1 and nd₀+n₀d>nn₀(2g-2). Let E be a semistable vector bundle over X of rank n₀ and degree d₀. The generalised Picard bundle W_ξ(E) is by definition the vector bundle over M_ξ defined by the direct image where U_ξ is a universal vector bundle over X×M_ξ. We obtain an inversion formula allowing us to recover E from W_ξ(E) and show that the space of infinitesimal deformations of W_ξ(E) is isomorphic to H¹(X,End(E)). This construction gives a locally complete family of vector bundles over M_ξ parametrised by the moduli space M(n₀,d₀) of stable bundles of rank n₀ and degree d₀ over X. If (n₀,d₀)=1 and W_ξ(E) is stable for all E∈M(n₀,d₀), the construction determines an isomorphism from M(n₀,d₀) to a connected component M⁰ of a moduli space of stable sheaves over M_ξ. This applies in particular when n₀=1, in which case M⁰ is isomorphic to the Jacobian J of X as a polarised variety. The paper as a whole is a generalisation of results of Kempf and Mukai on Picard bundles over J, and is also related to a paper of Tyurin on the geometry of moduli of vector bundles.