Related papers: Simutaneously vanishing higher derived limits with…

Let $A$ be an excellent two-dimensional normal local ring containing an algebraically closed field and let $X\to \mathrm{Spec} (A)$ be a resolution of singularity. We prove a theorem giving a condition under which the dimension of the…

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…

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} \Vert f(z) \Vert=1$. A well-known fact is that if $f$ vanishes on a set $Z\subset B^n$ with a non-empty…

We prove the vanishing of bounded cohomology with separable dual coefficients for many groups of interest in geometry, dynamics, and algebra. These include compactly supported structure-preserving diffeomorphism groups of certain manifolds;…

We consider the following conjecture (from Huang, et al): Let $\Delta^+$ denote the upper half disc in $\mathbb{C}$ and let $\gamma = ( - 1, 1)$ (viewed as an interval in the real axis in $\mathbb{C}$). Assume that $F$ is a holomorphic…

The graph removal lemma is a fundamental result in extremal graph theory which says that for every fixed graph $H$ and $\varepsilon > 0$, if an $n$-vertex graph $G$ contains $\varepsilon n^2$ edge-disjoint copies of $H$ then $G$ contains…

Let $f\colon\mathbb{C}\to\mathbb{C}$ be a transcendental entire function. In 1989, Eremenko asked the following question concerning the set $I(f)$ of points that tend to infinity under iteration: can every point of $I(f)$ be joined to…

One of the better-known independence results in general mathematics is Shelah's solution to Whitehead's problem of whether $\mathrm{Ext}^1(A,\mathbb{Z})=0$ implies that an abelian group $A$ is free. The point of departure for the present…

Generalizing the notion of a tight almost disjoint family, we introduce the notions of a {\em tight eventually different} family of functions in Baire space and a {\em tight eventually different set of permutations} of $\omega$. Such sets…

Under large cardinal hypotheses beyond the Kunen inconsistency -- hypotheses so strong as to contradict the Axiom of Choice -- we solve several variants of the generalized continuum problem and identify structural features of the levels…

We work in the setting of Zermelo-Fraenkel set theory without assuming the Axiom of Choice. We consider sets with the Boolean operations together with the additional structure of comparing cardinality (in the Cantorian sense of injections).…

This paper is the concise addition to the foregoing work "Inconsistency of Inaccessibility", containing the presentation of main theorem proof (in ZF) about inaccessible cardinals nonexistence. Here some refinement of this presentation is…

In 1989, D. Happel pointed out for a possible connection between the global dimension of a finite-dimensional algebra and its Hochschild cohomology: is it true that the vanishing of Hochschild cohomology higher groups is sufficient to…

Various theorems for the preservation of set-theoretic axioms under forcing are proved, regarding both forcing axioms and axioms true in the Levy-Collapse. These show in particular that certain applications of forcing axioms require to add…

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…

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…

In \cite{Broer1993}, it was shown that certain line bundles on $\widetilde{\mathcal{N}}=T^*G/B$ have vanishing higher cohomology. We prove a generalization of this theorem for real reductive algebraic groups. More specifically, if…

We study quantitative relationships between the triangle removal lemma and several of its variants. One such variant, which we call the triangle-free lemma, states that for each $\epsilon>0$ there exists $M$ such that every triangle-free…

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…

Given a cardinal $\kappa$ that is $\lambda$-supercompact for some regular cardinal $\lambda\geq\kappa$ and assuming $\GCH$, we show that one can force the continuum function to agree with any function $F:[\kappa,\lambda]\cap\REG\to\CARD$…