Maximal Subsheaves of Torsion-Free Sheaves on Nodal Curves

Let Y be a reduced irreducible projective curve of arithmeticgenus g 2 with at most ordinary nodes as singularities. Fora subsheaf F of rank r', degree d' of a torsion-free sheaf Eof rank r, degree d, let s(E,F) = r'd-rd'. Define s_r'(E) = mins(E,F), where the minimum is taken over all subsheaves of Eof rank r'. For a fixed r', s_r' defines a stratification ofthe moduli space U(r,d) of stable torsion-free sheaves of rankr, degree d by locally closed subsets U_r',s. We study the nonemptinessand dimensions of the strata. We show that the general elementin each nonempty stratum is a vector bundle and it has onlyfinitely many (respectively unique) maximal subsheaves of rankr' for s r'(r-r')(g – 1) (respectively s < r'(r-r')(g– 1)). We prove that the tensor product of two generalstable vector bundles on an irreducible nodal curve Y is nonspecial.     

Reduction of CalderON Commutators

Let A₁,..., A_n be Lipschitz functions on R such that A'₁,...,A'_nVMO. We show that on any bounded interval, the Calderóncommutator associated with the kernel (A₁(x)–A₁(y)) ...(A_n(x) – A_n(y))/(x–y) ⁿ¹ is a compact perturbationof , where H is the Hilberttransform. 1991 Mathematics Subject Classification 47B38, 47B47,47G10, 45E99.     

Cocroissance Des Groupes A Petite Simplification

Let be a group presented by e₁,...,e_m|r₁,...,r_k, L the freegroup generated by e₁,...,e_m, and N = Ker(L). Let c_n be thenumber of elements of length n in N. We know that c = lim sup(c_n)^1/n exists and that (2m–1) < c 2m – 1. ifN {1}. We prove that if the group satisfies a condition slightlyweaker than the small cancellation condition C^'() with <1/6, then c(2m–1) when the lengths of the relations r_itend to infinity. A consequence of this result is a theoremof Grigorchuk.     

Best Approximation in an Asymmetrically Weighted L1 Measure

Let f(x) be a given, real-valued, continuous function definedon an interval [a,b]of the real line. Given a set of m real-valued,continuous functions _j(x) defined on [a,b], a linear approximatingfunction can be formed with any real setA = {a₁, a₂,..., a_m}. We present results for determining A sothat F(A, x) is a best approximation to(x) when the measureof goodness of approximation is a weighted sum of |F(A, x)–f(x)|,the weights being positive constants, w, when F(A, x) f(x)and w2 otherwise (when w, = w2 = 1, the measure is the L₁, norm).The results are derived from a linear programming formulationof the problem. In particular, we give a theorem which shows when such bestapproximations interpolate the function at fixed ordinates whichare independent of f(x). We show how the fixed points can becalculated and we present numerical results to indicate thatthe theorem is quite robust.     

Lie Powers of Modules for Groups of Prime Order

