Related papers: A homotopical Skolem--Noether theorem
A relative derived category for the category of modules over a presheaf of algebras is constructed to identify the relative Yoneda and Hochschild cohomologies with its homomorphism groups. The properties of a functor between this category…
We combine Homotopy Type Theory with axiomatic cohesion, expressing the latter internally with a version of "adjoint logic" in which the discretization and codiscretization modalities are characterized using a judgmental formalism of "crisp…
It is proved that for any cohomology theory A in the sense of [PS] and any essentially k-smooth semi-local X the Cousin complex is exact. As a consequence we prove that for any integer n the Nisnevich sheaf A^n_Nis, associated with the…
We prove that the homotopy algebraic K-theory of tame quasi-DM stacks satisfies cdh-descent. We apply this descent result to prove that if X is a Noetherian tame quasi-DM stack and i < -dim(X), then K_i(X)[1/n] = 0 (resp. K_i(X, Z/n) = 0)…
Given a commutative ring $R$ and finitely generated ideal $I$, one can consider the classes of $I$-adically complete, $L_0^I$-complete and derived $I$-complete complexes. Under a mild assumption on the ideal $I$ called weak pro-regularity,…
This work studies conditions under which integral transforms induce exact functors on singularity categories between schemes that are proper over a Noetherian base scheme. A complete characterization for this behavior is provided, which…
In this paper, we study equivalences between the categories of quasi-coherent sheaves on non-commutative noetherian schemes. In particular, give a new proof of Caldararu's conjecture about Morita equivalences of Azumaya algebras on…
We introduce the concept of Hom-associative algebra structures in Loday-Pirashvili category.The cohomology theory of Hom-associative algebras in this category is studied.Some applications on deformation and abelian extension theory are…
The question of existence of outer automorphisms of a simple algebraic group $G$ arises naturally both when working with the Galois cohomology of $G$ and as an example of the algebro-geometric problem of determining which connected…
A equivalence relation, preserving the Chern-Weil form, is defined between connections on a complex vector bundle. Bundles equipped with such an equivalence class are called Structured Bundles, and their isomorphism classes form an abelian…
I show that each etale n-cohomology class on noetherian schemes comes from a Cech cocycle, provided that any n-tuple of points admits an affine open neighborhood. Together with results of Raeburn and Taylor on the bigger Brauer group, this…
We prove a global Torelli theorem for the moduli space of marked triples (X,m,A), consisting of an irreducible holomorphic symplectic manifold X, a marking m of its second integral cohomology, and a stable and rigid sheaf A of Azumaya…
We introduce a cohomological invariant arising from a class in nonabelian cohomology. This invariant generalizes the Dixmier-Douady class and encodes the obstruction to a C*-algebra bundle being the fixed-point algebra of a gauge action. As…
We introduce the notions of Koszul $N$-complex, $\check{\mathrm{C}}$ech $N$-complex and telescope $N$-complex, explicit derived torsion and derived completion functors in the derived category $\mathbf{D}_N(R)$ of $N$-complexes using the…
We develop some new aspects of cohomology in the context of semi-abelian categories: we establish a Hochschild-Serre 5-term exact sequence extending the classical one for groups and Lie algebras; we prove that an object is perfect if and…
We define the algebraic elliptic cohomology theory coming from Krichever's elliptic genus as an oriented cohomology theory on smooth varieties over an arbitrary perfect field. We show that in the algebraic cobordism ring with rational…
Let $G$ be a smooth connected reductive group over a field $k$ and $\Gamma$ be a central subgroup of $G$. We construct Eilenberg-Moore-type spectral sequences converging to the Hodge and de Rham cohomology of $B(G/\Gamma)$. As an…
We describe the Hodge theory of brilliant families of K3 surfaces. Their characteristic feature is a close link between the Hodge structures of any two fibres over points in the Noether-Lefschetz locus. Twistor deformations, the analytic…
Let $A$ be a nondegenerate dimer (or ghor) algebra on a torus, and let $Z$ be its center. Using cyclic contractions, we show the following are equivalent: $A$ is noetherian; $Z$ is noetherian; $A$ is a noncommutative crepant resolution;…
One describes, using a detailed analysis of Atiyah--Hirzebruch spectral sequence, the tuples of cohomology classes on a compact, complex manifold, corresponding to the Chern classes of a complex vector bundle of stable rank. This…