Related papers: Complexes of differential forms and singularities:…
The notions of $\mathbb Q$-Gorenstein scheme and of $\mathbb Q$-Gorenstein morphism are introduced for locally Noetherian schemes by dualizing complexes and (relative) canonical sheaves. These cover all the previously known notions of…
Let $X$ be a normal complex variety and $\pi:\tilde X \to X$ a resolution of singularities. We show that the inclusion morphism $\pi_*\Omega_{\tilde X}^p\hookrightarrow \Omega_X^{[p]}$ is an isomorphism for $p <…
We prove the existence of the dualizing functor for a separated morphism of algebraic stacks with affine diagonal; then we explicitly develop duality for compact Deligne-Mumford stacks focusing in particular on the morphism from a stack to…
We extend the Boutet de Monvel Toeplitz index theorem to complex manifold with isolated singularities following the relative $K$-homology theory of Baum, Douglas, and Taylor for manifold with boundary. We apply this index theorem to study…
This note is the sequel to [A note on secondary K-theory. Algebra and Number Theory 10 (2016), no. 4, 887-906]. Making use of the recent theory of noncommutative motives, we prove that the canonical map from the derived Brauer group to the…
We construct Grothendieck topologies on the path category of a finite graph, examining both coarse and discrete cases that offer different perspectives on quiver representations. The coarse topology declares each vertex covered by all…
We prove that Chern-Weil forms are the only natural differential forms associated to a connection on a principal G-bundle. We use the homotopy theory of simplicial sheaves on smooth manifolds to formulate the theorem and set up the proof.…
We prove that Toen's secondary Grothendieck ring is isomorphic to the Grothendieck ring of smooth proper pretriangulated dg categories previously introduced by Bondal, Larsen and Lunts. Along the way, we show that those short exact…
If k is an arbitrary field, we construct a category of k-1-motives in which every commutative algebraic k-group G has a dual object $G^{\vee}$. When k is a local field of arbitrary characteristic, we establish Pontryagin duality theorems…
It is known that one can associate a Kontsevich-type formality morphism to every Drinfeld associator. We show that this morphism may be extended to a Kontsevich-Shoikhet formality morphism of cochains and chains, by describing the action of…
Let (X;OX) be a locally noetherian scheme with a dualizing complex D. We prove that DOX - : K(PinfX)----> K(InjX) is an equivalence of triangulated categories where K(InjX) is the homotopy category of injective quasi-coherent OX- modules…
In this article, we prove that there is a canonical Verdier self-dual intersection space sheaf complex for the middle perversity on Witt spaces that admit compatible trivializations for their link bundles, for example toric varieties. If…
Schubert polynomials $\mathfrak{S}_w$ are polynomial representatives for cohomology classes of Schubert varieties in a complete flag variety, while Grothendieck polynomials $\mathfrak{G}_w$ are analogous representatives for the $K$-theory…
The goal of this paper is to present results which are consistent with conjectures about the Leibniz (co)homology for discrete groups stated by J. L. Loday. We show that rack cohomology has properties very close to the properties expected…
In this article, we extend the van Hamel-Lichtenbaum duality theorem to (not necessarily smooth) proper and geometrically integral varieties defined over a $p$-adic field $k$. More precisely, we prove that for such variety $X$ there exists…
Max Noether's Theorem asserts that if $\ww$ is the dualizing sheaf of a nonsingular nonhyperelliptic projective curve then the natural morphisms $\text{Sym}^nH^0(\omega)\to H^0(\omega^n)$ are surjective for all $n\geq 1$. This is true for…
A theory of differential characters is developed for manifolds with boundary. This is done from both the Cheeger-Simons and the deRham-Federer viewpoints. The central result of the paper is the formulation and proof of a…
Let E = K< y_1, ..., y_n > be the exterior algebra. The ``(cohomological) distinguished pairs" of a graded E-module M describe the growth of a minimal graded injective resolution of M. Roemer gave a duality theorem between the distinguished…
Finite \'etale covers of a connected scheme $X$ are parametrised by the \'etale fundamental group via the monodromy correspondence. This was generalised to an exodromy correspondence for constructible sheaves, first in the topological…
We prove that the morphism that maps a rational ruled surface to its singular locus is genericaly injective modulo isomophism and duality. We also calculate the dimension and the degre of its image.