Related papers: A Universal HKR Theorem

We reconstruct finite-dimensional quantum theory with superselection rules, which can describe hybrid quantum-classical systems, from four purely operational postulates: symmetric sharpness, complete mixing, filtering, and local equality.…

Using work of Antieau and Bhatt-Morrow-Scholze, we define a filtration on topological Hochschild homology and its variants $TP$ and $TC^-$ of quasi-lci rings with bounded torsion, which recovers the BMS-filtration after $p$-adic completion.…

In this paper, we investigate equivalent characterizations of the condition that every acyclic complex of projective, injective, or flat modules is totally acyclic over a general ring R. We provide examples to illustrate relationships among…

We use the approach to $p$-adic cohomology theories via stacks recently developed by Drinfeld and Bhatt--Lurie to formulate a stacky version of a comparison result between the Nygaard filtration on prismatic cohomology and the Hodge…

We study when the derived intersection of two smooth subvarieties of a smooth variety is formal. As a consequence we obtain a derived base change theorem for non-transversal intersections. We also obtain applications to the study of the…

We propose a new class of filtered vector bundles, which is related to variation of (mixed) Hodge structures and give a slight generalization of the Fujita--Zucker--Kawamata semipositivity theorem.

We formalise and mechanise a construtive, proof theoretic proof of Craig's Interpolation Theorem in Isabelle/HOL. We give all the definitions and lemma statements both formally and informally. We also transcribe informally the formal…

Let X be a complex algebraic manifold of dimension n+1 embedded in a sufficiently higher dimensional complex projective space, and Y a generic hyperplane section of X. We describe the mixed Hodge structure on H^p(X-Y,C) and the Hodge…

Pitts' proof-theoretic technique for uniform interpolation, which generates uniform interpolants from terminating sequent calculi, has only been applied to logics on an intuitionistic basis through single-succedent sequent calculi. We adapt…

We compute the tensor triangular spectrum of perfect complexes of filtered modules over a commutative ring, and deduce a classification of the thick tensor ideals. We give two proofs: one by reducing to perfect complexes of graded modules…

Using Chern character, we construct a natural transformation from the local Hilbert functor to a functor of Artin rings defined from Hochschild homology, which allows us to reconstruct the semi-regularity map and the infinitesimal…

We use filtrations of the tangent bundle of a manifold starting with an integrable subbundle to define transverse symbols to the corresponding foliation, define a condition of transversally Rockland and prove that transversally Rockland…

Given a standard graded algebra over a field, we consider the relationship between G-quadraticity and the existence of a Koszul filtration. We show that having a quadratic Gr\"obner basis implies the existence of a Koszul filtration for…

The characteristic feature of inverse problems is their instability with respect to data perturbations. In order to stabilize the inversion process, regularization methods have to be developed and applied. In this work we introduce and…

In this paper we use the strength of the constraint method in combination with a generalized Borsuk-Ulam type theorem and a cohomological intersection lemma to show how one can obtain many new topological transversal theorems of Tverberg…

Given a compact Lie group $G$ acting on a space $X$, the classical Atiyah-Segal completion theorem identifies topological $K$-theory of the homotopy quotient $X/G$ with an explicit completion of $G$-equivariant topological $K$-theory of…

We prove a version of weakly functorial big Cohen-Macaulay algebras that suffices to establish Hochster-Huneke's vanishing conjecture for maps of Tor in mixed characteristic. As a corollary, we prove an analog of Boutot's theorem that…

Let $\mathcal{O}_K$ be a complete discrete valuation ring of mixed characteristic $(0,p)$ with perfect residue field. We prove the existence of the Hodge-Newton filtration for $p$-divisible groups over $\mathcal{O}_K$ with additional…

This is a study of S. Kripke's notion of fulfilment. Motivated by Paris-Harrington statement, Kripke was looking for a proof of G\"odel's Incompleteness Theorem which was model-theoretic, natural (without self-reference), and easy.…

In this work, we investigate the transfer of some homological properties from a ring $R$ to his amalgamated duplication along some ideal $I$ of $R$, and then generate new and original families of rings with these properties.