Stratification of the Hilbert scheme of space curves with a stable normal bundle

Ford≥3g and 1≤s≤[g/2], we study the strataN _{d, g(s)} of degreed genusg spaces curvesC whose normal bundleN _C is stable with stability degree (integer of Lange-Narasimhan) σ(N _C)=2s. We prove thatN _{d, g(s)} has an irreducible component of the right dimension whose general curve has a normal bundle with the right number of maximal subbundles. We consider also the semi-stable case (s=0), obtaining similar results. We prove our results by studying the normal bundles of reducible curves and their deformations. Both authors were partially supported by MIUR and GNSAGA of INdAM (Italy).     

Curves without plane model of small degree

Let C be a smooth irreducible projective curve of genus g > 0 and s_C (2) the minimal degree of plane models of C. Clearly, s_C (2) ≤ g + 2. Our main result is: s_C (2) = g + 2 – t (for some integer t ≥ 0) implies that C is a double cover of a curve of genus at most t provided that g is not too small with respect to t. For small t we can be more precise. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

On the number of Galois points for a plane curve in positive characteristic,III

We consider the following problem: For a smooth plane curve C of degree d ≥ 4 in characteristic p > 0, determine the number δ(C) of inner Galois points with respect to C. This problem seems to be open in the case where d ≡ 1 mod p and C is not a Fermat curve F(p ^e  + 1) of degree p ^e  + 1. When p ≠ 2, we completely determine δ(C). If p = 2 (and C is in the open case), then we prove that δ(C) = 0, 1 or d and δ(C) = d only if d−1 is a power of 2, and give an example with δ(C) = d when d = 5. As an application, we characterize a smooth plane curve having both inner and outer Galois points. On the other hand, for Klein quartic curve with suitable coordinates in characteristic two, we prove that the set of outer Galois points coincides with the one of \mathbbF₂{\mathbb{F}_{2}} -rational points in \mathbbP²{\mathbb{P}^{2}}.     

Remarks on the nef cone on symmetric products of curves

Let C be a very general curve of genus g and let C ⁽²⁾ be its second symmetric product. This paper concerns the problem of describing the convex cone of all numerically effective -divisors classes in the Néron–Severi space . In a recent work, Julius Ross improved the bounds on in the case of genus five. By using his techniques and by studying the gonality of the curves lying on C ⁽²⁾, we give new bounds on the nef cone of C ⁽²⁾ when C is a very general curve of genus 5 ≤ g ≤ 8. This work has been partially supported by (1) PRIN 2007 “Spazi di moduli e teorie di Lie”; (2) Indam (GNSAGA); (3) FAR 2008 (PV) “Varietá algebriche, calcolo algebrico, grafi orientati e topologici”.     

Existence of <Emphasis Type="Italic">g</Emphasis><Superscript>1</Superscript><Subscript><Emphasis Type="Italic">g</Emphasis>–2</Subscript>’s on a double covering of a hyperelliptic curve

Abstract Let X be a non–hyperelliptic curve of genus g which is a double covering of a hyperelliptic curve C of genus h. In this paper, we prove that, if h≥ 3 and g≥ 4h+5, then X admits a complete, base point free g¹_g–2. Moreover, if h=3, this result holds under the mild condition g≥ 4h+3=15. Keywords: Double covering of hyperelliptic curves, Pencil of degree g–2 Mathematics Subject Classification (2000:) 14H30, 14H45     

Delsarte Set Graphs with Small c 2

