An algebraic formula for the intersection number of a polynomial immersion

An algorithm is presented for computing the topological degree for a large class of polynomial mappings. As an application there is given an effective algebraic formula for the intersection number of a polynomial immersion M→R^2m, where M is an m-dimensional algebraic manifold.     

Cohomology of regular differential forms for affine curves

Let C be a complex affine reduced curve, and denote by H¹(C) its first truncated cohomology group, i.e. the quotient of all regular differential 1-forms by exact 1-forms. First we introduce a nonnegative invariant μ^′(C,x) that measures the complexity of the singularity of C at the point x, and we establish the following formula:

     

Generating sequences and Poincaré series for a finite set of plane divisorial valuations

Let V be a finite set of divisorial valuations centered at a 2-dimensional regular local ring R. In this paper we study its structure by means of the semigroup of values, SV, and the multi-index graded algebra defined by V, grVR. We prove that SV is finitely generated and we compute its minimal set of generators following the study of reduced curve singularities. Moreover, we prove a unique decomposition theorem for the elements of the semigroup. The comparison between valuations in V, the approximation of a reduced plane curve singularity C by families of sets V(k) of divisorial valuations, and the relationship between the value semigroup of C and the semigroups of the sets V(k), allow us to obtain the (finite) minimal generating sequences for C as well as for V.We also analyze the structure of the homogeneous components of grVR. The study of their dimensions allows us to relate the Poincaré series for V and for a general curve C of V. Since the last series coincides with the Alexander polynomial of the singularity, we can deduce a formula of A'Campo type for the Poincaré series of V. Moreover, the Poincaré series of C could be seen as the limit of the series of V(k), k?0.     

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.     

Mixed interpolation methods with arbitrary nodes

Previous work on interpolation by linear combinations of the form aC(x) + bS(x) + ∑_i=0ⁿ⁻²α_ixⁱ, where C and S are given functions and the coefficients a, b, and {α_j} are determined by the interpolation conditions, was restricted to uniformly spaced interpolation nodes. Here we derive both Newtonian and Lagrangian formulae for the interpolant for arbitrarily chosen distinct nodes. In the Newtonian form the interpolating function is expressed as the sum of the interpolating polynomial based on the given nodes and two correction terms involving an auxiliary function for which a recurrence relation is obtained. Each canonical function for the Lagrangian form may be expressed as a product of the corresponding Lagrange polynomial and a function which depends on divided differences of C(x) and S(x).     

On the Lüroth semigroup of curves lying on a smooth quadric

For a smooth irreducible complete algebraic curveC the “gaps” are the integersn such that every linear series of degreen has at least a base point. The Lüroth semigroup S_C of a curveC is the subsemigroup ofN whose elements are not gaps. In this paper we deal with irreducible smooth curves of type (a, b) on a smooth quadricQ. The main result is an algorithm by which we can say if some integer λ∈N is a gap or is in S_C. In the general case there are integers λ which are undecidable. For curves such as complete intersection, arithmetically Cohen-Macaulay or Buchsbaum, we are able to describe explicitly “intervals” of gaps and “intervals” of integers which belong to S_C. For particular cases we can completely determine S_C, by giving just the type of the curve (in particular the degree and the genus). Work done with financial support of M.U.R.S.T. while the authors were members of G.N.S.A.G.A. of C.N.R.     

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.     

Degree of the divisor of solutions of a differential equation on a projective variety

Using the data schemes from [1] we give a rigorous definition of algebraic differential equations on the complex projective space Pⁿ. For an algebraic subvariety S?Pⁿ, we present an explicit formula for the degree of the divisor of solutions of a differential equation on S and give some examples of applications. We extend the technique and result to the real case.     

The Samelson product and rational homotopy for gauge groups

This paper is on the connecting homomorphism in the long exact homotopy sequence of the evaluation fibration ev_p0 :C(P, K) ^K →K, whereC(P, K) ^K is the gauge group of a continuous principalK-bundle. We show that in the case of a bundle over a sphere or a orientable surface the connecting homomorphism is given in terms of the Samelson product. As applications we get an explicit formula for π₂(C(P _k ,K) ^K ), whereP _k denotes the principal S³-bundle over S⁴ of Chern numberk and derive explicit formulae for the rational homotopy groups π _n (C(P,K) ^K )??.     

