Searcharxiv⌕ Search

SEARCH · Searcharxiv

Results for “alg-geom”

Search indexed arXiv papers on artificial intelligence, large language models, computer vision and robotics. Read source abstracts and follow links to arXiv.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 55 records · Page 3Linked to original sources

On the surjectivity of Wahl maps on a general curve

This paper explores the geometric meaning of the failure of certain kinds of Wahl maps to surject on a general curve. Sufficient conditions for surjectivity are given. An approach used by Voisin to study canonical Wahl maps is applied in this direction.

alg-geom↗

Lefschetz Fixed Point Theorem and Lattice Points in Convex Polytopes

A simple convex lattice polytope $\Box$ defines a torus-equivariant line bundle $\LB$ over a toric variety $\XB.$ Atiyah and Bott's Lefschetz fixed-point theorem is applied to the torus action on the $d''$-complex of $\LB$ and information is obtained about the lattice points of $\Box$. In particular an explicit formula is derived, computing the number of lattice points and the volume of $\Box$ in terms of geometric data at its extreme points. We show this to be equivalent the results of Brion \cite{brion} and give an elementary convex geometric interpretation by performing Laurent expansions similar to those of Ishida \cite{ishida}.

alg-geom↗

Projective varieties with many degenerate subvarieties

We study the problem of classifying the irreducible projective varieties $X$ of dimension $n\ge 2$ in $\Bbb P^N$ which contain an algebraic family $\Cal F$ of dimension $h+1$ ($h<n$) of subvarieties $Y$ of dimension $n-h$, each one contained in a $\Bbb P^{N-h-1}$. We prove that one of the following happens: (i) there exists an integer $r$, $r<N-n$ such that $X$ is contained in a variety $V_r$ of dimension at most $N-r$ containing a family of dimension $h+1$ of subvarieties of dimension $N-h-r$, each one contained in a linear space of dimension $N-h-1$; (ii) The degree of $Y$ is bounded by a function of $h$ and $N-n$ (in this case $X$ is called of isolated type). Successively we study some special cases; in particular we give a complete classification of surfaces in $\Bbb P^5$ containing a family of dimension $2$ of curves of $\Bbb P^3$.

alg-geom↗

Deformations of cones over hyperelliptic curves

We determine the versal deformation of cones, in the simplest case: cones over hyperelliptic curves of high degree. In particular, we show that for degree $4g+4$, the highest degree for which interesting deformations exist, the number of smoothing components is $2^{2g+1}$ ($g\neq3$). We review in a general setting the relation of $T^1(-1)$ with Wahl's Gaussian map. We prove that $T^1(-1)$ vanishes for a general curve and an arbitrary embedding line bundle of degree at least $2g+11$. To find $T^2$ for hyperelliptic cones with the Main Lemma of [Behnke--Christophersen], we compute $T^1$ for the cone over $d$ points on a rational normal curve of degree $d-g-1$, using explicit equations. Actually, the equations for the cone over a hyperelliptic curve have a nice structure. We give an interpretation of $T^2(-2)$ in terms of this structure. Smoothing components are related to surfaces with $C$ as hyperplane section. An explicit description of the corresponding infinitesimal deformations allowss to conclude that the base space is a complete intersection of degree $2^{2g+1}$. We also consider smoothing data in the sense of [Looijenga--Wahl].

alg-geom↗

The Variety of Positive Superdivisors of a Supercurve (Supervortices)

The supersymmetric product of a supercurve is constructed with the aid of a theorem of algebraic invariants and the notion of positive relative superdivisor (supervortex) is introduced. A supercurve of positive superdivisors of degree 1 (supervortices of vortex number 1) of the original supercurve is constructed as its supercurve of conjugate fermions, as well as the supervariety of relative positive superdivisors of degre p (supervortices of vortex number p.) A universal superdivisor is defined and it is proved that every positive relative superdivisor can be obtained in a unique way as a pull-back of the universal superdivisor. The case of SUSY-curves is discussed.

alg-geom↗

Refined intersection products and limiting linear subspaces of hypersurfaces

Let $X$ be a hypersurface of degree $d$ in $\Bbb P^n$ and $F_X$ be the scheme of $\Bbb P^r$'s contained in $X$. If $X$ is generic, then $F_X$ will have the expected dimension (or empty) and its class in the Chow ring of $G(r+1,n+1)$ is given by the top Chern class of the vector bundle $S^dU^*$, where $U$ is the universal subbundle on the Grassmannian $G(r+1,n+1)$. When we deform a generic $X$ into a degenerate $X_0$, the dimension of $F_X$ can jump. In this case, there is a subscheme $F_{lim}$ of $F_{X_0}$ with the expected dimension which consists of limiting $\Bbb P^r$'s in $X_0$ with respect to a general deformation. The simplest example is the well-known case of $27$ lines in a generic cubic surface. If we degenerate the surface into the union of a plane and a quadric, then there are infinitely many lines in the union. Which $27$ lines are the limiting ones and how many of them are in the plane and how many of them are in the quadric? The goal of this paper is to study $F_{lim}$ in general.

