Related papers: The telescope conjecture at height 2 and the tmf r…
We apply the Rasmussen spectral sequence to prove that the $\mathbb{Z}^3$-graded vector space structure of the HOMFLYPT homology over $\mathbb{Z}_2$ detects unlinks. Our proof relies on a theorem of Batson and Seed stating that the…
We report on the computation of torsion in certain homology theories of congruence subgroups of SL(4,Z). Among these are the usual group cohomology, the Tate-Farrell cohomology, and the homology of the sharbly complex. All of these theories…
We prove the Bloch conjecture : $ c_2(E) \in H^4_\cald (X,\bbz(2))$ is torsion for holomorphic rank two vector bundles $E$ with an integrable connection over a complex projective variety $X$. We prove also the rationality of the…
We prove the nonequivariant coherent-constructible correspondence conjectured by Fang-Liu-Treumann-Zaslow in the case of toric surfaces. Our proof is based on describing a semi-orthogonal decomposition of the constructible side under toric…
In previous papers, [M1, M2], [M3], we proved the existence as well as regularity of a finite range decomposition for the resolvent $G_{\alpha} (x-y,m^2) = ((-\Delta)^{\alpha\over 2} + m^{2})^{-1} (x-y) $, for $0<\alpha <2$ and all real…
The Serre conjecture II predicts that every torsor under a semisimple, simply connected, algebraic group over a field of cohomological dimension at most 2 and of degree of imperfection at most 1 has a rational point. We generalize this…
We prove Breuil's lattice conjecture for higher Hodge-Tate weights in the case of $\mathrm{GL}_2(K)$ where $K$ is an unramified extension of $\mathbb{Q}_p$. More precisely, under some genericity conditions, we show that the lattice inside a…
We prove a conjecture of Toponogov on complete convex planes, namely that such planes must contain an umbilic point, albeit at infinity. Our proof is indirect. It uses Fredholm regularity of an associated Riemann-Hilbert boundary value…
Beginning from the resolution of the Dirichlet L function, using the inner product formula between two infinite-dimensional vectors in the complex space, the author proved the baffling problem--Hecke conjecture.
The Tijdeman-Zagier conjecture states no integer solution exists for $A^X+B^Y=C^Z$ with positive integer bases and integer exponents greater than 2 unless gcd$(A,B,C)>1$. Any set of values that satisfy the conjecture correspond to a lattice…
We consider the problem of digitalizing Euclidean segments. Specifically, we look for a constructive method to connect any two points in $\mathbb{Z}^d$. The construction must be {\em consistent} (that is, satisfy the natural extension of…
We address a special case of a conjecture of M. Talagrand relating two notions of "threshold" for an increasing family $\mathcal F$ of subsets of a finite set $V$. The full conjecture implies equivalence of the "Fractional…
In this paper we prove the Mumford-Tate conjecture in degree 2 for the product of an abelian surface $A$ and a K3 surface $X$ over a finitely generated field $K \subset \mathbb{C}$. The Mumford-Tate conjecture is a precise way of saying…
The main result of this paper is an instance of the conjecture made by Gouvea and Mazur (Math. Res. Lett., 1995) which asserts that for certain values of r the space of r-overconvergent p-adic modular forms of tame level N and weight k…
The goal of this paper is to address A. Shumakovitch's conjecture about the existence of $\Z_2$-torsion in Khovanov link homology. We analyze torsion in Khovanov homology of semi-adequate links via chromatic cohomology for graphs which…
We show that the correction terms in Heegaard Floer homology give a lower bound to the the genus of one-sided Heegaard splittings and the $\mathbb Z_2$--Thurston norm. Using a result of Jaco--Rubinstein--Tillmann, this gives a lower bound…
In this article, we compute the mod 2 representarion of the symmetric group of order 2 over the singular cohomology groups of orderd 2-configuration space $C_{2}(T^{d})$ of the $d$-torus $T^{d}$ for $d\geq 1$. As applications of the…
Using geodesic length functions, we define a natural family of real codimension 1 subvarieties of Teichm\"uller space, namely the subsets where the lengths of two distinct simple closed geodesics are of equal length. We investigate the…
We develop the theory of stratification for a rigidly-compactly generated tensor-triangulated category using the smashing spectrum and the small smashing support. Within the stratified context, we investigate connections between big prime…
Given a smooth projective toric variety $X$ of Picard rank 2, we resolve the diagonal sheaf on $X \times X$ by a linear complex of length $\dim{X}$ consisting of finite direct sums of line bundles. As applications, we prove a new case of a…