English
Related papers

Related papers: A Lefschetz Hyperplane Theorem for non-Archimedean…

200 papers

This paper presents a formalized proof of a discrete form of the Jordan Curve Theorem. It is based on a hypermap model of planar subdivisions, formal specifications and proofs assisted by the Coq system. Fundamental properties are proven by…

Logic in Computer Science · Computer Science 2008-02-21 Jean-François Dufourd

This paper is devoted to constructing an explicit efficient representation for the Jacobian variety of a nonsingular curve of genus greater than 1, and its group law. We describe an algorithm for executing the group law on the Jacobian…

Algebraic Geometry · Mathematics 2016-09-07 Tal Perri

We give an algorithm to compute $(\ell,\ell,\ell)$-isogenies from the Jacobians of genus three hyperelliptic curves to the Jacobians of non-hyperelliptic curves. An important application is to reduce the discrete logarithm problem in the…

Algebraic Geometry · Mathematics 2021-06-17 Song Tian

In this paper, we show that there exist families of curves (defined over an algebraically closed field $k$ of characteristic $p >2$) whose Jacobians have interesting $p$-torsion. For example, for every $0 \leq f \leq g$, we find the…

Number Theory · Mathematics 2016-01-15 Darren Glass , Rachel Pries

Firstly we show a generalization of the (1,1)-Lefschetz theorem for projective toric orbifolds and secondly we prove that on 2k-dimensional quasi-smooth hypersurfaces coming from quasi-smooth intersection surfaces, under the Cayley trick,…

Algebraic Geometry · Mathematics 2023-02-09 William D. Montoya

We prove that for a normal projective variety $X$ in characteristic 0, and a base-point free ample line bundle $L$ on it, the restriction map of divisor class groups $\Cl(X)\to \Cl(Y)$ is an isomorphism for a general member $Y\in |L|$…

Algebraic Geometry · Mathematics 2007-05-23 G. V. Ravindra , V. Srinivas

We use Arakelov theory to define a height on divisors of degree zero on a hyperelliptic curve over a global field, and show that this height has computably bounded difference from the N\'eron-Tate height of the corresponding point on the…

Number Theory · Mathematics 2014-10-29 David Holmes

The general problem which initiated this work is: What are the quasiprojective varieties which can be uniformized by means of bounded domains in $\cz^n$ ? Such a variety should be, in particular, C--hyperbolic, i.e. it should have a…

alg-geom · Mathematics 2014-12-02 Gerd Dethloff , Mikhail Zaidenberg

A Lefschetz module is a module over a graded algebra $A$ that satisfies analogues of Poincar\'{e} duality, the Hard Lefschetz property, and the Hodge--Riemann relations with respect to an open convex cone $\mathscr{K}$ in the degree one…

Algebraic Geometry · Mathematics 2025-11-05 Omid Amini , June Huh , Matt Larson

Recently Arnold's $\St$ and $J^{\pm}$ invariants of generic planar curves have been generalized to the case of generic planar wave fronts. We generalize these invariants to the case of wave fronts on an arbitrary surface $F$. All invariants…

Geometric Topology · Mathematics 2009-09-25 Vladimir V. Tchernov

Let $\mathcal{X}$ be a Riemann surface of genus $g>0$ defined over a number field $K$ which is a degree $d$-covering of $\mathbb{P}^1_K$. In this paper we show the existence of infinitely many linearly disjoint degree $d$-extensions $L/K$…

Number Theory · Mathematics 2016-12-12 Bo-Hae Im , Erik Wallace

We consider the issue of when the L-polynomial of one curve over $\F_q$ divides the L-polynomial of another curve. We prove a theorem which shows that divisibility follows from a hypothesis that two curves have the same number of points…

Number Theory · Mathematics 2014-10-01 Omran Ahmadi , Gary McGuire , Antonio Rojas-León

In this paper we look at Grothendieck's work on classifying holomorphic bundles over the complex projective line. The paper is divided into $4$ parts. The first and second part we build up the necessary background to talk about vector…

Algebraic Geometry · Mathematics 2020-10-01 Andean E. Medjedovic

The purpose of this paper is to exhibit infinite families of conjugate projective curves in a number field whose complement have the same abelian fundamental group, but are non-homeomorphic. In particular, for any $d>3$ we find Zariski…

Algebraic Geometry · Mathematics 2019-11-28 Enrique Artal Bartolo , Jose I. Cogolludo-Agustin , Jorge Martín-Morales

In this paper we study the spaces of non-compact real algebraic curves, i.e. pairs $(P,\tau)$, where $P$ is a compact Riemann surface with a finite number of holes and punctures and $\tau:P\to P$ is an anti-holomorphic involution. We…

Algebraic Geometry · Mathematics 2021-04-02 Sergey Natanzon , Anna Pratoussevitch

The algebraic degeneracy of holomorphic curves in a semi-Abelian variety omitting a divisor is proved (Lang's conjecture generalized to semi-Abelian varieties) by making use of the {\it jet-projection method} and the logarithmic Wronskian…

Number Theory · Mathematics 2016-09-06 Junjiro Noguchi

In this paper, we consider the moduli space $\cSU_C(r,\cO_C)$ of rank $r$ semistable vector bundles with trivial determinant on a smooth projective curve $C$ of genus $g$. When the rank $r=2$, F. Kirwan constructed a smooth log resolution…

Algebraic Geometry · Mathematics 2010-10-04 Jaya NN Iyer

It is known that the Jacobian of an algebraic curve which is a 2-fold covering of a hyperelliptic curve ramified at two points contains a hyperelliptic Prym variety. Its explicit algebraic description is applied to some of the integrable…

Exactly Solvable and Integrable Systems · Physics 2015-06-18 V. Z. Enolski , Yu. N. Fedorov , A. N. W. Hone

The study of entire holomorphic curves contained in projective algebraic varieties is intimately related to fascinating questions of geometry and number theory -- especially through the concepts of curvature and positivity which are central…

Algebraic Geometry · Mathematics 2020-02-14 Jean-Pierre Demailly

In non-archimedean setting, we establish a Lehto--Virtanen-type theorem for a morphism from the punctured Berkovich closed unit disk $\overline{\mathsf{D}}\setminus\{0\}$ in the Berkovich affine line to the Berkovich projective line…

Algebraic Geometry · Mathematics 2019-10-15 Yûsuke Okuyama