Quantum integrable systems and differential Galois theory

This paper is devoted to a systematic study of quantum completely integrable systems (i.e., complete systems of commuting differential operators) from the point of view of algebraic geometry. We investigate the eigenvalue problem for such systems and the correspondingD-module when the eigenvalues are in generic position. In particular, we show that the differential Galois group of this eigenvalue problem is reductive at generic eigenvalues. This implies that a system is algebraically integrable (i.e., its eigenvalue problem is explicitly solvable in quadratures) if and only if the differential Galois group is commutative for generic eigenvalues. We apply this criterion of algebraic integrability to two examples: finite-zone potentials and the elliptic Calogero-Moser system. In the second example, we obtain a proof of the Chalyh-Veselov conjecture that the Calogero-Moser system with integer parameter is algebraically integrable, using the results of Felder and Varchenko.     

Galois theory over complete local domains

Complete local domains play an important role in commutative algebra and algebraic geometry, and their algebraic properties were already described by Cohen’s structure theorem in 1946. However, the Galois theoretic properties of their quotient fields only recently began to unfold. In 2005 Harbater and Stevenson considered the two dimensional case. They proved that the absolute Galois group of the field K((X, Y)) (where K is an arbitrary field) is semi-free. In this work we settle the general case, and prove that if R is a complete local domain of dimension exceeding 1, then the quotient field of R has a semi-free absolute Galois group.     

Rational points and Galois points for a plane curve over a finite field

We study the relationship between rational points and Galois points for a plane curve over a finite field. It is known that the set of Galois points coincides with that of rational points of the projective plane if the curve is the Hermitian, Klein quartic or Ballico–Hefez curve. The author proposes a problem: Does the converse hold true? If the curve of genus zero or one has a rational point, we have an affirmative answer.     

Rational curve with Galois point and extendable Galois automorphism

Let G be the Galois group of a Galois point for a plane curve C. An element of G induces a birational transformation of C. We study if it can be extended to a projective or birational transformation of the plane. In the course of the study we give the defining equation of a rational curve with the Galois point. Furthermore, we introduce a special birational transformation in order to make the defining equation into a simpler form.     

New classes of parameterized differential Galois groups

This paper is on the inverse parameterized differential Galois problem. We show that surprisingly many groups do not occur as parameterized differential Galois groups over K(x) even when K is algebraically closed. We then combine the method of patching over fields with a suitable version of Galois descent to prove that certain groups do occur as parameterized differential Galois groups over k((t))(x). This class includes linear differential algebraic groups that are generated by finitely many unipotent elements and also semisimple connected linear algebraic groups.

     

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

For a smooth plane curve , we call a point a Galois point if the point projection at P is a Galois covering. We study Galois points in positive characteristic. We give a complete classification of the Galois group given by a Galois point and estimate the number of Galois points for C in most cases.      

The algebraic degree of geometric optimization problems

In this paper we apply Galois methods to certain fundamentalgeometric optimization problems whose exact computational complexity has been an open problem for a long time. In particular we show that the classic Weber problem, along with theline-restricted Weber problem and itsthree-dimensional version are in general not solvable by radicals over the field of rationals. One direct consequence of these results is that for these geometric optimization problems there existsno exact algorithm under models of computation where the root of an algebraic equation is obtained using arithmetic operations and the extraction ofkth roots. This leaves only numerical or symbolic approximations to the solutions, where the complexity of the approximations is shown to be primarily a function of the algebraic degree of the optimum solution point.     

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.     

Correspondence and (2,1)-Bézier Surfaces

Tom Sederberg's method of moving curves (surfaces) is a new and effective tool for implicitizing curves (surfaces). From our point of view, the curve (surface) can be defined by using moving curves (surfaces) which in algebraic geometry are called correspondences. It turns out that from this definition we can easily derive both parametric and implicit representations of the curve (surface). In this paper, we investigate the geometry of the bi-degree (2,1)-Bézier surface and study the relationship between singularities and correspondences. We also characterize all the possible singular curves in terms of the control points of the surface.     

On the Bennequin Invariant and the Geometry of Wave Fronts

The theory of Arnold's invariants of plane curves and wave fronts is applied to the study of the geometry of wave fronts in the standard 2-sphere, in the Euclidean plane and in the hyperbolic plane. Some enumerative formulae similar to the Plücker formulae in algebraic geometry are given in order to compute the generalized Bennequin invariant J ⁺ in terms of the geometry of the front. It is shown that in fact every coefficient of the polynomial invariant of Aicardi can be computed in this way. In the case of affine wave fronts, some formulae previously announced by S.L. Tabachnikov are proved. This geometric point of view leads to a generalization to generic wave fronts of a result shown by Viro for smooth plane curves. As another application, the Fabricius-Bjerre and Weiner formulae for smooth plane and spherical curves are generalized to wave fronts.     

Foci and Foliations of Real Algebraic Curves

We discuss diverse results whose common thread is the notion of focus of an algebraic curve. In a unified setting, which combines elements of projective geometry, complex analysis and Riemann surface theory, we explain the roles of ordinary and singular foci in results on numerical ranges of matrices, quadrature domains, Schwarzian reflection, and other topics. We introduce the notion of canonical foliation of a real algebraic curve, which places foci into the context of continuous families of plane curves and provides a useful method of visualization of all relevant structures in a planar graphical image. Lecture held by Joel Langer in the Seminario Matematico e Fisico on October 6, 2006 Received: July 2007     

