English
Related papers

Related papers: Zariski cohomology in second order arithmetic

200 papers

We prove the relative Grauert-Riemenschneider vanishing, Kawamata-Viehweg vanishing, and Koll\'ar injectivity theorems for proper morphisms of schemes of equal characteristic zero, solving conjectures of Boutot and Kawakita. Our proof uses…

Algebraic Geometry · Mathematics 2024-12-24 Takumi Murayama

Through abelian categories, homological lemmas for modules admit a self-dual treatment, where half of the proof of a lemma is sufficient to prove the full lemma. In this paper, we show how the context of a `noetherian form', recently…

We establish a connection between continuous K-theory and integral cohomology of rigid spaces. Given a rigid analytic space over a complete discretely valued field, its continuous K-groups vanish in degrees below the negative of the…

K-Theory and Homology · Mathematics 2024-03-05 Christian Dahlhausen

In this note we summarize a few of the many recent developments in two-dimensional quantum field theories. We begin with a review of the current state of quantum sheaf cohomology, a heterotic analogue of quantum cohomology. We then turn to…

High Energy Physics - Theory · Physics 2015-05-18 E. Sharpe

In many instances in first order logic or computable algebra, classical theorems show that many problems are undecidable for general structures, but become decidable if some rigidity is imposed on the structure. For example, the set of…

Discrete Mathematics · Computer Science 2017-08-08 Emmanuel Jeandel

In this paper we analyse the topological group cohomology of finite-dimensional Lie groups. We introduce a technique for computing it (as abelian groups) for torus coefficients by the naturally associated long exact sequence. The upshot in…

Algebraic Topology · Mathematics 2014-01-07 Christoph Wockel

If a nontrivial finite group coacts on a graded noetherian down-up algebra $A$ inner faithfully and homogeneously, then the fixed subring is not isomorphic to $A$. Therefore graded noetherian down-up algebras are rigid with respect to…

Rings and Algebras · Mathematics 2016-06-28 J. Chen , E. Kirkman , J. J. Zhang

We establish vanishing results for the first cohomology group of nilpotent groups and Lie rings when the submodule of invariants is trivial. Our results are obtained within a model-theoretic setting, namely for structures that are definable…

Logic · Mathematics 2026-04-07 Samuel Zamour

One of the major problems in the structural theory of skew braces consists in the classification of skew braces of finite order up to isomorphism. In this light, the open question of the existence of a Cauchy theorem for finite skew braces…

Group Theory · Mathematics 2026-02-27 Marco Damele , Vicent Pérez Calabuig

This paper is a continuation of ``Operads, Grothendieck topologies and deformation theory'' (alg-geom/9502010). We show how to develop a cohomology theory that would control deformations of a sheaf of associative algebras over a scheme by…

alg-geom · Mathematics 2008-02-03 Dennis Gaitsgory

Flach and Morin constructed in (Doc. Math. 23 (2018), 1425--1560) Weil-\'etale cohomology $H^i_\text{W,c} (X, \mathbb{Z} (n))$ for a proper, regular arithmetic scheme $X$ (i.e. separated and of finite type over $\operatorname{Spec}…

Algebraic Geometry · Mathematics 2025-12-16 Alexey Beshenov

We consider a simple and natural coboundary operator, on the Lie algebra valued differential forms on a manifold, which in the abelian case reduces to usual exterior derivative of such forms. Using the corresponding de Rham cohomology Lie…

Geometric Topology · Mathematics 2007-05-23 Mukul Patel

We prove the existence of a sequence of commutative diagrams generalizing existing results on the cohomology of the Borel-Serre boundary and well-rounded retract to the context of the well-tempered complex. Our main theorem provides a…

Number Theory · Mathematics 2025-10-21 Dylan Galt , Mark McConnell

We study Torelli-type theorems in the Zariski topology for varieties of dimension at least 2, over arbitrary fields. In place of the Hodge structure, we use the linear equivalence relation on Weil divisors. Using this setup, we prove a…

Algebraic Geometry · Mathematics 2021-01-14 János Kollár , Max Lieblich , Martin Olsson , Will Sawin

Let G be a discrete group. We give methods to compute for a generalized (co-)homology theory its values on the Borel construction (EG x X)/G of a proper G-CW-complex X satisfying certain finiteness conditions. In particular we give formulas…

K-Theory and Homology · Mathematics 2012-01-24 Michael Joachim , Wolfgang Lueck

We introduce and study non-abelian cohomology sets of Hopf algebras with coefficients in Hopf comodule algebras. We prove that these sets generalize as well Serre's non-abelian group cohomology theory as the cohomological theory constructed…

Quantum Algebra · Mathematics 2008-05-15 Philippe Nuss , Marc Wambst

Given a general finite group $G$, we consider several categories built on it, their Grothendieck topologies and resulting sheaf categories. For a certain class of transporter categories and their quotients, equipped with atomic topology, we…

Representation Theory · Mathematics 2022-03-10 Tengfei Xiong , Fei Xu

We classify Nichols algebras of irreducible Yetter-Drinfeld modules over nonabelian groups satisfying an inequality for the dimension of the homogeneous subspace of degree two. All such Nichols algebras are finite-dimensional, and all known…

Quantum Algebra · Mathematics 2011-05-31 M. Graña , I. Heckenberger , L. Vendramin

Higher gauge theory for non-abelian structure 2-groups faces significant challenges when extending beyond the fake-flat sector, which suffers from limited applicability in physical models. A promising resolution involves equipping 2-groups…

Differential Geometry · Mathematics 2026-04-28 Konrad Waldorf

The Castelnuovo-Schottky theorem of Pareschi-Popa characterizes Jacobians, among indecomposable principally polarized abelian varieties of dimension g, by the existence of g+2 points in general position with respect to the principal…

Algebraic Geometry · Mathematics 2012-04-23 Martin G. Gulbrandsen , Martí Lahoz