相关论文: Obvious natural morphisms of sheaves are unique

An $F$-zip over a scheme $S$ over a finite field is a certain object of semi-linear algebra consisting of a locally free module with a descending filtration and an ascending filtration and a $\Frob_q$-twisted isomorphism between the…

We show that the functor which assigns to an A-infinity morphism between isotopy classes of A-infinity algebras whose linear part is a chain homotopy equivalence its underlying chain map is a discrete Grothendieck bifibration. We then…

We construct a functorial pushforward homomorphism in geometric Hodge filtered complex cobordism along proper holomorphic maps between arbitrary complex manifolds. This significantly improves previous results on such transfer maps and is a…

The large variety of Fourier transforms in geometric algebras inspired the straight forward definition of ``A General Geometric Fourier Transform`` in Bujack et al., Proc. of ICCA9, covering most versions in the literature. We showed which…

We introduce the semi-infinite category of sheaves on the affine Grassmannian, and construct a particular object in it, which we call the the semi-infinite intersection cohomology sheaf. We relate it to several other entities naturally…

We display a symmetric monoidal equivalence between the stable $\infty$-category of filtered spectra, and quasi-coherent sheaves on $\mathbb{A}^1 / \mathbb{G}_m$, the quotient in the setting of spectral algebraic geometry, of the flat…

We show how natural functors from the category of coherent sheaves on a projective scheme to categories of Kronecker modules can be used to construct moduli spaces of semistable sheaves. This construction simplifies or clarifies technical…

Let $A$ and $B$ be unital separable simple amenable \CA s which satisfy the Universal Coefficient Theorem. Suppose {that} $A$ and $B$ are $\mathcal Z$-stable and are of rationally tracial rank no more than one. We prove the following:…

In this paper we show that the transverse image of the momentum map of a Hamiltonian Lie group action admits a natural integral affine stratification with the property that over each stratum the momentum map is an equivariantly locally…

Let \(E\) be a finite-dimensional real vector space. We study invertible objects in the monoidal category of constructible sheaves on \(E\), endowed with the convolution product \(\star\). We show that the inverse of an invertible…

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…

We introduce two novel complementary notions of the Lefschetz number for a functor from a finite acyclic category to itself and we prove a Lefschetz fixed-object theorem and a Lefschetz fixed-morphism theorem. In order to do so, we use the…

We give a moduli-theoretic proof of the classical theorem of Gabriel, stating that a scheme can be reconstructed from the abelian category of quasi-coherent sheaves over it. The methods employed are elementary and allow us to extend the…

For any finite-dimensional factorizable ribbon Hopf algebra H and any ribbon automorphism omega of H, we establish the existence of the following structure: an H-bimodule F_omega and a bimodule morphism Z_omega from Lyubashenko's Hopf…

In a triangulated symmetric monoidal closed category, there are natural dualities induced by the internal Hom. Given a monoidal functor f^* between two such catgories and adjoint couples (f^*,f_*) and (f_*,f^!), we prove the necessary…

The fundamental theorem of affine geometry says that a self-bijection $f$ of a finite-dimensional affine space over a possibly skew field takes left affine subspaces to left affine subspaces of the same dimension, then $f$ of the expected…

A classical theorem of Wonenburger, Djokovic, Hoffmann and Paige states that an element of the general linear group of a finite-dimensional vector space is the product of two involutions if and only if it is similar to its inverse. We give…

The classification of homomorphisms between certain unital simple nuclear C*-algebras lead to the discovery of a natural transformation as part of the classifying invariant. We develop a uniqueness result and an abstract characterization of…

Inspired by Franks' classification of irreducible shifts of finite type we provide a short list of allowed moves on graphs that preserves the stable isomorphism class of the associated C*-algebras. We show that if two graphs have stably…

Let $X$ be a projective variety (possibly singular) over an algebraically closed field of any characteristic and $\mathcal{F}$ be a coherent sheaf. In this article, we define the determinant of $\mathcal{F}$ such that it agrees with the…