Related papers: Conjecture de l'inertie mod\'{e}r\'{e}e de Serre
Let $R$ be a discrete valuation ring of mixed characteristics $(0,p)$, with finite residue field $k$ and fraction field $K$, let $k'$ be a finite extension of $k$, and let $X$ be a regular, proper and flat $R$-scheme, with generic fibre…
We prove the level 1 case of Serre's conjecture.
Let $\mathrm{k}_{0}$ be a field and $W$ a finite orthogonal reflection group over $\mathrm{k}_{0}$. We prove Serre's splitting principle for cohomological invariants of $W$ with values in Rost's cycle modules (over $\mathrm{k}_{0}$) if the…
Let $X$ be a discrete metric space with bounded geometry. We show that if $X$ admits an "A-by-CE coarse fibration", then the canonical quotient map $\lambda: C^*_{\max}(X)\to C^*(X)$ from the maximal Roe algebra to the Roe algebra of $X$,…
We investigate conditions on a graph $C^*$-algebra for the existence of a faithful semifinite trace. Using such a trace and the natural gauge action of the circle on the graph algebra, we construct a smooth $(1,\infty)$-summable semfinite…
Consider the infinite dimensional flag manifold $LK/T$ corresponding to the simple Lie group $K$ of rank $l$ and with maximal torus $T$. We show that, for $K$ of type $A$, $B$ or $C$, if we endow the space $H^*(LK/T)\otimes…
A rigidity property for the homotopy invariant stable linear framed presheaves is established. As a consequence a variant of Gabber rigidity theorem is obtained for a cohomology theory representable in the motivic stable homotopy category…
Let $k$ be a field of characteristic zero and ${\bar k}$ an algebraic closure of $k$. For a geometrically integral variety $X$ over $k$, we write ${\bar k}(X)$ for the function field of ${\bar X}=X\times_k{\bar k}$. If $X$ has a smooth…
The proof of Theorem 7.12 of "Uniqueness of smooth cohomology theories" by the authors of this note is not correct. The said theorem identifies the flat part of a differential extension of a generalized cohomology theory E with ER/Z (there…
Let R be a ring. Let SSE-R be the equivalence relation on square matrices (allowed to have different size) over R generated by A ~ B if there exist matrices U,V over R such that A = UV and B = VU . An invariant of SSE-R is shift equivalence…
We state a precise conjectural isomorphism between localizations of the equivariant quantum K-theory ring of a flag variety and the equivariant K-homology ring of the affine Grassmannian, in particular relating their Schubert bases and…
Let $X$ be a smooth proper scheme over an algebraically closed field $k$ in characteristic $p$. In this short note, by interpreting $\mathcal{D}_{X}$-modules as $F$-divided sheaves and establishing a cohomological boundedness property for…
Let $E\to B$ be a complex analytic fiber bundle with fiber $F$, a flag variety over a compact complex manifold $B$. We shall obtain a description of the cohomology of $E$ when $B=X_\Gamma:=\Gamma\backslash X, E=Y_\Gamma:=\Gamma\backslash Y$…
Halperin has conjectured that the Serre spectral sequence of any fibration that has fibre space a certain kind of elliptic space should collapse at the E_2-term. In this paper we obtain an equivalent phrasing of this conjecture, in terms of…
We study some of the local properties of the fiber-full scheme, which is a fine moduli space that generalizes the Hilbert scheme by parametrizing closed subschemes with prescribed cohomological data. As a consequence, we provide sufficient…
Let $Z\to X$ be a closed immersion of smooth affine schemes over an arbitrary field $k$, and $X^h_Z$ denote the henselization of $X$ along $Z$. For each presheaf $E\colon \mathbf{SH}(k)\to \mathrm{Ab}^\mathrm{op}$ on the stable motivic…
Fix an odd prime $p$. Let $X$ be a pointed space whose $p$-completed K-theory $\mathrm{KU}_p^*(X)$ is an exterior algebra on a finite number of odd generators; examples include odd spheres and many H-spaces. We give a…
We develop a version of Hodge theory for a large class of smooth formally proper quotient stacks $X/G$ analogous to Hodge theory for smooth projective schemes. We show that the noncommutative Hodge-de Rham sequence for the category of…
In this paper we show that in a stable range the cohomology of the space of regular algebraic sections of a line bundle $\mathscr{L}$on a curve $X$ is isomorphic to the cohomology of the space of regular $C^{\infty}$sections of the same…
We study a noncommutative version of the infinitesimal site of Grothendieck. A theorem of Grothendieck establishes that the cohomology of the structure sheaf on the infinitesimal topology of a scheme of characteristic zero is de Rham…