Related papers: Grothendieck-Serre Conjecture I: Appendix
A proof of Thompson's conjecture for real semi-simple Lie groups has been given by Kapovich, Millson, and Leeb. In this note, we give another proof of the conjecture by using a theorem of Alekseev, Meinrenken, and Woodward from symplectic…
General considerations on the Equivalence conjectures and a review of few mathematical results.
Let $X$ be a smooth complete curve, and let $Bun_n$ be the moduli stack of rank $n$ vector bundles on $X$. Let $E$ be a local system on $X$. In a recent paper of E.Frenkel, K.Vilonen and the author, it was shown that the vanishing of a…
We clarify and extend insights from Lavrentiev's seminal paper. We examine the original theorem dealing with the absence of the Lavrentiev phenomenon, a cornerstone issue in the calculus of variations. We point out some inconsistencies in…
Let $G$ be a finite, non-trivial abelian group of exponent $m$, and suppose that $B_1, ..., B_k$ are generating subsets of $G$. We prove that if $k>2m \ln \log_2 |G|$, then the multiset union $B_1\cup...\cup B_k$ forms an additive basis of…
In this article, we give a proof on the Arnold-Chekanov Lagrangian intersection conjecture on the cotangent bundles and its generalizations.
We define some formal moduli space of quasi-isogenies of isoclinic $p$-divisible groups with a non-reductive group as the "structure group". We then formulate new Arithmetic Fundamental Lemma conjectures for Bessel subgroups in the context…
A proof based on reduction to finite fields of Esnault-Viehweg's stronger version of Sommese Vanishing Theorem for $k$-ample line bundles is given. This result is used to give different proofs of isotriviality results of A. Parshin and L.…
We prove a version of Grothendieck's descent theorem on an `enriched' principal fiber bundle, a principal fiber bundle with an action of a larger group scheme. Using this, we prove the isomorphisms of the equivariant Picard and the class…
In this paper we propose a generalization of the Kontsevich--Soibelman conjecture on the degeneration of Hochschild-to-cyclic spectral sequence for smooth and compact DG category. Our conjecture states identical vanishing of a certain map…
In 2019, P. Higgins formulated [1] a question about bipartite graphs (see Conjecture 1 below); this question arises in the study of regular finite semigroups. F. V. Petrov formulated [2] another combinatorial conjecture (Conjecture 3);…
We give a short geometric proof of the Kochen-Specker no-go theorem for non-contextual hidden variables models. Note added to this version: I understand from Jan-Aake Larsson that the construction we give here actually contains the original…
In this note, we will give a partial answer for arithmetic analogues of Grothendieck's standard conjectures due to H. Gillet and C. Soule. (Remark : I changed the title of this note.)
This is the text of my Bourbaki seminar on the proof of the surface subgroup conjecture by Jeremy Kahn and Vladimir Markovic.
We investigate sections of arithmetic fundamental groups of hyperbolic curves over function fields. As a consequence we prove that the anabelian section conjecture of Grothendieck holds over all finitely generated fields over $\Bbb Q$ if it…
In this supplementary appendix we provide additional results, omitted proofs and extensive simulations that complement the analysis of the main text (arXiv:1201.0224).
We prove localization and Zariski-Mayer-Vietoris for higher Grothendieck-Witt groups, alias hermitian $K$-groups, of schemes admitting an ample family of line-bundles. No assumption on the characteristic is needed, and our schemes can be…
Let X be a smooth projective curve of genus >1 over a field K which is finitely generated over the rationals. The section conjecture in Grothendieck's anabelian geometry says that the sections of the canonical projection from the arithmetic…
Cases of Deligne's companion conjecture for normal schemes over finite fields have been proven by L. Lafforgue, Drinfeld, and Zheng in recent years: L. Lafforgue proved the conjecture for curves, Drinfeld proved the conjecture for all…
In a remark to Green's conjecture, Paranjape and Ramanan analyzed the vector bundle $E$ which is the pullback by the canonical map of the universal quotient bundle $T_{\Pp^{g-1}}(-1)$ on $\Pp^{g-1}$ and stated a more general conjecture and…