Moduli for principal bundles over algebraic curves: I

We classify principal bundles on a compact Riemann surface. A moduli space for semistable principal bundles with a reductive structure group is constructed using Mumford's geometric invarian theory.     

Vector bundles over real algebraic varieties

The object of this paper is to study continuous vector bundles, over real algebraic varieties, admitting an algebraic structure. For large classes of real varieties, we obtain explicit information concerning the Grothendieck group of algebraic vector bundles. We show that in many cases this group is small compared to the corresponding group of continuous vector bundles. These results are used elsewhere to study the geometry of real algebraic varieties.Dedicated to Professor Alexander Grothendieck on the occasion of his 60th birthdaySupported by the NSF Grant DMS-8602672.     

Uniqueness theorem for algebraic curves on compact Riemann surfaces

In this paper, we prove a uniqueness theorem for algebraic curves from a compact Riemann surface into complex projective spaces.     

Variational formulae for Fuchsian groups over families of algebraic curves

We study the problem of understanding the uniformizing Fuchsian groups for a family of plane algebraic curves by determining explicit first variational formulae for the generators.     

A user friendly proof of Nagata's characterization of linearly reductive groups in positive characteristics

Let K be an algebraically closed field of positive characteristic p, and G be a linear algebraic group over K. We give a user friendly proof of Nagata's theorem that every finite-dimensional rational representation of G is completely reducible if and only if the connected component G ⁰ is a torus and p does not divide the index (G?:?G ⁰).     

Some results on special stable vector bundles of rank 3 on algebraic curves

The authors discuss the existence and classification of stable vector bundles of rank 3, with 2 3 or 4 linearly independent holomorphic sections. The sets of all such bundles are denoted by ω3^2,d and w3 respectively. Our argument leads to sufficient and necessary conditions for the existence of both kinds of bundles. The conclusion is very interesting because of its contradiction to the conjectured dimension formula of stable bundles. Finally, we give a preliminary classification of ω3^2,4 and a complete discussion on the structure of ω3^3,2/3g＋2.     

Moduli spaces for principal bundles in arbitrary characteristic

In this article, we solve the problem of constructing moduli spaces of semistable principal bundles (and singular versions of them) over smooth projective varieties over algebraically closed ground fields of positive characteristic.     

Complete reducibility of subgroups of reductive algebraic groups over nonperfect fields III

Let G be a reductive group over a nonperfect field k. We study rationality problems for Serre’s notion of complete reducibility of subgroups of G. In our previous work, we constructed examples of subgroups H of G that are G-completely reducible but not G-completely reducible over k (and vice versa). In this article, we give a theoretical underpinning of those constructions. Then using Geometric Invariant Theory, we obtain a new result on the structure of G(k)-(and G-) orbits in an arbitrary affine G-variety. We discuss several related problems to complement the main results.     

On separating a fixed point from zero by invariants

Assume a fixed point v∈V^G can be separated from zero by a homogeneous invariant f∈𝕜[V]^G of degree p^rd, where p>0 is the characteristic of the ground field 𝕜 and p,d are coprime. We show that then v can also be separated from zero by an invariant of degree p^r, which we obtain explicitly from f. It follows that the minimal degree of a homogeneous invariant separating v from zero is a p-power.     

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.     

Constructive Axiomatic Approach to the Determination of the Orbit Spaces of Coregular Compact Linear Groups

We review the proposal of a constructive axiomatic approach to the determination of the orbit spaces of all the real compact linear groups, obtained through the computation of a metric matrix , which is defined only in terms of the scalar products between the gradients p₁(x),...,p_q(x) of the elements of a minimal integrity basis (MIB) for the ring [ⁿ]^G of G-invariant polynomials. The domain of semi-positivity of is known to realize the orbit space ⁿ/G of G as a semi-algebraic variety in the space ^q spanned by the variables p₁,...,p_q. The matrices can be obtained from the solutions of a universal differential equation (master equation), which satisfy convenient initial conditions. The master equation and the initial conditions involve as free parameters only the degrees d_a of the p_a(x)s. This approach tries to bypass the actual impossibility of explicitly determining a set of basic polynomial invariants for each group. Our results may be relevant in physical contexts where the study of covariant or invariant functions is important, like in the determination of patterns of spontaneous symmetry breaking in quantum field theory, in the analysis of phase spaces and structural phase transitions (Landaus theory), in covariant bifurcation theory, in crystal field theory and so on. Mathematics Subject Classifications (2000) 14L24, 13A50, 14L30.This paper is partially supported by INFN and MURST 40% and 60%.     

