Related papers: $K(\pi, 1)$-neighborhoods and comparison theorems

This paper proposes a refinement of the usual concept of algebraic quantum field theories (AQFTs) to theories that are smooth in the sense that they assign to every smooth family of spacetimes a smooth family of observable algebras. Using…

If the $\ell$-adic cohomology of a projective smooth variety, defined over a local field $K$ with finite residue field $k$, is supported in codimension $\ge 1$, then every model over the ring of integers of $K$ has a $k$-rational point. For…

For a reductive group $G$, Harder-Narasimhan theory gives a structure theorem for principal $G$ bundles on a smooth projective curve $C$. A bundle is either semistable, or it admits a canonical parabolic reduction whose associated Levi…

We prove some fundamental results like localization, excision, Nisnevich descent and the Mayer-Vietoris property for equivariant regular blow-up for the equivariant K-theory of schemes with an affine group scheme action. We also show that…

We prove that the standard K\"unneth map in periodic cyclic homology of differential Z/2-graded algebras is compatible with a generalization of the Hodge filtration and explain how this result is related to various Thom-Sebastiani type…

We establish a structure theorem on the arc space of a $k$-scheme of finite type. More precisely, we show that the arc space is locally for the pro-smooth toplogy a product of an infinite dimensional affine space and of a non-noetherian…

For finite-dimensional algebras over a field, Koenig and Yang established a bijection between silting complexes and simple-minded collections in the bounded derived category, with further contributions by many authors in various settings.…

Let $K$ be a finite field extension of $Q_p$ and let $G_K$ be its absolute Galois group. We construct the universal family of filtered $(\phi,N)$-modules, or (more generally) the universal family of $(\phi,N)$-modules with a Hodge-Pink…

We construct (generalized) logarithmic derivatives for general n-dimensional local fields K of mixed characteristics (0,p) in which p is not necessarily a prime element with residue field k such that [k:k^p]=p^{n-1}. For the construction of…

Let $K$ be an unramified $p$-adic local field and let $W$ be the ring of integers of $K$. Let $(X,S)/W$ be a smooth proper scheme together with a simple normal crossings divisor and fix positive integers $r$ and $f$. We show that the set of…

Let $(X,\omega)$ be a closed symplectic manifold. A loop $\phi: S^1 \to \mathrm{Diff}(X)$ of diffeomorphisms of $X$ defines a fibration $\pi: P_{\phi} \to S^2$. By applying Gromov-Witten theory to moduli spaces of holomorphic sections of…

We look more closely at the higher nonabelian de Rham cohomology of a smooth projective variety or family of varieties that had been defined in some previous papers. We formalize using $n$-stacks the notion of shape underlying this…

Let $F$ be a local field over $\mathbf{Q}_p$ or $\mathbf{F}_p((t))$, and let $D$ be a central simple division algebra over $F$ of degree $d$. In the $p$-adic case, we assume $p>de+1$ where $e$ is the ramification degree over $\mathbf{Q}_p$;…

We prove the decomposition theorem for Hodge modules with integral structure along proper K\"ahler morphisms, partially generalizing M. Saito's theorem for projective morphisms. Our proof relies on compactifications of period maps of…

The classical Skolem--Noether Theorem [Giraud, 71] shows us (1) how we can assign to an Azumaya algebra $A$ on a scheme $X$ a cohomological Brauer class in $H^2(X,\mathbf G_m)$ and (2) how Azumaya algebras correspond to twisted vector…

We generalize the Hodge version of the global Torelli theorem in the framework of irreducible symplectic orbifolds. We also propose a generalization of several results related to the K\"ahler cone and the notion of wall divisors introduced…

In one of the fundamental results of Arakelov's arithmetic intersection theory, Faltings and Hriljac (independently) proved the Hodge Index Theorem for arithmetic surfaces by relating the intersection pairing to the negative of the…

Let $K$ be a sub-$p$-adic field. We show that the functor sending a finite type $K$-scheme to its \'etale topos is fully faithful after localizing at the class of universal homeomorphisms. This generalizes a result of Voevodsky, who proved…

Let $p$ be a prime. In this article, we prove the Smoothness Theorem, which asserts that a $(1,1)$-cyclotomic pair is $(n,1)$-cyclotomic, for all $n \geq 1$. In the particular case of Galois cohomology, the Smoothness Theorem provides a new…

We define, for a regular scheme $S$ and a given field of characteristic zero $\KK$, the notion of $\KK$-linear mixed Weil cohomology on smooth $S$-schemes by a simple set of properties, mainly: Nisnevich descent, homotopy invariance,…