Theta height and Faltings height

Fabien Pazuki

Displaying similar documents to “Theta height and Faltings height”

Singularities of theta divisors and the geometry of $𝒜_{5}$

Gavril Farkas, Samuele Grushevsky, Salvati R. Manni, Alessandro Verra (2014)

Journal of the European Mathematical Society

Similarity:

We study the codimension two locus $H$ in $𝒜_{g}$ consisting of principally polarized abelian varieties whose theta divisor has a singularity that is not an ordinary double point. We compute the class $[H] \in C H^{2} (𝒜_{g})$ for every $g$ . For $g = 4$ , this turns out to be the locus of Jacobians with a vanishing theta-null. For $g = 5$ , via the Prym map we show that $H \subset 𝒜_{5}$ has two components, both unirational, which we describe completely. We then determine the slope of the effective cone of $\bar{𝒜_{5}}$ and show that the component $\bar{N_{0}^{'}}$ of the Andreotti-Mayer...

Number of solutions in a box of a linear equation in an Abelian group

Maciej Zakarczemny (2016)

Colloquium Mathematicae

Similarity:

For every finite Abelian group Γ and for all $g, a ₁, . . ., a_{k} \in Γ$ , if there exists a solution of the equation $\sum_{i = 1}^{k} a_{i} x_{i} = g$ in non-negative integers $x_{i} \leq b_{i}$ , where $b_{i}$ are positive integers, then the number of such solutions is estimated from below in the best possible way.

Rational points on curves

Michael Stoll (2011)

Journal de Théorie des Nombres de Bordeaux

Similarity:

This is an extended version of an invited lecture I gave at the Journées Arithmétiques in St. Étienne in July 2009. We discuss the state of the art regarding the problem of finding the set of rational points on a (smooth projective) geometrically integral curve $C$ over $ℚ$ . The focus is on practical aspects of this problem in the case that the genus of $C$ is at least $2$ , and therefore the set of rational points is finite.

On geodesics of phyllotaxis

Roland Bacher (2014)

Confluentes Mathematici

Similarity:

Seeds of sunflowers are often modelled by $n ⟼ ϕ_{θ} (n) = \sqrt{n} e^{2 i π n θ}$ leading to a roughly uniform repartition with seeds indexed by consecutive integers at angular distance $2 π θ$ for $θ$ the golden ratio. We associate to such a map $ϕ_{θ}$ a geodesic path $γ_{θ} : ℝ_{> 0} ⟶ {PSL}_{2} (ℤ) ∖ ℍ$ of the modular curve and use it for local descriptions of the image $ϕ_{θ} (ℕ)$ of the phyllotactic map $ϕ_{θ}$ .

Polarizations of Prym varieties for Weyl groups via abelianization

Herbert Lange, Christian Pauly (2009)

Journal of the European Mathematical Society

Similarity:

Let $π : Z \to X$ be a Galois covering of smooth projective curves with Galois group the Weyl group of a simple and simply connected Lie group $G$ . For any dominant weight $λ$ consider the curve $Y = Z / Stab (λ)$ . The Kanev correspondence defines an abelian subvariety $P_{λ}$ of the Jacobian of $Y$ . We compute the type of the polarization of the restriction of the canonical principal polarization of $Jac (Y)$ to $P_{λ}$ in some cases. In particular, in the case of the group $E_{8}$ we obtain families of Prym-Tyurin varieties. The main idea is...

Essential dimension of moduli of curves and other algebraic stacks

Patrick Brosnan, Zinovy Reichstein, Angelo Vistoli (2011)

Journal of the European Mathematical Society

Similarity:

In this paper we consider questions of the following type. Let $k$ be a base field and $K / k$ be a field extension. Given a geometric object $X$ over a field $K$ (e.g. a smooth curve of genus $g$ ), what is the least transcendence degree of a field of definition of $X$ over the base field $k$ ? In other words, how many independent parameters are needed to define $X$ ? To study these questions we introduce a notion of essential dimension for an algebraic stack. Using the resulting theory, we give a complete...

Non-supersingular hyperelliptic jacobians

Yuri G. Zarhin (2004)

Bulletin de la Société Mathématique de France

Similarity:

Let $K$ be a field of odd characteristic $p$ , let $f (x)$ be an irreducible separable polynomial of degree $n \geq 5$ with big Galois group (the symmetric group or the alternating group). Let $C$ be the hyperelliptic curve $y^{2} = f (x)$ and $J (C)$ its jacobian. We prove that $J (C)$ does not have nontrivial endomorphisms over an algebraic closure of $K$ if either $n \geq 7$ or $p \neq 3$ .

Finiteness of cominuscule quantum $K$ -theory

Anders S. Buch, Pierre-Emmanuel Chaput, Leonardo C. Mihalcea, Nicolas Perrin (2013)

Annales scientifiques de l'École Normale Supérieure

Similarity:

The product of two Schubert classes in the quantum $K$ -theory ring of a homogeneous space $X = G / P$ is a formal power series with coefficients in the Grothendieck ring of algebraic vector bundles on $X$ . We show that if $X$ is cominuscule, then this power series has only finitely many non-zero terms. The proof is based on a geometric study of boundary Gromov-Witten varieties in the Kontsevich moduli space, consisting of stable maps to $X$ that take the marked points to general Schubert varieties and...

Torsion points on families of simple abelian surfaces and Pell's equation over polynomial rings (with an appendix by E. V. Flynn)

David Masser, Umberto Zannier (2015)

Journal of the European Mathematical Society

Similarity:

In recent papers we proved a special case of a variant of Pink’s Conjecture for a variety inside a semiabelian scheme: namely for any curve inside anything isogenous to a product of two elliptic schemes. Here we go beyond the elliptic situation by settling the crucial case of any simple abelian surface scheme defined over the field of algebraic numbers, thus confirming an earlier conjecture of Shou-Wu Zhang. This is of particular relevance in the topic, also in view of very recent counterexamples...

Singularities of $2 Θ$ -divisors in the jacobian

Christian Pauly, Emma Previato (2001)

Bulletin de la Société Mathématique de France

Similarity:

We consider the linear system $| 2 Θ_{0} |$ of second order theta functions over the Jacobian $J C$ of a non-hyperelliptic curve $C$ . A result by J.Fay says that a divisor $D \in | 2 Θ_{0} |$ contains the origin $𝒪 \in J C$ with multiplicity $4$ if and only if $D$ contains the surface $C - C = {𝒪 (p - q) ∣ p, q \in C} \subset J C$ . In this paper we generalize Fay’s result and some previous work by R.C.Gunning. More precisely, we describe the relationship between divisors containing $𝒪$ with multiplicity $6$ , divisors containing the fourfold $C_{2} - C_{2} = {𝒪 (p + q - r - s) ∣ p, q, r, s \in C}$ , and divisors singular along $C - C$ , using...

A descent map for curves with totally degenerate semi-stable reduction

Shahed Sharif (2013)

Journal de Théorie des Nombres de Bordeaux

Similarity:

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 subgroup on the Jacobian of $C$ . We also determine divisibility of line bundles on $C$ , including rationality of theta characteristics and higher spin structures. These computations utilize arithmetic on the special fiber of $C$ .

Characterization of the torsion of the Jacobians of two families of hyperelliptic curves

Tomasz Jędrzejak (2013)

Acta Arithmetica

Similarity:

Consider the families of curves $C^{n, A} : y ² = x ⁿ + A x$ and $C_{n, A} : y ² = x ⁿ + A$ where A is a nonzero rational. Let $J^{n, A}$ and $J_{n, A}$ denote their respective Jacobian varieties. The torsion points of $C^{3, A} (ℚ)$ and $C_{3, A} (ℚ)$ are well known. We show that for any nonzero rational A the torsion subgroup of $J^{7, A} (ℚ)$ is a 2-group, and for A ≠ 4a⁴,-1728,-1259712 this subgroup is equal to $J^{7, A} (ℚ) [2]$ (for a excluded values of A, with the possible exception of A = -1728, this group has a point of order 4). This is a variant of the corresponding results for $J^{3, A}$ (A ≠ 4) and $J^{5, A}$ . We...

Composite rational functions expressible with few terms

Clemens Fuchs, Umberto Zannier (2012)

Journal of the European Mathematical Society

Similarity:

We consider a rational function $f$ which is ‘lacunary’ in the sense that it can be expressed as the ratio of two polynomials (not necessarily coprime) having each at most a given number $ℓ$ of terms. Then we look at the possible decompositions $f (x) = g (h (x))$ , where $g, h$ are rational functions of degree larger than 1. We prove that, apart from certain exceptional cases which we completely describe, the degree of $g$ is bounded only in terms of $ℓ$ (and we provide explicit bounds). This supports and quantifies...

Manin’s and Peyre’s conjectures on rational points and adelic mixing

Alex Gorodnik, François Maucourant, Hee Oh (2008)

Annales scientifiques de l'École Normale Supérieure

Similarity:

Let $X$ be the wonderful compactification of a connected adjoint semisimple group $G$ defined over a number field $K$ . We prove Manin’s conjecture on the asymptotic (as $T \to \infty$ ) of the number of $K$ -rational points of $X$ of height less than $T$ , and give an explicit construction of a measure on $X (𝔸)$ , generalizing Peyre’s measure, which describes the asymptotic distribution of the rational points $𝐆 (K)$ on $X (𝔸)$ . Our approach is based on the mixing property of $L^{2} (𝐆 (K) ∖ 𝐆 (𝔸))$ which we obtain with a rate of convergence. ...

Some remarks on the interpolation spaces $A^{θ}, A_{θ}$

Mohammad Daher (2016)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

Let $(A_{0}, A_{1})$ be a regular interpolation couple. Under several different assumptions on a fixed $A^{β}$ , we show that $A^{θ} = A_{θ}$ for every $θ \in (0, 1)$ . We also deal with assumptions on ${\bar{A}}^{β}$ , the closure of $A^{β}$ in the dual of ${(A_{0}^{*}, A_{1}^{*})}_{β}$ .

Some Remarks on Prym-Tyurin Varieties

Giuliano Parigi (2007)

Bollettino dell'Unione Matematica Italiana

Similarity:

The aims of the present paper can be described as follows: a) In [2] Beauville showed that if some endomorphism $u$ a Jacobian $J(C)$ has connected kernel, the principal polarization on $J(C)$ induces a multiple of the principal polarization on the image of $u$ . We reformulate and complete this theorem proving "constructively" the following: Theorem. Let $Z\subset J(C)$ be an abelian subvariety and $Y$ its complementary variety. $Z$ is a Prym-Tyurin variety with respect to $J(C)$ if and only if the following sequence...

How to construct a Hovey triple from two cotorsion pairs

James Gillespie (2015)

Fundamenta Mathematicae

Similarity:

Let be an abelian category, or more generally a weakly idempotent complete exact category, and suppose we have two complete hereditary cotorsion pairs $(, \tilde{})$ and $(\tilde{},)$ in satisfying $\tilde{} \subseteq$ and $\cap \tilde{} = \tilde{} \cap$ . We show how to construct a (necessarily unique) abelian model structure on with (resp. $\tilde{}$ ) as the class of cofibrant (resp. trivially cofibrant) objects, and (resp. $\tilde{}$ ) as the class of fibrant (resp. trivially fibrant) objects.

A note on Sierpiński's problem related to triangular numbers

Maciej Ulas (2009)

Colloquium Mathematicae

Similarity:

We show that the system of equations $t_{x} + t_{y} = t_{p}, t_{y} + t_{z} = t_{q}, t_{x} + t_{z} = t_{r}$ , where $t_{x} = x (x + 1) / 2$ is a triangular number, has infinitely many solutions in integers. Moreover, we show that this system has a rational three-parameter solution. Using this result we show that the system $t_{x} + t_{y} = t_{p}, t_{y} + t_{z} = t_{q}, t_{x} + t_{z} = t_{r}, t_{x} + t_{y} + t_{z} = t_{s}$ has infinitely many rational two-parameter solutions.

On Zariski's theorem in positive characteristic

Ilya Tyomkin (2013)

Journal of the European Mathematical Society

Similarity:

In the current paper we show that the dimension of a family $V$ of irreducible reduced curves in a given ample linear system on a toric surface $S$ over an algebraically closed field is bounded from above by $- K_{S} . C + p_{g} (C) - 1$ , where $C$ denotes a general curve in the family. This result generalizes a famous theorem of Zariski to the case of positive characteristic. We also explore new phenomena that occur in positive characteristic: We show that the equality $𝚍𝚒𝚖 (V) = - K_{S} . C + p_{g} (C) - 1$ does not imply the nodality of $C$ even if $C$ belongs...