In this paper we give the projective generation of congruences of order 1 of r-dimensional projective spaces in P^N from their focal loci. In a natural way, this construction shows that the corresponding surfaces in the grassmannian are the Veronese surface, and rational ruled surfaces eventually with singularities. We characterize when these surfaces are smooth, recovering and generalizing a Ziv Ran's result.
Studying the mirror symmetry of a Calabi-Yau threefold $X$ of the Reye congruence in $\mP^4$, we conjecture that $X$ has a non-trivial Fourier-Mukai partner $Y$. We construct $Y$ as the double cover of a determinantal quintic in $\mP^4$ branched over a curve. We also calculate BPS numbers of both $X$ and $Y$ (and also a related Calabi-Yau complete intersection $\tilde X_0$) using mirror symmetry.
A congruence is a surface in the Grassmannian ${\rm Gr}(2, 4)$. In this paper, we consider the normalization of congruence of bitangents to a hypersurface in $\mathbb P^3$. We call it the Fano congruence of bitangents. We give a criterion for smoothness of the Fano congruence of bitangents and describe explicitly their degenerations in a general Lefschetz pencil in the space of hypersurfaces in $\mathbb P^3$.
We show that noncongruence subgroups of SL_2(Z) projectively equivalent to congruence subgroups are ubiquitous. More precisely, they always exist if the congruence subgroup in question is a principal congruence subgroup Gamma(N) of level N>2, and they exist in many cases also for Gamma_0(N). The motivation for asking this question is related to modular forms: projectively equivalent groups have the same spaces of cusp forms for all even weights whereas the spaces of cusp forms of odd weights are distinct in general. We make some initial observations on this phenomenon for weight 3 via geometri…
For an abelian or a projective K3 surface $X$ over an algebraically closed field $k$, consider the moduli space $\splcpx_{X/k}\uet$ of the objects $E$ in $D^b(\mathrm{Coh}(X))$ satisfying $\Ext^{-1}_X(E,E)=0$ and $\Hom(E,E)\cong k$. Then we can prove that $\splcpx_{X/k}\uet$ is smooth and has a symplectic structure.
Nondegenerate plane congruences in the four-dimensional complex projective space with degenerate general focal conic are classified by using the focal method due to Corrado Segre.
We study second order focal loci of nondegenerate plane congruences in P4(C) with degenerate focal conic. We show the projective generation of such congruences when the second order focal locus fills a component of the focal conic, improving a result of Corrado Segre
A congruence is a surface in the Grassmannian $\mathrm{Gr}(1,\mathbb{P}^3)$ of lines in projective $3$-space. To a space curve $C$, we associate the Chow hypersurface in $\mathrm{Gr}(1,\mathbb{P}^3)$ consisting of all lines which intersect $C$. We compute the singular locus of this hypersurface, which contains the congruence of all secants to $C$. A surface $S$ in $\mathbb{P}^3$ defines the Hurwitz hypersurface in $\mathrm{Gr}(1,\mathbb{P}^3)$ of all lines which are tangent to $S$. We show that its singular locus has two components for general enough $S$: the congruence of bitangents and the c…
We study general properties of the dessins d'enfants associated with the Hecke congruence subgroups $Γ_0(N)$ of the modular group $\mathrm{PSL}_2(\mathbb{R})$. The definition of the $Γ_0(N)$ as the stabilisers of couples of projective lattices in a two-dimensional vector space gives an interpretation of the quotient set $Γ_0(N)\backslash\mathrm{PSL}_2(\mathbb{R})$ as the projective lattices $N$-hyperdistant from a reference one, and hence as the projective line over the ring $\mathbb{Z}/N\mathbb{Z}$. The natural action of $\mathrm{PSL}_2(\mathbb{R})$ on the lattices defines a dessin d'enfant s…
This paper follows a previous one in which were introduced deformation invariants $χ^d_r$, $d \in H_2 (X ; \Z)$, $r \in \N$, of closed real symplectic four-manifolds $(X, ω, c_X)$, invariants which produced lower bounds in real enumerative geometry. We prove here using methods of symplectic field theory that the lower bounds are sharp when $r \leq 1$ and the real locus of the manifold contains a sphere, torus or real projective plane (under stronger assumptions in this last case). We also prove that a big power of two divides $χ^d_r$ as soon as r is not too big and when the real locus contains…
We define a moduli space of stable regular singular parabolic connections of spectral type on smooth projective curves and show the smoothness of the moduli space and give a relative symplectic structure on the moduli space. Moreover, we define the isomonodromic deformation on this moduli space and prove the geometric Painlevé property of the isomonodromic deformation.
We make a systematic study of the focal surface of a congruence of lines in the projective space. Using differential techniques together with techniques from intersection theory, we reobtain in particular all the invariants of the focal surface (degree, class, class of its hyperplane section, sectional genus and degrees of the nodal and cuspidal curve). We study in particular the congruences of chords to a smooth curve and the congruences of bitangents or flexes to a smooth surface. We find that they possess unexpected components in their focal surface, and conjecture that they are the only on…
We show that there exists a fine moduli space for torsion-free sheaves on a projective surface, which have a "good framing" on a big and nef divisor. This moduli space is a quasi-projective scheme. This is accomplished by showing that such framed sheaves may be considered as stable pairs in the sense of Huybrechts and Lehn. We characterize the obstruction to the smoothness of the moduli space, and discuss some examples on rational surfaces.
Let $R$ be a complete discrete valuation ring with fraction field of characteristic $0$ and algebraically closed residue field of characteristic $p>0$. Let $X_R \to \mathrm{Spec}(R)$ be a smooth projective morphism of relative dimension $1$. We prove that, given a line bundle $\mathcal{L}_R$ the moduli space of Gieseker stable torsion-free sheaves of rank $r\geq 2$ over $X_R$, with determinant $\mathcal{L}_R$, is smooth over $R$.
We present a new family of monads whose cohomology is a stable rank two vector bundle on $\PP$. We also study the irreducibility and smoothness together with a geometrical description of some of these families. Such facts are used to prove that the moduli space of stable rank two vector bundles of zero first Chern class and second Chern class equal to 5 has exactly three irreducible components.
We establish a method for calculating the Poincaré series of moduli spaces constructed as quotients of smooth varieties by suitable non-reductive group actions; examples of such moduli spaces include moduli spaces of unstable vector or Higgs bundles on a smooth projective curve, with a Harder-Narasimhan type of length two. To do so, we first prove a result concerning the smoothness of fixed point sets for suitable non-reductive group actions on smooth varieties. This enables us to prove that quotients of smooth varieties by such non-reductive group actions, which can be constructed using Non-R…
Francesco Severi showed that equisingular families of plane nodal curves are T-smooth, i.e. smooth of the expected dimension, whenever they are non-empty. For families with more complicated singularities this is no longer true. Given a divisor D on a smooth projective surface it thus makes sense to look for conditions which ensure that the family V of irreducible curves in the linear system |D| with precisely r singular points of types S1,...,Sr is T-smooth. Considering different surfaces including the projective plane, general surfaces in projective 3-space, products of curves and geometrical…
In math.AG/0108089, math.AG/0212090 and math.AG/0308247 we gave numerical conditions which ensure that an equisingular family is irreducible respectively T-smooth. Combining results by Greuel, Lossen and Shustin and an idea from math.AG/9802009 we give in the present paper series of examples of families of irreducible curves on surfaces in projective three-space with only ordinary multiple points which are reducible and where at least one component does not have the expected dimension. The examples show that for families of curves with ordinary multiple points the conditions for T-smoothness i…
We introduce the notion of Q-filtrable varieties: projective varieties with a torus action and a finite number of fixed points, such that the cells of the associated Bialynicki-Birula decomposition are all rationally smooth. Our main results develop GKM theory in this setting. We also supply a method for building nice combinatorial bases on the equivariant cohomology of any Q-filtrable GKM variety. Applications to the theory of group embeddings are provided.
We present a new family of monads whose cohomology is a stable rank two vector bundle on $\mathbb{P}^3$. We also study the irreducibility and smoothness together with a geometrical description of some of these families. These facts are used to construct a new infinite series of rational moduli components of stable rank two vector bundles with trivial determinant and growing second Chern class. We also prove that the moduli space of stable rank two vector bundles with trivial determinant and second Chern class equal to 5 has exactly three irreducible rational components.
We study equivariant projective compactifications of reductive groups obtained by closing the image of a group in the space of operators of a projective representation. We describe the structure and the mutual position of their orbits under the action of the doubled group by left/right multiplications, the local structure in a neighborhood of a closed orbit, and obtain some conditions of normality and smoothness of a compactification. Our methods of research use the theory of equivariant embeddings of spherical homogeneous spaces and of reductive algebraic semigroups.
We initiate the study of random iteration of automorphisms of real and complex projective surfaces, or more generally compact K{ä}hler surfaces, focusing on the fundamental problem of classification of stationary measures. We show that, in a number of cases, such stationary measures are invariant, and provide criteria for uniqueness, smoothness and rigidity of invariant probability measures. This involves a variety of tools from complex and algebraic geometry, random products of matrices, non-uniform hyperbolicity, as well as recent results of Brown and Rodriguez Hertz on random iteration of s…
The moduli space of Higgs bundles can be defined as a quotient of an infinite-dimensional space. Moreover, by the Kuranishi slice method, it is equipped with the structure of a normal complex space. In this paper, we will use analytic methods to show that the moduli space is quasi-projective. In fact, following Hausel's method, we will use the symplectic cut to construct a normal and projective compactification of the moduli space, and hence prove the quasi-projectivity. The main difference between this paper and Hausel's is that the smoothness of the moduli space is not assumed.
For appropriate $N\ge 3$ and $d<0,$ the moduli space of principally polarized abelian surfaces with level $N$ structure and anti-holomorphic multiplication by $\mathcal O_d$ (the ring of integers in $\mathbb Q(\sqrt{d})$) is shown to consist of the real points of a quasi-projective algebraic variety defined over $\mathbb Q$, and to coincide with finitely many copies of the quotient of hyperbolic 3-space by the principal congruence subgroup of level $N$ in $\mathbf{SL}(2, \mathcal O_d).$
Let P^2_r be the projective plane blown up at r generic points. Denote by E_0,E_1,...,E_r the strict transform of a generic straight line on P^2 and the exceptional divisors of the blown-up points on P^2_r respectively. We consider the variety V of all irreducible curves C in |dE_0-d_1E_1-...-d_rE_r| with k nodes as the only singularities and give asymptotically nearly optimal sufficient conditions for its smoothness, irreducibility and non-emptyness. Moreover, we extend our conditions for the smoothness and the irreducibility on families of reducible curves. For r<10 we give the complete answ…
Let L be the even unimodular lattice of signature (2,10), In the paper [FS] we considered the subgroup O(L)^+ of index two in the orthogonal group. It acts biholomorphically on a ten dimensional tube domain H_{10}. We found a 715 dimensional space of modular forms with respect to the principal congruence subgroup of level two O^+(L)[2]. It defines an everywhere regular birational embedding of the related modular variety into the 714 dimensional projective space. In this paper, we prove that this space of orthogonal modular forms is related to a space of theta series. The main tool is a modular…