Let L(V) be the free Lie algebra on a finite-dimensional vectorspace V over a field K, with homogeneous components Lⁿ(V) forn 1. If G is a group and V is a KG-module, the action of Gextends naturally to L(V), and the Lⁿ(V) become finite-dimensionalKG-modules, called the Lie powers of V. In the decompositionproblem, the aim is to identify the isomorphism types of indecomposableKG-modules, with their multiplicities, in unrefinable directdecompositions of the Lie powers. This paper is concerned withthe case where G has prime order p, and K has characteristicp. As is well known, there are p indecomposables, denoted hereby J₁,...,J_p, where J_r has dimension r. A theory is developedwhich provides information about the overall module structureof LV) and gives a recursive method for finding the multiplicitiesof J₁,...,J_p in the Lie powers Lⁿ(V). For example, the theoryyields decompositions of L(V) as a direct sum of modules isomorphiceither to J₁ or to an infinite sum of the form J_r J_{p-1} J_{p-1} ... with r 2. Closed formulae are obtained for the multiplicitiesof J₁,..., J_p in Lⁿ(J_p and Lⁿ(J_{p-1). For r < p-1, the indecomposableswhich occur with non-zero multiplicity in Lⁿ(J_r) are identifiedfor all sufficiently large n. 2000 Mathematical Subject Classification:17B01, 20C20.     

Linear Automorphisms that are Symplectomorphisms

Let K be the field of real or complex numbers. Let (X K²ⁿ,) be a symplectic vector space and take 0 < k < n,N =. Let L₁,...,L_N X be 2k-dimensionallinear subspaces which are in a sufficiently general position.It is shown that if F : X X is a linear automorphism whichpreserves the form ^k on all subspaces L₁,...,L_N, then F is an_k-symplectomorphism (that is, F^* = _k, where ). In particular, if K = R and k is odd then F mustbe a symplectomorphism. The unitary version of this theoremis proved as well. It is also observed that the set A_l,2r ofall l-dimensional linear subspaces on which the form has rank 2r is linear in the Grassmannian G(l,2n), that is, there isa linear subspace L such that A_l,2r = L G(l, 2n). In particular,the set A_l,2r can be computed effectively. Finally, the notionof symplectic volume is introduced and it is proved that itis another strong invariant.     

Morphisms Between Koszul Complexes II

Let K. denote the graded Koszul complex associated to the regularsequence (x₀, ..., x_n) in the graded polynomial ring A = k[x₀,..., x_n], |x_i| = 1 for all i, over an arbitrary field k. Let denote the Koszul complex associated to another regular sequence of homogeneous elements(p₀, ..., p_n) in A. In [5] we have studied ranks of graded chaincomplex morphisms with the property f₀ = id. Let ^k (respectively, '^k) denote the kernelof the Koszul differential d: K_k K_k–1 (respectively,), and let denote the restriction of f_k. The main result wasthat Rank . 1991 MathematicsSubject Classification 13D25.     

Lorentz Spaces Of Vector-Valued Measures

Given a non-atomic, finite and complete measure space (,,µ)and a Banach space X, the modulus of continuity for a vectormeasure F is defined as the function _F(t) = sup_µ(E)t |F|(E)and the space V^p,q(X) of vector measures such that t^–1/p'_F(t) L^q((0,µ()],dt/t) is introduced. It is shown thatV^p,q(X) contains isometrically L^p,q(X) and that L^p,q(X) = V^p,q(X)if and only if X has the Radon–Nikodym property. It isalso proved that V^p,q(X) coincides with the space of cone absolutelysumming operators from L^p',q^' into X and the duality V^p,q(X^*)=(Lp^',q^'(X))^*where 1/p+1/p^'= 1/q+1/q^' = 1. Finally, V^p,q(X) is identifiedwith the interpolation space obtained by the real method (V¹(X),V(X))_1/p^',q. Spaces where the variation of F is replaced bythe semivariation are also considered.     

Error estimates for the approximate solutions of a nonlinear hyperbolic equation given by finite volume schemes

This paper is devoted to the study of an error estimate of thefinite volume, approximation to the solution u L(R_N x R) ofthe equation u_t + div(Vf(u)) = 0, where v is a vector functiondepending on time and space. A 'h' error estimate for an initialvalue in BV(R^N) is shown for a large variety of finite volumemonotonous flux schemes, with an explicit or implicit time discretization.For this purpose, the error estimate is given for the generalsetting of approximate entropy solutions, where the error isexpressed in terms of measures in R^N and R^N x R. The study ofthe implicit schemes involves the study of the existence anduniqueness of the approximate solution. The cases where an 'h'error estimate can be achieved are also discussed.     

Q-Curves and Abelian Varieties of GL2-Type

The relation between Q-curves and certain abelian varietiesof GL₂-type was established by Ribet (‘Abelian varietiesover Q and modular forms’, Proceedings of the KAIST MathematicsWorkshop (1992) 53–79) and generalized to building blocks,the higher-dimensional analogues of Q-curves, by Pyle in herPhD Thesis (University of California at Berkeley, 1995). Inthis paper we investigate some aspects of Q-curves with no complexmultiplication and the corresponding abelian varieties of GL₂-type,for which we mainly use the ideas and techniques introducedby Ribet (op. cit. and ‘Fields of definition of abelianvarieties with real multiplication’, Contemp.\ Math. 174(1994) 107–118). After the Introduction, in Sections 2and 3 we obtain a characterization of the fields where a Q-curveand all the isogenies between its Galois conjugates can be definedup to isogeny, and we apply it to certain fields of type (2,...,2).In Section 4 we determine the endomorphism algebras of all theabelian varieties of GL₂-type having as a quotient a given Q-curvein easily computable terms. Section 5 is devoted to a particularcase of Weil's restriction of scalars functor applied to a Q-curve,in which the resulting abelian variety factors over Q up toisogeny as a product of abelian varieties of GL₂-type. Finally,Section 6 contains examples: we parametrize the Q-curves comingfrom rational points of the modular curves X*N having genuszero, and we apply the results of Sections 2–5 to someof the curves obtained. We also give results concerning theexistence of quadratic Q-curves. 1991 Mathematics Subject Classification:primary 11G05; secondary 11G10, 11G18, 11F11, 14K02.     

One Cubic Diophantine Inequality

Suppose that G(x) is a form, or homogeneous polynomial, of odddegree d in s variables, with real coefficients. Schmidt [15]has shown that there exists a positive integer s₀(d), whichdepends only on the degree d, so that if s s₀(d), then thereis an x Z^s\{0} satisfying the inequality |G(x)|<1. (1) In other words, if there are enough variables, in terms of thedegree only, then there is a nontrivial solution to (1). Lets₀(d) be the minimum integer with the above property. In thecourse of proving this important result, Schmidt did not explicitlygive upper bounds for s₀(d). His methods do indicate how todo so, although not very efficiently. However, in fact muchearlier, Pitman [13] provided explicit bounds in the case whenG is a cubic. We consider a general cubic form F(x) with realcoefficients, in s variables, and look at the inequality |F(x)|<1. (2) Specifically, Pitman showed that if s(1314)²⁵⁶–1, (3) then inequality (2) is non-trivially soluble in integers. Wepresent the following improvement of this bound.     

The Numerical Calculation of Odd-degree Polynomial Splines with Equi-spaced Knots

Constructive equations for polynomial splines of odd-degree2r+1 with knots x₁ = x₀+ih, i = 0(1)n are formulated in termsof even-order derivatives, odd-order derivatives being givenby explicit formulae which are shown to be identical with truncatedTaylor series expansions of the same form. The defining equationsare written in a manner which reveals a strong connection withthe well-known Numerov formula. Solution of the equations byblock iterative methods is considered for the case when evenderivatives are specified at x = x₀ and x_n. Block Jacobi andblock Gauss—Seidel iteration are shown to be convergentfor all positive r and optimum acceleration parameters for blockS.O.R. are given for r = 2(1)6. It is shown that distinct computationaladvantages result from relaxing the condition for a true splinefit and considering instead a truncated spline of higher order.     

Conformal Versus Topological Conjugacy of Automorphisms on Compact Riemann Surfaces

We produce a family of algebraic curves (closed Riemann surfaces)S admitting two cyclic groups H₁ and H₂ of conformal automorphisms,which are topologically (but not conformally) conjugate andsuch that S/H_i is the Riemann sphere . The relevance of thisexample is that it shows that the subvarieties of moduli spaceconsisting of points parametrizing curves which occur as cycliccoverings (of a fixed topological type) of need not be normal.1991 Mathematics Subject Classification 14H10, 30F10.     

Best Approximation with Coefficient Constraints

For given = (₁,..., _n) and ß = (ß₁,...,ß_n), with – _i < ß_i (i = 1, ...,n) and continuous functions u₁,...,u_n, set This paper is concerned with best approximating continuous functions,in the uniform norm, from U(; ß). We exactly characterizethe u₁,..., u_n for which the best approximant to every continuousfunction is unique. We also present a general theorem characterizingall best approximants. When (u₁,..., u_n) is a Descartes, ora weak Descartes, system on [0, 1], explicit characterizationsof the best approximants in terms of equioscillations are given.These results are applied to spline spaces. They are also usedto complete the characterizations in certain specific examplespreviously considered in the literature.     

On the Genus of a Finite Classical Group

Let G be a finite group acting faithfully and transitively ona set of size m, and let E = {x₁, ..., x_k} be a generatingset for G with x₁x₂...x_k = 1. If x G has cycles of length r₁,..., r_l in its action on , define . Then the genus g = g(G, , E) is defined by 1991 Mathematics Subject Classification 20B25, 20G40,30F99.     

Completing an Edge-Colouring of K2m with Kr and Independent Edges Precoloured

Those (2m–1)-edge-colourings of a spanning subgraph ofK_2m, consisting of K_r and independent edges, that can be embeddedin a (2m-1)-edge-colouring of K_2m are characterised.     

Asymptotic Estimates for the Number of Contingency Tables, Integer Flows, and Volumes of Transportation Polytopes

We prove an asymptotic estimate for the number of m x n non-negativeinteger matrices (contingency tables) with prescribed row andcolumn sums and, more generally, for the number of integer-feasibleflows in a network. Similarly, we estimate the volume of thepolytope of m x n non-negative real matrices with prescribedrow and column sums. Our estimates are solutions of convex optimizationproblems, and hence can be computed efficiently. As a corollary,we show that if row sums R = (r₁, ..., r_m) and column sums C= (c₁, ..., c_n) with r₁ + + r_m = c₁ + + c_n = Nare sufficientlyfar from constant vectors, then, asymptotically, in the uniformprobability space of the m x nnon-negative integer matriceswith the total sum N of entries, the event consisting of thematrices with row sums R and the event consisting of the matriceswith column sums C are positively correlated.     

Random Sequences Interpolating with Probability One

Let {_n} be a sequence of independent random variables uniformlydistributed on [0, 2], and let {r_n} be a sequence of (deterministic)radii in [0, 1). Form points of the unit disc putting z_n = r_ne_n.We characterize those sequences {r_n} for which {z_n} is an interpolatingsequence with probability one.     

On Ritt's Factorization of Polynomials

Ritt has shown that any complex polynomial p can be writtenas the composition of polynomials p₁,...,p_m, where each p_j isprime in the sense that it cannot be written as a non-trivialcomposition of polynomials. The factors p_j are not unique butthe number m of them is, as is the set of the degrees of thep_j. The paper extends Ritt's theory and, in particular, a thirdinvariant of the decomposition is introduced.