The compactified Picard scheme of the compactified Jacobian

Let C be an integral projective curve in any characteristic. Given an invertible sheaf L on C of degree 1, form the corresponding Abel map , which maps C into its compactified Jacobian, and form its pullback map , which carries the connected component of 0 in the Picard scheme back to the Jacobian. If C has, at worst, double points, then is known to be an isomorphism. We prove that always extends to a map between the natural compactifications, , and that the extended map is an isomorphism if C has, at worst, ordinary nodes and cusps.     

Estimating the parametric component of nonlinear partial spline model

Consider a nonlinear partial spline model . This article studies the estimation problem of when g₀ is approximated by some graduating function. Some asymptotic results for are derived. In particular, it is shown that can be estimated with the usual parametric convergence rate without undersmoothing g₀.     

Geometric degree of finite extensions of mappings from a smooth variety

Let f:V→W be a finite polynomial mapping of algebraic subsets V,W of and , respectively, with n≤m. It is known that f can be extended to a finite polynomial mapping . Moreover, it is known that, if V,W are smooth of dimension k,4k+2≤n=m, and f is dominated on every component (without vertical components) then there exists a finite polynomial extension such that , where means the number of points in the generic fiber of h. In this note we improve this result. Namely we show that there exists a finite polynomial extension such that .     

The Frobenius map, rank 2 vector bundles and Kummer's quartic surface in characteristic 2 and 3

Let X be a smooth projective curve of genus g?2 defined over an algebraically closed field k of characteristic p>0. Let M_X(r) be the moduli space of semi-stable vector bundles with fixed trivial determinant. The relative Frobenius map induces by pull-back a rational map . We determine the equations of V in the following two cases (1) (g,r,p)=(2,2,2) and X nonordinary with Hasse-Witt invariant equal to 1 (see math.AG/0005044 for the case X ordinary), and (2) (g,r,p)=(2,2,3). We also show the existence of base points of V, i.e., semi-stable bundles E such that F∗E is not semi-stable, for any triple (g,r,p).     

Adjoint divisors on algebraic curves

Let C be a numerically connected curve lying on a smooth algebraic surface. We show that if is an ample invertible sheaf satisfying some technical numerical hypotheses then is normally generated. As a corollary we show that the sheaf ω_C^⊗2 on a numerically connected curve C of arithmetic genus p_a?3 is normally generated if ω_C is ample and does not exist a subcurve B⊂C such that p_a(B)=1=B(C−B).     

Nilpotent orbits and some small unitary representations of indefinite orthogonal groups

For 2?m?l/2, let G be a simply connected Lie group with as Lie algebra, let be the complexification of the usual Cartan decomposition, let K be the analytic subgroup with Lie algebra , and let be the universal enveloping algebra of . This work examines the unitarity and K spectrum of representations in the “analytic continuation” of discrete series of G, relating these properties to orbits in the nilpotent radical of a certain parabolic subalgebra of .The roots with respect to the usual compact Cartan subalgebra are all ±e_i±e_j with 1?i<j?l. In the usual positive system of roots, the simple root e_m−e_m+1 is noncompact and the other simple roots are compact. Let be the parabolic subalgebra of for which e_m−e_m+1 contributes to and the other simple roots contribute to , let L be the analytic subgroup of G with Lie algebra , let , let be the sum of the roots contributing to , and let be the parabolic subalgebra opposite to .The members of are nilpotent members of . The group acts on with finitely many orbits, and the topological closure of each orbit is an irreducible algebraic variety. If Y is one of these varieties, let R(Y) be the dual coordinate ring of Y; this is a quotient of the algebra of symmetric tensors on that carries a fully reducible representation of .For , let . Then λ_s defines a one-dimensional module . Extend this to a module by having act by 0, and define . Let be the unique irreducible quotient of . The representations under study are and , where and Π_S is the Sth derived Bernstein functor.For s>2l−2, it is known that π_s=π_s′ and that π_s′ is in the discrete series. Enright, Parthsarathy, Wallach, and Wolf showed for m?s?2l−2 that π_s=π_s′ and that π_s′ is still unitary. The present paper shows that π_s′ is unitary for 0?s?m−1 even though π_s≠π_s′, and it relates the K spectrum of the representations π_s′ to the representation of on a suitable R(Y) with Y depending on s. Use of a branching formula of D. E. Littlewood allows one to obtain an explicit multiplicity formula for each K type in π_s′; the variety Y is indispensable in the proof. The chief tools involved are an idea of B. Gross and Wallach, a geometric interpretation of Littlewood's theorem, and some estimates of norms.It is shown further that the natural invariant Hermitian form on π_s′ does not make π_s′ unitary for s<0 and that the K spectrum of π_s′ in these cases is not related in the above way to the representation of on any R(Y).A final section of the paper treats in similar fashion the simply connected Lie group with Lie algebra , 2?m?l/2.     