Equivariant Tamagawa Numbers and Galois Module Theory I

Let L/K be a finite Galois extension of number fields. We use complexes arising from the étale cohomology of Z on open subschemes of Spec O _L to define a canonical element of the relative algebraic K-group K ₀Z[Gal(L/K)], R. We establish some basic properties of this element, and then use it to reinterpret and refine conjectures of Stark, of Chinburg and of Gruenberg, Ritter and Weiss. Our results precisely explain the connection between these conjectures and the seminal work of Bloch and Kato concerning Tamagawa numbers. This provides significant new insight into these important conjectures and also allows one to use powerful techniques from arithmetic algebraic geometry to obtain new evidence in their favour.     

Relèvement galoisien des revêtements¶de courbes nodales

Let R be a complete discrete valuation ring of mixed characteristics, with algebraically closed residue field k. We study the existence problem of equivariant liftings to R of Galois covers of nodal curves over k. Using formal geometry, we show that this problem is actually a local one. We apply this local-to-global principle to obtain new results concerning the existence of such liftings. Received: 10 February 2000 / Revised version: 13 September 2000     

The Cayley-Bacharach theorem for continuous piecewise algebraic curves over cross-cut triangulations

A piecewise algebraic curve is a curve determined by the zero set of a bivariate spline function. In this paper, we propose the Cayley-Bacharach theorem for continuous piecewise algebraic curves over cross-cut triangulations. We show that, if two continuous piecewise algebraic curves of degrees m and n respectively meet at mnT distinct points over a cross-cut triangulation, where T denotes the number of cells of the triangulation, then any continuous piecewise algebraic curve of degree m + n − 2 containing all but one point of them also contains the last point.     

Galois points for double-Frobenius nonclassical curves

We determine the distribution of Galois points for plane curves over a finite field of q elements, which are Frobenius nonclassical for different powers of q. This family is an important class of plane curves with many remarkable properties. It contains the Dickson–Guralnick–Zieve curve, which has been recently studied by Giulietti, Korchmáros, and Timpanella from several points of view. A problem posed by the second author in the theory of Galois points is modified.     

On a Question of Erdős and Ulam

Ulam asked in 1945 if there is an everywhere dense rational set, i.e., 1 a point set in the plane with all its pairwise distances rational. Erdős conjectured that if a set S has a dense rational subset, then S should be very special. The only known types of examples of sets with dense (or even just infinite) rational subsets are lines and circles. In this paper we prove Erdős’ conjecture for algebraic curves by showing that no irreducible algebraic curve other than a line or a circle contains an infinite rational set.     

A Transfer Principle in the Real Plane from Nonsingular Algebraic Curves to Polynomial Vector Fields

For every nonsingular algebraic curve C of degree m in the real plane a polynomial vector field of degree 2m–1 is constructed, which has exactly the ovals of C as attracting limit cycles. Therefore, every progress on the algebraic part of Hilbert's 16th problem automatically yields progress on its dynamical part.     

Torsors under finite and flat group schemes of rank <Emphasis Type="Italic">p</Emphasis> with Galois action

In this note we study the geometry of torsors under flat and finite commutative group schemes of rank p above curves in characteristic p, and above relative curves over a complete discrete valuation ring of inequal characteristic. In both cases we study the Galois action of the Galois group of the base field on these torsors. We also study the degeneration of _p -torsors, from characteritic 0 to characteristic p, and show that this degeneration is compatible with the Galois action. We then discuss the lifting of torsors under flat and commutative group schemes of rank p from positive to zero characteristics. Finally, for a proper and smooth curve X over a complete discrete valuation field, of inequal characteristic, which has good reduction, we show the existence of a canonical Galois equivariant filtration, on the first étale cohomology group of the geometric fibre of X, with values in _p .     

Hecke Algebras and Automorphic Forms

The goal of this paper is to carry out some explicit calculations of the actions of Hecke operators on spaces of algebraic modular forms on certain simple groups. In order to do this, we give the coset decomposition for the supports of these operators. We present the results of our calculations along with interpretations concerning the lifting of forms. The data we have obtained is of interest both from the point of view of number theory and of representation theory. For example, our data, together with a conjecture of Gross, predicts the existence of a Galois extension of Q with Galois group G ₂(F₅) which is ramified only at the prime 5. We also provide evidence of the existence of the symmetric cube lifting from PGL₂ to PGSp₄.     

On the Topology of Real Algebraic Plane Curves

We revisit the problem of computing the topology and geometry of a real algebraic plane curve. The topology is of prime interest but geometric information, such as the position of singular and critical points, is also relevant. A challenge is to compute efficiently this information for the given coordinate system even if the curve is not in generic position. Previous methods based on the cylindrical algebraic decomposition use sub-resultant sequences and computations with polynomials with algebraic coefficients. A novelty of our approach is to replace these tools by Gröbner basis computations and isolation with rational univariate representations. This has the advantage of avoiding computations with polynomials with algebraic coefficients, even in non-generic positions. Our algorithm isolates critical points in boxes and computes a decomposition of the plane by rectangular boxes. This decomposition also induces a new approach for computing an arrangement of polylines isotopic to the input curve. We also present an analysis of the complexity of our algorithm. An implementation of our algorithm demonstrates its efficiency, in particular on high-degree non-generic curves.