Related papers: Injectivity failure in crystalline comparisons

We introduce a new family of invariants of real algebraic sets defined in terms of the topology of their complexifications and compute some of these invariants for spheres. This allows us to completely classify topological isomorphism…

We study the behaviour of analytic torsion under smooth fibrations. Namely, let F \to E \to^{f} B be a smooth fiber bundle of connected closed oriented smooth manifolds and let $V$ be a flat vector bundle over $E$. Assume that $E$ and $B$…

We describe the equivariant cohomology ring of rationally smooth projective embeddings of reductive groups. These embeddings are the projectivizations of reductive monoids. Our main result describes their equivariant cohomology in terms of…

We categorify the inclusion-exclusion principle for partially ordered topological spaces and schemes to a filtration on the derived category of sheaves. As a consequence, we obtain functorial spectral sequences that generalize the two…

We provide a simple approach for the crystalline comparison of Ainf-cohomology, and reprove the comparison between crystalline and p-adic etale cohomology for formal schemes in the case of good reduction.

Let Z be an affine algebraic variety and ED(Z)= max(2 dim Z+1, dim TZ). Let X be a smooth algebraic variety isomorphic to a semi-simple linear algebraic group whose Lie algebra is a sum of special linear Lie algebras. We show that if dim X…

The goal of this article is to prove a comparison theorem between rigid cohomology and cohomology computed using the theory of arithmetic $\mathscr{D}$-modules. To do this, we construct a specialisation functor from Le Stum's category of…

Let $S$ be a finite dimensional noetherian scheme. For any proper morphism between smooth $S$-schemes, we prove a Riemann-Roch formula relating higher algebraic $K$-theory and motivic cohomology, thus with no projective hypothesis neither…

We prove a version of the Gindikin-Karpelevich formula for untwisted affine Kac-Moody groups over a local field of positive characteristic. The proof is geometric and it is based on the results of [1] about intersection cohomology of…

For a smooth projective scheme $X$ over a ring $R$ on which $p$ is nilpotent that meets some general assumptions we prove that the crystalline cohomology is equipped with the structure of a higher display which is a relative version of…

We introduce a four-term long exact sequence that relates the cohomology of a smooth variety admitting a projective morphism onto a projective base to the cohomology of the open set obtained by removing the preimage of a general linear…

Over a noetherian ring, it is a classic result of Matlis that injective modules admit direct sum decompositions into injective hulls of quotients by prime ideals. We show that over a Cohen-Macaulay ring admitting a dualizing module,…

We study Hodge Integrals on Moduli Spaces of Admissible Covers. Motivation for this work comes from Bryan and Pandharipande's recent work on the local GW theory of curves, where analogouos intersection numbers, computed on Moduli Spaces of…

In this paper, we establish Deligne's logarithmic comparison theorem and the $E_1$-degeneration of the corresponding Hodge-de Rham spectral sequence, in the setting of toroidal embeddings. Along the way, we prove Kawamata-Viehweg Vanishing…

We prove that the specialization to q=1 of a Kirillov-Reshetikhin module for an untwisted quantum affine algebra of classical type is projective in a suitable category. This yields a uniform character formula for the Kirillov-Reshetikhin…

The first author's recent unexpected discovery of torsion in the integral cohomology of the T\"ubingen Triangle Tiling has led to a re-evaluation of current descriptions of and calculational methods for the topological invariants associated…

Let $p$ be a rational prime, let $F$ denote a finite, unramified extension of $\mathbb{Q}_p$, $K$ the maximal unramified extension of $\mathbb{Q}_p$, $\overline{K}$ some fixed algebraic closure of $K$, and $\mathbb{C}_p$ the completion of…

We prove a duality theorem for the $p$-adic etale motivic cohomology of a variety $U$ which is the complement of a divisor on a smooth projective variety over $\F_p$. This extends the duality theorems of Milne and Jannsen-Saito-Zhao. The…

We prove that TR is corepresentable by the reduced topological Hochschild homology of the flat affine line $\mathbf{S}[t]$ as a functor defined on the $\infty$-category of cyclotomic spectra with values in the $\infty$-category of spectra…

A generalization of the classical Sard theorem in the plane is the following. Let $f$ be a function defined on a subset $A\subset{\mathbb R}^2$. If $f$ has modulus of continuity $\omega(r)\lesssim r^2$, then $f(A)\subset{\mathbb R}$ has…