|  Causal Structures in Spacetime | 
In General
  > s.a. causality; spacetime / Chronological
  Space; lorentzian geometry [including analogs]; singularities;
  types of metrics.
  * Idea: The causal
    structure of a spacetime is a global property, and contains almost all
    the information about the metric (9/10 in 4D, all except for the conformal
    factor); It can be considered as the fundamental structure in quantum gravity.
  $ Def: A partial ordering on a
    set of points (poset), indicated by p
    < q (possibly with additional conditions).
  $ Causal completeness:
    A spacetime is causally complete if every bounded, increasing sequence
    x0 < x1
    < x2 < ... in M converges.
  @ General references: Joshi 93;
    García-Parrado & Senovilla CQG(05)gq [rev];
    Minguzzi & Sánchez in(08)gq/06 [hierarchy of conditions];
    Howard AIP(10)-a1601 [and singularities];
    Chruściel a1110 [elements of causality theory];
    Foldes a1206 [maximal chains and antichain cutsets];
    Ried et al nPhys(15)-a1406 [inferring causal relations];
    Stoica a1504 [as fundamental];
    Witten a1905-ln [intro:
      Raychaudhuri equation, singularity theorems, black hole area theorem, topological censorship, ...];
    Minguzzi LRR(19) [self-contained rev].
  @ Abstract causal structure: Kronheimer & Penrose PCPS(67);
    Pimenov 68;
    Kronheimer GRG(71);
    Carter GRG(71);
    Lerner in(72);
    Penrose 72;
    in Hawking & Ellis 73;
    Woodhouse PhD(73);
    in Beem et al 96;
    Rainer JMP(99)gq [topological manifolds];
    Jaroszkiewicz gq/00 [discrete spacetime];
    García-Parrado & Sánchez CQG(05)mp;
    Cegła & Jancewicz JMP(13) [lattice structure approach];
    Kissinger et al a1708 [and process terminality];
    > s.a. causality in quantum theory.
  @ Causal fs, maps: Vyas & Joshi GRG(83);
    Joshi GRG(89);
    García & Senovilla mp/02-proc,
    CQG(03)gq/02 [between manifolds],
    CQG(03)gq,
    CQG(04)gq/03 [symmetries];
    Janardhan & Saraykar Pra(08)gq/05 [using K-causality],
    GRG(13)-a1208 [causal-cone-preserving transformations in spacetime].
  @ Causal boundaries:
    Harris JMP(98) [universality];
    > s.a. spacetime boundaries.
  > Online resources:
    see Wikipedia page.
Chronological Homotopy Theory > s.a. spacetime subsets [lines].
  * Idea: Paths which are
    close also have close parametrizations, but smoothness is irrelevant.
  * Topology on paths:
    The space Tpq of timelike
    paths from p  to  q has the compact-open topology
    generated by UK,U
    := {γ ∈ Tpq
    | γ(K) ⊂ U, K compact in [0,1],
    U open in M}.
  * Homotopy: Two paths are
    chronologically homotopic if they lie in the same path-connected component
    of Tpq.
  * Homotopy of manifolds:
    (M, g) and (M', g')
    have the same homotopy type if there is a homeomorphism M → M'
    preserving the homotopy structures of all Tpq.
  * Euler number:
    χ(Tpq):=
    χ(K), where K is a finite cell complex with
    the same homotopy type as Tpq.
  * Applications: May lead to
    a way of defining black holes in closed universes.
  @ References: Smith AJM(60),
    PNAS(60);
    Kronheimer GRG(71);
    Morales & Sánchez CQG(15)-a1505
      [globally hyperbolic spacetimes with infinitely many causal homotopy classes of curves].
Types of Spacetimes
  > s.a. causality violations; non-commutative
  geometry; types of lorentzian geometries.
  @ Examples, symmetries:
    Lester JMP(84) [de Sitter and Einstein cylinder];
    Calvão et al JMP(88) [Gödel-type];
    Levichev GRG(89) [homogeneous];
    Singh & Sahdev gq/01 [S1 time topology];
    Harris CQG(15)-a1412
    + CQG+ [static and stationary spacetimes].
  @ Degenerate metrics: Matschull CQG(96)gq/95;
    Gratus & Tucker JMP(96)gq [2D].
  @ Non-Hausdorff spacetime:
    Hájíček CMP(71);
    Sharlow AP(98).
  @ Lor-regularity metrics:
    Chruściel & Grant CQG(12)-a1111 [continuous, systematic study];
    Grant et al LMP(20)-a1901 [topology];
    Ling GRG(20)-a1911 [continuous].
  > Specific types: see gödel
    spacetime; gravitational waves [pp-waves]; minkowski
    space; schwarzschild and Kruskal Extension.
