Related papers: A counterexample to vanishing conjectures for nega…
We prove a constructive existence theorem for abelian envelopes of non-abelian monoidal categories. This establishes a new tool for the construction of tensor categories. As an example we obtain new proofs for the existence of several…
It is demonstrated that the statistical method of the famous Aspect - Bell experiment requires negative probability densities and negative probabilities from "the thing" researched, else that thing doesn't exist. The thing refers here to…
Cut-elimination theorems constitute one of the most important classes of theorems of proof theory. Since Gentzen's proof of the cut-elimination theorem for the system $\mathbf{LK}$, several other proofs have been proposed. Even though the…
We establish a, and conjecture further, relationship between the existence of subvarieties representing minimal cohomology classes on principally polarized abelian varieties, and the generic vanishing of certain sheaf cohomology. The main…
Using the framework of noncommutative Kahler structures, we generalise to the noncommutative setting the celebrated vanishing theorem of Kodaira for positive line bundles. The result is established under the assumption that the associated…
The Auslander-Reiten Conjecture for commutative Noetherian rings predicts that a finitely generated module is projective when certain Ext-modules vanish. But what if those Ext-modules do not vanish? We study the annihilators of these…
We define tilting subcategories in arbitrary exact categories to archieve the following. Firstly: Unify existing definitions of tilting subcategories to arbitrary exact categories. Discuss standard results for tilting subcategories:…
To any left system of diagram categories or to any left pointed derivateur (in the sense of Grothendieck) a K-theory space is associated. This K-theory space is shown to be canonically an infinite loop space and to have a lot of common…
In 2015, I. Soprunov and A. Zvavitch have shown how to use the Bernstein-Khovanskii-Kushnirenko theorem to derive non-negativity of a certain bilinear form $F_{\Delta}$, defined on (pairs of) convex bodies. Together with C. Saroglou, they…
We prove equivalences of derived categories for the various mirrors in the Batyrev-Borisov construction. In particular, we obtain a positive answer to a conjecture of Batyrev and Nill. The proof involves passing to an associated category of…
A recent theorem of Diverio--Trapani and Wu--Yau asserts that a compact K\"ahler manifold with a K\"ahler metric of quasi-negative holomorphic sectional curvature is projective and canonically polarized. This confirms a long-standing…
A conjecture of Min\'a\v{c} and T\^an predicts that for any n>2, any prime p and any field k, the Massey product of n Galois cohomology classes in H^1(k,Z/pZ) must vanish if it is defined. We establish this conjecture when k is a number…
Let L/K be a finite Galois extension of number fields with Galois group G. Let p be a rational prime and let r be a non-positive integer. By examining the structure of the p-adic group ring Z_p[G], we prove many new cases of the p-part of…
Consider a totally disconnected group G, which is covirtually cyclic, i.e., contains a normal compact open subgroup L such that G/L is infinite cyclic. We establish a Wang sequence, which computes the algebraic K-groups of the Hecke algebra…
Bott vanishing is a strong vanishing result for the cohomology of exterior powers of the cotangent bundle twisted by ample line bundles. Buch-Thomsen-Lauritzen-Mehta conjectured that partial flag varieties (which are not products of…
O. H. Keller conjectured in 1930 that in any tiling of $\Bbb R^n$ by unit $n$-cubes there exist two of them having a complete facet in common. O. Perron proved this conjecture for $n\le 6$. We show that for all $n\ge 10$ there exists a…
We show that if two rings have equivalent derived categories then they have the same algebraic K-theory. Similar results are given for G-theory, and for a large class of abelian categories.
We have proved the following Problem:{\it Let $R$ be a $\mathbb{C}$-affine domain, let $T$ be an element in $R \setminus \mathbb{C}$ and let $i : \mathbb{C}[T] \hookrightarrow R$ be the inclusion. Assume that $R/TR \cong_{\mathbb{C}}…
In this paper we discuss a general framework in which we present a new conjecture, due to Wenhua Zhao, the Image Conjecture. This conjecture implies the Generalized Vanishing Conjecture and hence the Jacobian Conjecture. Crucial ingredient…
We prove that any spectrum is equivalent to the nonconnective K-theory of a stable $\infty$-category. We use these results to construct a stable $\infty$-category $\mathcal{C}$ with a bounded t-structure such that…