English
Related papers

Related papers: A counterexample to vanishing conjectures for nega…

200 papers

This article re-examines Lawvere's abstract, category-theoretic proof of the fixed-point theorem whose contrapositive is a `universal' diagonal argument. The main result is that the necessary axioms for both the fixed-point theorem and the…

Category Theory · Mathematics 2024-08-07 David Michael Roberts

We prove two theorems on the vanishing of Ext over commutative Noetherian local rings. Our first theorem shows that there are no Burch ideals which are rigid over non-regular local domains. Our second theorem reformulates a conjecture of…

Commutative Algebra · Mathematics 2023-10-10 Olgur Celikbas , Souvik Dey , Toshinori Kobayashi , Hiroki Matsui , Arash Sadeghi

Many types of categorical structure obey the following principle: the natural notion of equivalence is generated, as an equivalence relation, by identifying $A$ with $B$ when there exists a strictly structure-preserving map $A \to B$ that…

Category Theory · Mathematics 2025-09-29 Tom Leinster

Let A be a simple, unital, exact, and finite C*-algebra which absorbs the Jiang-Su algebra Z tensorially. We prove that the Cuntz semigroup of A admits a complete order embedding into an ordered semigroup obtained from the Elliott invariant…

Operator Algebras · Mathematics 2007-05-23 Francesc Perera , Andrew S. Toms

In this paper we prove an $\infty$-categorical version of the reflection theorem of Ad\'amek-Rosick\'y. Namely, that a full subcategory of a presentable $\infty$-category which is closed under limits and $\kappa$-filtered colimits is a…

Algebraic Topology · Mathematics 2022-07-20 Shaul Ragimov , Tomer M. Schlank

We give a new proof of vanishing result of Esnault for the cohomology of constructible sheaves in the tower of ``mock'' Frobenius covers of projective space. The key idea is to use (a global form of) the perversity of nearby cycles.

Algebraic Geometry · Mathematics 2026-05-27 Bhargav Bhatt

We prove that the homology groups of any connected reductive group over a field with coefficients in the Steinberg representation vanish in a range. The generalizes work of Ash-Putman-Sam on the classical split groups. We state a…

Algebraic Topology · Mathematics 2025-09-03 Jeremy Miller , Peter Patzt , Andrew Putman

Elimination of quantifiers is shown to fail dramatically for a group of well-known mathematical theories (classically enjoying the property) against a wide range of relevant logical backgrounds. Furthermore, it is suggested that only by…

Logic · Mathematics 2018-09-25 Guillermo Badia , Andrew Tedder

Twenty years have passed since Kechris' seminal survey paper [A. S. Kechris, New directions in descriptive set theory. Bull. Symbolic Logic, 5(2):161-174, 1999]. As a follow-up of that work, we review some ot the (anti-)classification…

Logic · Mathematics 2021-06-01 Luca Motto Ros

We classify bounded t-structures on the category of perfect complexes over a commutative, Noetherian ring of finite Krull dimension, extending a result of Alonso Tarrio, Jeremias Lopez and Saorin which covers the regular case. In…

Algebraic Topology · Mathematics 2019-10-18 Harry Smith

We generalize an earlier result of Segev, which shows that {\em some\/} component in a minimal counterexample to Quillen's conjecture must admit an outer automorphism. We show in fact that {\em every\/} component must admit an outer…

Group Theory · Mathematics 2021-01-28 Kevin I. Piterman , Stephen D. Smith

A universal coefficient theorem is proved for C*-algebras over an arbitrary finite T_0-space X which have vanishing boundary maps. Under bootstrap assumptions, this leads to a complete classification of unital/stable real-rank-zero…

Operator Algebras · Mathematics 2013-11-05 Rasmus Bentmann

Building on work by Geiss-Leclerc-Schroer and by Buan-Iyama-Reiten-Scott we investigate the link between certain cluster algebras with coefficients and suitable 2-Calabi-Yau categories. These include the cluster-categories associated with…

Representation Theory · Mathematics 2009-01-09 Changjian Fu , Bernhard Keller

We define the notion of an infinitely generated tilting object of infinite homological dimension in an abelian category. A one-to-one correspondence between $\infty$-tilting objects in complete, cocomplete abelian categories with an…

Category Theory · Mathematics 2019-09-18 Leonid Positselski , Jan Stovicek

Let $F$ be a finite group. We consider the lamplighter group $L=F\wr\mathbb{Z}$ over $F$. We prove that $L$ has a classifying space for proper actions $\underline{E} L$ which is a complex of dimension two. We use this to give an explicit…

Operator Algebras · Mathematics 2017-09-06 Ramón Flores , Sanaz Pooya , Alain Valette

King's conjecture states that on every smooth complete toric variety $X$ there exists a strongly exceptional collection which generates the bounded derived category of $X$ and which consists of line bundles. We give a counterexample to this…

Algebraic Geometry · Mathematics 2009-08-06 Lutz Hille , Markus Perling

Given a group satisfying sufficient finiteness properties, we discuss a group algebra criterion for vanishing of all its cohomology groups with unitary coefficients in a certain degree.

Group Theory · Mathematics 2020-08-07 Uri Bader , Piotr W. Nowak

It was proved by Avramov and Buchweitz that if A is a commutative local complete intersection ring with finitely generated modules M and N, then the Ext groups between M and N vanish from some step if and only if the Ext groups between N…

Rings and Algebras · Mathematics 2007-05-23 Peter Jorgensen

A recent article of Chernikov, Hrushovski, Kruckman, Krupinski, Moconja, Pillay and Ramsey finds the first examples of simple structures with formulas which do not fork over $\emptyset$ but are universally measure zero. In this article we…

Logic · Mathematics 2025-08-26 Paolo Marimon

Our goal in this note is to show that cohomology classes with coefficients in finite flat group schemes can be killed by finite covers of the base scheme, and similarly for abelian schemes with "finite covers" replaced by "proper covers."…

Algebraic Geometry · Mathematics 2011-09-13 Bhargav Bhatt