Related papers: Effective Methods for Diophantine Finiteness
We introduce the first provably efficient algorithm to check if a finitely generated subgroup of an almost simple semi-simple group over the rationals is Zariski-dense. We reduce this question to one of computing Galois groups, and to this…
Given a smooth geometrically connected curve $C$ over a field $k$ and a smooth commutative group scheme $G$ of finite type over the function field $K$ of $C$ we study the Tate--Shafarevich groups given by elements of $H^1(K,G)$ locally…
Let $f : X \to S$ be a smooth projective family defined over $\mathcal{O}_{K}[\mathcal{S}^{-1}]$, where $K \subset \mathbb{C}$ is a number field and $\mathcal{S}$ is a finite set of primes. For each prime $\mathfrak{p} \in…
Let $\mathcal{O}_K$ be a complete discrete valuation ring of mixed characteristic $(0,p)$ with perfect residue field. We prove the existence of the Hodge-Newton filtration for $p$-divisible groups over $\mathcal{O}_K$ with additional…
Let $f : X \to S$ be a family of smooth projective algebraic varieties over a smooth connected quasi-projective base $S$, and let $\mathbb{V} = R^{2k} f_{*} \mathbb{Z}(k)$ be the integral variation of Hodge structure coming from degree $2k$…
It is known that in the case of hyperelliptic curves the Shafarevich conjecture can be made effective, i.e., for any number field k and any finite set of places S of k, one can effectively compute the set of isomorphism classes of…
The main result of this note is an effective uniform bound for the number of deformation types of certain nonisotrivial families of canonically polarized manifolds. It extends the author's earlier such bound for the classical Shafarevich…
In this paper we investigate computational properties of the Diophantine problem for spherical equations in some classes of finite groups. We classify the complexity of different variations of the problem, e.g., when $G$ is fixed and when…
In this paper, we prove the holomorphic convexity of the covering of a complex projective {normal} variety $X$, which corresponds to the intersection of kernels of reductive representations $\rho:\pi_1(X)\to {\rm GL}_{N}(\mathbb{C})$,…
Let $n=2g+2$ be a positive even integer, $f(x)$ a degree $n$ complex polynomial without multiple roots and $C_f: y^2=f(x)$ the corresponding genus $g$ hyperelliptic curve over the field $\C$ of complex numbers. Let a $(g-1)$-dimensional…
This is a companion paper to our previous work, where we proved the finiteness of the Tate-Shafarevich group for an arbitrary torus $T$ over a finitely generated field $K$ with respect to any divisorial set $V$ of places of $K$. Here, we…
In this article we give a general approach to the following analogue of Shafarevich's conjecture for some polarized algebraic varieties; suppose that we fix a type of an algebraic variety and look at families of such type of varieties over…
Let $k$ be a number field and $G$ be a finite group. Let $\mathfrak{F}_{k}^{G}(Q)$ be the family of number fields $K$ with absolute discriminant $D_K$ at most $Q$ such that $K/k$ is normal with Galois group isomorphic to $G$. If $G$ is the…
Let $k$ be a number field, and let $S$ be a finite set of maximal ideals of the ring of integers of $k$. In his 1962 ICM address, Shafarevich asked if there are only finitely many $k$-isomorphism classes of algebraic curves of a fixed genus…
The goal of this paper is to establish a complete Khintchine-Groshev type theorem in both homogeneous and inhomogeneous setting, on analytic nondegenerate manifolds over a local field of positive characteristic. The dual form of Diophantine…
Presentaremos una nueva demostraci\'on del teorema de Shafarevich sobre finitud de curvas el\'ipticas con buena reducci\'on fuera de un conjunto finito de primos dado. Esto da un nuevo punto de entrada a teoremas fundamentales de finitud…
The paper contains a general construction which produces new examples of non simply-connected smooth projective surfaces. We analyze the resulting surfaces and their fundamental groups. Many of these fundamental groups are expected to be…
Let $G$ be a semisimple algebraic group over the complex numbers and $K$ be a connected reductive group mapping to $G$ so that the Lie algebra of $K$ gets identified with a symmetric subalgebra of $\mathfrak{g}$. So we can talk about…
Let K/F be a finite Galois extension of global fields with Galois group G and let M be a 1-motive over F. We discuss the kernel and cokernel of the restriction map Sha^{i}(F,M) --> Sha^{i}(K,M)^{G} for i=1 and 2, independently of any…
In this article, we extend the framework developed in \cite{unbounded_domain_cadiot} to allow for rigorous proofs of existence of smooth, localized solutions in semi-linear partial differential equations possessing both space and non-space…