We continue the development of methods for enumerating nodal curves on smooth complex surfaces, stressing the range of validity. We illustrate the new methods in three important examples. First, for up to eight nodes, we confirm Göttsche's conjecture about plane curves of low degree. Second, we justify Vainsencher's enumeration of irreducible six-nodal plane curves on a general quintic threefold in four-space. Third, we supplement Bryan and Leung's enumeration of nodal curves in a given homology class on an Abelian surface of Picard number one.
We give a general criterion for two toric varieties to appear as fibers in a flat family over the projective line. We apply this to show that certain birational transformations mapping a Laurent polynomial to another Laurent polynomial correspond to deformations between the associated toric varieties.
We prove that the closure (for the Zariski topology) of the set of polynomial automorphisms of the complex affine plane whose polydegree is (cd-1,b,a) contains all triangular automorphisms of degree cd+a, where a,b >1 and c>0 are integers and d=ab-1. When b=2, this result gives a family of counterexamples to a conjecture of Furter.
The thesis deals with calculating the Picard-Fuchs equation of special one-parameter families of invertible polynomials. In particular, for an invertible polynomial $g(x_1,...,x_n)$ we consider the family $f(x_1,...,x_n)=g(x_1,...,x_n)+s\cdot\prod x_i$, where $s$ denotes the parameter. For the families of hypersurfaces defined by these polynomials, we compute the Picard-Fuchs equation, i.e. the ordinary differential equation which solutions are exactly the period integrals. For the proof of the exact appearance of the Picard-Fuchs equation we use a combinatorial version of the Griffiths-Dwork …
In this note we study families of Gauss-Manin systems arising from Laurent polynomials with parametric coefficients under projection to the parameter space. For suitable matrices of exponent vectors, we exhibit a natural four-term exact sequence for which we then give an interpretation via generalized A-hypergeometric systems. We determine the extension groups from the parameter sheaf to the middle term of this sequence and show that the four-term sequence does not split. Auxiliary results include the computation of Ext and Tor groups of A-hypergeometric systems against the parameter sheaf.
Consider the family S of irreducible plane curves of degree n with d nodes and k cusps as singularities. Let W be an irreducible component of S. We consider the natural rational map from W to the moduli space of curves of genus g=(n-1)(n-2)/2-d-k. We define the "number of moduli of W" as the dimension of the image of W with respect to this map. If W has the expected dimension equal to 3n+g-1-k, then the number of moduli of W is at most equal to the min(3g-3, 3g-3+ρ-k), dove ρis the Brill-Neother number of the linear series of degree n and dimension 2 on a smooth curve of genus g. We say that W…
We study classes $P_{g,T}(α;β)$ on the moduli space of stable, genus g curves with rational tails defined by pushing forward the virtual fundamental classes of spaces of relative stable maps to an unparameterized projective line. A comparison with classes $Q_{g,T}$ arising from sections of the universal Jacobian shows the classes $P_{g,T}(α;β)$ are polynomial in the parts of the partitions indexing the special ramification data. Virtual localization on moduli spaces of relative stable maps gives sufficient relations to compute the coefficients of these polynomials in various cases.
Two infinite families of Cremona maps depending on one real parameter are given. For all integers $n \ge 1$ the first family of Cremona maps consists of group elements in $Bir \left( \mathbb{P}^{n} \right)$ with bidegree $(n, n)$, the second family of Cremona maps consists of group elements in $Bir \left( \mathbb{P}^{2n} \right)$ with bidegree $(2 n, 2 n)$. For the first family and $n \ge 5$, for the second family and $n \ge 3$ the existence of this group elements and the properties depend on a conjecture. But computational results suggest that the conjecture is true for all $n$.
This note concerns the theoretical algorithmic problem of counting rational points on curves over finite fields. It explicates how the algorithmic scheme introduced by Schoof and generalized by the author yields an algorithm whose running time is uniformly polynomial time for curves in families.
For a polynomial in several variables depending on some parameters, we discuss some results to the effect that for almost all values of the parameters the polynomial is irreducible. In particular we recast in this perspective some results of Grothendieck and of Gao.
Let $a(λ)$ and $b(λ)$ be two polynomials with coefficients in complex numbers and let $f_{\lamb$ be a one-parameter family of polynomials indexed by all complex numbers $λ$. We study whether there exist infinitely many complex numbers $λ$ such that both $a(λ)$ and $b(λ)$ are preperiodic for $f_λ$.
We provide an algorithm that takes as an input a given parametric family of homogeneous polynomials, which is invariant under the action of the general linear group, and an integer $d$. It outputs the ideal of that family intersected with the space of homogeneous polynomials of degree $d$. Our motivation comes from open problems, which ask to find equations for varieties of cubic and quartic symmetroids. The algorithm relies on a database of specific Young tableaux and highest weight polynomials. We provide the database and the implementation of the database construction algorithm. Moreover, w…
Let $c_1, c_2, c_3$ be distinct complex numbers, and let $d\ge 3$ be an integer. We show that the set of all pairs $(a,b)\in \mathbb{C}\times \mathbb{C}$ such that each $c_i$ is preperiodic for the action of the polynomial $x^d+ax+b$ is not Zariski dense in the affine plane.
In this work, by using Pauli matrices, we introduce four families of polynomials indexed over the positive integers. These polynomials have rational or imaginary rational coefficients. It turns out that two of these families are closely related to classical Lucas and Fibonacci polynomial sequences and hence to Lucas and Fibonacci numbers. We use one of these families to give a geometric interpretation of the 200 years old class number problems of Gauss, which is equivalent to the study of narrow ideal classes in real quadratic number fields.
We consider a continuous family $(f_s)$, $s\in[0,1]$ of complex polynomials in two variables with isolated singularities, that are Newton non-degenerate. We suppose that the Euler characteristic of a generic fiber is constant (or equivalently the sum of the affine Milnor number and the Milnor number at infinity $μ(s)+λ(s)$ is constant). We firstly prove that the set of critical values at infinity depends continuously on $s$, and secondly that the degree of the $f_s$ is constant (up to an algebraic automorphism of $\Cc^2$).
We show that the reductions modulo primes $p\le x$ of the elliptic curve $$ Y^2 = X^3 + f(a)X + g(b), $$ behave as predicted by the Lang-Trotter and Sato-Tate conjectures, on average over integers $a \in [-A,A]$ and $b \in [-B,B]$ for $A$ and $B$ reasonably small compared to $x$, provided that $f(T), g(T) \in \Z[T]$ are not powers of another polynomial over $\Q$. For $f(T) = g(T) = T$ first results of this kind are due to E. Fouvry and M. R. Murty and have been further extended by other authors. Our technique is different from that of E. Fouvry and M. R. Murty which does not seem to work in th…
According to the Göttsche conjecture (now a theorem), the degree N^{d, delta} of the Severi variety of plane curves of degree d with delta nodes is given by a polynomial in d, provided d is large enough. These "node polynomials" N_delta(d) were determined by Vainsencher and Kleiman-Piene for delta <= 6 and delta <= 8, respectively. Building on ideas of Fomin and Mikhalkin, we develop an explicit algorithm for computing all node polynomials, and use it to compute N_delta(d) for delta <= 14. Furthermore, we improve the threshold of polynomiality and verify Göttsche's conjecture on the optimal th…
We generalize the recent work of S. Fomin and G. Mikhalkin on polynomial formulas for Severi degrees. The degree of the Severi variety of plane curves of degree d and delta nodes is given by a polynomial in d, provided delta is fixed and d is large enough. We extend this result to generalized Severi varieties parametrizing plane curves which, in addition, satisfy tangency conditions of given orders with respect to a given line. We show that the degrees of these varieties, appropriately rescaled, are given by a combinatorially defined "relative node polynomial" in the tangency orders, provided …
We give a new proof that three families of polynomials coincide: the double Schubert polynomials of Lascoux and Schützenberger defined by divided difference operators, the pipe dream polynomials of Bergeron and Billey, and the equivariant cohomology classes of matrix Schubert varieties. All three families are shown to satisfy a "co-transition formula" which we explain to be some extent projectively dual to Lascoux' transition formula. We comment on the K-theoretic extensions.
We prove Boyd's "unexpected coincidence" of the Mahler measures for two families of two-variate polynomials defining curves of genus 2. We further equate the same measures to the Mahler measures of polynomials $y^3-y+x^3-x+kxy$ whose zero loci define elliptic curves for $k\ne0,\pm3$.
