Related papers: Functoriality of HKR isomorphisms

In this short note we record the fact that the set of multiplicative HKR natural equivalences defined simultaneously for all derived schemes, functorialy splitting the HKR-filtration and rendering the circle action compatible with the de…

In the first part of this paper, we constructed a filtered U(r)-equivariant stable homotopy type called the spectrum of strict broken symmetries sB(L) of links L given by closing a braid with r strands. Evaluating this filtered spectrum on…

Let R be a polynomial ring and M a finitely generated graded R-module of maximal grade (which means that the ideal I_t(\cA) generated by the maximal minors of a homogeneous presentation matrix, \cA, of M has maximal codimension in R).…

Given a $k$--scheme $X$ that admits a tilting object $T$, we prove that the Hochschild (co-)homology of $X$ is isomorphic to that of $A= End_{X}(T)$. We treat more generally the relative case when $X$ is flat over an affine scheme $Y=\Spec…

Suppose we are given complex manifolds $X$ and $Y$ together with substacks $\mathcal{S}$ and $\mathcal{S}'$ of modules over algebras of formal deformation $\mathcal{A}$ on $X$ and $\mathcal{A}'$ on $Y$, respectively. Suppose also we are…

We show that if $f\colon X \to T$ is a surjective morphism between smooth projective varieties over an algebraically closed field $k$ of characteristic $p>0$ with geometrically integral and non-uniruled generic fiber, then $K_{X/T}$ is…

Quantization identifies the cotangent bundle of projective space with the (non-Hermitian) rank-$1$ projections of a Hilbert space. We use this identification to study the natural geometric structures of these cotangent bundles and those of…

We first want to consider the formal deformation of a fibered manifold $P \rightarrow M$ as a (bi-)module or subalgebra, where $M$ has a given differential star product. Consequently we want to find obstructions for the existence of a…

In this paper we introduce some {\it variation functions} associated to the rank of the Infinitesimal Variations of Hodge Structure for a family of smooth projective complex curves. We give some bounds and inequalities and, in particular,…

We prove a desingularization theorem for the quasi-smooth derived scheme, in the sense of Hekking. We also propose the conjecture that the K-theoretic integration of the virtual fundamental class of a quasi-smooth derived scheme could be…

We will construct differential forms on the embedding spaces Emb(R^j,R^n) for n-j>=2 using configuration space integral associated with 1-loop graphs, and show that some linear combinations of these forms are closed in some dimensions.…

We construct persistent bundles over configuration spaces of hard spheres and use the characteristic classes of these persistent bundles to give obstructions for embedding problems. The configuration spaces of $k$-hard spheres ${\rm…

Let $h$ be a connective homology theory. We construct a functorial relative plus construction as a Bousfield localization functor in the category of maps of spaces. It allows us to associate to a pair $(X, H)$ consisting of a connected…

The purpose of this article is threefold: Firstly, we propose some enhancements to the existing definition of 6-functor formalisms. Secondly, we systematically study the category of kernels, which is a certain 2-category attached to every…

Given a connected manifold with corners of any codimension there is a very basic and computable homology theory called conormal homology defined in terms of faces and orientations of their conormal bundles, and whose cycles correspond…

We prove a version of Temkin's local altered uniformization theorem. We show that for any rig-smooth, quasi-compact and quasi-separated admissible formal $\mathcal{O}_K$-model $\mathfrak{X}$, there is a finite extension $K'/K$ such that…

We show that the EH class and the LOSS invariant of Legendrian knots in contact 3-manifolds are functorial under regular Lagrangian concordances in Weinstein cobordisms. This gives computable obstructions to the existence of regular…

We prove a Hochschild--Konstant--Rosenberg (HKR) theorem for arbitrary derived Deligne--Mumford (DM) stacks, extending the results of Arinkin-C\u{a}ld\u{a}raru-Hablicsek in the smooth, global quotient case, although with different methods.…

We present a categorical formulation of the Hamiltonian renormalisation programme for quantum field theories, establishing a systematic bridge between functional and lattice renormalisation. To this end, we introduce two categories, $Seq$…

Let A be the N\'eron model of an abelian variety A_K over the fraction field K of a discrete valuation ring R. Due to work of Mazur-Messing, there is a functorial way to prolong the universal extension of A_K by a vector group to a smooth…