On Singerman symmetries of a class of Belyi Riemann surfaces

By virtue of the Belyi Theorem an algebraic curve can be defined over the algebraic numbers if and only if the corresponding Riemann surface can be uniformized by a subgroup of a Fuchsian triangle group. Such surfaces are known as Belyi surfaces and an important class of them consists of Riemann surfaces having the so-called large group of automorphisms. Necessary and sufficient algebraic conditions for these surfaces to be symmetric were found by Singerman in the middle of the seventies and, by a recent result of Köck and Singerman, the algebraic numbers above can be chosen to be real if and only if the respective surface is symmetric. The aim of this paper is to give, in similar terms, the formulas for the number of ovals of the corresponding symmetries, which we refer to as the Singerman symmetries.     

On unramified normal coverings of hyperelliptic curves

It is well known that the number of unramified normal coverings of an irreducible complex algebraic curve C with a group of covering transformations isomorphic to Z₂⊕Z₂ is (2^4g−3⋅2^2g+2)/6. Assume that C is hyperelliptic, say . Horiouchi has given the explicit algebraic equations of the subset of those covers which turn out to be hyperelliptic themselves. There are of this particular type. In this article, we provide algebraic equations for the remaining ones.     

Numerical computation of the genus of an irreducible curve within an algebraic set

The common zero locus of a set of multivariate polynomials (with complex coefficients) determines an algebraic set. Any algebraic set can be decomposed into a union of irreducible components. Given a one-dimensional irreducible component, i.e. a curve, it is useful to understand its invariants. The most important invariants of a curve are the degree, the arithmetic genus and the geometric genus (where the geometric genus denotes the genus of a desingularization of the projective closure of the curve). This article presents a numerical algorithm to compute the geometric genus of any one-dimensional irreducible component of an algebraic set.     

Deformations of algebraic curves and integrable nonlinear evolution equations

A brief exposition of applications of the methods of algebraic geometry to systems integrable by the IST method with variable spectral parameters is presented. Usually, theta-functional solutions for these systems are generated by some deformations of algebraic curves. The deformations of algebraic curves are also related with theta-functional solutions of Yang-Mills self-duality equations which contain special systems with a variable spectral parameter as a special reduction. Another important situation in which the deformations of algebraic curves naturally occur is the KdV equation with string-like boundary conditions. Most important concrete examples of systems integrable by the IST method with variable spectral parameter having different properties within a framework of the behavior of moduli of underlying curves, analytic properties of the Baker-Akhiezer functions, and the qualitative behavior of the solutions, are vacuum axially symmetric Einstein equations, the Heisenberg cylindrical magnet equation, the deformed Maxwell-Bloch system, and the cylindrical KP equation.Dedicated to the memory of J.-L. Verdier     

Fibrations by nonsmooth genus three curves in characteristic three

Bertini’s theorem on variable singular points may fail in positive characteristic, as was discovered by Zariski in 1944. In fact, he found fibrations by nonsmooth curves. In this work we continue to classify this phenomenon in characteristic three by constructing a two-dimensional algebraic fibration by nonsmooth plane projective quartic curves, that is universal in the sense that the data about some fibrations by nonsmooth plane projective quartics are condensed in it. Our approach has been motivated by the close relation between it and the theory of regular but nonsmooth curves, or equivalently, nonconservative function fields in one variable. Actually, it also provides an understanding of the interesting effect of the relative Frobenius morphism in fibrations by nonsmooth curves. In analogy to the Kodaira-Néron classification of special fibers of minimal fibrations by elliptic curves, we also construct the minimal proper regular model of some fibrations by nonsmooth projective plane quartic curves, determine the structure of the bad fibers, and study the global geometry of the total spaces.     

An algebraic geometric classification of superintegrable systems in the Euclidean plane