Let Γ be a Delsarte set graph with an intersection number c ₂ (i.e., a distance-regular graph with a set ${\mathcal{C}}Let Γ be a Delsarte set graph with an intersection number c ₂ (i.e., a distance-regular graph with a set C{\mathcal{C}} of Delsarte cliques such that each edge lies in a positive constant number n_C{n_{\mathcal{C}}} of Delsarte cliques in C{\mathcal{C}}). We showed in Bang et al. (J Combin 28:501–506, 2007) that if ψ ₁ > 1 then c ₂ ≥ 2 ψ ₁ where y₁:=|G₁(x)?C |{\psi_1:=|\Gamma_1(x)\cap C |} for x ? V(G){x\in V(\Gamma)} and C a Delsarte clique satisfying d(x, C) = 1. In this paper, we classify Γ with the case c ₂ = 2ψ ₁ > 2. As a consequence of this result, we show that if c ₂ ≤ 5 and ψ ₁ > 1 then Γ is either a Johnson graph or a folded Johnson graph [`(J)](4s,2s){\overline{J}(4s,2s)} with s ≥ 3.     

Analytic Continuation of Dirichlet Series with Almost Periodic Coefficients

We consider Dirichlet series z_g,a(s)=?_n=1^￥ g(na) e^{-l_n s}{\zeta_{g,\alpha}(s)=\sum_{n=1}^\infty g(n\alpha) e^{-\lambda_n s}} for fixed irrational α and periodic functions g. We demonstrate that for Diophantine α and smooth g, the line Re(s) = 0 is a natural boundary in the Taylor series case λ _n  = n, so that the unit circle is the maximal domain of holomorphy for the almost periodic Taylor series ?_n=1^￥ g(na) zⁿ{\sum_{n=1}^{\infty} g(n\alpha) z^n}. We prove that a Dirichlet series z_g,a(s) = ?_n=1^￥ g(n a)/n^s{\zeta_{g,\alpha}(s) = \sum_{n=1}^{\infty} g(n \alpha)/n^s} has an abscissa of convergence σ ₀ = 0 if g is odd and real analytic and α is Diophantine. We show that if g is odd and has bounded variation and α is of bounded Diophantine type r, the abscissa of convergence σ ₀ satisfies σ ₀ ≤ 1 − 1/r. Using a polylogarithm expansion, we prove that if g is odd and real analytic and α is Diophantine, then the Dirichlet series ζ _g,α (s) has an analytic continuation to the entire complex plane.     

Indices of hyperelliptic curves over p-adic fields

Let k be a p-adic field of odd residue characteristic and let C be a hyperelliptic (or elliptic) curve defined by the affine equation Y ²=h(X). We discuss the index of C if h(X)=ɛf(X), where ɛ is either a non-square unit or a uniformising element in O _k and f(X) a monic, irreducible polynomial with integral coefficients. If a root θ of f generates an extension k(θ) with ramification index a power of 2, we completely determine the index of C in terms of data associated to θ. Theorem 3.11 summarizes our results and provides an algorithm to calculate the index for such curves C. Received: 14 July 1997 / Revised version: 16 February 1998     

Linear series on a general k-gonal curve

This paper is a contribution towards a Brill-Noether theory for the moduli space of smooth &-gonal curves of genusg. Specifically, we prove the existence of certain special divisors on a generalk-gonal curveC of genusg, and we detect an irreducible component of the “expected” dimension in the varietyW ^r _d (C), (r ≤k — 2) of special divisors ofC. The latter induces a new proof of the existence theorem for special divisors on a smooth curve.     

The geometry of whips

In this article, we study geometric aspects of the space of arcs parameterized by unit speed in the L ² metric. Physically, this corresponds to the motion of a whip, and it also arises in studying shape recognition. The geodesic equation is the nonlinear, nonlocal wave equation η _tt = ∂ _s (σ η _s ), with \lvert h_s\rvert o 1{\lvert \eta_{s}\rvert\equiv 1} and σ given by s_ss- \lvert h_ss\rvert² s = -\lvert h_st\rvert²{\sigma_{ss}- \lvert \eta_{ss}\rvert^2 \sigma = -\lvert \eta_{st}\rvert^2}, with boundary conditions σ(t, 1) = σ(t, −1) = 0 and η(t, 0) = 0. We prove that the space of arcs is a submanifold of the space of all curves, that the orthogonal projection exists but is not smooth, and as a consequence we get a Riemannian exponential map that is continuous and even differentiable but not C ¹. This is related to the fact that the curvature is positive but unbounded above, so that there are conjugate points at arbitrarily short times along any geodesic.     

The gonality of smooth curves with plane models

LetC be the normalization of an integral plane curve of degreed with δ ordinary nodes or cusps as its singularities. If δ=0, then Namba proved that there is no linear seriesg _d ^−2/1 and that everyg _d ^−1/1 is cut out by a pencil of lines passing through a point onC. The main purpose of this paper is to generalize his result to the case δ>0. A typical one is as follows: Ifd≥2(k+1), and δ<kd−(k+1)²+3 for somek>0, thenC has no linear seriesg _d ^−3/1 . We also show that ifd≥2k+3 and δ<kd−(k+1)²+2, then each linear seriesg _d ^−2/1 onC is cut out by a pencil of lines. We have similar results forg _d ^−1/1 andg _2d ^−9/1 . Furthermore, we also show that all of our theorems are sharp.     

Coboundaries of irreducible markov operators onC(K)

LetK be a compact Hausdorff space, and letT be an irreducible Markov operator onC(K). We show that ifgεC(K) satisfies sup _N ‖Σ _j ^=0N T ^j g‖<∞, then (and only then) there existsfεC(K) with (I − T)f=g. Generalizing the result to irreducible Markov operator representations of certain semi-groups, we obtain that bounded cocycles are (continuous) coboundaries. For minimal semi-group actions inC(K), no restriction on the semi-group is needed.     

On the size of the Jacobians of curves over finite fields

Abdract  Given a smooth curve of genus g ≥ 1 which admits a smooth projective embedding of dimension m over the ground field of q elements, we obtain the asymptotic formula q ^g+o(g) for the size of set of the -rational points on its Jacobian in the case when m and q are bounded and g → ∞. We also obtain a similar result for curves of bounded gonality. For example, this applies to the Jacobian of a hyperelliptic curve of genus g → ∞.      

Capturing Ridge Functions in High Dimensions from Point Queries

Constructing a good approximation to a function of many variables suffers from the “curse of dimensionality”. Namely, functions on ℝ ^N with smoothness of order s can in general be captured with accuracy at most O(n ^−s/N ) using linear spaces or nonlinear manifolds of dimension n. If N is large and s is not, then n has to be chosen inordinately large for good accuracy. The large value of N often precludes reasonable numerical procedures. On the other hand, there is the common belief that real world problems in high dimensions have as their solution, functions which are more amenable to numerical recovery. This has led to the introduction of models for these functions that do not depend on smoothness alone but also involve some form of variable reduction. In these models it is assumed that, although the function depends on N variables, only a small number of them are significant. Another variant of this principle is that the function lives on a low dimensional manifold. Since the dominant variables (respectively the manifold) are unknown, this leads to new problems of how to organize point queries to capture such functions. The present paper studies where to query the values of a ridge function f(x)=g(a⋅x) when both a∈ℝ ^N and g∈C[0,1] are unknown. We establish estimates on how well f can be approximated using these point queries under the assumptions that g∈C ^s [0,1]. We also study the role of sparsity or compressibility of a in such query problems.     

Pencils on double coverings of curves

Let X be a smooth curve of genus g. When and d ≥ π−2g+1 we show the existence of a double covering where C a smooth curve of genus π with a base-point-free pencil of degree d which is not the pull-back of a pencil on X. Received: 7 February 2007; Revised: 1 July 2008     

A class of optimal linear codes of length one above the Griesmer bound

In this paper, we determine the smallest lengths of linear codes with some minimum distances. We construct a [g _q (k, d) + 1, k, d] _q code for sq ^k-1 − sq ^k-2 − q ^s  − q ² + 1 ≤ d ≤ sq ^k-1 − sq ^k-2 − q ^s with 3 ≤ s ≤ k − 2 and q ≥ s + 1. Then we get n _q (k, d) = g _q (k, d) + 1 for (k − 2)q ^k-1 − (k − 1)q ^k-2 − q ² + 1 ≤ d ≤ (k − 2)q ^k-1 − (k − 1)q ^k-2, k ≥ 6, q ≥ 2k − 3; and sq ^k-1 − sq ^k-2 − q ^s  − q + 1 ≤ d ≤ sq ^k-1 − sq ^k-2 − q ^s , s ≥ 2, k ≥ 2s + 1 and q ≥ 2s − 1. This work was partially supported by the Com²MaC-SRC/ERC program of MOST/KOSEF (grant ^# R11-1999-054) and was partially supported by the Korea Research Foundation Grant funded by the Korean Government(MOEHRD)(KRF-2005-214-C00175).     

Maximal line subbundles of stable bundles of rank 2 over an algebraic curve

Let E be a vector bundle of rank 2 over an algebraic curve X of genus g ≥ 2. In this paper, we prove that E is determined by its maximal line subbundles if it is general. By restudying the results of Lange and Narasimhan which relates the maximal line subbundles with the secant varieties of X, we observe that the proof can be reduced to proving some cohomological conditions satisfied by the maximal line subbundles. By noting the similarity between these conditions and the notion of very stable bundles, we get the result for the case when E has Segre invariant s(E) = g. Also by using the elementary transformation, we have the result for the case s(E) = g−1. I. Choe and J. Choy were supported by KOSEF (R01-2003-000-11634-0) and S. Park was supported by Korea Research Foundation Grant funded by Korea Government(MOEHRD, Basic Research Promotion Fund) (KRF-2005-070-C00005)     

The genus of space curves

LetC be a curve contained in ℙ _k ³ (k of any characteristic), which is locally Cohen-Macaulay, not contained in a plane and of degreed. We prove thatp _a (C)≤≤((d−2)(d−3))/2. Moreover we show existence of curves with anyd, p _a satisfying this inequality and we characterize those curves for which equality holds.

---

Sunto Si dimostra che seC⊃ℙ _k ³ (k di caratteristica qualunque) é una curva, non piana, localmente Cohen-Macaulay, di gradod, allorap _a (C)≤((d−2)(d−3))/2. Si mostra che questa limitazione è ottimale, e si classificano le curve di genere aritmetico massimale.

     

Weierstrass points on trigonal curves I: The ramification points

LetC be a smooth curve of genusg≥5. Assume thatP is a Weierstrass point onC which first non-gap is equal to 3. The gap sequence atP is completely determinated by numbersn and ε satisfying (g−1)/3≤n≤g/2 and ε is 1 or 2 as follows. Given suchn and ε, the corresponding gap sequence is (1, 2, 4, 5,…, 3n−2, 3n−1, 3n+ε, 3n+3+ε, …, 3(g−n−1)+ε). We say thatP is of then-th kind andP is of type I (resp. II) if ε=1 (resp. 2). Because a curve of genusg≥5 has at most one linear systemg1/3, it follows that the Weierstrass points onC with first non-gap equal to 3 are of the same kind.