The rationality of the Hilbert-Kunz multiplicity in graded dimension two

We show that the Hilbert-Kunz multiplicity is a rational number for an R₊−primary homogeneous ideal I=(f₁, . . . , f_n) in a two-dimensional graded domain R of finite type over an algebraically closed field of positive characteristic. More specific, we give a formula for the Hilbert-Kunz multiplicity in terms of certain rational numbers coming from the strong Harder-Narasimhan filtration of the syzygy bundle Syz(f₁, . . . , f_n) on the projective curve Y=ProjR.     

Hilbert-Kunz functions and multiplicities for full flag varieties and elliptic curves

We compute the Hilbert-Kunz functions and multiplicities for certain projective embeddings of flag varieties G/B and elliptic curves, over algebraically closed fields of positive characteristics. The group theoretic nature of both these classes of examples is used, albeit in different ways, to explicitly describe the cokernels in each degree of the Frobenius twisted multiplication maps for the corresponding graded rings. This detailed information also enables us to extend our results to arbitrary products of such varieties.     

Self-linked curves and normal bundle

We give necessary conditions on the degree and the genus of a smooth, integral curve C⊂P³$C\subset {\mathbb{P}}^3$ to be self-linked (i.e. locus of simple contact of two surfaces). We also give similar results for set theoretically complete intersection curves with a structure of multiplicity three (i.e. locus of 2-contact of two surfaces).     

Looking out for stable syzygy bundles

We study (slope-)stability properties of syzygy bundles on a projective space PN given by ideal generators of a homogeneous primary ideal. In particular we give a combinatorial criterion for a monomial ideal to have a semistable syzygy bundle. Restriction theorems for semistable bundles yield the same stability results on the generic complete intersection curve. From this we deduce a numerical formula for the tight closure of an ideal generated by monomials or by generic homogeneous elements in a generic two-dimensional complete intersection ring.     

A characterization of bielliptic curves via syzygy schemes

We prove that a canonical curve C of genus ≥11 is bielliptic if and only if its second syzygy scheme ${\mathrm{Syz}}_2(C)$ is different from C.     

To the theory of viscosity solutions for uniformly elliptic Isaacs equations

We show how a theorem about the solvability in C^1,1$C^{1,1}$ of special Isaacs equations can be used to obtain existence and uniqueness of viscosity solutions of general uniformly nondegenerate Isaacs equations. We apply it also to establish the C^1+χ$C^{1+\chi }$ regularity of viscosity solutions and show that finite-difference approximations have an algebraic rate of convergence. The main coefficients of the Isaacs equations are supposed to be in C^γ$C^{\gamma }$ with γ slightly less than 1/2.     

Minimal free resolution of the associated graded ring of monomial curves of generalized arithmetic sequences

Let A(C) be the coordinate ring of a monomial curve C⊆Aⁿ corresponding to the numerical semigroup S minimally generated by a sequence a₀,…,a_n. In the literature, little is known about the Betti numbers of the corresponding associated graded ring gr_m(A) with respect to the maximal ideal m of A=A(C). In this paper we characterize the numerical invariants of a minimal free resolution of gr_m(A) in the case a₀,…,a_n is a generalized arithmetic sequence.     

Higher syzygies of hyperelliptic curves

Let X be a hyperelliptic curve of arithmetic genus g and let f:X→P¹ be the hyperelliptic involution map of X. In this paper we study higher syzygies of linearly normal embeddings of X of degree d≤2g. Note that the minimal free resolution of X of degree ≥2g+1 is already completely known. Let A=f^∗O_P¹(1), and let L be a very ample line bundle on X of degree d≤2g. For , we call the pair (m,d−2m)the factorization type ofL. Our main result is that the Hartshorne-Rao module and the graded Betti numbers of the linearly normal curve embedded by |L| are precisely determined by the factorization type of L.     

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.     

Hitchin–Mochizuki morphism,opers and Frobenius-destabilized vector bundles over curves

Let X   be a smooth projective curve of genus g≥2$g\ge 2$ defined over an algebraically closed field k   of characteristic p>0$p>0$. For p>r(r−1)(r−2)(g−1)$p>r(r-1)(r-2)(g-1)$ we construct an atlas for the locus of all Frobenius-destabilized bundles of rank r (i.e. we construct all Frobenius-destabilized bundles of rank r and degree zero up to isomorphism). This is done by exhibiting a surjective morphism from a certain Quot-scheme onto the locus of stable Frobenius-destabilized bundles. Further we show that there is a bijective correspondence between the set of stable vector bundles E over X   such that the pull-back F^?(E)$F^{?}(E)$ under the Frobenius morphism of X has maximal Harder–Narasimhan polygon and the set of opers having zero p-curvature. We also show that, after fixing the determinant, these sets are finite, which enables us to derive the dimension of certain Quot-schemes and certain loci of stable Frobenius-destabilized vector bundles over X. The finiteness is proved by studying the properties of the Hitchin–Mochizuki morphism; an alternative approach to finiteness has been realized in [3]. In particular we prove a generalization of a result of Mochizuki to higher ranks.     

