Related papers: A remark on Tate's algorithm and Kodaira types

Tate's algorithm tells us that for an elliptic curve $E$ over a local field $K$ of residue characteristic $\geq 5$, $E/K$ has potentially good reduction if and only if $\text{ord}(j_E)\geq 0$. It also tells us that when $E/K$ is semistable…

We obtain asymptotic formulae for the number of primes $p\le x$ for which the reduction modulo $p$ of the elliptic curve $$ \E_{a,b} : Y^2 = X^3 + aX + b $$ satisfies certain ``natural'' properties, on average over integers $a$ and $b$ with…

Let $\mathcal{O}_K$ be a Henselian discrete valuation domain with field of fractions $K$. Assume that $\mathcal{O}_K$ has algebraically closed residue field $k$. Let $E/K$ be an elliptic curve with additive reduction. The semi-stable…

In this mostly expository note, we explain a proof of Tate's two conjectures [Tat65] for algebraic cycles of arbitrary codimension on certain products of elliptic curves and abelian surfaces over number fields.

We obtain average results on the Sato-Tate conjecture for elliptic curves for small angles.

We use reduction maps to study the minimal model program. Our main result is that the existence of a good minimal model for a klt pair $(X,\Delta)$ can be detected on the base of the $(K_{X}+\Delta)$-trivial reduction map. Thus we show that…

Let $R$ be a complete discrete valuation ring with fraction field $K$ and perfect residue field $k$ of characteristic $p>0$. Let $E/K$ be an elliptic curve with a $K$-rational isogeny of prime degree $\ell$. In this article, we study the…

We present a type inference algorithm for lambda-terms in Elementary Affine Logic using linear constraints. We prove that the algorithm is correct and complete.

We study the reduction properties of low genus curves whose Jacobian has complex multiplication. In the elliptic curve case, we classify the possible Kodaira types of reduction that can occur. Moreover, we investigate the possible Namikawa…

U(1) symmetries play a central role in constructing phenomenologically viable F-theory compactifications that realize Grand Unified Theories (GUTs). In F-theory, gauge symmetries with abelian gauge factors are modeled by singular elliptic…

In this paper, we explicitly classify the minimal discriminants of all elliptic curves $E/\mathbb{Q}$ with a non-trivial torsion subgroup. This is done by considering various parameterized families of elliptic curves with the property that…

In this paper we give an algorithm of how to determine a Weierstrass equation with minimal discriminant for superelliptic curves generalizing work of Tate for elliptic curves and Liu for genus 2 curves.

By Mazur's Torsion Theorem, there are fourteen possibilities for the non-trivial torsion subgroup $T$ of a rational elliptic curve. For each $T$, such that $E$ may have additive reduction at a prime $p$, we consider a parameterized family…

It is a classical result (apparently due to Tate) that all elliptic curves with a torsion point of order n ($4 \leq n \leq 10$, or n = 12) lie in a one-parameter family. However, this fact does not appear to have been used ever for…

The "Tate forms" for elliptically fibered Calabi-Yau manifolds are reconsidered in order to determine their general validity. We point out that there were some implicit assumptions made in the original derivation of these "Tate forms" from…

We study parameterized versions of classical algorithms for computing shortest-path trees. This is most easily expressed in terms of tropical geometry. Applications include shortest paths in traffic networks with variable link travel times.

In this paper we want to study the non-Kodaira fibres in a smooth equidimensional elliptic threefold. If the morphism to the Weierstrass model of the fibration is crepant, then we can locate the non-Kodaira fibres and give a description of…

In this paper, we establish a weak version of the Kodaira vanishing theorem for surfaces in positive characteristic. As an application, we obtain some fundamental theorems in the minimal model theory for klt surfaces.

This work presents a new evolutionary optimization algorithm in theoretical mathematics with important applications in scientific computing. The use of the evolutionary algorithm is justified by the difficulty of the study of the…

We give an elementary proof of the Mazur-Tate-Teitelbaum conjecture for elliptic curves by using Kato's element.