Related papers: A proof of Carleson's $\varepsilon^2$-conjecture
We find a tight relationship between the torsion subgroup and the image of the mod 2 Galois representation associated to an elliptic curve defined over the rationals. This is shown using some characterizations for the squareness of the…
Solving a long-standing open question in convex geometry, we will show that typical convex surfaces contain points of infinite curvature in all tangent directions. To prove this, we use an easy curvature definition imitating the idea of…
We show Fujita's spectrum conjecture for $\epsilon$-log canonical pairs and Fujita's log spectrum conjecture for log canonical pairs. Then, we generalize the pseudo-effective threshold of a single divisor to multiple divisors and establish…
Let $C$ be a hyperelliptic curve of genus $g>1$ over an algebraically closed field $K$ of characteristic zero and $O$ one of the $(2g+2)$ Weierstrass points in $C(K)$. Let $J$ be the jacobian of $C$, which is a $g$-dimensional abelian…
The Jordan Curve Theorem (JCT) states that a simple closed curve divides the plane into exactly two connected regions. We formalize and prove the theorem in the context of grid graphs, under different input settings, in theories of bounded…
We construct a family of random Jordan curves in the plane by welding together two disks on their boundaries using a random homeomorphism. This homeomorphism arises from a random measure whose density, in a generalized sense, is the…
We explicitly construct simple, piecewise minimizing geodesic, arbitrarily fine interpolation of simple and Jordan curves on a Riemannian manifold. In particular, a finite sequence of partition points can be specified in advance to be…
Let $J$ be a simple closed curve in $\mathbb R^{k}$ $(k\geq2)$ that is differentiable with non-zero derivative at a point $A_0\in J$. For a tuple of positive reals $a_1,\cdots,a_n$ $(n\geq3)$, each of which is less than the sum of the…
We describe the structure of all continuous Jordan triple endomorphisms of the set $\mathbb{P}_2$ of all positive definite $2\times 2$ matrices thus completing a recent result of ours. We also mention an application concerning sorts of…
We prove that an analogue of Jordan's theorem on finite subgroups of general linear groups holds for the groups of biregular automorphisms of elliptic ruled surfaces. This gives a positive answer to a question of Vladimir L. Popov.
Let C in C_1xC_2 be a curve of type (d_1,d_2) in the product of the two curves C_1 and C_2. Let d be a positive integer. We prove that if a certain inequality involving d_1, d_2, d, and the genera of the curves C_1, C_2, and C is satisfied,…
We show the existence of a measurable selector in Carpenter's Theorem due to Kadison. This solves a problem posed by Jasper and the first author. As an application we obtain a characterization of all possible spectral functions of…
The paper's main result is an effective uniform bound for the finiteness statement of the Shafarevich Conjecture over function fields. Several results on the projective geometry of curves are established in the course of the proof. These…
If two closed Jordan curves in the plane have precisely one point in common, then it is called a {\em touching point}. All other intersection points are called {\em crossing points}. The main result of this paper is a Crossing Lemma for…
We give a new proof of the epsilon dichotomy conjecture, stated by Prasad and Takloo-Bighash, for non Archimedean local fields of characteristic zero, when the twisting character is trivial. Our method relies on the functional equation and…
In this note we generalize and prove a recent conjecture of Varchenko concerning the number of critical points of a (multivalued) meromorphic function $\phi$ on an algebraic manifold. Under certain conditions, this number turns out to…
Let $E$ be an elliptic curve over $\mathbb{Q}$ and $G=\langle\sigma_1, \dots, \sigma_n\rangle$ be a finitely generated subgroup of $\operatorname{Gal}(\overline{\mathbb{Q}}/ \mathbb{Q})$. Larsen's conjecture claims that the rank of the…
We prove a novel unique continuation result for weak bisolutions to the massive Klein-Gordon equation on a 2-dimensional cylinder M. Namely, if such a bisolution vanishes in a neighbourhood of a `sufficiently large' portion of a…
Morse spacetime is a model of singular Lorentzian manifold, built upon a Morse function which serves as a global time function outside its critical points. The Borde-Sorkin conjecture states that a Morse spacetime is causally continuous if…
We show a 2-nilpotent section conjecture over R: for a geometrically connected curve X over R such that each irreducible component of its normalization has R-points, pi_0(X(R)) is determined by the maximal 2-nilpotent quotient of the…