Ordinary and symbolic powers are Golod

Let S$S$ be a positively graded polynomial ring over a field of characteristic 0$0$, and I⊂S$I\subset S$ a proper graded ideal. In this note it is shown that S/I$S/I$ is Golod if ∂(I)²⊂I$\partial {\left(I\right)}^2\subset I$. Here ∂(I)$\partial \left(I\right)$ denotes the ideal generated by all the partial derivatives of elements of I$I$. We apply this result to find large classes of Golod ideals, including powers, symbolic powers, and saturations of ideals.     

The Golod property for powers of ideals and Koszul ideals

Let S be a regular local ring or a polynomial ring over a field and I be an ideal of S. Motivated by a recent result of Herzog and Huneke, we study the natural question of whether $I^m$ is a Golod ideal for all $m\ge 2$. We observe that the Golod property of an ideal can be detected through the vanishing of certain maps induced in homology. This observation leads us to generalize some known results from the graded case to local rings and obtain new classes of Golod ideals.     

Reduction of theta functions and elliptic finite-gap potentials

We have studied a reduction of finite-gap potentials of the Schrödinger operator by means of a reduction of the theta function theory initiated by Weierstrass and Poincaré. An example of two-gap potential is considered in detail.Dedicated to the memory of J.-L. Verdier     

Deformations of the generalised Picard bundle

Let X be a nonsingular algebraic curve of genus g?3, and let M_ξ denote the moduli space of stable vector bundles of rank n?2 and degree d with fixed determinant ξ over X such that n and d are coprime. We assume that if g=3 then n?4 and if g=4 then n?3, and suppose further that n₀, d₀ are integers such that n₀?1 and nd₀+n₀d>nn₀(2g-2). Let E be a semistable vector bundle over X of rank n₀ and degree d₀. The generalised Picard bundle W_ξ(E) is by definition the vector bundle over M_ξ defined by the direct image where U_ξ is a universal vector bundle over X×M_ξ. We obtain an inversion formula allowing us to recover E from W_ξ(E) and show that the space of infinitesimal deformations of W_ξ(E) is isomorphic to H¹(X,End(E)). This construction gives a locally complete family of vector bundles over M_ξ parametrised by the moduli space M(n₀,d₀) of stable bundles of rank n₀ and degree d₀ over X. If (n₀,d₀)=1 and W_ξ(E) is stable for all E∈M(n₀,d₀), the construction determines an isomorphism from M(n₀,d₀) to a connected component M⁰ of a moduli space of stable sheaves over M_ξ. This applies in particular when n₀=1, in which case M⁰ is isomorphic to the Jacobian J of X as a polarised variety. The paper as a whole is a generalisation of results of Kempf and Mukai on Picard bundles over J, and is also related to a paper of Tyurin on the geometry of moduli of vector bundles.     

On the radical of a monomial ideal

Algebraic and combinatorial properties of a monomial ideal and its radical are compared. Received: 9 October 2004     

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     

Trivial stationary solutions to the Kuramoto-Sivashinsky and certain nonlinear elliptic equations

We show that the only locally integrable stationary solutions to the integrated Kuramoto-Sivashinsky equation in R and R² are the trivial constant solutions. We extend our technique and prove similar results to other nonlinear elliptic problems in RN.     

Tetrahedral curves via graphs and Alexander duality

A tetrahedral curve is a (usually nonreduced) curve in P³ defined by an unmixed, height two ideal generated by monomials. We characterize when these curves are arithmetically Cohen-Macaulay by associating a graph with each curve and, using results from combinatorial commutative algebra and Alexander duality, relating the structure of the complementary graph to the Cohen-Macaulay property.     

Separators of points in a multiprojective space

In this note we develop some of the properties of separators of points in a multiprojective space. In particular, we prove multigraded analogs of results of Geramita, Maroscia, and Roberts relating the Hilbert function of and via the degree of a separator, and Abrescia, Bazzotti, and Marino relating the degree of a separator to shifts in the minimal multigraded free resolution of the ideal of points.