Ferruccio Orecchia
We extend results of our previous papers, on ordinary multiple points of curves, and on the computation of their conductor, to ordinary multiple subvarieties of codimension one.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
In this paper we extend the properties of ordinary points of curves [10] to ordinary closed points of one-dimensional affine reduced schemes and then to ordinary subvarieties of codimension one.
We prove the following: (a) Let X be a smooth, codimension two subvariety of P6. If X lies on a hyperquintic or if deg(X)<74, then X is a complete intersection. (b) Let X be a smooth, subcanonical threefold in P5. If X lies on a hyperquartic, then X is a complete intersection.
We consider smooth codimension two subcanonical subvarieties in $\mathbb{P}^n$ with $n \geq 5$, lying on a hypersurface of degree $s$ having a linear subspace of multiplicity $(s-2)$. We prove that such varieties are complete intersections. We also give a little improvement to some earlier results on the non existence of rank two vector bundles on $\mathbb{P}^4$ with small Chern classes.
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.
Extendable codimension two subvarieties in a general hypersurface
本文在一般超曲面中构造可扩展余维二子簇，并证明当第一陈类远小于次数时，不存在全局生成不可分解 ACM 丛。
We prove Bertini type theorems for the inverse image, under a proper morphism, of any Schubert variety in an homogeneous space. Using generalisations of Deligne's trick, we deduce connectedness results for the inverse image of the diagonal in $X^2$ where $X$ is any isotropic grassmannian. We also deduce simple connectedness properties for subvarieties of $X$. Finally we prove transplanting theorems {à} la Barth-Larsen for the Picard group of any isotropic grassmannian of lines and for the Neron-Severi group of some adjoint and coadjoint homogeneous spaces.
We introduce a method to determine if n-dimensional smooth subvarieties of an ambient space of dimension at most 2n − 2 inherit the Picard group from the ambient space (as it happens when the ambient space is a projective space, according to results of Barth and Larsen). As an application, we give an affirmative answer (up to some mild natural numerical conditions) when the ambient space is a Grassmannian of lines (thus improving results of Barth, Van de Ven and Sommese) or a product of two projective spaces of the same dimension.
We investigate a method proposed by E. Arrondo and J. Caravantes to study the Picard group of a smooth low-codimension subvariety X in a variety Y when Y is homogeneous. We prove that this method is strongly related to the signature σ_Y of the Poincare pairing on the middle cohomology of Y. We give under some topological assumptions a bound on the rank of Picard group Pic(X) in terms of σ_Y and remove these assumptions for grassmannians to generalise the main result of E. Arrondo and J. Caravantes.
We make precise the structure of the first two reduction morphisms associated with codimension two nonsingular subvarieties of quadrics $\Q{n}$, $n\geq 5$. We give a coarse classification of the same class of subvarieties when they are assumed to be not of log-general-type. Keywords: Adjunction Theory, classification, codimension two, conic bundles, low codimension, non log-general-type, quadric, reduction, special variety
Let X\subsetneq\mathbb{P}_{\mathbb{C}}^{N} be an n-dimensional nondegenerate smooth projective variety containing an m-dimensional subvariety Y. Assume that either m>\frac{n}{2} and X is a complete intersection or that m\geq\frac{N}{2}, we show deg(X)|deg(Y) and codim_{span(Y)}Y\geq codim_{\mathbb{P}^{N}}X, where span(Y) is the linear span of Y. These bounds are sharp. As an application, we classify smooth projective n-dimensional quadratic varieties swept out by m\geq[\frac{n}{2}]+1 dimensional quadrics passing through one point.
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…
Let $X$ be a codimension two nonsingular subvariety of a nonsingular quadric $\Q{n}$ of dimension $n\geq 5$. We classify such subvarieties when they are scrolls. We also classify them when the degree $d\leq 10$. Both results were known when $n=4$. Keywords: Classification; liaison; low codimension; low degree; quadric; scroll; vector bundle
We prove that there are only finitely many families of codimension two nonsingular subvarieties of quadrics $\Q{n}$ which are not of general type, for $n=5$ and $n\geq 7$. We prove a similar statement also for the case of higher codimension. The case $n=6$ has been recently settled by Fania-Ottaviani. Keywords: Codimension two, Grassmannians, Lifting, Low codimension, Not of General Type, Polynomial Bound, Quadrics
We give examples of infinitely extendable (not as cones) arithmetically Cohen-Macaulay and arithmetically Gorenstein subvarieties of projective spaces and which are not complete intersections. The proof uses the computation of the dimension of the Hilbert scheme of codimension $2$ subschemes of projective spaces due to G. Ellingsrud and of arithmetically Gorenstein codimension $3$ subschemes due to J. O. Kleppe and R.-M. Miró-Roig.
In this paper, we introduce a notion of adjoint ideal sheaves along closed subvarieties of higher codimension and study its local properties using characteristic $p$ methods. When $X$ is a normal Gorenstein closed subvariety of a smooth complex variety $A$, we formulate a restriction property of the adjoint ideal sheaf $\adj_X(A)$ of $A$ along $X$ involving the l.c.i. ideal sheaf $\mathcal{D}_X$ of $X$. The proof relies on a modification of generalized test ideals of Hara and Yoshida.
We study twisted forms of Schubert cells in generalized Severi-Brauer varieties, and show that the codimension $2$ Chow groups of these varieties are torsion free in certain cases, using the topological filtration on their K-theory
We give the first examples of nef line bundles on smooth projective varieties over finite fields which are not semi-ample. More concretely, we find smooth curves on smooth projective surfaces over finite fields such that the normal bundle has degree zero, but no positive multiple of the curve moves in a family of disjoint curves. This answers questions by Keel and Mumford. The proof uses an obstruction theory, in the spirit of homotopy theory, which links the infinitely many obstructions to moving higher and higher multiples of a given codimension-one subvariety. On 3-folds over a finite field…
The monodromy of families of subvarieties on abelian varieties
本文结合几何论证与表示论，证明阿贝尔簇中高余维非平凡子簇族经一般秩一局部系统扭转后具有大单值性。
We obtain criteria for detecting complete intersections in projective varieties. Motivated by a conjecture of Hartshorne concerning subvarieties of projective spaces, we investigate situations when two-codimensional smooth subvarieties of rational homogeneous varieties are complete intersections.
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…
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.
We construct a new 20-dimensional family of projective 6-dimensional irreducible holomorphic symplectic manifolds. The elements of this family are deformation equivalent with the Hilbert scheme of three points on a K3 surface and are constructed as natural double covers of special codimension 3 subvarieties of the Grassmanian G(3,6). These codimension 3 subvarieties are defined as Lagrangian degeneracy loci and their construction is parallel to that of EPW sextics, we call them the EPW cubes. As a consequence we prove that the moduli space of polarized IHS sixfolds of K3-type, Beauville-Bogomo…
Algebraic hyperbolicity of subvarieties of homogeneous varieties
本文将超曲面的代数双曲性结果推广到高余维完全交，证明在射影空间中非常一般的完全交在次数和满足特定阈值条件时具有或不具有代数双曲性。
In this paper we prove that given a pair $(X,D)$ of a threefold $X$ and a boundary divisor $D$ with mild singularities, if $(K_X+D)$ is movable, then the orbifold second Chern class $c_2$ of $(X,D)$ is pseudo-effective. This generalizes the classical result of Miyaoka on the pseudo-effectivity of $c_2$ for minimal models. As an application we give a simple solution to Kawamata's effective non-vanishing conjecture in dimension $3$, where we prove that $H^0(X, K_X+H)\neq 0$, whenever $K_X+H$ is nef and $H$ is an ample, effective, reduced Cartier divisor. Furthermore, we study Lang-Vojta's conjec…
In this article we develop a new way of systematically constructing infinitely many families of smooth subvarieties $X$ of any given dimension $m$, $m \geq 3$, and any given codimension in $\mathbb P^N$, embedded by complete subcanonical linear series, and, in particular, in the range of Hartshorne's conjecture. We accomplish this by showing the existence of everywhere non--reduced schemes called ropes, embedded in $\mathbb P^N$, and by smoothing them. In the range $3 \leq m < N/2$, we construct smooth subvarieties, embedded by complete subcanonical linear series, that are not complete interse…
To each subvariety $X$ in projective $n$-space of codimension $m$ we associate an integer sequence of length $m + 1$ from $1$ to the degree of $X$ recording the maximal cardinalities of finite, reduced intersections of $X$ with linear subvarieties. We call this the sequence of secant indices of $X$. Similar numbers have been studied independently with the aim of classifying subvarieties with extremal secant spaces. Our focus in this note is the study of the combinatorial properties that the secant indices satisfy collectively. We show these sequences are strictly increasing for nondegenerate s…
We prove Barth-type connectedness results for low-codimension smooth subvarieties with good numerical properties inside certain "easy" ambient spaces (such as homogeneous varieties, or spherical varieties). The argument employs some basics from the theory of cones of cycle classes, in particular the notion of bigness of a cycle class.
Let $X$ be a regular geometrically integral variety over an imperfect field $K$. Unlike the case of characteristic $0$, $X':=X\times_{\mathrm{Spec}\,K}\mathrm{Spec}\,K'$ may have singular points for a (necessarily inseparable) field extension $K'/K$. In this paper, we define new invariants of the local rings of codimension $1$ points of $X'$, and use these invariants for the calculation of $δ$-invariants (, which relate to genus changes,) and conductors of such points. As a corollary, we give refinements of Tate's genus change theorem and the Patakfalvi-Waldron Theorem. Moreover, when $X$ is a…
We show that points in the intersection of the tropicalizations of subvarieties of a torus lift to algebraic intersection points with expected multiplicities, provided that the tropicalizations intersect in the expected dimension. We also prove a similar result for intersections inside an ambient subvariety of the torus, when the tropicalizations meet inside a facet of multiplicity 1. The proofs require not only the geometry of compactified tropicalizations of subvarieties of toric varieties, but also new results about the geometry of finite type schemes over non-noetherian valuation rings of …
Non-dicritical codimension one foliations on projective spaces of dimension four or higher always have an invariant algebraic hypersurface. The proof relies on a strengthening of a result by Rossi on the algebraization/continuation of analytic subvarieties of projective spaces.
We give a new lower bound for the essential minimum of subvarieties of abelian varieties with small codimension, under a conjecture about ordinary primes in abelian varieties. This lower bound is already known in the toric case since the work of Amoroso and David. It is the best expected, "up to an epsilon", in the degree of the subvariety.
Let $X$ be a codimension 1 subvariety of dimension $>1$ of a variety of minimal degree $Y$. If $X$ is subcanonical with Gorenstein canonical singularities admitting a crepant resolution, then $X$ is Arithmetically Gorenstein and we characterise such subvarieties $X$ of $Y$ via apolarity as those whose apolar hypersurfaces are Fermat.
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…
This paper studies the obstructions to deforming a map from a complex variety to another variety which is an immersion of codimension one. We extend the classical notion of semiregularity of subvarieties to maps between varieties, and show that it largely extends the applicability. Then we apply the main result to several situations. First, we give deformations of non-reduced curves on surfaces in a geometrically controlled way. Also, we give a simple but effective criterion for the vanishing of the obstructions to equisingular deformations of nodal curves on surfaces. Finally, we construct no…
Let $E$ be an optimal elliptic curve over $\Q$ of prime conductor $N$. We show that if for an odd prime $p$, the mod $p$ representation associated to $E$ is reducible (in particular, if $p$ divides the order of the torsion subgroup of $E(\Q)$), then the $p$-primary component of the Shafarevich-Tate group of $E$ is trivial. We also state a related result for more general abelian subvarieties of $J_0(N)$ and mention what to expect if $N$ is not prime.
An abelian arrangement is a finite set of codimension one abelian subvarieties (possibly translated) in a complex abelian variety. In this paper, we study the cohomology of the complement of an abelian arrangement. For unimodular abelian arrangements, we provide a combinatorial presentation for a differential graded algebra whose cohomology is isomorphic to the rational cohomology of the complement. Moreover, this DGA has a bi-grading that allows us to compute the mixed Hodge numbers.
We determine the number of ${\mathbb{F}}_q$-rational points of hyperplane sections of classical determinantal varieties defined by the vanishing of minors of a fixed size of a generic matrix, and identify sections giving the maximum number of ${\mathbb{F}}_q$-rational points. Further we consider similar questions for sections by linear subvarieties of a fixed codimension in the ambient projective space. This is closely related to the study of linear codes associated to determinantal varieties, and the determination of their weight distribution, minimum distance and generalized Hamming weights.…
Given a projective variety X defined over a finite field, the zeta function of divisors attempts to count all irreducible, codimension one subvarieties of X, each measured by their projective degree. When the dimension of X is greater than one, this is a purely p-adic function, convergent on the open unit disk. Four conjectures are expected to hold, the first of which is p-adic meromorphic continuation to all of C_p. When the divisor class group (divisors modulo linear equivalence) of X has rank one, then all four conjectures are known to be true. In this paper, we discuss the higher rank case…
The Bogomolov conjecture for a curve claims finiteness of algebraic points on the curve which are small with respect to the canonical height. Ullmo has established this conjecture over number fields, and Moriwaki generalized it to the assertion over finitely generated fields over $\mathbb{Q}$ with respect to arithmetic heights. As for the case of function fields with respect to the geometric heights, Cinkir has proved the conjecture over function fields of characteristic $0$ and of transcendence degree $1$. However, the conjecture has been open over other function fields. In this paper, we pro…
Let X and Y be smooth varieties of dimensions n-1 and n over an arbitrary algebraically closed field, f:X-> Y a finite map that is birational onto its image. Suppose that f is curvilinear; that is, at every point of X, the Jacobian has rank at least n-2. For r at least 1, consider the subscheme N_r of Y defined by the (r-1)st Fitting ideal of the O_Y-module f_*O_X, and set M_r:=f^{-1}N_r. In this setting --- in fact, in a more general setting --- we prove the following statements, which show that M_r and N_r behave like reasonable schemes of source and target r-fold points of f. Each component…
Moduli of abelian varieties near the locus of products of elliptic curves
本文在椭圆曲线乘积轨迹附近研究 ppav 模空间的自然子簇，重新证明并推广超椭圆轨迹、theta-null 与梯度消失等局部结构结果，并给出 Hessian 秩为 2 的新轨迹结论。
On a conjecture of Beelen, Datta and Ghorpade for the number of points of varieties over finite fields
该研究针对Beelen等人提出的有限域上齐次多项式子空间零点集最大有理点数猜想，证明当有限域阶数相对于参数m、d、r足够大时猜想成立，且该问题等价于射影Reed-Muller码广义汉明重量计算与Veronese簇截面最大点数问题。
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。