Related papers: Forcings constructed along morasses
Let $M$ be a transitive model of $ZFC$ and let ${\bf B}$ be a $M$-complete Boolean algebra in $M.$ (In general a proper class.) We define a generalized notion of forcing with such Boolean algebras, $^*$forcing. (A $^*$ forcing extension of…
This paper introduces the geometry of the open string Floer theory of gauged Landau-Ginzburg model via gauged Witten equations. Given a $G$-invariant Morse-Bott holomorphic function $W$ on a Hamiltonian space $(M,\omega,G),$ Lefschetz…
A conjecture of Kotschick predicts that a compact K\"ahler manifold $X$ fibres smoothly over the circle if and only if it admits a holomorphic one-form without zeros. In this paper we develop an approach to this conjecture and verify it in…
There can exist topological obstructions to continuously deforming a gapped Hamiltonian for free fermions into a trivial form without closing the gap. These topological obstructions are closely related to obstructions to the existence of…
We force the existence of a chain of length $\omega_3$ in $[\omega_1]^{\omega_1}$ increasing modulo finite. The construction involves symmetric systems of models of two types as side conditions, introduced by the second author. This…
We present different extensions of the Banach contraction principle in the $G$-metric space setting. More precisely, we consider mappings for which the contractive condition is satisfied by a power of the mapping and for which the power…
We investigate the existence, normalization and explicit construction of edge zero modes in topologically ordered spin chains. In particular we give a detailed treatment of zero modes in a $\mathbb{Z}_3$ generalization of the Ising/Kitaev…
We consider a flow by powers of Gauss curvature under the obstruction that the flow cannot penetrate a prescribed region, so called an obstacle. For all dimensions and positive powers, we prove the optimal curvature bounds of solutions and…
We present a general framework for forcing on $\omega_2$ with finite conditions using countable models as side conditions. This framework is based on a method of comparing countable models as being membership related up to a large initial…
Let $g$ be a metric on the $2$-sphere $\mathbb{S}^2$ with positive Gaussian curvature and $H$ be a positive constant. Under suitable conditions on $(g, H)$, we construct smooth, asymptotically flat $3$-manifolds $M$ with non-negative scalar…
This paper studies homeomorphisms of surfaces isotopic to the identity by means of purely topological methods and Brouwer theory. The main development is a novel theory of orbit forcing using maximal isotopies and transverse foliations.…
In this paper, we study curve shortening flows on rotational surfaces in $\mathbb{R}^3$. We assume that the surfaces have negative Gauss curvatures and that some condition related to the Gauss curvature and the curvature of embedded curve…
Given a compact manifold with a non-empty boundary and equipped with a generic Morse function (that is, no critical point on the boundary and the restriction to the boundary is a Morse function), we already knew how to construct two Morse…
We consider closed, embedded, smooth curves in the plane and study their behaviour under curve flows with a global forcing term. We prove an analogue to Huisken's distance comparison principle for curve shortening flow for initial curves…
In this paper, we study the global well-posedness for the Camassa-Holm(C-H) equation with a forcing in $H^1(\mathbb{R})$ by the characteristic method. Due to the forcing, many important properties to study the well posedness of weak…
In this work we study the existence of closed magnetic geodesics on three-dimensional Heisenberg nilmanifolds for every left-invariant Lorentz force. Our first objective is to establish the existence of closed contractible magnetic…
For any 3-manifold M and any nonnegative integer g, we give here examples of metrics on M each of which has a sequence of embedded minimal surfaces of genus g and without Morse index bounds. On any spherical space form S^3/Gamma we…
In \cite{MV} we defined and proved the consistency of the principle ${\rm GM}^+(\omega_3,\omega_1)$ which implies that many consequences of strong forcing axioms hold simultaneously at $\omega_2$ and $\omega_3$. In this paper we formulate a…
The resolution of the $G_2$-orbifold $T^7/\Gamma$, where $\Gamma$ is a suitably chosen finite group, admits a $1$-parameter family of $G_2$-structures with small torsion $\varphi^t$, obtained by gluing in Eguchi-Hanson spaces. It was shown…
We propose a new condition $\aleph$ which enables to get new results on integrable geodesic flows on closed surfaces. This paper has two parts. In the first, we strengthen Kozlov's theorem on non-integrability on surfaces of higher genus.…