Related papers: Some implications between Grothendieck's anabelian…

Cohomology of a topological space with coefficients in stacks of abelian 2-groups is considered. A 2-categorical analog of the theorem of Grothendieck is proved, relating cohomology of the space with coefficients in a 2-stage spectrum and…

Let $X$ be a smooth projective variety defined on a finite field $\mathbb{F}_q$. On $X$ there is a special morphism $Fr_X$, which raises coordinates to exponent $q$: $t\mapsto t^q$. The two main results in this paper are: Result 1: If…

There are many instances such that deformation space of the homology class of an algebraic cycle as a Hodge cycle is larger than its deformation space as algebraic cycle. This phenomena can occur for algebraic cycles inside hypersurfaces,…

We define a Grothendieck ring of pairs of complex quasi-projective varieties (that is a variety and a subvariety). We describe $\lambda$-structures and a power structure on/over this ring. We show that the conjectual symmetric power of the…

Rational points in the boundary of a hyperbolic curve over a field with sufficiently nontrivial Kummer theory are the source for an abundance of sections of the fundamental group exact sequence. We follow and refine Nakamura's approach…

Grothendieck Duality -- the theory of the twisted inverse image pseudofunctor (-)^! over a suitable category of scheme-maps -- can be developed concretely, with emphasis on explicit constructions, or abstractly, with emphasis on…

The algebraic degeneracy of holomorphic curves in a semi-Abelian variety omitting a divisor is proved (Lang's conjecture generalized to semi-Abelian varieties) by making use of the {\it jet-projection method} and the logarithmic Wronskian…

A categorification of the Heisenberg algebra is constructed in by Khovanov using graphical calculus, and left with a conjecture on the isomorphism between the Heisenberg algebra and Grothendieck ring of the constructed category. We give a…

In this series of papers, we investigate a new anabelian phenomenon of curves over algebraically closed fields of positive characteristic. Let $\overline M_{g, n}$ be the moduli space of curves of type $(g, n)$ over $\overline…

In three preprints [Pan2],[Pan3] and the present one we prove Grothendieck-Serre's conjecture concerning principal G-bundles over regular semi-local domains R containing a finite field (here G is a reductive group scheme). The present…

Let $X$ be a curve over a field $k$ finitely generated over $\mathbb{Q}$ and $t$ an indeterminate. We prove that, if $s$ is a section of $\pi_{1}(X)\to\operatorname{Gal}(k)$ such that the base change $s_{k(t)}$ is birationally liftable,…

A proof of Grothendieck--Serre conjecture on principal bundles over a semi-local regular ring containing an infinite field is given in [FP] recently. That proof is based significantly on Theorem 1.0.1 stated below in the Introduction and…

The Torsion Anomalous Conjecture (TAC) states that a subvariety V of an abelian variety A has only finitely many maximal torsion anomalous subvarieties. In this work we prove, with an effective method, some cases of the TAC when the ambient…

In this paper, we prove the Shafarevich conjecture for proper hyperbolic polycurves, which is a higher dimensional analogue of that for proper hyperbolic curves. First, we study theories of proper hyperbolic polycurves over regular schemes.…

Assume that R is a semi-local regular ring containing an infinite perfect field, or that R is a semi-local ring of several points on a smooth scheme over an infinite field. Let K be the field of fractions of R. Let H be a strongly inner…

The Hodge conjecture is shown to be equivalent to a question about the homology of very ample divisors with ordinary double point singularities. The infinitesimal version of the result is also discussed.

We prove the dynamical Mordell-Lang conjecture for product of endomorphisms of an affine curve and a projective curve over $\overline{\mathbb{Q}}$.

The generalized Lax conjecture asserts that each hyperbolicity cone is a linear slice of the cone of positive semidefinite matrices. We prove the conjecture for a multivariate generalization of the matching polynomial. This is further…

For compact Riemann surfaces, the collar theorem and Bers' partition theorem are major tools for working with simple closed geodesics. The main goal of this paper is to prove similar theorems for hyperbolic cone-surfaces. Hyperbolic…

We prove a general form of the statement that the cohomology of a quotient stack can be computed by the Borel construction. It also applies to the lisse extensions of generalized cohomology theories like motivic cohomology and algebraic…