We prove that the set of non-degenerate second order maximally superintegrable systems in the complex Euclidean plane carries a natural structure of a projective variety, equipped with a linear isometry group action. This is done by deriving an explicit system of homogeneous algebraic equations. We then solve these equations and give a detailed analysis of the algebraic geometric structure of the corresponding projective variety. This naturally associates a unique planar line triple arrangement to every superintegrable system, providing a geometric realisation of this variety and an intrinsic labelling scheme. In particular, our results confirm the known classification by independent, purely algebraic means.     

Geometry and algebra of real forms of complex curves

Let Y be a complex algebraic curve and let be the set of all real algebraic curves with complexification , such that the real points divide . We find all such families [Y]. According to Harnak theorem a number of connected components of satisfies by the inequality , where g is the genus of Y. We prove that and these estimates are exact. Received: 15 November 2001; in final form: 28 April 2002/Published online: 2 December 2002     

Hamiltonian / Gauge theoretical Gromov-Witten invariants of toric varieties

We present a purely algebraic approach to the Hamiltonian / Gauge theoretical invariants associated to torus actions on affine spaces. Secondly, we address the issue of computing the invariants: a localization and a genus recursion formula are deduced. Partially supported by: EAGER - European Algebraic Geometry Research Training Network, contract No. HPRN-CT-2000-00099 (BBW).     

Opers and theta functions

We construct natural maps (the Klein and Wirtinger maps) from moduli spaces of semistable vector bundles over an algebraic curve X to affine spaces, as quotients of the nonabelian theta linear series. We prove a finiteness result for these maps over generalized Kummer varieties (moduli space of torus bundles), leading us to conjecture that the maps are finite in general. The conjecture provides canonical explicit coordinates on the moduli space. The finiteness results give low-dimensional parametrizations of Jacobians (in for generic curves), described by 2Θ functions or second logarithmic derivatives of theta.We interpret the Klein and Wirtinger maps in terms of opers on X. Opers are generalizations of projective structures, and can be considered as differential operators, kernel functions or special bundles with connection. The matrix opers (analogues of opers for matrix differential operators) combine the structures of flat vector bundle and projective connection, and map to opers via generalized Hitchin maps. For vector bundles off the theta divisor, the Szegö kernel gives a natural construction of matrix oper. The Wirtinger map from bundles off the theta divisor to the affine space of opers is then defined as the determinant of the Szegö kernel. This generalizes the Wirtinger projective connections associated to theta characteristics, and the associated Klein bidifferentials.     

Lamé operators with finite monodromy—a combinatorial approach

