Related papers: The three cusps conjecture
Deligne's conjecture that $\ell$-adic sheaves on normal schemes over a finite field admit $\ell'$-companions was proved by L. Lafforgue in the case of curves and by Drinfeld in the case of smooth schemes. In this paper, we extend Drinfeld's…
Let $\{\Lambda^\infty_t\}$ be an isotopy of Legendrians (possibly singular) in a unit cosphere bundle $S^*M$. Let $Sh(M, \Lambda^\infty_t)$ be the differential graded (dg) derived category of constructible sheaves on $M$ with singular…
This is an innovative treatise on triangles, resting upon 1) 3-body problem techniques including mass-weighted relative Jacobi coordinates. 2) Part I's detailed layer-by-layer topological and geometrical study of Kendall-type shape spaces -…
Let $X$ be a smooth, projective and geometrically connected curve of genus at least two, defined over a number field. In 1984, Szpiro conjectured that $X$ has a "small point". In this paper we prove that if $X$ is a cyclic cover of prime…
In the prequel to this paper, two versions of Le Potier's strange duality conjecture for sheaves over abelian surfaces were studied. A third version is considered here. In the current setup, the isomorphism involves moduli spaces of sheaves…
In this article, we give a reformulation of a result from Howe, Leprevost and Poonen on a three dimensional family of abelian threefolds. We also link their result to a conjecture of Serre on a precise form of Torelli theorem for genus 3…
Real Legendrian subvarieties are classical objects of differential geometry and classical mechanics and they have been studied since antiquity. However, complex Legendrian subvarieties are much more rigid and have more exceptional…
We introduce a dynamical Mordell-Lang-type conjecture for coherent sheaves. When the sheaves are structure sheaves of closed subschemes, our conjecture becomes a statement about unlikely intersections. We prove an analogue of this…
We prove the Lipman-Zariski conjecture for complex surface singularities of genus one, and also for those of genus two whose link is not a rational homology sphere. As an application, we characterize complex $2$-tori as the only normal…
The theory of $\Theta$-stratifications generalizes a classical stratification of the moduli of vector bundles on a smooth curve, the Harder-Narasimhan-Shatz stratification, to any moduli problem that can be represented by an algebraic…
In this article, we give proofs on the Arnold Lagrangian intersection conjecture on the cotangent bundles, Arnold-Givental Lagrangian intersection conjecture and the Arnold fixed point conjecture.
Let S be a K3 surface and assume for simplicity that it does not contain any (-2)-curve. Using coherent systems, we express every non-simple Lazarsfeld-Mukai bundle on S as an extension of two sheaves of some special type, that we refer to…
Two theorems involving curl eigenfields on the 3--sphere are obtained using angular momentum theory. Spinor hyperspherical harmonics are shown to form an explicit, convenient basis. In particular, a spin--one vector calculus is reviewed. An…
We present a new proof of Witten's conjecture. The proof is based on the analysis of the relationship between intersection indices on moduli spaces of complex curves and Hurwitz numbers enumerating ramified coverings of the 2-sphere.
Kashiwara-Schapira style sheaf theory is used to justify analytic continuability of solutions of a Laplace transformed Schroedinger equation with a small parameter. This partially proves the description of the Stokes phenomenon for WKB…
Berenstein and Zelevinsky introduced quantum cluster algebras [Adv. Math, 2005] and the triangular bases [IMRN, 2014]. The support conjecture by Lee-Li-Rupel-Zelevinsky [PNAS, 2014] asserts that the support of a triangular basis element for…
We prove under mild hypotheses the three-variable Iwasawa main conjecture for $p$-ordinary modular forms in the indefinite setting. Our result is in a setting complementary to that in the work of Skinner-Urban, and it has applications to…
A cusp singularity is an elliptic surface singularity whose minimal resolution is a cycle of smooth rational curves meeting transversely. Cusp singularities come in naturally dual pairs. In 1981, Looijenga proved that whenever a cusp…
Using the theory of moduli of curves, we establish various slope inequalities for general fibered surfaces. More precisely, we introduce the notion of functorial divisors on Artin stacks and prove a theorem concerning their effectiveness.…
We show that only finitely many complex genus two curves and four punctured spheres admit rank two local systems of geometric origin, and moreover each carries finitely many. This gives further counterexamples to a conjecture of Esnault and…