Related papers: Atiyah duality for motivic spectra
Grothendieck duality theory assigns to essentially-finite-type maps f of noetherian schemes a pseudofunctor f^\times right-adjoint to Rf_*, and a pseudofunctor f^! agreeing with f^\times when f is proper, but equal to the usual inverse…
Let $D$ be a (generalized) Dirac operator on a non-compact complete Riemannian manifold $M$ acted on by a compact Lie group $G$. Let $v:M --> Lie(G)$ be an equivariant map, such that the corresponding vector field on $M$ does not vanish…
We present the Julia package ToricAtiyahBott.jl, providing an easy way to perform the Atiyah-Bott formula on the moduli space of genus $0$ stable maps $\overline{M}_{0,m}(X,\beta)$ where $X$ is any smooth projective toric variety, and…
We exhibit a relationship between projective duality and the sheaf of logarithmic vector fields along a reduced divisor $D$ of projective space, in that the push-forward of the ideal sheaf of the conormal variety in the point-hyperplane…
Earlier we introduced and studied the concept of holomorphic {\it branched Cartan geometry}. We define here a foliated version of this notion; this is done in terms of Atiyah bundle. We show that any complex compact manifold of algebraic…
We calculate the motivic stable homotopy groups of the two-complete sphere spectrum after inverting multiplication by the Hopf map eta over fields of cohomological dimension at most 2 with characteristic different from 2 (this includes the…
We introduce the notions of Atiyah class and Todd class of a differential graded vector bundle with respect to a differential graded Lie algebroid. We prove that the space of vector fields on a dg-manifold with homological vector field $Q$…
Given a perfect field of exponential characteristic $e$ and a functor $f:\mathcal A\to\mathcal B$ between symmetric monoidal strict $V$-categories of correspondences satisfying the cancellation property such that the induced morphisms of…
We prove a conjecture of Bhatt-Hansen that derived pushforwards along proper morphisms of rigid-analytic spaces commute with Verdier duality on Zariski-constructible complexes. In particular, this yields duality statements for the…
For each prime $p$, we define a $t$-structure on the category $\widehat{S^{0,0}}/\tau\text{-}\mathbf{Mod}_{harm}^b$ of harmonic $\mathbb{C}$-motivic left module spectra over $\widehat{S^{0,0}}/\tau$, whose MGL-homology has bounded…
We show that for quasi-compact quasi-separated schemes of finite dimension, the constructibility condition in real \'etale cohomology agrees with a notion of constructibility arising naturally from topology. As application we prove that the…
A duality theorem for the stable module category of representations of a finite group scheme is proved. One of its consequences is an analogue of Serre duality, and the existence of Auslander-Reiten triangles for the $\mathfrak{p}$-local…
We construct an algebraic-cycle based model for the motivic cohomology on the category of schemes of finite type over a field, where schemes may admit arbitrary singularities and may be non-reduced. We show that our theory is functorial on…
We prove that $p$-adic geometric pro-\'etale cohomology of smooth partially proper rigid analytic varieties over $p$-adic fields seen in the category of Topological Vector Spaces satisfies a Poincar\'e duality as we have conjectured. This…
Motivated by a result from string topology, we prove a duality in topological Hochschild homology (THH). The duality relates the THH of an E_1-algebra spectrum and the THH of its derived Koszul dual algebra under certain compactness…
Let X be a smooth projective variety over the complex numbers, and let D be an ample divisor in X. For which spaces Y is the restriction map r: Hom(X, Y) -> Hom(D, Y) an isomorphism? Using positive characteristic methods, we give a fairly…
For any regular Lie algebroid $A$, the kernel $K$ and the image $F$ of its anchor map $\rho_A$, together with $A$ itself fit into a short exact sequence, called Atiyah sequence, of Lie algebroids. We prove that Atiyah and Todd classes of dg…
We develop a formalism involving Atiyah classes of sheaves on a smooth manifold, Hochschild chain and cochain complexes. As an application we prove a version of the Riemann--Roch theorem.
We extend results of Colliot-Th\'el\`ene and Raskind on the $\mathcal{K}_2$-cohomology of smooth projective varieties over a separably closed field $k$ to the \'etale motivic cohomology of smooth, not necessarily projective, varieties over…
In this work we develop a theory of motives for logarithmic schemes over fields in the sense of Fontaine, Illusie, and Kato. Our construction is based on the notion of finite log correspondences, the dividing Nisnevich topology on log…