Related papers: Non-vanishing higher derived limits

We introduce bounded category forcing axioms for well-behaved classes $\Gamma$. These are strong forms of bounded forcing axioms which completely decide the theory of some initial segment of the universe $H_{\lambda_\Gamma^+}$ modulo…

We develop the Bernstein-Zelevinsky theory for quasi-split real classical groups and employ this framework to establish an Euler-Poincar\'e characteristic formula for general linear groups. The key to our approach is establishing the…

We consider a class of extensions of associative algebras, which we refer to as ``strongly proj-bounded extensions''. We prove that the finiteness of the left global dimension and the support of the Hochschild homology is preserved by…

In this paper, we prove that there exists a universal constant $C$, depending only on positive integers $n\geq 3$ and $p\leq n-1$, such that if $M^n$ is a compact free boundary submanifold of dimension $n$ immersed in the Euclidean unit…

Let $f: B^n \rightarrow {\mathbb R}$ be a $d+1$ times continuously differentiable function on the unit ball $B^n$, with $\max_{z\in B^n} \|f(z)\|=1$. A well-known fact is that if $f$ vanishes on a set $Z\subset B^n$ with a non-empty…

We show that the homology of strata of abelian differentials stabilizes in a range where the number of simple zeros is large relative to the homological degree. In this range, we show that the rational cohomology agrees with the restriction…

The paper investigates the non-vanishing of $H^1(E(n))$, where $E$ is a (normalized) rank two vector bundle over any smooth irreducible threefold $X$ of degree $d$ such that $Pic(X) \cong \ZZ$. If $\epsilon$ is the integer defined by the…

Let $A$ be a unital simple separable exact C$^*$-algebra which is approximately divisible and of real rank zero. We prove that the set of positive elements in $A$ with a fixed non-compact Cuntz class has vanishing homotopy groups. Combined…

We introduce a persistent Hochschild homology framework for directed graphs. Hochschild homology groups of (path algebras of) directed graphs vanish in degree $i\geq 2$. To extend them to higher degrees, we introduce the notion of…

The \emph{Filter Dichotomy} says that every uniform nonmeager filter on the integers is mapped by a finite-to-one function to an ultrafilter. The consistency of this principle was proved by Blass and Laflamme. A function between topological…

Conformal block divisors in type A on $\bar{M}_{0,{n}}$ are shown to satisfy new symmetries when levels and ranks are interchanged in non-standard ways. A connection with the quantum cohomology of Grassmannians reveals that these divisors…

In other work we have outlined how, building on ideas of Welch and Roberts, one can motivate believing in the existence of supercompact cardinals. After making this observation we strove to formulate a justification for large-cardinal…

We show that there is an absolute constant $c>0$ such that every large connected $n$-vertex Cayley graph with degree $d\geq n^{1-c}$ has a Hamilton cycle. This makes progress towards the Lov\'asz conjecture and improves upon the previous…

Let $A\subset\mathbb{N}$, $\alpha\in(0,1)$, and for $x\in\mathbb{R}$ let $e(x):=e^{2\pi ix}$. We set $$S_{A}(\alpha,N):=\sum_{\substack{n\in A\n\leq N}}e(n\alpha).$$ Recently, Lambert A'Campo proposed the following question: is there an…

Let lambda be aleph_0 or a strong limit of cofinality aleph_0. Suppose that (G_m,p_{m,n}:m =< n<omega) and (H_m,p^t_{m,n}: m=< n < omega) are projective systems of groups of cardinality less than lambda and suppose that for every n<omega…

We investigate strongly symmetric homeomorphisms of the real line which appear in harmonic analysis aspects of quasiconformal Teichm\"uller theory. An element in this class can be characterized by a property that it can be extended…

All spaces below are $T_0$ and crowded (i.e. have no isolated points). For $n \le \omega$ let $M(n)$ be the statement that there are $n$ measurable cardinals and $\Pi(n)$ ($\Pi^+(n)$) that there are $n+1$ (0-dimensional $T_2$) spaces whose…

We prove that it is relatively consistent with $\mathrm{ZFC}$ that every strong measure zero subset of the real line is meager-additive while there are uncountable strong measure zero sets (i.e., Borel's conjecture fails). This answers a…

Let $A\in\mathbb{R}^{n\times n}$ be a random matrix with independent entries, and suppose that the entries are "uniformly anticoncentrated" in the sense that there is a constant $\varepsilon>0$ such that each entry $a_{ij}$ satisfies…

We construct Morse homology groups associated with any regular function on a smooth complex algebraic variety, allowing singular and non-compact critical loci. These groups are generated by critical points of a certain large pertubation of…