No Arabic abstract
This paper deals with properties of the algebraic variety defined as the set of zeros of a typical sequence of polynomials. We consider various types of nice varieties: set-theoretic and ideal-theoretic complete intersections, absolutely irreducible ones, and nonsingular ones. For these types, we present a nonzero obstruction polynomial of explicitly bounded degree in the coefficients of the sequence that vanishes if its variety is not of the type. Over finite fields, this yields bounds on the number of such sequences. We also show that most sequences (of at least two polynomials) define a degenerate variety, namely an absolutely irreducible nonsingular hypersurface in some linear projective subspace.
Rank-2 Drinfeld modules are a function-field analogue of elliptic curves, and the purpose of this paper is to investigate similarities and differences between rank-2 Drinfeld modules and elliptic curves in terms of supersingularity. Specifically, we provide an explicit formula of a supersingular polynomial for rank-2 Drinfeld modules and prove several basic properties. As an application, we give a numerical example of an asymptotically optimal tower of Drinfeld modular curves.
$V$ is a complete intersection scheme in a multiprojective space if it can be defined by an ideal $I$ with as many generators as $textrm{codim}(V)$. We investigate the multigraded regularity of complete intersections scheme in $mathbb{P}^ntimes mathbb{P}^m$. We explicitly compute many values of the Hilbert functions of $0$-dimensional complete intersections. We show that these values only depend upon $n,m$, and the bidegrees of the generators of $I$. As a result, we provide a sharp upper bound for the multigraded regularity of $0$-dimensional complete intersections.
We define logarithmic tangent sheaves associated with complete intersections in connection with Jacobian syzygies and distributions. We analyse the notions of local freeness, freeness and stability of these sheaves. We carry out a complete study of logarithmic sheaves associated with pencils of quadrics and compute their projective dimension from the classical invariants such as the Segre symbol and new invariants (splitting type and degree vector) designed for the classification of irregular pencils. This leads to a complete classification of free (equivalently, locally free) pencils of quadrics. Finally we produce examples of locally free, non free pencils of surfaces in P3 of any degree k at least 3, answering (in the negative) a question of Calvo-Andrade, Cerveau, Giraldo and Lins Neto about codimension foliations on P3 .
We prove that a smooth complete intersection of two quadrics of dimension at least $2$ over a number field has index dividing $2$, i.e., that it possesses a rational $0$-cycle of degree $2$.
We consider the Hamiltonian flow on complex complete intersection surfaces with isolated singularities, equipped with the Jacobian Poisson structure. More generally we consider complete intersections of arbitrary dimension equipped with Hamiltonian flow with respect to the natural top polyvector field, which one should view as a degenerate Calabi-Yau structure. Our main result computes the coinvariants of functions under the Hamiltonian flow. In the surface case this is the zeroth Poisson homology, and our result generalizes those of Greuel, Alev and Lambre, and the authors in the quasihomogeneous and formal cases. Its dimension is the sum of the dimension of the top cohomology and the sum of the Milnor numbers of the singularities. In other words, this equals the dimension of the top cohomology of a smoothing of the variety. More generally, we compute the derived coinvariants, which replaces the top cohomology by all of the cohomology. Still more generally we compute the D-module which represents all invariants under Hamiltonian flow, which is a nontrivial extension (on both sides) of the intersection cohomology D-module, which is maximal on the bottom but not on the top. For cones over smooth curves of genus g, the extension on the top is the holomorphic half of the maximal extension.