Related papers: Completeness of Cauchy horizon generators

The goal of this paper is to establish fundamental properties of the Hochschild, topological Hochschild, and topological cyclic homologies of commutative, Noetherian rings, which are assumed only to be F-finite in the majority of our…

We prove the following theorem for a finitely generated field $K$: Let $M$ be a Galois extension of $K$ which is not separably closed. Then $M$ is not PAC over $K$.

It is shown that a closed solvable subgroup of a connected Lie group is compactly generated. In particular, every discrete solvable subgroup of a connected Lie group is finitely generated. Generalizations to locally compact groups are…

In SGA 2, Grothendieck conjectures that the \'etale fundamental group of the punctured spectrum of a complete noetherian local domain of dimension at least two with algebraically closed residue field is topologically finitely generated. In…

In this talk a previous theorem on geodesic completeness of diagonal cylindrical spacetimes will be generalized to cope with the nondiagonal case. A sufficient condition for such spacetimes to be causally geodesically complete will be given

In this work we study a kind of coherence condition on FI_G-modules, which generalizes the usual notion of finite generation. We prove that a module is coherent, in the appropriate sense, if and only if its generators, as well as its…

Spacetimes with collisionless matter evolving from data on a compact Cauchy surface with hyperbolic symmetry are shown to be timelike and null geodesically complete in the expanding direction, provided the data satisfy a certain size…

Graphons are analytic objects associated with convergent sequences of graphs. Problems from extremal combinatorics and theoretical computer science led to a study of graphons determined by finitely many subgraph densities, which are…

The cosmic censorship conjecture posits that singularities forming to the future of a regular Cauchy surface are hidden by an event horizon. Consequently any topological structures will ultimately collapse within the horizon of a set of…

We consider the finite generation property for cohomology algebra of pointed finite tensor categories via de-equivariantization and exact sequence of finite tensor categories. As a result, we prove that all coradically graded pointed finite…

We present a quantum description of electrically charged spherically symmetric black holes given by coherent states of gravitons in which both the central singularity and the Cauchy horizon are not realised.

This paper proves finite generation of the log canonical ring without Mori theory.

It is proven that the "horizon condition", which was found to characterize the fundamental modular region in continuum theory and the thermodynamic limit of gauge theory on a periodic lattice, holds for every (transverse) configuration on a…

We give a new and self-contained proof of the finite generation of adjoint rings with big boundaries. As a consequence, we show that the canonical ring of a smooth projective variety is finitely generated.

The expectation-value equations for the collapse of a macroscopic, spherically symmetric, and uncharged body are integrated up to the limit of validity of semiclassical theory. The collapse finishes with a true stable black hole of the mass…

It is shown that causally simple inextendible spacetimes are hole-free, thus confirming the expectation that causal simplicity removes holes from spacetime. This result is optimal in the sense that causal simplicity cannot be weakened to…

The compactness theorem for a logic states, roughly, that the satisfiability of a set of well-formed formulas can be determined from the satisfiability of its finite subsets, and vice versa. Usually, proofs of this theorem depend on the…

Using countable support iteration of $S$-proper posets, for some appropriate stationary set $S$, we obtain a generic extension of the constructible universe, in which $\mathfrak{b}=\mathfrak{c}=\aleph_2$ and there is a maximal cofinitary…

In this paper we prove some uniqueness results for quadratic backward stochastic differential equations without any convexity assumptions on the generator. The bounded case is revisited while some new results are obtained in the unbounded…

It is shown that any finite complete covering of a non-commutative algebra in the sense of Calow and Matthes (J. Geom. Phys. 32 (2000), 114--165) gives rise to a Galois coring.