We consider smooth completion of algebraic manifolds. Having some information about its singular completions or about completions of its images we prove purity of cohohomology of the set at infinity. We deduce also some topological properties. The work is based on the study of perverse direct images for algebraic maps.
B. Totaro showed \cite{totaro} that the rational cohomology of configuration spaces of smooth complex projective varieties is isomorphic as an algebra to the $E_2$ term of the Leray spectral sequence corresponding to the open embedding of the configuration space into the Cartesian power. In this note we show that the isomorphism can be chosen to be compatible with the mixed Hodge structures. In particular, we prove that the mixed Hodge structures on the configuration spaces of smooth complex projective varieties are direct sums of pure Hodge structures.
In the mid 1980s, while working on establishing completion theorems for equivariant Algebraic K- Theory similar to the well-known Atiyah-Segal completion theorem for equivariant topological K-theory, the late Robert Thomason found the strong finiteness conditions that are required in such theorems to be too restrictive. Then he made a conjecture on the existence of a completion theorem in the sense of Atiyah and Segal for equivariant Algebraic G-theory, for actions of linear algebraic groups on schemes that holds without any of the strong finiteness conditions that are required in such theorem…
Let $p$ be a prime. Let $R$ be a regular local ring of dimension $d\ge 2$ whose completion is isomorphic to $C(k)[[x_1,\ldots,x_d]]/(h)$, with $C(k)$ a Cohen ring with the same residue field $k$ as $R$ and with $h\in C(k)[[x_1,\ldots,x_d]]$ such that its reduction modulo $p$ does not belong to the ideal $(x_1^p,\ldots,x_d^p)+(x_1,\ldots,x_d)^{2p-2}$ of $k[[x_1,\ldots,x_d]]$. We extend a result of Vasiu-Zink (for $d=2$) to show that each Barsotti-Tate group over $\text{Frac}(R)$ which extends to every local ring of $\text{Spec}(R)$ of dimension $1$, extends uniquely to a Barsotti-Tate group ove…
We develop a sheaf cohomology theory of algebraic varieties over an algebraically closed non-trivially valued non-archimedean field $K$ based on Hrushovski-Loeser's stable completion. In parallel, we develop a sheaf cohomology of definable subsets in o-minimal expansions of the tropical semi-group $Γ_\infty$, where $Γ$ denotes the value group of $K$. For quasi-projective varieties, both cohomologies are strongly related by a deformation retraction of the stable completion homeomorphic to a definable subset of $Γ_\infty$. In both contexts, we show that the corresponding cohomology theory satisf…
In this paper we construct an equivariant embedding of the affine space $\mathbb{A}^n$ with the translation group action into a complete non-projective algebraic variety $X$ for all $n \geq 3$. The theory of toric varieties is used as the main tool for this construction. In the case of $n = 3$ we describe the orbit structure on the variety $X$.
Nash structure of curves over a valued field and tame henselian rationality
Sorbonne Université, Université Paris-Diderot, CNRS, Institut de Mathématiques de Jussieu-Paris Rive Gauche, IMJ-PRG(索邦大学,巴黎第七大学,法国国家科学研究中心,儒勒·让苏-巴黎左岸数学研究所);Sorbonne Université, Institut de Mathématiques de Jussieu-Paris Rive Gauche, CNRS(索邦大学,儒勒·让苏-巴黎左岸数学研究所,法国国家科学研究中心)
Let $Π$ be the fundamental group of a smooth variety X over $F_p$. Given a non-Archimedean place $λ$ of the field of algebraic numbers which is prime to p, consider the $λ$-adic pro-semisimple completion of $Π$ as an object of the groupoid whose objects are pro-semisimple groups and whose morphisms are isomorphisms up to conjugation by elements of the neutral connected component. We prove that this object does not depend on $λ$. If dim X=1 we also prove a crystalline generalization of this fact. We deduce this from the Langlands conjecture for function fields (proved by L. Lafforgue) and its c…