Related papers: Zariski cohomology in second order arithmetic

We give formulas for the second and third integral homology of an arbitrary finitely generated Coxeter group, solely in terms of the corresponding Coxeter diagram. The first of these calculations refines a theorem of Howlett, while the…

Cohomology of a topological space with coefficients in stacks of abelian 2-groups is considered. A 2-categorical analog of the theorem of Grothendieck is proved, relating cohomology of the space with coefficients in a 2-stage spectrum and…

We describe the geometrical ladder of equations for Abelian bundles and gerbes, as well as higher generalisations, in terms of the cohomology of an operator that combines de Rham and Cech cohomology.

We study the first homology group of the mapping class group and Torelli group with coefficients in the first rational homology group of the universal abelian cover of the surface. We prove two contrasting results: for surfaces with one…

We use the anti-equivalence between Cohen-Macaulay complexes and coherent sheaves on formal schemes to shed light on some older results and prove new results. We bring out the relations between a coherent sheaf M satisfying an S_2 condition…

We develop a theory of nearby and vanishing cycles in the context of finite-coefficient Zariski-constructible sheaves over a non-archimedean field which is non-trivially valued, complete, algebraically closed, and of mixed characteristic or…

The classical Skolem--Noether Theorem [Giraud, 71] shows us (1) how we can assign to an Azumaya algebra $A$ on a scheme $X$ a cohomological Brauer class in $H^2(X,\mathbf G_m)$ and (2) how Azumaya algebras correspond to twisted vector…

We construct the cohomology groups with compact support of stacks of shtukas with $\mathbb Z_{\ell}$-coefficients. We construct the cuspidal cohomology groups and prove that they are $\mathbb Z_{\ell}$-modules of finite type. We prove that…

A semiring scheme generalizes a scheme in such a way that the underlying algebra is that of semirings. We generalize \v{C}ech cohomology theory and invertible sheaves to semiring schemes. In particular, when $X=\mathbb{P}^n_M$, a projective…

Let A_2 be the moduli stack of principally polarized abelian surfaces and V a smooth l-adic sheaf on A_2 associated to an irreducible rational finite dimensional representation of Sp(4). We give an explicit expression for the cohomology of…

The rational homology group of the order complex of non-even partitions of a finite set is calculated. A twisted version of the Goresky-MacPherson approach to similar homology calculations is proposed.

We use tools of mathematical logic to analyse the notion of a path on an complex algebraic variety, and are led to formulate a "rigidity" property of fundamental groups specific to algebraic varieties, as well as to define a bona fide…

This is a foundation for algebraic geometry, developed internal to the Zariski topos, building on the work of Kock and Blechschmidt. The Zariski topos consists of sheaves on the site opposite to the category of finitely presented algebras…

We describe a vanishing result on the cohomology of a cochain complex associated to the moduli of chains of finite subgroup schemes on elliptic curves. These results have applications to algebraic topology, in particular to the study of…

In this article we establish some results that allow to deduce the continuity of homomorphisms of (topological) abelian groups from commutative diagrams. In particular, we present a new topological version of the classical Five-Lemma. These…

A prominent example of a topologically ordered system is Kitaev's quantum double model $\mathcal{D}(G)$ for finite groups $G$ (which in particular includes $G = \mathbb{Z}_2$, the toric code). We will look at these models from the point of…

We show that, as in de Rham cohomology over the complex numbers, the value of the entropy of an automorphism of the surface over a finite field $\F_q $ is taken on the span of the N\'eron-Severi group inside of $\ell$-adic cohomology. v2:…

The purpose of this paper is to introduce a cohomology theory for abelian matched pairs of Hopf algebras and to explore its relationship to Sweedler cohomology, to Singer cohomology and to extension theory. An exact sequence connecting…

This note presents a general theorem about the cohomology of finite dimensional Lie algebras of arbitrary characteristic. As an application we compute the cohomology of the Borel subalgebra of sl(N).

For a finite smooth algebraic group $F$ over a field $k$ and a smooth algebraic group $\bar G$ over the separable closure of $k$, we define the notion of $F$-kernel in $\bar G$ and we associate to it a set of nonabelian 2-cohomology. We use…