Estimation of location parameters for spherically symmetric distributions

Estimation of the location parameters of a p×1 random vector with a spherically symmetric distribution is considered under quadratic loss. The conditions of Brandwein and Strawderman [Ann. Statist. 19(1991) 1639-1650] under which estimators of the form dominate are (i) where -h is superharmonic, (ii) is nonincreasing in R, where has a uniform distribution in the sphere centered at with a radius R, and (iii) . In this paper, we not only drop their condition (ii) to show the dominance of over but also obtain a new bound for a which is sometimes better than that obtained by Brandwein and Strawderman. Specifically, the new bound of a is 0<a<[μ₁/(p²μ_-1)][1-(p-1)μ₁/(pμ_-1μ₂)]^-1 with for i=-1,1,2. The generalization to concave loss functions is also considered. Additionally, we investigate estimators of the location parameters when the scale is unknown and the observation contains a residual vector.     

Malliavin calculus in abstract Wiener space using infinitesimals

Using infinitesimals, we develop Malliavin calculus on spaces which result from the classical Wiener space by replacing with any abstract Wiener space .We start from a Brownian motion b on a Loeb probability space Ω with values in the Banach space is the standard part of a ∗finite-dimensional Brownian motion B. Then we define iterated Itô integrals as standard parts of internal iterated Itô integrals. The integrator of the internal integrals is B and the values of the integrands are multilinear forms on , where is a ∗finite-dimensional linear space over between the Hilbert space and its ∗-extension .In the first part we prove a chaos decomposition theorem for L²-functionals on Ω that are measurable with respect to the σ-algebra generated by b. This result yields a chaos decomposition of L²-functionals with respect to the Wiener measure on the standard space of -valued continuous functions on [0,1]. In the second part we define the Malliavin derivative and the Skorohod integral as standard parts of internal operators defined on ∗finite-dimensional spaces. In an application we use the transformation rule for finite-dimensional Euclidean spaces to study time anticipating and non-anticipating shifts of Brownian motion by Bochner integrals (Girsanov transformations).     

A moduli scheme of embedded curve singularities

The main purpose of this paper is to prove the existence of the moduli space parameterizing the embedded curve singularities of with an admissible Hilbert polynomial p and to study its basic properties.     

Independence of ? in Lafforgue's theorem

Let X be a smooth curve over a finite field of characteristic p, let ?≠p be a prime number, and let be an irreducible lisse -sheaf on X whose determinant is of finite order. By a theorem of L. Lafforgue, for each prime number ?′≠p, there exists an irreducible lisse -sheaf on X which is compatible with , in the sense that at every closed point x of X, the characteristic polynomials of Frobenius at x for and are equal. We prove an “independence of ?” assertion on the fields of definition of these irreducible ?′-adic sheaves : namely, that there exists a number field F such that for any prime number ?′≠p, the -sheaf above is defined over the completion of F at one of its ?′-adic places.     

On double coverings of hyperelliptic curves

We prove various properties of varieties of special linear systems on double coverings of hyperelliptic curves. We show and determine the irreducibility, generically reducedness and singular loci of the variety for bi-elliptic curves and double coverings of genus two curves. Similar results for double coverings of hyperelliptic curves of genus h≥3 are also presented.