Nicolas Perrin
We prove that the morphism that maps a rational ruled surface to its singular locus is genericaly injective modulo isomophism and duality. We also calculate the dimension and the degre of its image.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
In this paper, we compare the moduli spaces of rank-3 vector bundles stable with respect to different ample divisors over rational ruled surfaces. We also discuss the irreducibility, unirationality, and rationality of these moduli spaces.
We compute the degree of the variety parametrizing rational ruled surfaces of degree d in the projective space by relating the problem to Gromov-Witten invariants and Quantum cohomology.
The ruled surfaces, i.e., surfaces generated by one parametric set of lines, are widely used in the~field of applied geometry. An~isophote on a surface is a curve consisting of surface points whose normals form a constant angle with some fixed vector. Choosing an angle equal to $π/2$ we obtain a special instance of a~isophote -- the so called contour curve. While contours on rational ruled surfaces are rational curves, this is no longer true for the isophotes. Hence we will provide a formula for their genus. Moreover we will show that the only surfaces with a~rational generic contour are just …
We study the Seshadri constants on geometrically ruled surfaces. The unstable case is completely solved. Moreover, we give some bounds for the stable case. We apply these results to compute the Seshadri constant of the rational and elliptic ruled surfaces. Both cases are completely determined. The elliptic case provides an interesting picture of how particular is the behavior of the Seshadri constants.
We study moduli spaces $M_X(r,c_1,c_2)$ parametrizing slope semistable vector bundles of rank $r$ and fixed Chern classes $c_1, c_2$ on a ruled surface whose base is a rational nodal curve. We show that under certain conditions, these moduli spaces are irreducible, smooth and rational (when non-empty). We also prove that they are non-empty in some cases. We show that for a rational ruled surface defined over real numbers, the moduli space $M_X(r,c_1,c_2)$ is rational as a variety defined over $\mathbb R$.
Chen, Sederberg, and Zheng introduced the notion of a $μ$-basis for a rational ruled surface in Chen et al. (2001) and showed that its resultant is the implicit equation of the surface, if the parametrization is generically injective. We generalize this result to the case of an arbitrary parametrization. We also give a new proof for the corresponding theorem in the curve case and treat the reparametrization problem for curves and ruled surfaces.
Using the theory of cohomology support locus, we give a necessary condition for the Albanese map of a smooth projective surface being a submersion. More precisely, assuming the cohomology support locus of any finite abelian cover of a smooth projective surface consists of finitely many points, we prove that the surface has trivial first Betti number, or is a ruled surface of genus one, or is an abelian surface.
In this work we use arithmetic, geometric, and combinatorial techniques to compute the cohomology of Weil divisors of a special class of normal surfaces, the so-called rational ruled toric surfaces. These computations are used to study the topology of cyclic coverings of such surfaces ramified along Q-normal crossing divisors.
We prove that the set of singular configurations of a general Gough Stewart platform has a rational parametrization. We introduce a reciprocal twist mapping which, for a general orientation of the platform, realizes the cubic surface of singularities as the blowing up of a quadric surface in five points.
We present a method for computing all the symmetries of a rational ruled surface defined by a rational parametrization which works directly in parametric rational form, i.e. without computing or making use of the implicit equation of the surface. The method proceeds by translating the problem into the parameter space, and relies on polynomial system solving. If we want all the symmetries of the surface, including rotational symmetries, we need to deal with polynomial systems in four variables; if we are only interested in involutions (e.g. central symmetries, axial symmetries, reflections in a…
In this paper we classify non-symplectic automorphisms of order 8 on complex K3 surfaces in case that the fourth power of the automorphism has only rational curves in its fixed locus. We show that the fixed locus is the disjoint union of a rational curve and 10 isolated points or it consists in 4 isolated fixed points. We give examples corresponding to the case with a rational curve in the fixed locus and to the case with only isolated points in the fixed locus.
It is well known that a smooth projective Fano variety is rationally connected. Recently Zhang (and later Hacon and McKernan as a special case of their work on the Shokurov RC-conjecture) proved that the same conclusion holds for a klt pair $(X,\D)$ such that $-(K_X+\D)$ is big and nef. We prove here a natural generalization of the above result by dropping the nefness assumption. Namely we show that a klt pair $(X,\D)$ such that $-(K_X+\D)$ is big is rationally connected modulo the non-nef locus of $-(K_X+\D)$. This result is a consequence of a more general structure theorem for arbitrary pair…
We prove that in a family of projective threefolds defined over an algebraically closed field, the locus of rational fibers is a countable union of closed subsets of the locus of separably rationally connected fibers. When the ground field has characteristic zero, this implies that the locus of rational fibers in a smooth family of projective threefolds is the union of at most countably many closed subfamilies.
We study ruled orders. These arise naturally in the Mori program for orders on projective surfaces and morally speaking are orders on a ruled surface ramified on a bisection and possibly some fibres. We describe fibres of a ruled order and show they are in some sense rational. We also determine the Hilbert scheme of rational curves and hence the corresponding non-commutative Mori contraction. This gives strong evidence that ruled orders are examples of the non-commutative ruled surfaces introduced by Van den Bergh.
Rationality of Seshadri constants on blow-ups of ruled surfaces
本文研究直纹曲面爆破上的 Seshadri 常数，提出分类负自交曲线的猜想，并在假设该猜想成立时构造出具有无理 Seshadri 常数的丰富线丛。
We present an algorithm that covers any given rational ruled surface with two rational parametrizations. In addition, we present an algorithm that transforms any rational surface parametrization into a new rational surface parametrization without affine base points and such that the degree of the corresponding maps is preserved.
We consider the Quot scheme, R_{d}, compactifying the space of degree d maps from the projective line to the Grassmannian of lines. We give an algorithm for computing the degree of R_{d} under a "generalized Plücker embedding", this is a certain Gromov-Witten invariant. The approach is to apply the Atiyah-Bott localization formula for the natural C^{*}-action on R_{d}. These numbers can be obtained directly from Vafa-Intriligator formula.
In this paper, we study maps between moduli spaces of lattice-polarized K3 surfaces induced by sublattices of prime index. We show that these maps can be used to determine if a rational point of the moduli space belongs to the Noether-Lefschetz locus. As an application, we prove that the Bombieri-Lang conjecture implies non-density statements for the rational points in the Noether-Lefschetz locus, as predicted by a conjecture of Shafarevich.
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.
We prove that the Euler-Chow series for ruled surfaces and scrolls is rational by means of an explicit computation.
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 …
We consider singular Q-acyclic surfaces with smooth locus of non-general type. We prove that if the singularities are topologically rational then the smooth locus is C^1- or C*-ruled or the surface is up to isomorphism one of two exceptional surfaces of Kodaira dimension zero. For both exceptional surfaces the Kodaira dimension of the smooth locus is zero and the singular locus consists of a unique point of type A1 and A2 respectively. These surfaces can be constructed starting from two classical configurations of lines on the projective plane: the dual Hesse configuration and the complete qua…
Brill-Noether Theory of stable vector bundles on ruled surfaces
本文研究直纹曲面上 H-稳定秩 2 向量丛模空间的 Brill-Noether 轨迹，给出其非空时 k 值在多数情形下的精确界。
This paper shows that the multiplicity of the base points locus of a projective rational surface parametrization can be expressed as the degree of the content of a univariate resultant. As a consequence, we get a new proof of the degree formula relating the degree of the surface, the degree of the parametrization, the base points multiplicity, and the degree of the rational map induced by the parametrization. In addition, we extend both formulas to the case of dominant rational maps of the projective plane and describe how the base point loci of a parametrization and its reparametrizations are…
This article is the second installment in a series on the Berkovich ramification locus for nonconstant rational functions f: P^1 -> P^1. Here we show the ramification locus of f is contained in a strong tubular neighborhood of finite radius around the connected hull of the critical points if and only if f is tamely ramified at all of its critical points. When the ground field has characteristic zero, this bound may be chosen to depend only on the residue characteristic. We give two applications to classical non-Archimedean analysis, including a new version of Rolle's theorem for rational funct…
We perform an intersection theoretic study of the rational map between two different moduli spaces of stable curves which associates to a curve its corresponding Brill-Noether locus (in the case this locus has virtual dimension 1). We then use these results to describe the cone of moving divisors on M_g. Several other applications to moduli spaces of Prym varieties are presented. In a different direction, we prove that the locus in M_g of curves failing to satisfy the Gieseker-Petri theorem is supported in codimension 1 for every possible type of linear series.
We provide algorithms to reconstruct rational ruled surfaces in three-dimensional projective space from the `apparent contour' of a single projection to the projective plane. We deal with the case of tangent developables and of general projections to $\mathbb{p}^3$ of rational normal scrolls. In the first case, we use the fact that every such surface is the projection of the tangent developable of a rational normal curve, while in the second we start by reconstructing the rational normal scroll. In both instances we then reconstruct the correct projection to $\mathbb{p}^3$ of these surfaces by…
In this paper, we prove a general result computing the number of rational points of bounded height on a projective variety $V$ which is covered by lines. The main technical result used to achieve this is an upper bound on the number of rational points of bounded height on a line. This upper bound is such that it can be easily controlled as the line varies, and hence is used to sum the counting functions of the lines which cover the original variety $V$.
Let $Σ$ be a smooth projective surface, let $f' : S' \to Σ$ be a double cover of $Σ$ and let $μ: S \to S'$ be the canonical resolution. Put $f = f'\circμ$. An irreducible curve $C$ on $Σ$ is said to be a splitting curve with respect to $f$ if $f^*C$ is of the form $C^+ + C^- + E$, where $C^- = σ_f^*C^+$, $σ_f$ being the covering transformation of $f$ and all irreducible components of $E$ are contained in the exceptional set of $μ$. In this article, we show that a kind of "reciprocity" of splitting curves holds for a certain pair of curves on rational ruled surfaces. As an application, we consi…
The ruled surface is a typical modeling surface in computer aided geometric design. It is usually given in the standard parametric form. However, it can also be in the forms than the standard one. For these forms, it is necessary to determine and find the standard form. In this paper, we present algorithms to determine whether a given implicit surface is a rational ruled surface. A parametrization of the surface is computed for the affirmative case. We also consider the parametric situation. More precisely, after a given rational parametric surface is determined as a ruled one, we reparameteri…
Ruled and rational surfaces and their models
本文综述了光滑复有理曲面与直纹曲面的合适模型的定义与研究方法，并说明如何借助这些模型对相应曲面进行分类和研究。
Very ampleness criteria for rank 2 vector bundles over smooth, ruled surfaces over rational and elliptic curves are given. The criteria are then used to settle open existence questions for some special threefolds of low degree.
Rank-two vector bundles on non-minimal ruled surfaces
本文通过引入两个数值不变量将稳定秩二向量丛表示为自然扩张，研究非极小直纹曲面上模空间的双有理几何，并证明有理曲面上模空间的不可约分支均为有理或稳定有理。
Let $X$ be a very general hypersurface of degree $d$ in $\mathbb{P}^n$. We investigate positivity properties of the spaces $R_e(X)$ of degree $e$ rational curves in $X$. We show that for small $e$, $R_e(X)$ has no rational curves meeting the locus of smooth embedded curves. We show that for $n \leq d$, there are no rational curves in the locus $Y \subset X$ swept out by lines. And we exhibit differential forms on a smooth compactification of $R_e(X)$ for every $e$ and $n-2 \geq d \geq \frac{n+1}{2}$.
The following divisors in the space Sym^{12} P^1 of twelve points on P^1 are actually the same: (A) the possible locus of the twelve nodal fibers in a rational elliptic fibration (i.e. a pencil of plane cubic curves); (B) degree 12 binary forms that can be expressed as a cube plus a square; (C) the locus of the twelve tangents to a smooth plane quartic from a general point of the plane; (D) the branch locus of a degree 4 map from a hyperelliptic genus 3 curve to P^1; (E) the branch locus of a degree 3 map from a genus 4 curve to P^1 induced by a theta-characteristic; and several more. The corr…
We classify the singularities of a surface ruled by conics: they are rational double points of type $A_n$ or $D_n$. This is proved by showing that they arise from a precise series of blow-ups of a suitable surface geometrically ruled by conics. We determine also the family of such surfaces which are birational models of a given surface ruled by conics and obtained in a "minimal way" from it.
A rationality criterion for real Fano threefolds
该研究探讨光滑几何有理法诺三维簇实轨迹的连通性，提出并证明了一个实合理性的充分准则，为相关几何对象的合理性分析提供了理论依据。
We use the Clemens-Griffiths method to construct smooth projective threefolds, over any field $k$ admitting a separable quadratic extension, that are $k$-unirational and $\bar{k}$-rational but not $k$-rational. When $k=\mathbb{R}$, we can moreover ensure that their real locus is diffeomorphic to the real locus of a smooth projective $\mathbb{R}$-rational variety and that all their unramified cohomology groups are trivial.
We continue the study, begun by the second author in math.AG/0701889, of secant defective manifolds having "simple entry loci". We prove that such manifolds are rational and describe them in terms of tangential projections. Using also our results in math.AG/0701885, their classification is reduced to the case of Fano manifolds of high index, whose Picard group is generated by the hyperplane section class. Conjecturally, the former should be linear sections of rational homogeneous manifolds. We also provide evidence that the classification of linearly normal dual defective manifolds with Picard…
We discuss the strong rational connectedness of smooth rationally connected surfaces. We prove in lots of cases, including the smooth locus of a log del Pezzo surface, the rational connectedness indeed implies the strong rational conectedness. This confirms a conjecture due to Hassett and Tschinkel in \cite{ht08}.
In this paper we study the geometry of the Severi varieties parametrizing curves on the rational ruled surface $\fn$. We compute the number of such curves through the appropriate number of fixed general points on $\fn$, and the number of such curves which are irreducible. These numbers are known as Severi degrees; they are the degrees of unions of components of the Hilbert scheme. As (i) $\fn$ can be deformed to $\eff_{n+2}$, (ii) the Gromov-Witten invariants are deformation-invariant, and (iii) the Gromov-Witten invariants of $\eff_0$ and $\eff_1$ are enumerative, Theorem \ref{irecursion} com…
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.
Let X be a smooth complex projective surface. We prove that for any sufficiently big m there exists a rational dominant map f from X into a complex rational ruled surface Y, such that f is generically finite of degree m and has monodromy the alternating group Am.
Pinwheels in symplectic rational and ruled surfaces and non-squeezing of rational homology balls
本研究利用殆环纤维化与辛有理爆发方法，确定阈限型拉格朗日风车的嵌入条件，否定回答Kronheimer相关问题，推广Gromov非挤压定理，并证明拉格朗日风车的多项独立性质。
Given a nonconstant holomorphic map f: X -> Y between compact Riemann surfaces, one of the first objects we learn to construct is its ramification divisor R_f, which describes the locus at which f fails to be locally injective. The divisor R_f is a finite formal linear combination of points of X that is combinatorially constrained by the Hurwitz formula. Now let k be an algebraically closed field that is complete with respect to a nontrivial non-Archimedean absolute value. For example, k = C_p. Here the role of a Riemann surface is played by a projective Berkovich analytic curve. As these curv…
We give the first evidence for a conjecture that a general, index-one, Fano hypersurface is not unirational: (i) a general point of the hypersurface is contained in no rational surface ruled, roughly, by low-degree rational curves, and (ii) a general point is contained in no image of a Del Pezzo surface.
It is proved that a smooth rational surface in projective four-space, which is ruled by cubics or quartics has degree at most 12. It is also proved that a smooth rational surface in projective four-space which is the image of Fn by a linear system with "simple base points" (see text) has degree at most 12.
We consider the Noether-Lefschetz problem for surfaces in Q-factorial normal 3-folds with rational singularities. We show the existence of components of the Noether-Lefschetz locus of maximal codimension, and that there are indeed infinitely many of them. Moreover, we show that their union is dense in the natural topology.
In this paper we shall generalize the chamber structure of polarizations defined by Qin, and as an application we shall compute the Picard groups of moduli spaces of stable sheaves on a non-rational ruled surface.
The cycle class of the supersingular locus of principally polarized abelian varieties
本文证明了特征p下主极化阿贝尔簇模空间周环中超奇异轨迹的环类公式，将其表示为霍奇丛陈类的单项式乘以p的多项式因子，并确定了亏格g=4时的因子。
We study the singular locus on the algebraic surface $§_n$ of genus 2 curves with a $(n, n)$-split Jacobian. Such surface was computed by Shaska in \cite{deg3} for $n=3$, and Shaska at al. in \cite{deg5} for $n=5$. We show that the singular locus for $n=2$ is exactly th locus of the curves of automorphism group $D_4$ or $D_6$. For $n=3$ we use a birational parametrization of the surface $§_3$ discovered in \cite{deg3} to show that the singular locus is a 0-dimensional subvariety consisting exactly of three genus 2 curves (up to isomorphism) which have automorphism group $D_4$ or $D_6$. We furt…
We classify surfaces of general type whose bicanonical map is composed with a rational map of degree 2 onto a rational or ruled surface.
We prove that (not necessarily rigid) Calabi-Yau threefolds defined over the rationals which contain sufficiently many elliptic ruled surfcaes are modular (under mild restrictions on the primes of bad reduction). Our proof uses the results of Dieulefait and Manoharmayum who proved modularity of rigid Calabi-Yau threefolds.
Fix a ruled surface S obtained as the projective completion of a line bundle L on a complex elliptic curve; we study the moduli problem of parametrizing certain pairs consisting of a sheaf E on S and a map of E to a fixed reference sheaf on S. We prove that the full moduli stack for this problem is representable by a scheme in some cases. Moreover, the moduli stack admits an action by the group ${\mathbf C}^*$, and we determine its fixed-point set, which leads in some special cases to explicit formulas for the rational homology of the moduli space.
We study real rational models of the euclidean plane $\mathbb{R}^2$ up to isomorphisms and up to birational diffeomorphisms. The analogous study in the compact case, that is the classification of real rational models of the real projective plane $\mathbb{R}\mathbb{P}^2$ is well known: up to birational diffeomorphisms, there is only one model. A fake real plane is a nonsingular affine surface defined over the reals with homologically trivial complex locus and real locus diffeomorphic to $\mathbb{R}^2$ but which is not isomorphic to the real affine plane. We prove that fake planes exist by givin…
Automorphism groups of $\mathbb{P}^1$-bundles over geometrically ruled surfaces
本文研究了在非理几何射影曲面上的$\mathbb{P}^1$-束$(X,π)$的自同构群$\mathrm{Aut}^\circ(X)$，并证明其在包含于$\mathrm{Bir}(X/S)$中的情况下是最大化的。
We study the geometry of the Kontsevich compactification of stable maps to the Grassmannian of lines in the projective space. We consider a stratification of this space. As an application we compute the degree of the variety parametrizing rational ruled surfaces with a minimal directix of degree d/2-1 by intersecting divisors in the moduli space of stable maps. For example, there are 128054031872040 rational ruled sextics passing through 25 points in $\mathbb{P}^{3}$ with a minimal directrix of degree 2.
We consider the question whether one can construct an embedded resolution of singularities of a singular variety $X\subset \textbf{A}^n$ from the data of the irreducible components of the spaces of jets (of $X$) centered at the singular locus of $X.$ We show that the answer is no in general and that it is yes for some birational models of rational triple surface singularities.
We give an upper bound for the degree of rational curves in a family that covers a given birational ruled surface in projective space. The upper bound is stated in terms of the degree, sectional genus and arithmetic genus of the surface. We introduce an algorithm for constructing examples where the upper bound is tight. As an application of our methods we improve an inequality on lattice polygons.
We consider two cycles on the moduli space of compact type curves and prove that they coincide. The first is defined by pushing forward the virtual fundamental classes of spaces of relative stable maps to an unparameterized rational curve, while the second is obtained as the intersection of the Abel section of the universal Jacobian with the zero section. Our comparison extends results of Cavalieri-Marcus-Wise where the same identity was proved over on the locus of rational tails curves.
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。