Related papers: Completeness of Cauchy horizon generators
As a continuation of our series works on the Boltzmann equation without angular cutoff assumption, in this part, the global existence of solution to the Cauchy problem in the whole space is proved in some suitable weighted Sobolev spaces…
We investigate the possibility of firewalls in the Einstein-dilaton gravity model of CGHS. We use the results of the numerical simulation carried out by Ashtekar et al. to demonstrate that firewalls are absent and the horizon is drama free.…
We characterize the separated schemes for which the derived category of perfect complexes is strongly generated, proving a conjecture of Bondal and Van den Bergh. And we also prove the strong generation of the bounded derived category of…
In this paper a large class of universal windows for Gabor frames (Weyl-Heisenberg frames) is constructed. These windows have the fundamental property that every overcritical rectangular lattice generates a Gabor frame. Likewise, every…
The behaviour of test fields near a compact Cauchy horizon is investigated. It is shown that solutions of nonlinear wave equations on Taub spacetime with generic initial data cannot be continued smoothly to both extensions of the spacetime…
We show that connected separable locally compact groups are infinitesimally finitely generated, meaning that there is an integer $n$ such that every neighborhood of the identity contains $n$ elements generating a dense subgroup. We…
The chain group $C(G)$ of a locally compact group $G$ has one generator $g_{\rho}$ for each irreducible unitary $G$-representation $\rho$, a relation $g_{\rho}=g_{\rho'}g_{\rho"}$ whenever $\rho$ is weakly contained in $\rho'\otimes \rho"$,…
We find necessary and sufficient conditions for the finite separability of monogenic rings. As a corollary, we prove that a finitely generated torsion-free PI-ring is finitely separable if and only if its additive group is finitely…
We prove that, consistently with ZFC, no ultraproduct of countably infinite (or separable metric, non-compact) structures is isomorphic to a reduced product of countable (or separable metric) structures associated to the Fr\'echet filter.…
We introduce the problem of temporal coverability for realizability and synthesis. Namely, given a language of words that must be covered by a produced system, how to automatically produce such a system. We consider the case of coverability…
Ge and Lin (2015) proved the existence and the uniqueness of p-Cauchy completions of partial metric spaces under symmetric denseness. They asked if every (non-empty) partial metric space $X$ has a p-Cauchy completion $\bar{X}$ such that $X$…
The existence of a nowhere zero real vector field implies a well-known restriction on a compact manifold. But all manifolds admit nowhere zero complex vector fields. The relation between these observations is clarified.
We prove that the isomorphism problem for finitely generated fully residually free groups is decidable. We also show that each finitely generated fully residually free group G has a decomposition that is invariant under automorphisms of G,…
In this note, we will give an positive answer to Pan-Rong's conjecture that for an open manifold with nonnegative Ricci curvature, if its universal cover has Euclidean volume growth, then its fundamental group is finitely generated.…
We generalise the standard constructions of a Cayley graph in terms of a group presentation by allowing some vertices to obey different relators than others. The resulting notion of presentation allows us to represent every vertex…
We give a sufficient condition on totally disconnected topological graphs such that their associated topological graph algebras are purely infinite.
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…
A sufficient condition for an orthogonally transitive G2 cylindrical spacetime to be singularity-free is shown. The condition is general enough to comprise all known geodesically complete perfect fluid cosmologies.
Working over the field of order 2 we consider those complete caps (maximal sets of points with no three collinear) which are disjoint from some codimension 2 subspace of projective space. We derive restrictive conditions which such a cap…
Our main result is to show that every infinite, countable, residually finite group $G$ admits a Hausdorff group topology which is neither discrete nor precompact.