相关论文: Bounding Picard numbers of surfaces using p-adic c…

Based on high precision computation of periods and lattice reduction techniques, we compute the Picard group of smooth surfaces. We also study the lattice reduction technique that is employed in order to quantify the possibility of…

We survey some aspects of the theory of elliptic surfaces and give some results aimed at determining the Picard number of such a surface. For the surfaces considered, this will be equivalent to determining the Mordell-Weil rank of an…

We test R. van Luijk's method for computing the Picard group of a $K3$ surface. The examples considered are the resolutions of Kummer quartics in $\bP^3$. Using the theory of abelian varieties, in this case, the Picard group may be computed…

Let $k$ be either a number a field or a function field over $\mathbb{Q}$ with finitely many variables. We present a practical algorithm to compute the geometric Picard lattice of a K3 surface over $k$ of degree $2$, i.e., a double cover of…

In this paper, we introduce numerical cohomology for arithmetic surfaces, which leads to an absolute version of arithmetic Riemann-Roch formula. As an application, we derive an upper bound for the self-intersection number of relative…

We compute an explicit rank bound on the Picard group of the compact surfaces, which can serve as the base of an elliptic Calabi-Yau variety with canonical singularities. To bound the Picard rank from above, we develop a novel strategy in…

We construct examples of $K3$ surfaces of geometric Picard rank $1$. Our method is a refinement of that of R. van Luijk. It is based on an analysis of the Galois module structure on \'etale cohomology. This allows to abandon the original…

Recently, Kedlaya proves certain formula describing explicitly the Frobenius structure on a hypergeometric equation. In this paper, we give a generalization of it. In our case, the Frobenius matrix is no longer described by p-adic gamma…

We give a criterion for certain generic nondegenerate surfaces in a fake weighted projective $3$-space to have Picard number $>1$. These algebraic surfaces are of general type. We do this by considering degenerations (along an edge),…

We prove the first polynomial bound on the number of monotonic homotopy moves required to tighten a collection of closed curves on any compact orientable surface, where the number of crossings in the curve is not allowed to increase at any…

We present an algorithm to compute the torsion component $\mathrm{Pic}^\tau X$ of the Picard scheme of a smooth projective variety $X$ over a field $k$. Specifically, we describe $\mathrm{Pic}^\tau X$ as a closed subscheme of a projective…

We describe an algorithm for computing the Picard-Fuchs equation for a family of twists of a fixed elliptic surface. We then apply this algorithm to obtain the equation for several examples, which are coming from families of Kummer surfaces…

We introduce a new algorithm for computing the periods of a smooth complex projective hypersurface. The algorithm intertwine with a new method for computing an explicit basis of the singular homology of the hypersurface. It is based on…

We study the geometry of the smooth projective surfaces that are defined by Frobenius forms, a class of homogenous polynomials in prime characteristic recently shown to have minimal possible F-pure threshold among forms of the same degree.…

We test the methods for computing the Picard group of a $K3$ surface in a situation of high rank. The examples chosen are resolutions of quartics in $\bP^3$ having 14 singularities of type $A_1$. Our computations show that the method of R.…

Let $X$ be a smooth projective curve over a finite field of characteristic $p$. We describe and implement a practical algorithm for computing the $p$-divisible group $Jac(X)[p^\infty]$ via computing its Dieudonn\'{e} module, or equivalently…

An algorithm due to Shioda computes the Picard number for certain surfaces which are defined by a single equation with exactly four monomials, called Delsarte surfaces. We consider this method for surfaces in weighted projective $3$-space…

Algebraic hyperbolicity serves as a bridge between differential geometry and algebraic geometry. Generally, it is difficult to show that a given projective variety is algebraically hyperbolic. However, it was established recently that a…

Cohomology of affinoids does not behave well; often, this can be remedied by making affinoids overconvergent. In this paper, we focus on dimension 1 and compute, using analogs of pants decompositions of Riemann surfaces, various…

We study the geometry and arithmetic of the curves $C \colon y^3 = x^4 + ax^2 + b$ and their associated Prym abelian surfaces $P$. We prove a Torelli theorem in this context and give a geometric proof of the fact that $P$ has quaternionic…