Related papers: Forcings constructed along morasses

We prove that a closed surface with a CAT($\kappa$) metric has Hausdorff dimension = 2, and that there are uniform upper and lower bounds on the two-dimensional Hausdorff measure of small metric balls. We also discuss a connection between…

In this paper we investigate the properties of the real and complex projective structures associated to Hitchin and quasi-Hitchin representations that were originally constructed using Guichard-Wienhard's theory of domains of discontinuity.…

Force induced stretching of polymers is important in a variety of contexts. We have used theory and simulations to describe the response of homopolymers, with $N$ monomers, to force ($f$) in good and poor solvents. In good solvents and for…

We propose a simple, geometrically-motivated construction of smooth random paths in the plane. The construction is such that, with probability one, the paths have finite curvature everywhere (and the realizations are visually pleasing when…

Assume $\kappa = \kappa^{< \kappa}$ (usually $\aleph_0$ or an inaccessible). We shall deal with iterated forcings preserving ${}^{\kappa>}{\rm Ord}$ and not collapsing cardinals along a linear order $L$. A sufficient condition for this,…

In this paper, we prove that discrete Morse functions on digraphs are flat Witten-Morse functions and Witten complexes of transitive digraphs approach to Morse complexes. We construct a chain complex consisting of the formal linear…

We introduce a construction adding low-dimensional cells to a space that satisfies certain low-dimensional conditions; it preserves high-dimensional homology with appropriate coefficients. This includes as special cases Quillen's plus…

We prove that any countable support iteration formed with posets with $\omega_2$-p.i.c.\ has $\omega_2$-c.c., assuming CH in the ground model and assuming also that $\omega_1$ is not collapsed. This improves earlier results of Shelah by…

We show that $\mathsf{PFA}$ (Proper Forcing Axiom) implies that adding any number of Cohen subsets of $\omega$ will not add an $\omega_2$-Aronszajn tree or a weak $\omega_1$-Kurepa tree, and moreover no $\sigma$-centered forcing can add a…

Let $X, Y$ be two complex manifolds, let $D\subset X,$ $ G\subset Y$ be two nonempty open sets, let $A$ (resp. $B$) be an open subset of $\partial D$ (resp. $\partial G$), and let $W$ be the 2-fold cross $((D\cup A)\times B)\cup…

In this paper, we construct cochain complexes generated by the cohomology of critical manifolds in the abstract setup of flow categories for Morse-Bott theories under minimum transversality assumptions. We discuss the relations between…

We construct a Geroch-like boundary (when restricted to geodesic curves, this boundary contains as a subset the Geroch's $g$ boundary), which we denote by $\tilde{g}$, and establish an explicit embedding of the $\tilde{g}$ boundary into the…

Grohe and Marx proved that if G does not contain H as a topological minor, then there exist constants g=O(|V(H)|^4), D and t depending only on H such that G is a clique sum of graphs that either contain at most t vertices of degree greater…

An infinite periodic framework in the plane can be represented as a framework on a torus, using a $\mathbb Z^2$-labelled gain graph. We find necessary and sufficient conditions for the generic minimal rigidity of frameworks on the…

In the previous paper, the author showed that for a smooth family $X \to \mathbb{X} \to B$ of a homotopy $K3$ surface, the obstruction for the tangent bundle along the fibers $T_B \mathbb{X}$ to have a spin structure is canonically…

We construct a uniformly bounded symplectic structure on $S^2 \times \mathbb{R}^4$ admitting embeddings by arbitrarily large balls. This provides a counterexample to a recent conjecture of Savelyev. We then prove the conjecture holds for a…

We construct two universes V_1, V_2 satisfying the following: GCH below \aleph_\omega, 2^{\aleph_\omega} = \aleph_{\omega+2} and the topological density of the space 2^{\aleph_\omega} with \aleph_0 box product topology is \aleph_{\omega+1}…

For $f,g\in\omega^\omega$ let $c^\forall_{f,g}$ be the minimal number of uniform $g$-splitting trees needed to cover the uniform $f$-splitting tree, i.e., for every branch $\nu$ of the $f$-tree, one of the $g$-trees contains $\nu$. Let…

We extend the Besicovitch-Federer projection theorem to transversal families of mappings. As an application we show that on a certain class of Riemann surfaces with constant negative curvature and with boundary, there exist natural…

This article was initially motivated by our goal to show that the Banach space $\mathbb{G}$ constructed by Gowers in [W. T. Gowers, A solution to Banach's hyperplane problem, Bull. London Math. Soc. 26 (1994), no. 6, 523-530] to settle…