We are describing Lamé differential operators with a full set of algebraic solutions. For each finite group G, we are describing the possible values of the degree parameter n such that the Lamé operator L_n has the projective monodromy group G. The main technical tool is the combinatorics associated to Belyi functions, ideas that we already used in (Rend. Sem. Mat. Univ. Padova 107 (2002) 191-208) for describing the case n=1. We also supply proofs to some finiteness properties conjectured by Baldassarri and by Dwork, and we work out an explicit formula for the number of essentially different Lamé equations when n=2. This approach can be generalized for arbitrary degree n (see (Counting Integral Lamé Equations by Means of Dessins d'Enfants, arXiv:math.CA/0311510) for n integer).     

Abeliants and their application to an elementary construction of Jacobians

The abeliant is a polynomial rule which to each n×n by n+2 array with entries in a commutative ring with unit associates an n×n matrix with entries in the same ring. The theory of abeliants, first introduced in an earlier paper of the author, is simplified and extended here. Now let J be the Jacobian of a nonsingular projective algebraic curve defined over an algebraically closed field. With the aid of the theory of abeliants we obtain explicit defining equations for J and its group law.     

Elliptic solutions of nonlinear integrable equations and related topics

The theory of elliptic solitons for the Kadomtsev-Petviashvili (KP) equation and the dynamics of the corresponding Calogero-Moser system is integrated. It is found that all the elliptic solutions for the KP equation manifest themselves in terms of Riemann theta functions which are associated with algebraic curves admitting a realization in the form of a covering of the initial elliptic curve with some special properties. These curves are given in the paper by explicit formulae. We further give applications of the elliptic Baker-Akhiezer function to generalized elliptic genera of manifolds and to algebraic 2-valued formal groups.Dedicated to the memory of J.-L. Verdier     

Witt equivalence of algebraic function fields over real closed fields

We examine the conditions for two algebraic function fields over real closed fields to be Witt equivalent. We show that there are only two Witt classes of algebraic function fields with a fixed real closed field of constants: real and non-real ones. The first of them splits further into subclasses corresponding to the tame equivalence. This condition has a natural interpretation in terms of both: orderings (the associated Harrison isomorphism maps 1-pt fans onto 1-pt fans), and geometry and topology of associated real curves (the bijection of points is a homeomorphism and these two curves have the same number of semi-algebraically connected components). Finally, we derive some immediate consequences of those theorems. In particular we describe all the Witt classes of algebraic function fields of genus 0 and 1 over the fixed real closed field. Received: 16 February 2000; in final form: 7 December 2000 / Published online: 18 January 2002     

Reduction of structure group of pullbacks of semistable principal bundles

Let C be an irreducible smooth projective curve defined over an algebraically closed field k. Let G be a semisimple linear algebraic group defined over the field k and P⊂G a proper parabolic subgroup. Fix a strictly anti-dominant character χ of P. Let EG be a semistable principal G-bundle over C. If the characteristic of k is positive, then EG is assumed to be strongly semistable. Take any real number ?>0. Then there is an irreducible smooth projective curve defined over k, a nonconstant morphism

     

A rational sextic associated with a Desargues configuration

In this paper we consider a Desargues configuration in the projective plane, i.e. ten points and ten lines, on each line we have three of the points and through each point we have three of the lines. We construct a rational curve of order 6 which has a node at each of the ten points. We have never seen this kind of curve in the literature, but it is well known that for anyn there exists a rational curve of ordern which has [(n–1)(n–2)]/2 nodes and ifn=6 we find a sextic with ten nodes. The purpose of this paper is to obtain a sextic of this kind as a locus of points in connection with special projectivities of the plane associated with the Desargues configuration and to find a rational parametric representation of it. A large part of this paper is done with MACSYMA: it is an application of computer algebra in algebraic geometry. Special cases, where we find a quintic, a quartic or a cubic, are given in the last section.     

Compactification of the universal Picard over the moduli of stable curves

This article provides two different, but closely related, moduli problems, which in characteristic zero provide a type of compactification of the universal Picard over the moduli of stable curves. Although neither is of finite type, both are limits of a sequence of stacks, each of which is a separated algebraic stack of finite type. We discuss relations to previous compactifications and partial compactifications, give a number of examples related to this compactification, and work out the structure of its fibres over certain fixed curves. Some applications are also discussed. Received January 5, 1998; in final form April 1, 1999 / Published online July 3, 2000     

A criterion for the strongly semistable principal bundles over a curve in positive characteristic

Let X be an irreducible smooth projective curve over an algebraically closed field k of positive characteristic and G a simple linear algebraic group over k. Fix a proper parabolic subgroup P of G and a nontrivial anti-dominant character λ of P. Given a principal G-bundle E_G over X, let E_G(λ) be the line bundle over E_G/P associated to the principal P-bundle E_G→E_G/P for the character λ. We prove that E_G is strongly semistable if and only if the line bundle E_G(λ) is numerically effective. For any connected reductive algebraic group H over k, a similar criterion is proved for strongly semistable H-bundles.     

The Poincaré series of multiplier ideals of a simple complete ideal in a local ring of a smooth surface

For a simple complete ideal ℘ of a local ring at a closed point on a smooth complex algebraic surface, we introduce an algebraic object, named Poincaré series P_℘, that gathers in a unified way the jumping numbers and the dimensions of the vector space quotients given by consecutive multiplier ideals attached to ℘. This paper is devoted to prove that P_℘ is a rational function giving an explicit expression for it.