Related papers: A Lefschetz Hyperplane Theorem for non-Archimedean…
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…
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…
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…
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…
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,…
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|$…
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…
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…
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…
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…
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$…
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…
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…
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…
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…
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…
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…
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…
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…
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…