alg-geom↗

What can be computed in algebraic geometry?

This paper is a survey of computational issues in algebraic geometry, with particular attention to the theory of Grobner bases and the regularity of an algebraic variety. 1. A geometric introduction to Grobner bases. 2. An algebraic introduction to Grobner bases. 3. Bounds in algebraic geometry, and regularity and complexity questions. 4. Applications.

alg-geom↗

Injectivity on one line

Let $k$ be an algebraically closed field of characteristic zero. Let $H:k^2\to k^2$ be a polynomial mapping such that the Jacobian $\text{Jac}\,H$ is a non-zero constant. In this note we prove, that if there is a line $l \subset k^2$ such that $H|_l:l\to k^2$ is an injection, then $H$ is a polynomial automorphism.

alg-geom↗

On the approximate roots of polynomials

We give a simplified approach to the Abhyankar--Moh theory of approximate roots. Our considerations are based on properties of the intersection multiplicity of local curves.

alg-geom↗

Very ample linear systems on abelian varieties

Let $(X,L)$ be a polarized complex abelian variety of dimension $g$ where $L$ is a polarization of type $(1,...,1,d)$. For $(X,L)$ genberic we prove the following: (1) If $d \ge g+2$, then $ϕ_L\colon X \to {\bf P}^{d-1}$ defines a birational morphism onto its image. (2) If $d > 2^g$, then $L$ is very ample. We show the latter by checking it on a suitable rank-$(g-1)$-degeneration.

alg-geom↗

Bogomolov Instability and Kawamata-Viehweg Vanishing

The purpose of this note is to show how the Kawamata-Viehweg vanishing theorem for fractional divisors leads to a quick new proof of Bogomolov's instability theorem for rank two vector bundles on an algebraic surface.

alg-geom↗

Classification of smooth congruences with a fundamental curve

We give a classification and a construction of all smooth $(n-1)$-dimensional varieties of lines in ${\bf P}\sp n$ verifying that all their lines meet a curve. This also gives a complete classification of $(n-1)$-scrolls over a curve contained in $G(1,n)$.

alg-geom↗

On the Hodge Structure of Projective Hypersurfaces in Toric Varieties

This paper generalizes classical results of Griffiths, Dolgachev and Steenbrink on the cohomology of hypersurfaces in weighted projective spaces. Given a $d$-dimensional projective simplicial toric variety $P$ and an ample hypersurface $X$ defined by an polynomial $f$ in the homogeneous coordinate ring $S$ of $P$ (as defined in an earlier paper of the first author), we show that the graded pieces of the Hodge filtration on $H^d(P - X)$ are naturally isomorphic to certain graded pieces of $S/J(f)$, where $J(f)$ is the Jacobian ideal of $f$. We then discuss how this relates to the primitive cohomology of $X$. Also, if $T$ is the torus contained in $X$, then the intersection of $X$ and $T$ is an affine hypersurface in $T$, and we show how recent results of the second author can be stated using various ideals in the ring $S$. To prove our results, we must give a careful description (in terms of $S$) of $d$-forms and $(d-1)$-forms on the toric variety $P$. For completeness, we also provide a proof of the Bott-Steenbrink-Danilov vanishing theorem for simplicial toric varieties. Other topics considered in the paper include quasi-smooth hypersurfaces and $V$-submanifolds, the structure of the complement of $U$ when $P$ is represented as the quotient of an open subset $U$ of affine space, a generalization of the Euler exact sequence on projective space, and the relation between graded pieces of $R/J(f)$ and the moduli of ample hypersurfaces in $P$.

alg-geom↗

Unobstructedness of Calabi-Yau OrbiKleinfolds

We show that Calabi-Yau spaces with certain types of hypersurface- quotient singularities have unobstructed deformations. This applies in particular to all Calabi-Yau orbifolds nonsingular in codimension 2.

alg-geom↗

Differential-geometric methods for the lifting problem and linear systems on plane curves

Let $X$ be an integral projective variety of codimension two, degree $d$ and dimension $r$ and $Y$ be its general hyperplane section. The problem of lifting generators of minimal degree $σ$ from the homogeneous ideal of $Y$ to the homogeneous ideal of $X$ is studied. A conjecture is given in terms of $d$, $r$ and $σ$; it is proved in the cases $r=1,2,3$. A description is given of linear systems on smooth plane curves whose dimension is almost maximal.

alg-geom↗

Torsion Sections of Elliptic Surfaces

Given a torsion section of a semistable elliptic surface, we prove equidistribution results for the components of singular fibers which are hit by the section, and for the root of unity (identifying the zero component with ${\Bbb C}$) which is hit by the section in case the section hits the zero component.

alg-geom↗