Index Reduction Formulas for Twisted Flag Varieties, II

This is a continuation of the determination begun in K-Theory 10 (1996), 517–596, of explicit index reduction formulas for function fields of twisted flag varieties of adjoint semisimple algebraic groups. We give index reduction formulas for the varieties associated to the classical simple groups of outer type A _n-1 and D _n, and the exceptional simple groups of type E ₆ and E ₇. We also give formulas for the varieties associated to transfers and direct products of algebraic groups. This allows one to compute recursively the index reduction formulas for the twisted flag varieties of any semi-simple algebraic group.     

Minimum Principle for Plurisubharmonic Functions and Related Topics

This is a survey about some recent developments of the minimum principle for plurisubharmonic functions and related topics.     

Weierstrass points and their impact in the study of algebraic curves: a historical account from the “Lückensatz” to the 1970s

In this note we give a historical account of the origin and the development of the concept of Weierstrass point. We also explain how Weierstrass points have contributed to the study of compact Riemann surfaces and algebraic curves in the century from Weierstrass’ statement of the gap theorem to the 1970s. In particular, we focus on the seminal work of Hürwitz that raised questions which are at the center of contemporary research on this topic.      

Diophantine geometry over groups V2: quantifier elimination II

This paper is the sixth in a sequence on the structure of sets of solutions to systems of equations in a free group, projections of such sets, and the structure of elementary sets defined over a free group. In the two papers on quantifier elimination we use the iterative procedure that validates the correctness of an AE sentence defined over a free group, presented in the fourth paper, to show that the Boolean algebra of AE sets defined over a free group is invariant under projections, hence, show that every elementary set defined over a free group is in the Boolean algebra of AE sets. The procedures we use for quantifier elimination, presented in this paper, enable us to answer affirmatively some of Tarski’s questions on the elementary theory of a free group in the last paper of this sequence. Received (resubmission): January 2004 Revision: November 2005 Accepted: March 2006 Partially supported by an Israel Academy of Sciences Fellowship.     

Min-max game theory and algebraic Riccati equations for boundary control problems with continuous input-solution map. Part II: The general case

We consider the abstract dynamical framework of [LT3, class (H.2)] which models a variety of mixed partial differential equation (PDE) problems in a smooth bounded domain ⁿ , arbitraryn, with boundaryL ₂-control functions. We then set and solve a min-max game theory problem in terms of an algebraic Riccati operator, to express the optimal quantities in pointwise feedback form. The theory obtained is sharp. It requires the usual Finite Cost Condition and Detectability Condition, the first for existence of the Riccati operator, the second for its uniqueness and for exponential decay of the optimal trajectory. It produces an intrinsically defined sharp value of the parameter, here called _c (critical), _c0, such that a complete theory is available for > _c, while the maximization problem does not have a finite solution if 0 < < _c. Mixed PDE problems, all on arbitrary dimensions, except where noted, where all the assumptions are satisfied, and to which, therefore, the theory is automatically applicable include: second-order hyperbolic equations with Dirichlet control, as well as with Neumann control, the latter in the one-dimensional case; Euler-Bernoulli and Kirchhoff equations under a variety of boundary controls involving boundary operators of order zero, one, and two; Schroedinger equations with Dirichlet control; first-order hyperbolic systems, etc., all on explicitly defined (optimal) spaces [LT3, Section 7]. Solution of the min-max problem implies solution of theH -robust stabilization problem with partial observation.The research of C. McMillan was partially supported by an IBM Graduate Student Fellowship and that of R. Triggiani was partially supported by the National Science Foundation under Grant NSF-DMS-8902811-01 and by the Air Force Office of Scientific Research under Grant AFOSR-87-0321.