Related papers: A Geometric characterization of Arithmetic Varieti…
For any elliptic curve E defined over the rationals with complex multiplication and for every prime p, we describe the image of the mod p Galois representation attached to E. We deduce information about the field of definition of torsion…
A determination of the fixed components, base points and irregularity is made for arbitrary numerically effective divisors on any smooth projective rational surface having an effective anticanonical divisor. All of the results are proven…
We make a very detailed analysis of the numerical properties of effective divisors whose support is contained in the exceptional locus of a birational morphism of smooth projective surfaces. As an application we extend Miyaoka's inequality…
We show that every smooth projective curve over a finite field k admits a finite tame morphism to the projective line over k. Furthermore, we construct a curve with no such map when k is an infinite perfect field of characteristic two. Our…
Motivated by the analogy between number fields and function fields, this paper extends the main result of \cite{janbazi2025unified} to the function field setting. Let $C$ be a smooth affine curve over a finite field, and let $\pi: S…
In this paper, we characterize the polynomiality of surfaces of revolution by means of the polynomiality of an associated plane curve. In addition, if the surface of revolution is polynomial, we provide formulas for computing a polynomial…
In this paper, we establish the Zariski decompositions of arithmetic R-divisors of continuous type on arithmetic surfaces and investigate several properties. We also develop the general theory of arithmetic R-divisors on arithmetic…
A classical result asserts that the complex projective plane modulo complex conjugation is the 4-dimensional sphere. We generalize this result in two directions by considering the projective planes over the normed real division algebras and…
We introduce the notion of Galois holomorphic foliation on the complex projective space as that of foliations whose Gauss map is a Galois covering when restricted to an appropriate Zariski open subset. First, we establish general criteria…
We give algorithms for computing with divisors on projective curves over finite fields, and with their Jacobians, using the algorithmic representation of projective curves developed by Khuri-Makdisi. We show that many desirable operations…
The philosophy that ``a projective manifold is more special than any of its smooth hyperplane sections" was one of the classical principles of projective geometry. Lefschetz type results and related vanishing theorems were among the…
We exhibit an algorithm that, given input a curve $X$ over a number field, computes as output the minimal degree of a Belyi map $X \to \mathbb{P}^1$.
Given a covering of the projective line with ramifications defined over a number field, we define a plain model of the algebraic curve realizing the Riemann existence theorem for this covering, and bound explicitly the defining equation of…
As in algebraic geometry, an effective divisor class on a vertex-weighted graph is called special if also its residual class is effective. We study the question, when this is true already on the level of divisors; that is, when there exists…
We study effective divisors $D$ on surfaces with $H^0(\mathcal O_D)=k$ and $H^1(\mathcal O_D)=H^0(\mathcal O_D(D))=0$. We give a numerical criterion for such divisors, following a general investigation of negativity, rigidity and…
A reduced divisor on a nonsingular variety defines the sheaf of logarithmic 1-forms. We introduce a certain coherent sheaf whose double dual coincides with this sheaf. It has some nice properties, for example, the residue exact sequence…
The purpose of the present article is the study of duals of functional codes on algebraic surfaces. We give a direct geometrical description of them, using differentials. Even if this geometrical description is less trivial, it can be…
Motivated by a demand for explicit genus 1 Belyi maps from theoretical physics, we give an efficient method of explicitly computing genus one Belyi maps by (1) composing covering maps from elliptic curves to the Riemann sphere with simpler…
We consider a finite analytic morphism $\varphi =(f,g)$ defined from a complex analytic normal surface $(Z,z)$ to ${\mathbb C}^2$. We describe the topology of the image by $\varphi$ of a reduced curve on $(Z,z)$ by means of iterated pencils…
We formulate a conjecture on the behavior of the minimal free resolutions of sets of general points on arbitrary varieties embedded by complete linear series, in analogy with the well-known Minimal Resolution Conjecture for points in…