Related papers: Simultaneously vanishing higher derived limits
A finite relational structure A is called compact if for any infinite relational structure B of the same type, the existence of a homomorphism from B to A is equivalent to the existence of homomorphisms from all finite substructures of B to…
We introduce the notion of a contractible subshift. This is a strengthening of the notion of strong irreducibility, where we require that the gluings are given by a block map. We show that a subshift is a retract of a full shift if and only…
A simplicial complex $X$ is said to be tight with respect to a field $\mathbb{F}$ if $X$ is connected and, for every induced subcomplex $Y$ of $X$, the linear map $H_\ast (Y; \mathbb{F}) \rightarrow H_\ast (X; \mathbb{F})$ (induced by the…
We produce a model where every supercompact cardinal is $C^{(1)}$-supercompact with inaccessible targets. This is a significant improvement of the main identity-crises configuration obtained in \cite{HMP} and provides a definitive answer to…
For compactifications of heterotic string theory, we elucidate simple cohomological conditions that lead to the vanishing of superpotential n-point couplings for all n. These results generalize some vanishing theorems for Yukawa couplings…
Given a functor from any category into the category of topological spaces, one obtains a linear representation of the category by post-composing the given functor with a homology functor with field coefficients. This construction is…
We develop some basic Lipschitz homotopy technique and apply it to manifolds with finite asymptotic dimension. In particular we show that the Higson compactification of a uniformly contractible manifold is mod $p$ acyclic in the finite…
We observe that the partition function of the set of all free massless higher spins s=0,1,2,3,... in flat space is equal to one: the ghost determinants cancel against the "physical" ones or, equivalently, the (regularized) total number of…
Jun-Muk Hwang and Ngaiming Mok have proved the rigidity of irreducible Hermitian symmetric spaces of compact type under Kaehler degeneration. I adapt their argument to the algebraic setting in positive characteristic, where cominuscule…
In this paper, via a new Hardy type inequality, we establish some cohomology vanishing theorems for free boundary compact submanifolds $M^n$ with $n\geq2$ immersed in the Euclidean unit ball $\mathbb{B}^{n+k}$ under one of the pinching…
There have been, over the last 8 years, a number of far reaching extensions of the famous original F. and M. Riesz's uniqueness theorem that states that if a bounded analytic function in the unit disc of the complex plane $\Bbb C$ has the…
We establish an ideal-theoretic rigidity principle for quadratic distance images over integer residue rings. Specifically, we prove that near-extremal collapse of the distance set in $\mathbb{Z}_n^d$ forces strong algebraic structure…
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…
Answering questions of A. Avil\'es, F. Cabello S\'anchez, J. Castillo, M. Gonz\'alez and Y. Moreno we show that the following statements are independent of the usual axioms ZFC with arbitrarily large continuum: for every (some)…
The following pullback problem will be considered. Given a finite holomorphic map germ $\phi : (\mathbb{C}^{n}, 0) \to (\mathbb{C}^{n}, 0)$ and an analytic germ $X$ in the target, if the preimage $Y = \phi^{-1}(X)$, taken with the reduced…
Hirst investigated a slight variant of Hindman's Finite Sums Theorem -- called Hilbert's Theorem -- and proved it equivalent over $\RCA_0$ to the Infinite Pigeonhole Principle for all colors. This gave the first example of a natural…
We give a framework to produce constructible functions from natural functors between categories, without need of a morphism of moduli spaces to model the functor. We show using the Riemann-Hilbert correspondence that any natural (derived)…
In this article we proved so-called strong reflection principles corresponding to formal theories Th which has omega-models. An posible generalization of the Lob's theorem is considered.Main results is: (1) let $k$ be an inaccessible…
We define the compact universal cover of a compact, metrizable connected space (i.e. a continuum) X to be the inverse limit of all continua that regularly cover X. We show that such covers do indeed form an inverse system with bonding maps…
We develop a Helmholtz-like theorem for differential forms in Euclidean space $E_{n}$ using a uniqueness theorem similar to the one for vector fields. We then apply it to Riemannian manifolds, $R_{n}$, which, by virtue of the…