Separators of points on algebraic surfaces

For a finite set of points X⊆Pⁿ and for a given point P∈X, the notion of a separator of P in X (a hypersurface containing all the points in X except P) and of the degree of P in X, (the minimum degree of these separators) has been largely studied. In this paper we extend these notions to a set of points X on a projectively normal surface S⊆Pⁿ, considering as separators arithmetically Cohen-Macaulay curves and generalizing the case S=P² in a natural way. We denote the minimum degree of such curves as and we study its relation to . We prove that if S is a variety of minimal degree these two terms are explicitly related by a formula, whereas only an inequality holds for other kinds of surfaces.     

Solving polynomial optimization problems via the truncated tangency variety and sums of squares

Let f,g_i,i=1,…,l,h_j,j=1,…,m, be polynomials on Rⁿ and S?{x∈Rⁿ∣g_i(x)=0,i=1,…,l,h_j(x)≥0,j=1,…,m}. This paper proposes a method for finding the global infimum of the polynomial f on the semialgebraic set S via sum of squares relaxation over its truncated tangency variety, even in the case where the polynomial f does not attain its infimum on S. Under a constraint qualification condition, it is demonstrated that: (i) The infimum of f on S and on its truncated tangency variety coincide; and (ii) A sums of squares certificate for nonnegativity of f on its truncated tangency variety. These facts imply that we can find a natural sequence of semidefinite programs whose optimal values converge, monotonically increasing to the infimum of f on S.     

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).     

Double coverings of hyperelliptic real algebraic curves

We consider double and (possibly) branched coverings π:X→X^′ between real algebraic curves where X is hyperelliptic. We are interested in the topology of such coverings and also in describing them in terms of algebraic equations. In this article we completely solve these two problems. We first analyse the topological features and ramification data of such coverings. Second, for each isomorphism class of these coverings we then describe a representative, with defining polynomial equations for X and for X^′, a formula for the involution that generates the covering transformation group, and a rational formula for the covering projection π:X→X^′.     

Elementary transformations of pfaffian representations of plane curves

Let C be a smooth curve in P² given by an equation F=0 of degree d. In this paper we consider elementary transformations of linear pfaffian representations of C. Elementary transformations can be interpreted as actions on a rank 2 vector bundle on C with canonical determinant and no sections, which corresponds to the cokernel of a pfaffian representation. Every two pfaffian representations of C can be bridged by a finite sequence of elementary transformations. Pfaffian representations and elementary transformations are constructed explicitly. For a smooth quartic, applications to Aronhold bundles and theta characteristics are given.     

Some moduli stacks of symplectic bundles on a curve are rational

Let C be a smooth projective curve of genus g?2 over a field k. Given a line bundle L on C, let Sympl2n,L be the moduli stack of vector bundles E of rank 2n on C endowed with a nowhere degenerate symplectic form up to scalars. We prove that this stack is birational to BGm×As for some s if deg(E)=n⋅deg(L) is odd and C admits a rational point P∈C(k) as well as a line bundle ξ of degree 0 with ξ⊗2?OC. It follows that the corresponding coarse moduli scheme of Ramanathan-stable symplectic bundles is rational in this case.     

Lyapunov,Bézout,and Hankel

Given a polynomial f of degree n, we denote by C its companion matrix, and by S the truncated shift operator of order n. We consider Lyapunov-type equations of the form X?SXC=>W and X?CXS=W. We derive some properties of these equations which make it possible to characterize Bezoutian matrices as solutions of the first equation with suitable right-hand sides W (similarly for Hankel and the second equation) and to write down explicit expressions for these solutions. This yields explicit factorization formulae for polynomials in C, for the Schur-Cohn matrix, and for matrices satisfying certain intertwining relations, as well as for Bezoutian matrices.