{"id":"9717c22e-6888-49fc-9317-085f72c65f23","arxiv_id":"1908.02185","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Gowdy vacuum spacetimes have AVTD-like initial geometry in any dimension when measured in an H^{-1} Sobolev norm, and noncollapsed type-I CMC flows with nonpositive scalar curvature have Kasner-like limits or many disjoint causal pasts.","lead":"This mathematics paper proves new estimates for how vacuum spacetime geometries behave near an initial singularity, including AVTD-like asymptotics for Gowdy spacetimes in any dimension and a monotonic volume quantity tied to Kasner limits. A generalist reader may care because the results sharpen understanding of the Big Bang singularity and the boundary between simple 'velocity dominated' and chaotic Mixmaster behavior.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1.3 is conditional on a global areal-time foliation whose existence for arbitrary N and twisted T^N bundles is not proved in the paper.","rationale":"The reader's weakest assumption identified the areal-time premise, and I agree that this is the most load-bearing condition for the Section 2 central claim. The functional-analytic step from (2.40) to (2.44) is terse, but it is likely valid: (2.40) places (G^{-1}Gτ)_τ in the dual of the homogeneous D_Y-space, and since the full H^{-1} norm is dominated by that homogeneous dual norm (the denominator in (2.41) is larger), the weighted estimate follows. So I do not object to the internal argument. The real limitation is that the global areal-time foliation, including the SL(N,R) holonomy condition, is assumed rather than proved for N>2. Because [4] is specifically the four-dimensional T^2 theorem, the claim 'in any dimension' overreaches the demonstrated scope. This does not invalidate the theorem under its assumptions, so I recommend keeping the reader's CONDITIONAL verdict; no change is needed.","tokens_in":24704,"tokens_out":38144,"duration_ms":386207,"concrete_test":"Follow the proof of [4] for a free T^N action with N>2 and determine whether the global areal-foliation theorem survives. Concretely: check whether the proof uses the N=2 parametrization of unimodular matrices essentially; if it does, try to construct a twisted T^N Gowdy vacuum solution whose flat bundle e has monodromy in GL(N,R) but not SL(N,R), and see whether the reduced vacuum equations admit a solution near a crushing singularity. If such a solution exists, Theorem 1.3 cannot hold as stated and must be restricted to the areal subclass.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The main estimate (2.44) is proved only for spacetimes for which a global areal time coordinate with det(G)=t^N and a spatial circle quotient has been fixed. This enters the proof at (2.14), where the t-independent density μ is defined, and again in the change of variables leading to the weight e^{Nτ} in (2.40)-(2.44). The paper introduces this as an assumption after (2.5), citing [4]. However, [4] is a four-dimensional T^2 result; the paper gives neither a proof nor a reference for the existence of such a foliation for free T^N actions with N>2, and it explicitly requires holonomy in SL(N,R) so that ln det G is globally defined. If this global foliation fails for some twisted T^N Gowdy spacetime, or if the holonomy of e is not in SL(N,R), then μ, the H^{-1}_{Y,τ} norm, and the statement of (2.44) are not even well-defined globally. Thus the abstract's unrestricted 'any dimension' claim is not supported; the theorem is conditional on a nontrivial global-geometry premise.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the geometry of expanding vacuum cosmological spacetimes approaching an initial singularity, in two parts. Part 1 (Section 2) concerns spacetimes with a free T^N action and a two-dimensional orbit space. For Gowdy spacetimes (vanishing connection curvature, F=0, §2.2) with a global areal time coordinate det G = t^N and e-holonomy in SL(N,R), the paper proves Theorem 1.3/Proposition 2.43: ∫_{τ0}^∞ e^{Nτ}||(G^{-1}G_τ)_τ||²_{H^{-1}_{Y,τ}} dτ < ∞, an averaged, spike-robust AVTD-type statement in arbitrary dimension. The proof introduces the monotone quantity E~ (2.20), derives the dual-pairing bound (2.37)-(2.40), and defines the time-dependent H^{-1} norm (2.41). For nonGowdy T²-invariant four-dimensional spacetimes (§2.3), Proposition 2.65 gives a sufficient condition for AVTD behavior of U in the same integral sense. Part 2 (Section 3) treats CMC Einstein flows with crushing singularities: Theorem 1.9 identifies d/dt(t^{-1}vol) = -(1/3)∫LR dvol; Theorem 1.12 characterizes the equality case under R ≤ 0 as a Kasner solution; Theorem 1.13/Proposition 3.48 asserts Kasner-like rescaling limits in L¹ with respect to the limiting measure dvol_0 (proof delegated to [24]); under type-I and noncollapsing assumptions, Theorem 1.15 bounds normalized diameters, Theorems 1.16/1.17 and Proposition 3.73 give causal-past dichotomies, and Proposition 3.78 upgrades the Kasner limit to a pointwise statement.","tokens_in":24897,"tokens_out":26145,"duration_ms":240367,"significance":"Conditional on the global areal-time hypothesis, Theorem 1.3 is a genuine advance: the H^{-1} formulation captures AVTD behavior in an averaged sense while allowing spatial spikes, in arbitrary dimension, whereas previous Gowdy asymptotics (Ringström) were pointwise and N=2. The monotone quantity E~ and the identity dE~/dt (2.21) are elegant and parameter-free, and the dual-space step (2.40)→(2.44) is sound: (2.40) states that (G^{-1}G_τ)_τ is a bounded functional on the weighted H¹ space, which is equivalent to membership in the space H of (2.42). The identities (1.10)/(3.24), the equality case Theorem 1.12, and the type-I diameter and causal-past dichotomies are new and clearly stated. The paper is honest about the limits of the nonGowdy result (discussion after Remark 2.68) and explicitly corrects two equations from [24] (Remark 2.23). The central estimates are derived from the Einstein equations in the paper; no fitted parameters appear and there is no circular dependence on the paper's own conclusions.","major_comments":[{"comment":"Theorem 1.3 and the abstract's 'Gowdy spacetimes ... in any dimension' claim are conditional on hypotheses that are introduced inside §2.1 but not proved or referenced for N>2: the existence of a global areal time coordinate with det G = t^N ('As is standard ... c.f. [4]', §2.1) and the assumption that the flat bundle e has holonomy in SL(N,R) (after (2.5)). Reference [4] is a four-dimensional T² paper. These hypotheses are load-bearing: the t-independent density μ of (2.14) is defined only under the areal-time and F=0 assumptions; the weight e^{Nτ} in (2.44) is obtained in (2.38)-(2.39) precisely from det G = t^N; and ln det G is globally defined only under the SL(N,R) holonomy assumption. If the global foliation fails for some twisted T^N Gowdy spacetime, μ, the norm (2.41), and the statement (2.44) are not globally well-defined. I recommend either (a) restating Theorem 1.3 with an explicit hypothesis block containing the areal-time and holonomy conditions and changing the abstract to 'for Gowdy spacetimes admitting a global areal time coordinate with det G = t^N', or (b) adding a proof or literature reference for the existence of such coordinates for free T^N actions with N>2. The stress-test concern lands, though as a scope mismatch rather than an internal inconsistency: the derivation is internally coherent and the assumption is acknowledged in the text, but the advertised claim is broader than the proved claim.","section":"§2.1 and Theorem 1.3"},{"comment":"Proposition 3.48 (Theorem 1.13, a headline result of Section 3) is stated with the proof 'The proof is similar to that of [24, Proposition 2.36]. We omit the details.' This delegation is nontrivial for three reasons: the statement concludes L¹ convergence on [Λ^{-1},Λ] × X with respect to du dvol_0, where dvol_0 = lim t→0 (-H)dvol is only a nonnegative absolutely continuous measure that may be zero (Definition 3.47); the quantities |L_s - 1/n| and |K_s|² - n²/u² involve the rescaling (3.44) applied simultaneously to lapse, second fundamental form, and scalar curvature; and dvol_0 is itself obtained from the flow, so it is not immediate that the hypotheses of [24, Prop 2.36] carry over verbatim. Since Theorem 1.13 is advertised in the abstract and presented as a main theorem, I ask that the proof be included, or at least that the author spell out the reduction to [24, Prop 2.36] and verify each hypothesis, including the treatment of the dvol_0 = 0 case. This is a load-bearing gap because the Kasner-type rescaling-limit statement is one of the two central conclusions of Section 3.","section":"§3.1, Proposition 3.48"}],"minor_comments":[{"comment":"The notation for the Sobolev space is inconsistent: the abstract and Theorem 1.3 use H^{-1}_τ, while (2.41) defines H^{-1}_{Y,τ}; please harmonize the notation and make clear in the theorem statement that the norm is defined using the density μ from (2.14).","section":"Abstract and Theorem 1.3"},{"comment":"The passage from (2.37) to (2.38) silently multiplies both sides by N after substituting det G = t^N (so that (ln det G)_t = N/t); a one-sentence remark would help the reader verify the constant N^{3/2}.","section":"§2.1, equations (2.37)-(2.38)"},{"comment":"There is a typo in the proof: 'h^{-1}K satifies' should read 'satisfies'; several similar OCR-style typos occur elsewhere in the manuscript and should be corrected in revision.","section":"§3, Proposition 3.37 proof"},{"comment":"The proof of Proposition 3.59 is delegated with 'The proof ... is essentially the same as that of [24, Corollary 2.54]'; a short indication of why type-I and noncollapsing at a sequence of points imply the required uniform local geometry bounds would make the paper more self-contained, given that Proposition 3.59 underlies all of Section 3.4.","section":"§3.2, Proposition 3.59"},{"comment":"The verification that the half-polarized condition implies (2.66) is presented heuristically ('e^{4U}a²A_θ² ∼ e^{-2τ}'); a precise pointer to the justification in [1] and to the exact sense of the asymptotics would be helpful, since the sufficient condition (1.7) is a hypothesis of Theorem 1.6.","section":"§2.3, Remark 2.68"}],"recommendation":"major_revision","confidential_remarks":"The relation to the author's prior paper [24] is close: several Section 3 tools (compactness, strong-maximum-principle arguments, rescaling-limit framework) are imported with references of the form 'essentially the same as ...'. The genuinely new material — the Gowdy H^{-1} estimate, the E~ monotone quantity, the t^{-1}vol identity, and the causal-past dichotomies — is identifiable, and the paper's explicit corrections to [24] (Remark 2.23) are good scholarly hygiene. The editor may wish to ensure the journal is comfortable with the degree of delegation to a prior paper of the same author. My primary request is that the Section 2 statements be made conditional in the abstract and theorem statements (or supported by a reference/proof for the N>2 foliation), and that the proof of Proposition 3.48 be supplied or carefully reduced to [24, Prop 2.36]; both are feasible within the scope of a revision."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"John, this is a solid paper and worth taking seriously, but read the small print. The genuinely new thing is Theorem 1.3: for Gowdy spacetimes in arbitrary dimension, an H^{-1} integrated AVTD bound on (G^{-1}G_tau)_tau. That is an advance over Ringström's 4D pointwise results and it is robust to spikes by design. The monotonic functional behind it is new, and the nonGowdy sufficient condition in Prop 2.65 is a useful clarification of where AVTD can hold. Section 3 also has nice results: t^{-1} vol monotonicity, the Kasner rigidity theorem, and the causal-past dichotomy for noncollapsed type-I flows. The rescaling-limit methods are borrowed from Lott's own [24], but that is published and independent; the citation pattern is fine.\n\nSoft spots, in proportion. First, Proposition 3.48 — the Kasner-type L^1 limit under R ≤ 0 — is stated without proof: 'We omit the details' and a pointer to [24, Prop 2.36]. Since Theorem 1.13 and the discussion rest on it, that is a minor-to-moderate gap. A referee should ask for a real proof or a precise statement of which parts of [24] cover it.\n\nSecond, the Gowdy theorem is conditional in a way the abstract glosses over. The proof assumes a global areal time coordinate with det(G)=t^N and a spatial circle quotient, plus holonomy in SL(N,R) so that ln det G is globally defined. That assumption is inserted after (2.5), citing [4], which is a four-dimensional T^2 paper. For N>2 and twisted bundles, no proof or reference is given. If that foliation fails, the density mu in (2.14) and the H^{-1}_{Y,tau} norm are not globally defined. This is a scope limitation, not a fatal flaw — the theorem is what it is — but 'any dimension' in the abstract should be read as 'any dimension, under the standard areal-time assumption that is not actually proved here.'\n\nOverall the main argument is coherent and the paper is honest about what it does not resolve (BKL/Mixmaster full conjecture). It deserves a serious referee. I would send it out and ask for the two fixes above; neither looks lethal.","headline":"A well-crafted paper with a real new AVTD estimate for Gowdy spacetimes in arbitrary dimension, conditional on an areal-time assumption that is not proved, plus solid Section 3 results and one omitted proof that needs attention.","tokens_in":25446,"tokens_out":2493,"would_cite":true,"duration_ms":26190,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C50","83C05","35Q75"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper establishes that Gowdy vacuum spacetimes have AVTD-like initial geometry in any dimension, measured in a spike-tolerant $H^{-1}$ norm, and gives sufficient conditions for the same behavior in four-dimensional $T^2$-invariant…","keywords":["Gowdy spacetime","AVTD behavior","T^N symmetry","crushing singularity","CMC Einstein flow","Kasner solution","H^{-1} Sobolev norm","causal pasts"],"falsifier":"Construct a twisted $T^N$ Gowdy vacuum spacetime whose flat bundle has holonomy outside $SL(N,\\mathbb{R})$, or for which no global areal time coordinate with spatially constant $\\det G$ exists, and show that the integral in (2.44) diverges; alternatively, exhibit a $T^2$-invariant four-dimensional solution with $\\int_Y H\\,d\\theta$ bounded below and $e^{4U}a^2A_\\theta^2\\in H$ for which $a(a^{-1}U_\\tau)_\\tau-\\frac12 e^{2\\tau}e^{4U}A_\\tau^2\\notin H$, contradicting Proposition 2.65.","tokens_in":24472,"feed_emoji":"🌌","tokens_out":9255,"duration_ms":84616,"temperature":0.7,"pith_summary":"This paper studies what happens to the geometry of an expanding vacuum universe as its spatial slices collapse toward the initial singularity at $t=0$. Its central claim is that Gowdy spacetimes—vacuum spacetimes with a free torus symmetry and integrable normal distribution—are asymptotically velocity term dominated in every dimension: in a suitable averaged Sobolev sense, the matrix $G$ describing the torus metric approaches a solution of the velocity term dominated equations exponentially fast in the logarithmic time $\\tau=-\\log t$. Because the decay is measured in an $H^{-1}$ norm, it tolerates the spikes that are known to occur in Gowdy solutions. The paper also proves an analogous averaged AVTD statement for four-dimensional $T^2$-invariant non-Gowdy spacetimes under two explicit conditions, and, in the symmetry-free setting of constant-mean-curvature Einstein flows with a crushing singularity, introduces a monotone normalized volume whose equality case characterizes Kasner solutions and whose consequences include statements about normalized diameters and disjoint causal pasts near the singularity.","feed_headline":"Gowdy singularities obey AVTD behavior in every dimension","feed_subtitle":"A spike-tolerant averaged bound shows the velocity-term error decays exponentially toward t=0.","key_machinery":"The argument is carried by monotone functionals whose derivatives are positive integrals of spatial derivative terms. For Gowdy spacetimes, the quantity $\\tilde E(t)=\\frac{\\sqrt{\\det G}}{(\\ln\\det G)_t}E(t)$ has time derivative $\\frac{d\\tilde E}{dt}=\\sqrt{\\det G}\\int_Y Lh^{-1}\\operatorname{Tr}((G^{-1}G_y)^2)\\,d\\mathrm{vol}$, turning the standard energy $E(t)$ into a quantity that increases toward the singularity; the same structure produces the weight $e^{N\\tau}$ and the $H^{-1}_{Y,\\tau}$ norm after the change $t=e^{-\\tau}$. For the non-Gowdy case, $\\tilde E_K=R^2\\hat E_K+\\frac12 K\\int_Y H\\,d\\theta$ has derivative $2R\\int_Y(aU_\\theta^2+\\frac14 R^{-2}e^{4U}a^{-1}A_R^2)\\,d\\theta$, which yields the condition (1.7). In the CMC part, the normalized volume $(-H)\\operatorname{vol}(X,h(t))=t^{-1}\\operatorname{vol}(X,h(t))$ differentiates to $-\\frac13\\int_X LR\\,d\\mathrm{vol}_h$, so under $R\\le 0$ it is monotonically nondecreasing; equality forces $L=\\frac1{H^2}\\partial_t H$, $R=0$ and $|K|^2=H^2$, and with an aspherical prime component this is a Kasner solution.","core_discovery":"The main discovery is that $G$-component AVTD behavior holds for all Gowdy vacuum spacetimes in arbitrary dimension, in an integrated sense. After choosing areal time with $\\det G=t^N$ and setting $t=e^{-\\tau}$, the paper proves (Theorem 1.3) that $$\\int_{\\tau_0}^{\\infty} $e^{{N\\tau}}$\\|($G^{{-1}}$G_\\tau)_\\tau\\|^2_{$H^{{-1}}$_{Y,\\tau}}\\,d\\tau<\\infty.$$ The $H^{-1}$ norm is taken over the spatial circle with respect to a $t$-independent density $\\mu$, and the weight $e^{N\\tau}$ gives exponential decay of the velocity-term error $(G^{-1}G_\\tau)_\\tau$ in this averaged sense as $\\tau\\to\\infty$. The statement is spike-tolerant: pointwise limits may be irregular, but the averaged derivative is coercively controlled. The proof uses a monotone energy $\\tilde E(t)$ whose time derivative is a positive integral of a spatial derivative term; after integrating by parts and applying Cauchy-Schwarz, this becomes the dual $H^{-1}$ estimate. For four-dimensional $T^2$-invariant non-Gowdy spacetimes, Proposition 2.65 gives a sufficient condition for the analogous AVTD statement for $U$: if $\\int_Y H\\,d\\theta$ is bounded below and $e^{4U}a^2A_\\theta^2$ lies in the same weighted $H^{-1}$ space, then $a(a^{-1}U_\\tau)_\\tau-\\tfrac12 e^{2\\tau}e^{4U}A_\\tau^2$ also lies in that space.","pith_inferences":["The $H^{-1}$ formulation suggests that pointwise spike behavior is the wrong measurement scale for AVTD; one could test whether explicit spike families saturate the integral in (2.44), which would confirm that the norm captures exactly the right sharpness.","The same monotone-functional mechanism may extend to other symmetry classes or to spacetimes with matter, since the paper notes heuristically that matter is often asymptotically irrelevant; a concrete next step would be to find a monotone quantity whose derivative controls the matter terms directly.","The line between AVTD and Mixmaster dynamics could be sharpened by determining which of the two hypotheses in Proposition 2.65 fails in numerical Mixmaster $T^2$-symmetric solutions; the paper leaves this question open.","Because $t^{-1}\\operatorname{vol}$ is not rescaling-invariant, unlike the Fischer-Moncrief quantity, it may encode the asymmetry between the shrinking and expanding directions; testing whether other powers $t^{-\\alpha}\\operatorname{vol}$ are monotone under weaker curvature assumptions would clarify how special $\\alpha=1$ is."],"forward_implications":["Any Gowdy vacuum spacetime in any dimension has an averaged AVTD property: the $G$-component's velocity-term error decays exponentially in $\\tau$ when measured in the weighted $H^{-1}$ norm, even if spikes prevent pointwise decay.","The half-polarized $T^2$-invariant solutions constructed by Fuchsian methods satisfy the two hypotheses of Proposition 2.65, so they are covered by the non-Gowdy AVTD statement.","For constant-mean-curvature Einstein flows with $R\\le 0$, the normalized volume $t^{-1}\\operatorname{vol}$ is monotone and its equality case is a Kasner solution, giving a clean geometric characterization of the extremal approach to the singularity.","Noncollapsed type-I Einstein flows are rigid in the sense that either they are Lorentzian cones over compact hyperbolic 3-manifolds, or their normalized diameters diverge and one can find many points whose causal pasts are mutually disjoint on the time interval $[\\Lambda^{-1}t,t]$.","Localizing the causal-past statement gives a dichotomy on any open set: near the singularity the rescaled flow is close to a hyperbolic cone, or many mutually disjoint causal pasts exist inside that set."],"supporting_citations":[{"why":"Supplies the global areal foliation with det G=t^N and the SL(N,R) holonomy assumption on which the Gowdy energy and density μ are built.","marker":"[4]"},{"why":"Gives the earlier pointwise AVTD result for four-dimensional Gowdy spacetimes that Theorem 1.3 generalizes to arbitrary dimension and to an averaged norm.","marker":"[28]"},{"why":"Provides the polarized Gowdy monotone energy that the rescaled functional ~E generalizes to the nonpolarized case.","marker":"[19]"},{"why":"Supplies the coordinate form and evolution identities for T^2-invariant non-Gowdy spacetimes that are used in Proposition 2.53 and the H^{-1} derivation.","marker":"[21]"},{"why":"Constructs half-polarized Fuchsian solutions with AVTD behavior and gives the formal asymptotics that motivate condition (1.7).","marker":"[1]"},{"why":"Supplies numerical evidence that general T^2-invariant solutions show Mixmaster-type rather than AVTD behavior, framing the sufficient conditions.","marker":"[6]"},{"why":"Establishes the existence of a CMC foliation near a crushing singularity, which is the setting for all of Section 3.","marker":"[17]"},{"why":"Provides the Fischer-Moncrief normalized-volume monotonicity in the expanding direction whose shrinking-direction analog is t^{-1}vol.","marker":"[16]"},{"why":"Supplies the rescaling and compactness framework used to extract pointed limits of noncollapsed type-I Einstein flows.","marker":"[24]"}],"fun_headline_variants":["Gowdy AVTD: velocity error decays exponentially","AVTD for Gowdy: exponential decay of velocity error","Gowdy spacetimes: AVTD with exponential decay","Gowdy AVTD in any dimension: exponential decay"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The Gowdy proof assumes a global areal time coordinate in which $\\det G=t^N$, with the flat torus bundle having holonomy in $SL(N,\\mathbb{R})$; the $t$-independent density $\\mu$ and the weight $e^{N\\tau}$ are built from that foliation, so if a twisted $T^N$ Gowdy spacetime lacks such a coordinate, the AVTD conclusion of Theorem 1.3 does not follow in that setting.","fun_headline_variants_meta":{"raw":{"variants":["Gowdy AVTD: velocity error decays exponentially","AVTD for Gowdy: exponential decay of velocity error","Gowdy spacetimes: AVTD with exponential decay","Gowdy AVTD in any dimension: exponential decay"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001744,"raw_usage":{"total_tokens":6912,"prompt_tokens":992,"completion_tokens":5920,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":608,"completion_tokens_details":{"reasoning_tokens":5852}},"tokens_in":608,"tokens_out":5920,"duration_ms":43021,"temperature":1.0,"reasoning_tokens":5852,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T14:51:28.921500+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Construct a twisted $T^N$ Gowdy vacuum spacetime whose flat bundle has holonomy outside $SL(N,\\mathbb{R})$, or for which no global areal time coordinate with spatially constant $\\det G$ exists, and show that the integral in (2.44) diverges; alternatively, exhibit a $T^2$-invariant four-dimensional solution with $\\int_Y H\\,d\\theta$ bounded below and $e^{4U}a^2A_\\theta^2\\in H$ for which $a(a^{-1}U_\\tau)_\\tau-\\frac12 e^{2\\tau}e^{4U}A_\\tau^2\\notin H$, contradicting Proposition 2.65.","supporting_citations":[{"cited_title":"Global foliations of vacuum spacetimes with T 2 isometry","cited_arxiv_id":null,"evidence_quote":"Supplies the global areal foliation with det G=t^N and the SL(N,R) holonomy assumption on which the Gowdy energy and density μ are built."},{"cited_title":"Existence of an asymptotic velocity and implicat ions for the asymptotic behaviour in the direction of the singularity in T 3-Gowdy","cited_arxiv_id":null,"evidence_quote":"Gives the earlier pointwise AVTD result for four-dimensional Gowdy spacetimes that Theorem 1.3 generalizes to arbitrary dimension and to an averaged norm."},{"cited_title":"Asymptotic behavior of the gra vitational field and the nature of singu- larities in Gowdy spacetimes","cited_arxiv_id":null,"evidence_quote":"Provides the polarized Gowdy monotone energy that the rescaled functional ~E generalizes to the nonpolarized case."},{"cited_title":"Weakly regular T 2-symmetric spacetimes. The global geometry of future Cauchy developments","cited_arxiv_id":null,"evidence_quote":"Supplies the coordinate form and evolution identities for T^2-invariant non-Gowdy spacetimes that are used in Proposition 2.53 and the H^{-1} derivation."},{"cited_title":"Quasilinear hyp erbolic Fuchsian systems and A VTD behavior in T 2-symmetric vacuum spacetimes","cited_arxiv_id":null,"evidence_quote":"Constructs half-polarized Fuchsian solutions with AVTD behavior and gives the formal asymptotics that motivate condition (1.7)."},{"cited_title":"Oscillatory approach t o the singularity in vacuum spacetimes with T 2 isometry","cited_arxiv_id":null,"evidence_quote":"Supplies numerical evidence that general T^2-invariant solutions show Mixmaster-type rather than AVTD behavior, framing the sufficient conditions."},{"cited_title":"H-surfaces in Lorentzian manifolds","cited_arxiv_id":null,"evidence_quote":"Establishes the existence of a CMC foliation near a crushing singularity, which is the setting for all of Section 3."},{"cited_title":"Hamiltonian reduction and perturb ations of continuously self-similar (n + 1)-dimensional Einstein vacuum spacetimes","cited_arxiv_id":null,"evidence_quote":"Provides the Fischer-Moncrief normalized-volume monotonicity in the expanding direction whose shrinking-direction analog is t^{-1}vol."},{"cited_title":"Collapsing in the Einstein flow","cited_arxiv_id":null,"evidence_quote":"Supplies the rescaling and compactness framework used to extract pointed limits of noncollapsed type-I Einstein flows."}],"review_version":1}