Related papers: Lifting low-gonal curves for use in Tuitman's algo…
We show that the weakly \'etale morphisms, used to define the pro-\'etale site of a scheme, are characterized by a lifting property similar to the one which characterizes formally \'etale morphisms. In order to prove this, we prove a…
An $s{\operatorname{-}}t$ minimum cut in a graph corresponds to a minimum weight subset of edges whose removal disconnects vertices $s$ and $t$. Finding such a cut is a classic problem that is dual to that of finding a maximum flow from $s$…
Consider the smooth projective models C of curves y^2=f(x) with f(x) in Z[x] monic and separable of degree 2g+1. We prove that for g >= 3, a positive fraction of these have only one rational point, the point at infinity. We prove a lower…
We classify all finite-dimensional Hopf algebras over an algebraically closed field of characteristic zero such that its coradical is isomorphic to the algebra of functions over a dihedral group D_m, with m=4a> 11. We obtain this…
We compute a lower bound of the canonical height on quadratic twists of certain elliptic curves. Also we show a simple method for constructing families of quadratic twists with an explicit rational point. % from cubic polynomials. Using the…
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 $\sigma$ from the homogeneous ideal of $Y$ to the…
We use an embedding of the symmetric $d$th power of any algebraic curve $C$ of genus $g$ into a Grassmannian space to give algorithms for working with divisors on $C$, using only linear algebra in vector spaces of dimension $O(g)$, and…
Let $K$ be a local field of residue characteristic $p$. Let $C$ be a curve over $K$ whose minimal proper regular model has totally degenerate semi-stable reduction. Under certain hypotheses, we compute the prime-to-$p$ rational torsion…
We solve the local lifting problem for the alternating group A_4, thus showing that it is a local Oort group. Specifically, if k is an algebraically closed field of characteristic 2, we prove that every A_4-extension of k[[s]] lifts to…
Emil Artin defined a zeta function for algebraic curves over finite fields and made a conjecture about them analogous to the famous Riemann hypothesis. This and other conjectures about these zeta functions would come to be called the Weil…
We give an algorithm which requires no integer factorization for computing the canonical height of a point in $\mathbb{P}^1(\mathbb{Q})$ relative to a morphism $\phi: \mathbb{P}_{\mathbb{Q}}^1 \rightarrow \mathbb{P}_{\mathbb{Q}}^1$ of…
We present a deterministic polynomial time algorithm for computing the zeta function of an arbitrary variety of fixed dimension over a finite field of small characteristic. One consequence of this result is an efficient method for computing…
In general, algorithms for computing the Selmer group of the Jacobian of a curve have relied on either homogeneous spaces or functions on the curve. We present a theoretical analysis of algorithms which use functions on the curve, and show…
We obtain explicit, computable upper bounds for the Neron-Tate height of rational points on curves of genus at least two over number fields. The bounds use automorphisms acting on the Mordell-Weil lattice of the Jacobian. We prove an…
For $C$ a smooth affine complex curve, there is a unique minimal subalgebra $A_C$ of the algebra $\mathcal O_{hol}(\tilde C)$ of holomorphic functions on its universal cover $\tilde C$, which is stable under all the operations $f\mapsto…
Let $K$ be the function field of a curve over a finite field of odd characteristic. We investigate using $L$-functions of Galois extensions of $K$ to effectively recover $K$. When $K$ is the function field of the projective line with four…
Let $E$ be an elliptic curve over a number field $K$. Descent calculations on $E$ can be used to find upper bounds for the rank of the Mordell-Weil group, and to compute covering curves that assist in the search for generators of this…
In this paper, we study deformations of pairs (C,G) where G is a height 2 BT(or BT_n) group over a complete curve on algebraically closed field k of characteristic p. We prove that, if the curve C is a versal deformation of G, then there…
Let $k$ be an algebraically closed field of characteristic zero. Let $G$ be a connected reductive group over $k$, $P \subseteq G$ be a parabolic subgroup and $\lambda: P \longrightarrow G$ be a strictly anti-dominant character. Let $C$ be a…
We describe a method for constructing genuinely asymmetric (2,0) heterotic strings out of N=2 minimal models in the fermionic sector, whereas the bosonic sector is only partly build out of N=2 minimal models. This is achieved by replacing…