Related papers: Effective obstruction to lifting Tate classes from…

We study the optimal lower and upper complexity bounds for finding approximate solutions to the composite problem $\min_x\ f(x)+h(Ax-b)$, where $f$ is smooth and $h$ is convex. Given access to the proximal operator of $h$, for strongly…

We study Tamagawa numbers and other invariants (especially Tate-Shafarevich sets) attached to commutative and pseudo-reductive groups over global function fields. In particular, we prove a simple formula for Tamagawa numbers of commutative…

We prove that various subgroups of the mapping class group $Mod(\Sigma)$ of a surface $\Sigma$ are at least exponentially distorted. Examples include the Torelli group (answering a question of Hamenstadt), the "point-pushing" and surface…

We approach the Max-3-Cut problem through the lens of maximizing complex-valued quadratic forms and demonstrate that low-rank structure in the objective matrix can be exploited, leading to alternative algorithms to classical semidefinite…

The Bounded Negativity Conjecture predicts that for any smooth complex surface $X$ there exists a lower bound for the selfintersection of reduced divisors on $X$. This conjecture is open. It is also not known if the existence of such a…

From the generalized Riemann hypothesis for motivic L-functions, we derive an effective version of the Sato-Tate conjecture for an abelian variety A defined over a number field k with connected Sato-Tate group. By effective we mean that we…

Despite the success of deep learning-based algorithms, it is widely known that neural networks may fail to be robust. A popular paradigm to enforce robustness is adversarial training (AT), however, this introduces many computational and…

We consider Picard surfaces, locally symmetric varieties $S_{\Gamma}$ attached to the Lie group SU(2,1), and we construct explicit differential forms on $S_{\Gamma}$ representing Eisenstein classes, i.e. cohomology classes restricting…

Let $p$ be a prime. Tate and Voloch proved that a point of finite order in the algebraic torus cannot be $p$-adically too close to a fixed subvariety without lying on it. The current work is motivated by the analogy between torsion points…

We prove a completely explicit and effective upper bound for the N\'eron--Tate height of rational points of curves of genus at least $2$ over number fields, provided that they have enough automorphisms with respect to the Mordell--Weil rank…

We introduce a new obstruction to lifting smooth proper varieties in characteristic $p>0$ to characteristic $0$. It is based on Grothendieck's specialization homomorphism and the resulting discrete finiteness properties of \'etale…

We observe that the oriented homeomorphism type of a simply- connected smooth projective surface is determined by its algebraic structure modulo an odd prime of good reduction.

We study obstructions to the existence of Riemannian metrics of positive scalar curvature on closed smooth manifolds arising from torsion classes in the integral homology of their fundamental groups. As an application, we construct new…

In the 1960's, Birch proved that the traces of Frobenius for elliptic curves taken at random over a large finite field is modeled by the semicircular distribution (i.e. the usual Sato-Tate for non-CM elliptic curves). In analogy with…

Let $p$ be a prime number and let $k\geq 2$ be an integer. In this article we study the semi-simple reductions modulo $p$ of two-dimensional irreducible crystalline $p$-adic Galois representations with Hodge-Tate weights $0$ and $k-1$ and…

We describe a barrier argument for compact minimal submanifolds in the multi-Eguchi-Hanson and in the multi-Taub-NUT spaces, which are hyperkaehler 4-manifolds given by the Gibbons-Hawking ansatz. This approach is used to obtain results…

We construct explicitly Pad\'e approximations of the second kind for a special class of G-functions. These are then applied to prove a Baker-type lower bound for linear forms in the p-adic values of these functions. Moreover, we consider…

We study curves of negative self-intersection on algebraic surfaces. We obtain results for smooth complex projective surfaces X on the number of reduced, irreducible curves C of negative self-intersection C^2. The only known examples of…

We consider travel time tomography problems involving detection of high contrast, discrete high velocity structures. This results in a discrete nonlinear inverse problem, for which traditional grid-based models and iterative linearized…

We prove essentially tight lower bounds, conditionally to the Exponential Time Hypothesis, for two fundamental but seemingly very different cutting problems on surface-embedded graphs: the Shortest Cut Graph problem and the Multiway Cut…