Related papers: A remark on Tate's algorithm and Kodaira types
Let $K$ be the field of fractions of a complete discrete valuation ring with a perfect residue field. In this article, we investigate how the Tamagawa number of $E/K$ changes under quadratic twist. To accomplish this, we introduce the…
Let $f:(X,B)\to Z$ be a 3-fold extremal dlt flipping contraction defined over an algebraically closed field of characteristic $p>5$, such that the coefficients of $\{B\}$ are in the standard set $\{1-\frac 1n|n\in \mathbb N\}$, then the…
We consider character sums determined by isogenies of elliptic curves over finite fields. We prove a congruence condition for character sums attached to arbitrary cyclic isogenies, and produce explicit formulas for isogenies of small…
We give a proof of the convergence of an algorithm for the construction of lower dimensional elliptic tori in nearly integrable Hamiltonian systems. The existence of such invariant tori is proved by leading the Hamiltonian to a suitable…
An elliptic curve $E$ defined over a $p$-adic field $K$ with a $p$-isogeny $\phi:E\rightarrow E^\prime$ comes equipped with an invariant $\alpha_{\phi/K}$ that measures the valuation of the leading term of the formal group homomorphism…
We give a new type inference algorithm for typing lambda-terms in Elementary Affine Logic (EAL), which is motivated by applications to complexity and optimal reduction. Following previous references on this topic, the variant of EAL type…
We give an elementary proof of the fact that any elliptic curve $E$ over an algebraically closed non-archimedean field $K$ with residue characteristic $\neq{2,3}$ and with $v(j(E))<0$ admits a tropicalization that contains a cycle of length…
We establish exponential inequalities and Cramer-type moderate deviation theorems for a class of V-statistics under strong mixing conditions. Our theory is developed via kernel expansion based on random Fourier features. This type of…
In this article, we study the minimal degree [K(T):K] of a p-subgroup T <= E(\overline{K})_tors for an elliptic curve E/K defined over a number field K. Our results depend on the shape of the image of the p-adic Galois representation…
We describe an algorithm to compute the minimal field of definition of the Tate classes on powers of a Jacobian $J$ with potential complex multiplication. This field arises as a natural invariant of the Galois representations attached to…
We study the elliptic curve E given by y^2=x(x+1)(x+t) over the rational function field k(t) and its extensions K_d=k(\mu_d,t^{1/d}). When k is finite of characteristic p and d=p^f+1, we write down explicit points on E and show by…
We show that the classical Kuga-Satake construction gives rise, away from characteristic 2, to an open immersion from the moduli of primitively polarized K3 surfaces (of any fixed degree) to a certain regular integral model for a Shimura…
We introduce innovative algorithms for computing exact or approximate (minimum-norm) solutions to $Ax=b$ or the {\it normal equation} $A^TAx=A^Tb$, where $A$ is an $m \times n$ real matrix of arbitrary rank. We present more efficient…
For elliptic curves over rationals, there are a well-known conjecture of Sato-Tate and a new computational guided murmuration phenomenon, for which the abelian Hasse-Weil zeta functions are used. In this paper, we show that both the…
Let $\ell$ be an odd prime. We study the visibility theorem for certain elliptic curves over $\mathbb{Q}$ with additive reduction at $\ell$, and deduce the existence of nontrivial $\ell$-torsion in $\Sha(E^D/\mathbb{Q})$ for suitable…
Tate's theorem (Invent. Math. 1966)implies that the Tate conjecture holds for any abelian variety over a finite field whose Q_l-algebra of Tate classes is generated by those of degree 1. We construct families of abelian varieties over…
We describe a type system for the linear-algebraic lambda-calculus. The type system accounts for the part of the language emulating linear operators and vectors, i.e. it is able to statically describe the linear combinations of terms…
We investigate the $\lambda$-invariants of Mazur--Tate elements of elliptic curves defined over the field of rational numbers at primes of additive reduction. We explain their growth and how these invariants relate to other better…
I prove lower bounds of some parameters of elliptic curve over finite field. There parameters are closely interrelated with cryptographic stability of elliptic curve.
For a partition $lambda=\{lambda_1 \geq \lambda_2 \geq \lambda_3 \}$ of non-negative integers, we calculate the Euler characteristic of the local system $V_{\lambda}$ on the moduli space of genus 3 hyperelliptic curves using a suitable…