In this short note we give a characterization of extremal principally polarized abelian varieties determining an isolated point in $Sing \Cal A_g$. The case $g=5$ is treated with detail.
Let X be an irreducible symplectic manifold and L a divisor on X. Assume that L is isotropic with respect to the Beauville-Bogomolov quadratic form. We define the rational Lagrangian locus and the movable locus on the universal deformation space of the pair (X, L). We prove that the rational Lagrangian locus is empty or coincide with the movable locus.
Although regular semisimple Hessenberg varieties are smooth and irreducible, semisimple Hessenberg varieties are not necessarily smooth in general. In this paper we determine the irreducible components of semisimple Hessenberg varieties corresponding to the standard Hessenberg space. We prove that these irreducible components are smooth and give an explicit description of their intersections, which constitute the singular locus. We conclude with an example of a semisimple Hessenberg variety corresponding to another Hessenberg space which is singular and irreducible, showing that results of thi…
Let $k$ be an algebraically closed field of characteristic 0 and let $H_G(d,N)$ be the open locus of the Hilbert scheme $H(d,N)$ corresponding to Gorenstein subschemes of degree $d$ in the projective N-space. We proved in a previous paper that $H_G(d,N)$ is irreducible for $d\le9$ and $N\ge1$. In the present paper we prove that also $H_G(10,N)$ is irreducible for each $N\ge1$, giving also a complete description of its singular locus.
In this paper, we study some aspects of the irreducibility of $\widetilde{M_g^{Pl}(G)}$ and its interrelation with the existence of "normal forms", i.e. non-singular plane equations (depending on a set of parameters) such that a specialization of the parameters gives a certain non-singular plane model associated to the elements of $\widetilde{M_g^{Pl}(G)}$. In particular, we introduce the concept of being equation strongly irreducible (ES-Irreducible) for which the locus $\widetilde{M_g^{Pl}(G)}$ is represented by a single "normal form". Henn, and Komiya-Kuribayashi, observed that $\widetilde{…
We show that the Brill-Noether locus M^3_{18,16} is an irreducible component of the Gieseker-Petri locus in genus 18 having codimension 2 in the moduli space of curves. This result disproves a conjecture predicting that the Gieseker-Petri locus is always divisorial.
We approach non-divisorial base loci of big and nef line bundles on irreducible symplectic varieties. While for K3 surfaces, only divisorial base loci can occur, nothing was known about the behaviour of non-divisorial base loci for more general irreducible symplectic varieties. We determine the base loci of all big and nef line bundles on the Hilbert scheme of two points on very general K3 surfaces of genus two and on their birational models. Remarkably, we find an ample line bundle with a non-trivial base locus in codimension two. We deduce that, generically in the moduli spaces of polarized …
The paper investigates the locus of non-simple principally polarised abelian $g$-folds. We show that the irreducible components of this locus are $\Is^g_{D}$, defined as the locus of principally polarised $g$-folds having an abelian subvariety with induced polarisation of type $D=(d_1,\ldots,d_k)$, where $k\leq\frac{g}{2}$. The main theorem produces Humbert-like equations for irreducible components of $\Is^g_{D}$ for any $g$ and $D$. Moreover, there are theorems which characterise the Jacobians of curves that are étale double covers or double covers branched in two or four points.
Complete classification of irreducible components of the Brill-Noether locus of rank-$2$ vector bundles of degree $d$ and speciality $2$ on a general $ν$-gonal curve
Yeungnam University(岭南大学);Universita’ degli Studi di Roma Tor Vergata(罗马托尔维加塔大学)
For a fixed integer $d \ge 5$, the Noether-Lefschetz locus parametrizes smooth degree $d$ complex hypersurfaces in $\mathbb{P}^3$ with Picard number greater than $1$. There are infinitely many irreducible components of this locus. The aim of this article is to understand the scheme structure of these components. In particular, we study when is such a component non-reduced. We give a criterion for such a component to be non-reduced. Finally, we give examples of such components.
Let $X\to¶^n$ be an irreducible holomorphic symplectic manifold of dimension $2n$ fibred over $¶^n$. Matsushita proved that the generic fibre is a holomorphic Lagrangian abelian variety. In this article we study the discriminant locus $Δ\subset¶^n$ parametrizing singular fibres. Our main result is a formula for the degree of $Δ$, leading to bounds on the degree when $X$ is a four-fold.
This paper gives a combinatorial description of the set of irreducible components of the semistable locus of the global nilpotent cone, in genus $\ge2$. The first main result of this paper states that the set of irreducible components of the global nilpotent cone is given by the very natural decomposition in twisted Jordan strata, which are smooth. Then we move on to the semistable locus and obtain purely combinatorial conditions on the twisted Jordan type to be semistable. The proof uses an analogous result obtained in the context of moduli stacks of chains, and shows that semistability can b…
The aim of this paper is to determine the irreducible components of M_g(D_n), the locus inside M_g of the curves admitting an effective action by the dihedral group D_n. This is done by classifying pairs (H,H') of distinct subgroups of the mapping class group Map_g, such that both H and H' are isomorphic to D_n and the fixed point locus of H inside the Teichmüller space T_g is contained in the fixed point locus of H'.
We complete the study of the supersingular locus in the fiber at $p$ of a Shimura variety attached to a unitary similitude group $\GU(1,n-1)$ over $\QQ$ in the case that $p$ is inert. This was started by the first author in \cite{Vo_Uni} where complete results were obtained for $n =2,3$. The supersingular locus is uniformized by a formal scheme $\Ncal$ which is a moduli space of so-called unitary $p$-divisible groups. It depends on the choice of a unitary isocrystal $\Nbf$. We define a stratification of $\Ncal$ indexed by vertices of the Bruhat-Tits building attached to the reductive group of …
We introduce a novel approach to Bertini irreducibility theorems over an arbitrary field, based on random hyperplane slicing over a finite field. Extending a result of Benoist, we prove that for a morphism $ϕ\colon X \to \mathbb{P}^n$ such that $X$ is geometrically irreducible and the nonempty fibers of $ϕ$ all have the same dimension, the locus of hyperplanes $H$ such that $ϕ^{-1} H$ is not geometrically irreducible has dimension at most $\operatorname{codim} ϕ(X)+1$. We give an application to monodromy groups above hyperplane sections.
Using a part of XJC-correspondence by Pirio and Russo, we classify cubic forms $f$ whose Hessian matrices induce matrix factorizations of themselves. When it defines a reduced hypersurface, it satisfies the "secant-singularity" correspondence, that is, it coincides with the secant locus of its singular locus. In particular, when $f$ is irreducible, its singular locus is either one of four Severi varieties.
For $d \ge 4$, the Noether-Lefschetz locus $\mathrm{NL}_d$ parametrizes smooth, degree $d$ surfaces in $\mathbb{P}^3$ with Picard number at least $2$. A conjecture of Harris states that there are only finitely many irreducible components of the Noether-Lefschetz locus of non-maximal codimension. Voisin showed that the conjecture is false for sufficiently large $d$, but is true for $d \le 5$. She also showed that for $d=6, 7$, there are finitely many \emph{reduced}, irreducible components of $\mathrm{NL}_d$ of non-maximal codimension. In this article, we prove that for any $d \ge 6$, there are …
In this paper we consider the Brill-Noether locus $W_{\underline d}(C)$ of line bundles of multidegree $\underline d$ of total degree $g-1$ having a nonzero section on a nodal reducible curve $C$ of genus $g\geq2$. We give an explicit description of the irreducible components of $W_{\underline d}(C)$ for a semistable multidegre $\underline d$. As a consequence we show that, if two semistable multidegrees of total degre $g-1$ on a curve with no rational components differ by a twister, then the respective Brill-Noether loci have isomorphic components.
In this paper we shall prove that the singular locus of a symplectic singularity has no codimension 3 irreducible components. As a corollary, a symplectic singularity is terminal if and only if its singular locus has codimension $\geq 4$. It is hoped that a symplectic singularity has much stronger properties.
For a fixed integer $d$, we study here the locus of degree $d$ hypersurfaces $X$ in $\mathbb{P}^{2n+1}$ such that $H^{2n}(X,\mathbb{Q}) \cap H^{n,n}(X,\mathbb{C}) \not= \mathbb{Q}$. We call this locus \textit{the Noether-Lefschetz locus}. Any irreducible component of this locus is locally a Hodge locus. So, we see that the study of this locus is very closely related to the variational Hodge conjecture. In this article we show that the Hodge locus corresponding to the cohomology class of a complete intersection subscheme in $\mathbb{P}^{2n+1}$ of codimension $n+1$ and degree less than $d$ satis…
For a fixed $d \ge 5$, the Noether-Lefschetz locus parametrizes smooth degree $d$ surfaces in $\mathbb{P}^3$ with Picard number greater than $1$. This is a countable union of proper algebraic varieties. It is known (due to works of Voisin, Green and others) that the largest irreducible component is of codimension (in the space of all smooth surface in $\mathbb{P}^3$ of degree $d$) equal to $d-3$. The main object of study in this article is: For fixed $r$ greater than $2$ and less than $d$, the locus parametrizing degree $d$ surfaces in $\mathbb{P}^3$ with Picard number at least equal to $r$. I…
The Eckardt hypersurface in $\mathbb{P}^{19}$ parameterizes smooth cubic surfaces with an Eckardt point, which is a point common to three of the $27$ lines on a smooth cubic surface. We describe the cubic surfaces lying on the singular locus of the model of this hypersurface in $\mathbb{P}^4$, obtained via restriction to the space of cubic surfaces possessing a so-called Sylvester form. We prove that inside the moduli of cubics, the singular locus corresponds to a reducible surface with two rational irreducible components intersecting along two rational curves. The two curves intersect in two …
Given the Prym variety of an étale double cover one can define analogues of the classical Brill-Noether loci on Jacobians of curves. Recent work by Lahoz and Naranjo shows that the Brill-Noether locus $V^2$ completely determines the covering. In this paper we describe the singular locus and the irreducible components of $V^2$.
We show that an irreducible component of the Hodge locus of a polarizable variation of Hodge structure of weight 0 on a smooth complex variety X is defined over an algebraically closed subfield k of finite transcendence degree if X is defined over k and the component contains a k-rational point. We also prove a similar assertion for the Hodge locus inside the Hodge bundle if the Hodge bundle together with the connection is defined over k. This is closely related with the theory of absolute Hodge classes. The proof uses the spread of the Hodge locus, and is quite similar to the case of the zero…
We continue, generalize and expand our study of linear degenerations of flag varieties from [G. Cerulli Irelli, X. Fang, E. Feigin, G. Fourier, M. Reineke, Math. Z. 287 (2017), no. 1-2, 615-654]. We realize partial flag varieties as quiver Grassmannians for equi-oriented type A quivers and construct linear degenerations by varying the corresponding quiver representation. We prove that there exists the deepest flat degeneration and the deepest flat irreducible degeneration: the former is the partial analogue of the mf-degenerate flag variety and the latter coincides with the partial PBW-degener…
We prove irreducibility for the space of cyclic covers of fixed numerical type between smooth projective curves, and also for the space of cyclic covers of prime order and of fixed numerical-combinatorial type between moduli-stable projective curves. As an application we describe the irreducible components of the singular locus of the compactified moduli space of curves $\bar{\mahfrak M_g}$, extending the work of Cornalba, who described the irreducible components of the singular locus of the moduli space of curves $\mahfrak M_g}$.
We determine explicitly the irreducible components of the singular locus of any Schubert variety for GL_n(K), K being an algebraically closed field of arbitrary characteristic. We also describe the generic singularities along these components. The case of covexillary Schubert varieties was solved in an earlier work of the author [Ann. Inst. Fourier vol. 51 fasc. 2 (2001), 375-393]. Here, we first exhibit some irreducible components of the singular locus of X_w, by describing the generic singularity along each of them. Let S_w be the union of these components. As mentioned above, the equality S…
This paper extends joint work with R. Friedman to show that the closure of the locus of intermediate Jacobians of smooth cubic threefolds, in the moduli space of principally polarized abelian varieties (ppav's) of dimension five, is an irreducible component of the locus of ppav's whose theta divisor has a point of multiplicity three or more. This paper also gives a sharp bound on the multiplicity of a point on the theta divisor of an irreducible ppav of dimension less than or equal to five; for dimensions four and five, this improves the bound due to J. Kollár, R. Smith-R. Varley, and L. Ein-R…
We give an explicit combinatorial description of the irreducible components of the singular locus of the Schubert variety X_w for any element w in S_n. Our description of the irreducible components is computationally more efficient (O(n^6)) than the previously best known algorithms. This result proves a conjecture of Lakshmibai and Sandhya regarding this singular locus. Furthermore, we give simple formulas for calculating the Kazhdan-Lusztig polynomials at the maximum singular points.
We describe the generic singularity of a Schubert variety of type A on each irreducible component of its singular locus. This singularity is given either by a cone of rank one matrices, or a quadratic cone.
We describe the locus of stable bundles on a smooth genus $g$ curve that fail to be globally generated. For each rank $r$ and degree $d$ with $rg<d<r(2g-1)$, we exhibit a component of the expected dimension. We show moreover that no component has larger dimension and give an explicit description of those families of smaller dimension than expected. For large enough degrees, we show that the locus is irreducible.
We study the $J_b(F)$-action on the set of top-dimensional irreducible components of affine Deligne--Lusztig varieties in the affine Grassmannian. We show that the stabilizer of any such component is a parahoric subgroup of $J_b(F)$ of maximal volume, verifying a conjecture of X.~Zhu. As an application, we give a description of the set of top-dimensional irreducible components in the basic locus of Shimura varieties.
Let $k$ be an algebraically closed field and let $\Hilb_{d}^{G}(\p{N})$ be the open locus of the Hilbert scheme $\Hilb_{d}(\p{N})$ corresponding to Gorenstein subschemes. We prove that $\Hilb_{d}^{G}(\p{N})$ is irreducible for $d\le9$, we characterize geometrically its singularities for $d\le 8$ and we give some results about them when $d=9$ which give some evidence to a conjecture on the nature of the singular points in $\Hilb_{d}^{G}(\p{N})$.
We give an explicit combinatorial description of the irreducible components of the singular locus of a Schubert variety in a flag variety of type A. This implies a conjecture of Lakshmibai and Sandhya.
We study the cohomological properties of the fixed locus $X^G$ of an automorphism group $G$ of prime order $p$ acting on a variety $X$ whose integral cohomology is torsion-free. We obtain an precise relation between the mod $p$ cohomology of $X^G$ and natural invariants for the action of $G$ on the integral cohomology of $X$. We apply these results to irreducible holomorphic symplectic manifolds of deformation type of the Hilbert scheme of two points on a K3 surface: the main result of this paper is a formula relating the dimension of the mod $p$ cohomology of $X^G$ with the rank and the discr…
Plane quartics containing the ten vertices of a complete pentalateral and limits of them are called Lüroth quartics. The locus of singular Lüroth quartics has two irreducible components, both of codimension two in $¶^{14}$. We compute the degree of them and we discuss the consequences of this computation on the explicit form of the Lüroth invariant. One important tool are the Cremona hexahedral equations of the cubic surface. We also compute the class in $\overline{M}_3$ of the closure of the locus of nonsingular Lüroth quartics.
Given a positive closed (1,1)-current $T$ defined on the regular locus of a projective variety $X$ with bounded mass near the singular part of $X$ and $Y$ an irreducible algebraic subset of $X$, we present uniform estimates for the locus inside $Y$ where the Lelong numbers of $T$ are larger than the generic Lelong number of $T$ along $Y$.
We consider the locus of irreducible nonsingular rational curves of degree d Pn, n>2, meeting a generic collection of linear subspaces. When this locus is 0 (resp 1)- dimensional, we compute (recursively) its degree (resp. geometric genus). The method is completely elementary and similar to that of (alg-geom/9704004, alg-geom/9708013), where the case n=2 was considered.
We prove that the singular locus of the commuting variety of a noncommutative reductive Lie algebra is contained in the irregular locus and we compute the codimension of the latter. We prove that one of the irreducible components of the irregular locus has codimension 4. This yields the lower bound of the codimension of the singular locus, in particular, implies that it is at least 2. We also prove that the commuting variety is rational.
For a given irreducible projective variety $X$, the closure of the set of all hyperplanes containing tangents to $X$ is the projectively dual variety $X^{\vee}$. We study the singular locus of projectively dual varieties of certain Segre-Plücker embeddings in series of papers. In this work we give a classification of the irreducible components of the singular locus of the dual Grassmannian. Basically, it admits two components: cusp type and node type which are degeneracies of a certain Hessian matrix, and the closure of the set of tangent planes having more than one critical point, respectivel…
We describe new irreducible components of the moduli space of rank $2$ semistable torsion free sheaves on the three-dimensional projective space whose generic point corresponds to non-locally free sheaves whose singular locus is either 0-dimensional or consists of a line plus disjoint points. In particular, we prove that the moduli spaces of semistable sheaves with Chern classes $(c_1,c_2,c_3)=(-1,2n,0)$ and $(c_1,c_2,c_3)=(0,n,0)$ always contain at least one rational irreducible component. As an application, we prove that the number of such components grows as the second Chern class grows, an…
Let X = G/P be a cominuscule rational homogeneous variety. (Equivalently, X admits the structure of a compact Hermitian symmetric space.) I give a uniform description (that is, independent of type) of the irreducible components of the singular locus of a Schubert variety Y in X in terms of representation theoretic data. The result is based on a recent characterization of the Schubert varieties by an non-negative integer A and a marked Dynkin diagram. Corollaries include: (1) the variety is smooth if and only if A=0; (2) if G of Type ADE, then the singular locus occurs in codimension at least t…
In this manuscript we sharpen the lower bound on the codimension of the irreducible components of the Noether-Lefschetz locus of surfaces in projective toric threefolds given in [BG17]. We also provide a simpler proof of Theorem 4.11 in [BG17], which allows one to avoid some technical assumptions.
We give a description of the $\mathrm{GL}_4$ Rapoport-Zink space, including the connected components, irreducible components, intersection behavior of the irreducible components, and Ekedahl-Oort stratification. As an application of this, we also give a description of the supersingular locus of the Shimura variety for the group $\mathrm{GU}(2,2)$ over a prime split in the relevant imaginary quadratic field.
We describe the structure of the supersingular locus of a Shimura variety for a quaternionic unitary similitude group of degree $2$ over a ramified odd prime $p$ if the level at $p$ is given by a special maximal compact open subgroup. More precisely, we show that such a locus has purely $2$-dimensional, and every irreducible component is birational to the Fermat surface. Furthermore, we have an estimation of the numbers of connected and irreducible components. To prove these assertions, we completely determine the structure of the underlying reduced scheme of the Rapoport--Zink space for the q…
Suppose that the compact and connected Lie group G acts holomorphically on the irreducible complex projective manifold M, and that the action linearizes to the Hermitian ample line bundle L on M. Assume that 0 is a regular value of the associated moment map. The spaces of global holomorphic sections of powers of L may be decomposed over the finite dimensional irreducible representations of G. In this paper, we study how the holomorphic sections in each equivariant piece asymptotically concentrate along the zero locus of the moment map. In the special case where G acts freely on the zero locus …