Herbert Clemens, Ziv Ran
We prove some lower bounds on certain nonegative twists of the canonical bundle of a subvariety of a generic hypersurface in projective space. In particular we prove that the generic sextic threefold contains no rational or elliptic curves and no nondegenerate curves of genus 2.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
Subvarieties of low degree on general hypersurfaces
本文证明了大度数一般超曲面内的小度数子簇均由其与线性空间或其他簇相交生成。
We study subvarieties of a general projective degree $d$ hypersurface $X_d\subset \mathbf P^n$. Our main theorem, which improves previous results of L. Ein and C. Voisin, implies in particular the following sharp corollary: any subvariety of a general hypersurface $X_{d}\subset {\mathbf P}^n$, for $n\geq 6$ and $d\geq 2n-2$, is of general type.
Combining theorems of Voisin and Marian, Shen, Yin and Zhao, we compute the dimensions of the orbits under rational equivalence in the Mukai system of rank two and genus two. We produce several examples of algebraically coisotropic and constant cycle subvarieties.
Extendable codimension two subvarieties in a general hypersurface
本文在一般超曲面中构造可扩展余维二子簇，并证明当第一陈类远小于次数时，不存在全局生成不可分解 ACM 丛。
A second-order invariant of C. Voisin gives a powerful method for bounding from below the geometric genus of a k-dimensional subvariety of a degree-d hypersurface in complex projective n-space. This work uses the Voisin method to establish a general bound, which lies behind recent results of G. Pacienza and Z. Ran.
We show that for a smooth hypersurface $X\subset \bbP^n$ of degree at least 2, there exist arithmetically Cohen-Macaulay (ACM) codimension two subvarieties $Y\subset X$ which are not an intersection $X\cap{S}$ for a codimension two subvariety $S\subset\bbP^n$. We also show there exist $Y\subset X$ as above for which the normal bundle sequence for the inclusion $Y\subset X\subset\bbP^n$ does not split.
We generalize the notion of coisotropic hypersurfaces to subvarieties of Grassmannians having arbitrary codimension. To every projective variety X, Gel'fand, Kapranov and Zelevinsky associate a series of coisotropic hypersurfaces in different Grassmannians. These include the Chow form and the Hurwitz form of X. Gel'fand, Kapranov and Zelevinsky characterized coisotropic hypersurfaces by a rank one condition on conormal spaces, which we use as the starting point for our generalization. We also study the dual notion of isotropic varieties by imposing rank one conditions on tangent spaces instead…
We introduce a relative refined $χ_y$-genus for schön subvarieties of algebraic tori. These are rational functions of degree minus the codimension with coefficients in the ring of lattice polytopes. We prove that the relative refined $χ_y$ turns sufficiently generic intersections into products, and that we can recover the ordinary $χ_y$-genus by counting lattice points. Applying the tropical Chern character to the relative refined $χ_y$-genus we obtain a refined tropicalization which is a tropical cycle having rational functions with $\mathbb Q$-coefficients as weights. We prove that the top-d…
Let $\mathcal H_g$ be the moduli space of genus $g$ hyperelliptic curves. In this note, we study the locus $\mathcal L$ in $\mathcal H_g$ of curves admitting a $G$-action of given ramification type $σ$ and inclusions between such loci. For each genus we determine the list of all possible groups, the inclusions among the loci, and the corresponding equations of the generic curve in $\mathcal L$. The proof of the results is based solely on representations of finite subgroups of $PGL_2 (\mathbb C)$ and the Riemann-Hurwitz formula.
We introduce a spectrum for arbitrary varieties. This generalizes the definition by Steenbrink for hypersurfaces. In the isolated complete intersection singularity case, it coincides with the one given by Ebeling and Steenbrink except for the coefficients of integral exponents. We show a relation to the graded pieces of the multiplier ideals by using a relation to the filtration $V$ of Kashiwara and Malgrange. This implies a partial generalization of a theorem of Budur in the hypersurface case. The point is to consider the direct sum of the graded pieces of the multiplier ideals as a module ov…
Let W be a projective variety of dimension n+1, L a free line bundle on W, X in $H^0(L^d)$ a hypersurface of degree d which is generic among those given by sums of monomials from $L$, and let $f : Y \to X$ be a generically finite map from a smooth m-fold Y. We suppose that f is r-filling, i.e. upon deforming X in $H^0(L^d)$, f deforms in a family such that the corresponding deformations of $Y^r$ dominate $W^r$. Under these hypotheses we give a lower bound for the dimension of a certain linear system on the Cartesian product $Y^r$ having certain vanishing order on a diagonal locus as well as on…
We develop a technique that allows us to prove results about subvarieties of general type hypersurfaces. As an application, we use a result of Clemens and Ran to prove that a very general hypersurface of degree (3n+1)/2 \leq d \leq 2n-3 contains lines but no other rational curves.
Algebraic hyperbolicity of subvarieties of homogeneous varieties
本文将超曲面的代数双曲性结果推广到高余维完全交，证明在射影空间中非常一般的完全交在次数和满足特定阈值条件时具有或不具有代数双曲性。
Low degree subvarieties of universal hypersurfaces
本文研究了通用超曲面的低度子变种，证明了在大度数条件下，子变种与参数化的射影变种交集的关系，并展示了大度数假设的必要性。
Using the path lattice cohomology we provide a conceptual topological characterization of the geometric genus for certain complex normal surface singularities with rational homology sphere links, which is uniformly valid for all superisolated and Newton non--degenerate hypersurface singularities.
Let $C$ be an algebraic smooth complex genus $g>1$ curve. The object of this paper is the study of the birational structure of the coarse moduli space $U_C(r,0)$ of semi-stable rank r vector bundles on $C$ with degree 0 determinant and of its moduli subspace $SU_C(r)$ given by the vector bundles with trivial determinant. Notably we prove that $U_C(r,0)$ (resp. $SU_C(r)$) is birational to a fibration over the symmetric product $C^(rg)$ (resp. over $P^{(r-1)g}$) whose fibres are GIT quotients $(P^{r-1})^{rg}//PGL(r)$. In the cases of low rank and genus our construction produces families of class…
On a conjecture on Hodge loci of linear combinations of linear subvarieties
本文针对 Movasati 关于包含相交 $k$-平面的三次和四次超曲面 Hodge 轨迹维数的猜想，在 $k \geq 5$ 时给出反例，并在 $k=3,4$ 时提供支持该猜想的新证据。
I will present an explicit formula for the intersection indices of the Chern classes of an arbitrary reductive group with hypersurfaces. This formula has the following applications. First, it allows to compute explicitly the Euler characteristic of complete intersections in reductive groups. Second, for any regular compactification of a reductive group, it computes the intersection indices of the Chern classes of the compactification with hypersurfaces. The formula is similar to the Brion--Kazarnovskii formula for the intersection indices of hypersurfaces in reductive groups. The proof uses an…
We establish the Hodge conjecture for some subvarieties of a class of toric varieties. First we study quasi-smooth intersections in a projective simplicial toric variety, which is a suitable notion to generalize smooth complete intersection subvarieties in the toric environment, and in particular quasi-smooth hypersurfaces. We show that under appropriate conditions, the Hodge Conjecture holds for a very general quasi-smooth intersection subvariety, generalizing the work on quasi-smooth hypersurfaces of the first author and Grassi in [3]. We also show that the Hodge Conjecture holds asymptotica…
Non-smoothness of Moduli Spaces of Higher Genus Curves on Low Degree Hypersurfaces
本文研究低次数光滑超曲面上高亏格曲线映射模空间的奇异性，证明次数相对亏格足够大时模空间奇异，并给出奇异轨迹维数下界。
Let $C$ be an algebraic smooth complex curve of genus $g>1$. The object of this paper is the study of the birational structure of certain moduli spaces of vector bundles and of coherent systems on $C$ and the comparison of different type of notions of stability arising in moduli theory. Notably we show that in certain cases these moduli spaces are birationally equivalent to fibrations over simple projective varieties, whose fibers are GIT quotients $(\PP^{r-1})^{rg}//PGL(r)$, where $r$ is the rank of the considered vector bundles. This allows us to compare different definitions of (semi-)stabi…
This is the continuation of our paper [10]. In this paper which is self contained, we would like to give a different obstruction formula to the FIRST order deformation of the pair of a smooth curve and a smooth hypersurface. This obstruction formula leads to a genus formula for a smooth curve in a smooth hypersurface. As an application we show that smooth elliptic curves in a smooth hypersurface of degree $$h\geq 2n-1$$ in the projective space $\mathbf P^n, n\geq 3,$ can't deform in the first order to all hypersurfaces of the same degree. In particular, there are no smooth elliptic curves in g…
We work over an algebraically closed field of arbitrary characteristic. Ellingsrud-Peskine proved that smooth surfaces in P^4 are subject to strong limitations. Their whole argument is derived from the fact that the sectional genus of surfaces of degree d lying on a hypersurface of degree s varies in an interval of length \frac{d(s-1)^2}{2s}. The aim of the present paper is to show that for smooth codimension two subvarieties of P^n, n\geq 5, one can get a similar result with an interval whose length depends only on s. The main point is Lemma 1.1 whose proof is a direct application of the posi…
This paper is a report based on the results obtained during a three months internship at the University of Pittsburgh by the first author and under the mentorship of the second author. The notion of an amoeba of a subvariety in a torus $(\mathbb{C}^*)^n$ has been extended to subvarieties of the general linear group $GL_n(\mathbb{C})$ by the second author and Manon. In this paper, we show some basic properties of these matrix amoebas, e.g. any such amoeba is closed and the connected components of its complement are convex when the variety is a hypersurface. We also extend the notion of Ronkin f…
We prove the non-existence of Shimura subvarieties of positive dimension contained generically in the hyperelliptic Torelli locus for curves of genus at least 8, which is an analogue of Oort's conjecture in the hyperelliptic case.
A short way of counting maps to hypersurfaces in Grassmannians
该研究利用Quot概形紧化计算从亏格g光滑射影曲线到格拉斯曼流形超曲面的d次映射虚计数，并探究大次数d下该虚计数在合适超曲面条件下是否具有枚举性。
The fibering genus of Fano hypersurfaces
本文拓展Kollár的思路，通过退化到正特征情形并利用Tate亏格变化公式，证明存在纤维化亏格可任意大的Fano超曲面，首次在Fano范围内研究簇的纤维化亏格问题。
We give a new practical method for computing subvarieties of projective hypersurfaces. By computing the periods of a given hypersurface X, we find algebraic cohomology cycles on X. On well picked algebraic cycles, we can then recover the equations of subvarieties of X that realize these cycles. In practice, a bulk of the computations involve transcendental numbers and have to be carried out with floating point numbers. However, if X is defined over algebraic numbers then the coefficients of the equations of subvarieties can be reconstructed as algebraic numbers. A symbolic computation then ver…
Extensions and paracanonical curves of genus 6
本文提出一种计算某些簇最大扩展的简易计算方法，并证明亏格6的一般亚典范曲线恰好扩展为26族曲面。
We study smooth curves on abelian surfaces, especially for genus 4, when the complementary subvariety in the Jacobian is also a surface. We show that up to translation there is exactly one genus 4 hyperelliptic curve on a general (1, 3)-polarised abelian surface. We investigate these curves and show that their Jacobians contain a surface and its dual as complementary abelian subvarieties.
We prove that in characteristic p>0 the locus of stable curves of p-rank at most f is pure of codimension g-f in the moduli space of stable curves. Then we consider the Prym map and analyze it using tautological classes. We study the locus of curves with an etale double cover of p-rank 0 in some detail. In particular, in genus 2 we obtain a formula for the number of such curves. We end with several examples illustrating our formula.
This small note is about Plücker hyperplane sections $X$ of the Grassmannian $\operatorname{Gr}(3,V_{10})$. Inspired by the analogy with cubic fourfolds, we prove that the only non-trivial Chow group of $X$ is generated by Grassmannians of type $\operatorname{Gr}(3,W_{6})$ contained in $X$. We also prove that a certain subring of the Chow ring of $X$ (containing all intersections of positive-codimensional subvarieties) injects into cohomology.
We explore some of the interplay between Brill-Noether subvarieties of the moduli space SU_C(2,K) of rank 2 bundles with canonical determinant on a smooth projective curve and 2θdivisors, via the inclusion of the moduli space into |2θ|, singular along the Kummer variety. In particular we show that the moduli space contains all the trisecants of the Kummer and deduce that there are quadrisecant lines only if the curve is hyperelliptic; we show that for generic curves of genus <6, though no higher, bundles with >2 sections are cut out by Γ_00; and that for genus 4 this locus is precisely the Don…
Let SU_X(3) be the moduli space of semi-stable vector bundles of rank 3 and trivial determinant on a curve X of genus 2. It maps onto P^8 and the map is a double cover branched over a sextic hypersurface called the Coble sextic. In the dual P^8 there is a unique cubic hypersurface, the Coble cubic, singular exactly along the abelian surface of degree 1 line bundles on X. We give a new proof that these two hypersurfaces are dual. As an immediate corollary, we derive a Torelli-type result.
We construct new subvarieties in the varieties of power sums for certain quartic hypersurfaces. This provides a generalization of Mukai's description of smooth prime Fano threefolds of genus twelve as the varieties of power sums for plane quartics. In fact, in our second paper, we show that these quartics are exactly the Scorza quartics associated to general pairs of trigonal curves and ineffective theta characteristics and this enables us to prove there the main cojecture of Dolgachev and Kanev.
On a general hypersurface of degree $d\leq n$ in $\mathbb P^n$ or $\mathbb P^n$ itself, we prove the existence of curves of any genus and high enough degree depending on the genus passing through the expected number $t$ of general points or incident to a general collection of subvarieties of suitable codimensions. In some cases we also show that the family of curves through $t$ fixed points has general moduli as family of $t$-pointed curves. These results imply positivity of certain intersection numbers on Kontsevich spaces of stable maps. An arithmetical appendix by M. C. Chang descibes the s…
We study families of Galois covers of curves of positive genus. It is known that under a numerical condition these families yield Shimura subvarieties generically contained in the Jacobian locus. We prove that there are only 6 families satisfying this condition, all of them in genus 2,3 or 4. We also show that these families admit two fibrations in totally geodesic subvarieties, generalizing a result of Grushevsky and Möller. Countably many of these fibres are Shimura. Thus the Jacobian locus contains infinitely many Shimura subvarieties of positive dimension of any $g \leq 4$.
Fix integers $r\geq 4$ and $i\geq 2$ (for $r=4$ assume $i\geq 3$). Assuming that the rational number $s$ defined by the equation $\binom{i+1}{2}s+(i+1)=\binom{r+i}{i}$ is an integer, we prove an upper bound for the genus of a reduced and irreducible complex projective curve in $\mathbb P^r$, of degree $d\gg s$, not contained in hypersurfaces of degree $\leq i$. It turns out that this bound coincides with the Castelnuovo's bound for a curve of degree $d$ in $\mathbb P^{s+1}$. We prove that the bound is sharp if and only if there exists an integral surface $S\subset \mathbb P^r$ of degree $s$, n…
Fix integers $a\geq 1$, $b$ and $c$. We prove that for certain projective varieties $V\subset{\bold P}^r$ (e.g. certain possibly singular complete intersections), there are only finitely many components of the Hilbert scheme parametrizing irreducible, smooth, projective, low codimensional subvarieties $X$ of $V$ such that $$ h^0(X,\Cal O_X(aK_X-bH_X)) \leq λd^{ε_1}+c(\sum_{1\leq h < ε_2}p_g(X^{(h)})), $$ where $d$, $K_X$ and $H_X$ denote the degree, the canonical divisor and the general hyperplane section of $X$, $p_g(X^{(h)})$ denotes the geometric genus of the general linear section of $X$ o…
We compute the reduced genus 1 Gromov-Witten invariants of Calabi-Yau hypersurfaces. As a consequence, we confirm the 1993 Bershadsky-Cecotti Ooguri-Vafa (BCOV) prediction for the standard genus 1 GW-invariants of a quintic threefold. We combine constructions from a series of previous papers with the classical localization theorem to relate the reduced genus 1 invariants of a CY-hypersurface to previously computed integrals on moduli spaces of stable genus 0 maps into projective space. The resulting, rather unwieldy, expressions for a genus 1 equivariant generating function simplify drasticall…
Let $R$ be a hypersurface in an equicharacteristic or unramified regular local ring. For a pair of modules $(M,N)$ over $R$ we study applications of rigidity of $\Tor^R(M,N)$, based on ideas by Huneke, Wiegand and Jorgensen. We then focus on the hypersurfaces with isolated singularity and even dimension, and show that modules over such rings behave very much like those over regular local rings. Connections and applications to projective hypersurfaces such as intersection dimension of subvarieties and cohomological criterion for splitting of vector bundles are discussed.
Let $C$ be a curve of genus two. We denote by $SU_C(3)$ the moduli space of semi-stable vector bundles of rank 3 and trivial determinant over $C$, and by $J^d$ the variety of line bundles of degree $d$ on $C$. In particular, $J^1$ has a canonical theta divisor $Θ$. The space $SU_C(3)$ is a double cover of $P^8=|3Θ|$ branched along a sextic hypersurface, the Coble sextic. In the dual $\check{P}^8=|3Θ|^*$, where $J^1$ is embedded, there is a unique cubic hypersurface singular along $J^1$, the Coble cubic. We prove that these two hypersurfaces are dual, inducing a non-abelian Torelli result. More…
For any smooth complex projective variety X and smooth very ample hypersurface Y in X, we develop the technique of genus zero relative Gromov-Witten invariants of Y in X in algebro-geometric terms. We prove an equality of cycles in the Chow groups of the moduli spaces of relative stable maps that relates these relative invariants to the Gromov-Witten invariants of X and Y. Given the Gromov-Witten invariants of X, we show that these relations are sufficient to compute all relative invariants, as well as all genus zero Gromov-Witten invariants of Y whose homology and cohomology classes are induc…
We continue our study of genus 2 curves $C$ that admit a cover $ C \to E$ to a genus 1 curve $E$ of prime degree $n$. These curves $C$ form an irreducible 2-dimensional subvariety $Ł_n$ of the moduli space $\M_2$ of genus 2 curves. Here we study the case $n=5$. This extends earlier work for degree 2 and 3, aimed at illuminating the theory for general $n$. We compute a normal form for the curves in the locus $Ł_5$ and its three distinguished subloci. Further, we compute the equation of the elliptic subcover in all cases, give a birational parametrization of the subloci of $Ł_5$ as subvarieties …
Some applications of microlocalization for local complete intersection subvarieties
本文提出适用于局部完全交子簇的微局部化构造，证明最小指数与最小 Bernstein–Sato 根及最小非零谱数一致，并推出其可构造性与等奇异族中的恒定性。
We construct new examples of Kobayashi hyperbolic hypersurfaces in the projective 4-space. They are generic projections of the triple symmetric product of a generic curve of genus at least 7, smoothly embedded in the projective 7-space.
We systematically analyze the fibration structure of toric hypersurface Calabi-Yau threefolds with large and small Hodge numbers. We show that there are only four such Calabi-Yau threefolds with $h^{1, 1} \geq 140$ or $h^{2, 1} \geq 140$ that do not have manifest elliptic or genus one fibers arising from a fibration of the associated 4D polytope. There is a genus one fibration whenever either Hodge number is 150 or greater, and an elliptic fibration when either Hodge number is 228 or greater. We find that for small $h^{1, 1}$ the fraction of polytopes in the KS database that do not have a genu…
The moduli space M_0 of semi-stable rank 2 vector bundles with fixed trivial determinant over a non-hyperelliptic curve C of genus 3 is isomorphic to a quartic hypersurface in P^7 (Coble's quartic). We show that M_0 is self-dual and that its polar map associates to a stable bundle E \in M_0 a bundle F which is characterized by dim H^0(C, E \otimes F) = 4. The projective space PH^0(C, E \otimes F) is equipped with a net of quadrics Πand it is shown that the map which associates to E \in M_0 the isomorphism class of the plane quartic Hessian curve of Πis a dominant map to the moduli space of gen…
On potential density of integral points on the complement of some subvarieties in the projective space
本文研究了数域上 $n$ 维射影空间中特定闭子簇余集上整点的潜在密度，推广了 Corvaja-Zucconi 在低维射影空间中的相关结果。
Let n > 2 and let d < (n+1)/2. We prove that for a general hypersurface X of degree d in P^n, all the genus 0 Kontsevich moduli spaces M_{0,n}(X,e) are irreducible, reduced, local complete intersection stacks of the expected dimension.
Hodge-Gromov-Witten theory
本文提出了一种计算非Gorenstein ambient空间中超曲面Gromov-Witten不变量的方法，并首次实现了genus-zero的计算。
We prove a lower bound for the codimension of the Andreotti-Mayer locus N_{g,1} and show that the lower bound is reached only for the hyperelliptic locus in genus 4 and the Jacobian locus in genus 5. In relation with the boundary of the Andreotti-Mayer loci we study subvarieties of principally polarized abelian varieties (B,Theta) parametrizing points b such that Theta and the translate Theta_b are tangentially degenerate along a variety of a given dimension.
Coble type hypersurfaces and hyperkähler fourfolds
本文证明对于K3^{[2]}型极化超凯勒四重簇的一般成员，存在唯一的Coble型超曲面，并描述相应模空间的几何性质。
In this paper we give a simple Torelli type theorem for curves of genus 6 and 8 by showing that these curves can be reconstructed from their Brill-Noether varieties. Among other results, it is shown that the focal variety of a general, canonical and nonhyperelliptic curve of genus 6 is a hypersurface.
Cohomology of Moduli Space of Multiscale Differentials in Genus 0
本文证明了亏格0多重尺度微分模空间的有理上同调环由边界除子生成，利用Chow-Künneth性质与边界除子交集的不可约性，并在光滑情形下将结论推广至整上同调环。
Let $C$ be an irreducible, reduced, non-degenerate curve, of arithmetic genus $g$ and degree $d$, in the projective space $\mathbf P^4$ over the complex field. Assume that $C$ satisfies the following {\it flag condition of type $(s,t)$}: {$C$ does not lie on any surface of degree $<s$, and on any hypersurface of degree $<t$}. Improving previous results, in the present paper we exhibit a Castelnuovo-Halphen type bound for $g$, under the assumption $s\leq t^2-t$ and $d\gg t$. In the range $t^2-2t+3\leq s\leq t^2-t$, $d\gg t$, we are able to give some information on the extremal curves. They are …
On the genus of projective curves not contained in hypersurfaces of given degree, II
本文研究不包含在给定低次数超曲面中的复射影曲线的算术亏格，给出 Castelnuovo 界并证明其在若干参数条件下的尖锐性，同时刻画了非尖锐时的极值可能性。
Local rigidity of covering constructions and Weil--Petersson subvarieties of the moduli space of curves
本文证明了曲线模空间$\u039c_{g,n}$的Weil–Petersson全测地子簇及覆盖构造是局部刚性的，该结论由一类轨形映射的一般刚性结果推导得到。
Let $V$ be a subvariety of codimension $\leq g$ of the moduli space $\cA_g$ of principally polarized abelian varieties of dimension $g$ or of the moduli space $\tM_g$ of curves of compact type of genus $g$. We prove that the set $E_1(V)$ of elements of $V$ which map onto an elliptic curve is analytically dense in $V$. From this we deduce that if $V \subset \cA_g$ is complete, then $V$ has codimension equal to $g$ and the set of elements of $V$ isogenous to a product of $g$ elliptic curves is countable and analytically dense in $V$. We also prove a technical property of the conormal sheaf of $V…
Given a compact Kähler manifold, the Infinitesimal Torelli problem asks whether the differential of the period map of a Kuranishi family is injective. Unlike the classical Torelli theorem for curves, there is a negative answer for example for hyperelliptic curves of genus greater than $2$. Nevertheless the Infinitesimal Torelli Theorem holds for many other classes of manifolds. We will prove it for smooth hypersurfaces in simple abelian varieties with sufficiently high self-intersection giving an effective bound on a result by Green in this particular case.
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。