Related papers: Completeness of Cauchy horizon generators
We show that finitely generated cohomology is invariant under separable equivalences for all algebras. As a result, we obtain a proof of the finite generation of cohomology for finite symmetric tensor categories in characteristic zero, as…
We provide new computations in bounded cohomology: A group is boundedly acyclic if its bounded cohomology with trivial real coefficients is zero in all positive degrees. We show that there exists a continuum of finitely generated…
It is a well-known open problem since the 1970s whether a finitely generated perfect group can be normally generated by a single element or not. We prove that the topological version of this problem has an affirmative answer as long as we…
We show that every non-trivial compact connected group and every non-trivial general or special linear group over an infinite field admits a generating set such that the associated Cayley graph has infinite diameter.
We characterize infinitesimal generators on complete hyperbolic complex manifolds without any regularity assumption on the Kobayashi distance. This allows to prove a general Loewner type equation with regularity of any order $d\in…
A new direct proof of the Virtual Haken Conjecture, which asserts that every compact, orientable, irreducible three-dimensional manifold with infinite fundamental group has a finite cover that is Haken, will be given.
Shumyatsky and the second author proved that if G is a finitely generated residually finite p-group satisfying a law, then, for almost all primes, the fact that a normal and commutator-closed set of generators satisfies a positive law…
We prove completeness of preferential conditional logic with respect to convexity over finite sets of points in the Euclidean plane. A conditional is defined to be true in a finite set of points if all extreme points of the set interpreting…
In a general Lorentzian manifold M, the past lightcone of a point is a proper subset of M that does not carry enough information to determine the rest of M. That said, if M is a globally hyperbolic Cauchy development of vacuum initial data…
We make some remarks on the existence of a geodesically complete core for any compact non-positively curved space.
It is shown that every accessible group which is integrable orbit equivalent to a free group is virtually free. Moreover, we also show that any integrable orbit-equivalence between finitely generated groups extends to their end…
We prove two theorems on cohomologically complete complexes. These theorems are inspired by, and yield an alternative proof of, a recent theorem of P. Schenzel on complete modules.
This note proves the geodesic completeness of any compact manifold endowed with a linear connection such that the closure of its holonomy group is compact.
We prove that any compact manifold without boundary admits a pair of diffeomorphisms that generates $C^1$ robustly minimal dynamics. We apply the results to the construction of blenders and robustly transitive skew product diffeomorphisms.
We show that every finite Abelian algebra A from congruence-permutable varieties admits a full duality. In the process, we prove that A also allows a strong duality, and that the duality may be induced by a dualizing structure of finite…
Contrary to a recent assertion [Fulvio Melia "The electroweak horizon problem" 2022], there is no electroweak horizon problem.
We show that every homomorphism from the infinite-dimensional unitary or orthogonal group to a separable group is continuous.
Complete characterization of complete positivity preserving non-Markovian master equations is presented.
In this paper, we present a generalized effective completeness theorem for continuous logic. The primary result is that any continuous theory is satisfied in a structure which admits a presentation of the same Turing degree. It then follows…
We prove the finite generation of canonical rings of projective variety of general type defined over complex numbers.