相关论文: A note on the Manin-Mumford conjecture
The document contains an outline of a modular proof for Ramanujan-Chudnovsky identity.
These informal notes, not intended for publication, provide an approach to the Borsuk--Ulam theorem via Stokes' theorem, in a similar spirit to Lima's proof of the Brouwer fixed point theorem. They are intended to be accessible to anyone…
We prove the following conjecture, due to Tomaszewski (1986): Let $X= \sum_{i=1}^{n} a_{i} x_{i}$, where $\sum_i a_i^2=1$ and each $x_i$ is a uniformly random sign. Then $\Pr[|X|\leq 1] \geq 1/2$. Our main novel tools are local…
The authors previously formulated the hybrid conjecture, unifying Andr\'e-Pink-Zannier and Andr\'e-Oort conjectures, and proved it in Shimura varieties of abelian type. We study its analogue for mixed Shimura varieties, and consider the…
We upgrade [1] to a complete proof of the conjecture NP = PSPACE. [1]: L. Gordeev, E. H. Haeusler, Proof Compression and NP Versus PSPACE, Studia Logica (107) (1): 55-83 (2019)
The refined Chern-Simons theory is a one-parameter deformation of the ordinary Chern-Simons theory on Seifert manifolds. It is defined via an index of the theory on N M5 branes, where the corresponding one-parameter deformation is a natural…
In this note, we establish the validity of a conjecture recently proposed in Mathematics Magazine and connect it to the existing interesting results
We prove a version of Hrushovski's socle lemma for rigid groups in an arbitrary simple theory.
This paper has been withdrawn by the author due a crucial sign error in Theorem B. We present a geometric proof of Thom conjecture, which uses Khovanov homology. Our approach doesn't use any analytic methods and is quite different from…
A considerable body of work in AI has been concerned with aggregating measures of confirmatory and disconfirmatory evidence for a common set of propositions. Claiming classical probability to be inadequate or inappropriate, several…
In this short note, we expose some of the works on Serre intersection multiplicity conjecture. I provide a proof of the vanishing of Serre intersection multiplicity in non-proper intersection over a regular ring based on the intersection…
This is the second part of the paper which proves the compatibility of pushforward along a proper morphism of an \'{e}tale constructible sheaf and the pushforward of its characteristic cycle up to $p$-torsion. In this second part, we show a…
During the course of verifying the results of Ramanujan on hypergeometric series, Berndt in his notebooks, Part II mentioned corrected forms of two of the Ramanujan's results. The aim of this short research note is to point out that one of…
This paper was withdrawn by the author due to an error in the proof of the main result; essentially the parameter R used in the proof may depend on the manifold (M, g), not just on dimension and pinching constant.
We establish a conjecture of Mumford characterizing rationally connected complex projective manifolds in several cases.
By changing variables in a suitable way and using dominated convergence methods, this note gives a short proof of Stirling's formula and its refinement.
The original proof of the Sharkovsky theorem is presented in full detail. The proof should be accessible to readers with basic Real Analysis background. Although nowadays there are several alternative proofs of this classical result, we…
I expound here in a more detailed way a proof of an important Serini's theorem, which I have already sketched in a previous Note. Two related questions are briefly discussed.
We propose a formulation of the relative Bogomolov conjecture and show that it gives an affirmative answer to a question of Mazur's concerning the uniformity of the Mordell-Lang conjecture for curves. In particular we show that the relative…
This paper suggests a new interpretation of the Dempster-Shafer theory in terms of probabilistic interpretation of plausibility. A new rule of combination of independent evidence is shown and its preservation of interpretation is…