Various Causality-Type Relations
  > s.a. spacetime subsets [causal and chronological futures/pasts].
  $ K-causality: K+
    is the smallest relation containing I+ that is transitive and
    (topologically) closed.
  * At singular points: The light cone
    structure at degenerate points might be different but well-defined; A point
    p has a single past (future) light cone if for all neighborhoods
    U of p, not containing other singular points,
    I−(p, N)
    (I+(p, N)) is connected.
  @ K-causality: Sorkin & Woolgar CQG(96)gq/95;
    Dowker et al CQG(00)gq/99 [degenerate metrics];
    Miller a1702-proc,
    JPCS(18)-a1801 [extension];
    > s.a. causality conditions.
  @ Other types of relations:
    García-Heveling a2101
      [k+ relation, and spacetimes with continuous metrics].
Related Concepts > s.a.  causality violations;
  Horismos; initial-value form;
  null infinity [causal completion]; spacetime
  subsets; variational principles [causal].
  * Recovery of spacetime structure:
    (Hawking-Malament theorem) The causal relations among points in a sufficiently causal
    spacetime (or among points in a countable, dense subset) determine uniquely the topology,
    differentiable structure and metric (up to a conformal factor which is constant if the
    points are uniformly embedded) of the manifold.
  @ And curvature: Woodhouse CMP(76);
    Szabados GRG(82);
    Gibbons & Solodukhin PLB(07)ht [Alexandrov sets and curvature],
    PLB(07)-a0706 [asymptotically de Sitter case];
    > s.a. Alexandrov Sets; wave phenomena.
  @ And spacetime topology:
    Fuller & Wheeler PR(62);
    Konstantinov IJMPD(95)gq/94,
    gq/97-MG8,
    G&C(97)gq/98 [non-trivial];
    Chamblin gq/95-conf;
    Lobo & Crawford gq/02-conf;
    Nielsen Flagga & Antonsen IJTP(04) [Stiefel-Whitney class];
    Borchers & Sen 06;
    BenDaniel a0806 [denumerable spacetime];
    Parrikar & Surya CQG(11)-a1102 [dimensionality];
    Kovár a1112 [de Groot dual];
    Saraykar & Janardhan GJPAM-a1411 [rev];
    > s.a. spacetime topology.
  @ Recovery of spacetime structure: Hawking et al JMP(76);
    Malament JMP(77);
    Briginshaw IJTP(80),
      IJTP(80) [and conformal group];
    Martin & Panangaden CMP(06)gq/04;
    in Malament gq/05-ch;
    Kim CQG(08)-a0801 [from Cauchy surface];
    > s.a. causal sets.
  @ And initial data: Klainerman & Rodnianski IM(05)m.AP/03 [vacuum].
  @ Causal structure and gravity: Friedman et al PRD(13)-a1305 [shared causal pasts and futures in cosmology];
    Gomes a1603
      [quantum gravity and superpositions of causal structures];
    Suvorov & Melatos PRD(17)-a1709 [gravitational waves in f(R) gravity].
  @ Generalization: Yurtsever JMP(90);
    Bois & Trelut RQS-ap/03 [and temporal order];
    Minguzzi RVMP(18)-a1709-conf [for general closed cone structures].
  @ Other topics:
    Szabados GRG(87) [and measurability];
    Kreinovich IJTP(94) [approximate causality];
    Casini CQG(02)gq [logic];
    Harris CQG(04)gq/03 [and discrete group actions];
    Diethert et al IJMPA(08)-a0710 [causal structure as emergent from symmetry breaking];
    Chernov & Nemirovski GFA(10)-a0810 [Legendrian links and Low conjecture];
    Sormani & Vega CQG(16)-a1508 [null distance function];
    > s.a. arrow of time; Link Theory;
      Paneitz Operator.
 main page
  – abbreviations
  – journals – comments
  – other sites – acknowledgements
  send feedback and suggestions to bombelli at olemiss.edu – modified 19 may 2021