{"id":"3aff6233-7a30-48be-b599-65f95fb36229","arxiv_id":"gr-qc/9511023","paper_version":3,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"At the degenerate points where a two-dimensional spacetime changes topology, the curvature action becomes a complex delta-function, with imaginary parts -2πi (yarmulke) and +2πi (trousers).","lead":"The authors compute what the gravitational action does at the two elementary points where a two-dimensional spacetime changes topology: it becomes complex, with a specific imaginary part. If the extrapolation to higher dimensions holds, 'trousers' topology change is exponentially suppressed while 'yarmulke' creation is enhanced.","discovery_kind":"extension","skeptic_critique":{"model":"selfhosted/deepseek-v4.1-flash","headline":"The 2D delta-function strengths (Eqs. 2.21, 2.35) are correctly derived; the load-bearing soft spot is abstract:s6's unqualified D≥3 suppression/enhancement claim, which Section VI itself says must compete with non-stationarity of Re(S).","rationale":"The reader's strongest_claim (abstract:s5) is correctly identified as the paper's solid core, and I agree the computation is clean. I part company on the weakest_assumption: the reader treats regulator-independence as the load-bearing worry, but for the specific family (2.3) the regulator γ=+iσ does satisfy Im(g_ab)>0, the paper verifies that the massless-scalar convergence condition is equivalent to Im(γ)>0 for this family, and the convexity of D plus the total-divergence property gives constancy on D. The footnote 5 counterexample is outside D, so it does not undercut the argument. The ζ>2 patch (γ=iσ+η, ζ=ζ0−iη) also keeps Im(g_ab)=σδ_ab+η(xdx+εydy)² positive definite, so it too lies in D. The more load-bearing concern is the one the reader mentions only in passing as a 'mild overclaim': abstract:s6 asserts a firm D≥3 suppression/enhancement, while Section VI says the yarmulke enhancement 'would need to be balanced against the suppression coming from the fact that the yarmulke spacetimes are not stationary points of the action'. That is a genuine gap between the abstract's 'implies' and the body's qualified discussion, and it is the paper's main claim per the record. It is a framing/interpretation gap rather than a technical error in the 2D computation, so the reader's CONDITIONAL verdict is appropriate and I would not move it. The concrete test above would settle whether the yarmulke is net enhanced or net suppressed once the non-stationarity of Re(S) is included, which is exactly the question abstract:s6 asserts an answer to without argument.","tokens_in":26633,"tokens_out":18553,"duration_ms":108469,"concrete_test":"For the D=4 yarmulke product metric (2D yarmulke of subsection II B × flat T²), evaluate the full action S=(1/2κ)∫√(−g)R including the (D−2)-volume A, and check whether Im(S) is stationary under a compact-support variation of the T² volume at the singular point. If Im(S) is not stationary (as footnote 11 suggests), the 'exponential enhancement' is not a saddle-point result and abstract:s6's 'implies' is too strong. A sharper version: compute the net exponent Im(S) minus the non-stationarity penalty for a representative yarmulke with β>0; if the net exponent is negative, the yarmulke is net suppressed, directly contradicting the abstract's 'exponentially enhanced'.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The core computation is sound: I re-derived the integration by parts in Eqs. (2.11), (2.18) and (2.33), including the branch choices for the square roots in (2.15) and (2.25), and the complex delta-function strengths β−2πi and +2πi follow. The regulator-independence worry the reader flags is actually fairly well controlled for the specific family (2.3): the regulator γ=+iσ gives Im(g_ab)=σδ_ab>0, the domain D={Im(g_ab)>0} is convex, and the paper's footnote 5 counterexample (the metric with f(τ)=sin τ[1+i sin²τ cos τ]) lies outside D because Im(f²)=2 sin⁴τ cos τ changes sign. So the constancy-on-D argument is not threatened by that counterexample. The genuine soft spot is the leap from the 2D result to abstract:s6. The paper computes the action for a 2D metric, then asserts that in D≥3 the product with a flat (D−2)-torus gives exp(∓A/4G). But that product metric is explicitly not a stationary point of the action (Section VI and footnote 11 say so), so the path-integral contribution is a heuristic estimate of the integrand at a non-stationary point, not a controlled saddle-point evaluation. For the yarmulke, Re(S) contains the non-zero rapidity β, so the enhancement from Im(S) must compete with the suppression from non-stationarity of Re(S); the abstract states 'exponentially enhanced' without that qualification. This is a real gap between abstract:s6 and the body, not merely a stylistic one.","agreement_with_reader":"partial"},"referee_report":{"model":"selfhosted/deepseek-v4.1-flash","summary":"The paper computes the distributional limit of the scalar-curvature density (1/2)√−g R for two one-parameter families of smooth but degenerate Lorentzian metrics on R²: the 'yarmulke' (a Misner-space causal region plus one point) and the 'trousers' (the double cover of punctured Minkowski space, i.e. the crotch singularity). The metrics are regularized by an imaginary part whose sign is fixed by the requirement that the scalar-field path integral converge (Im(g_ab) > 0). Integrating against a test function, integrating by parts, and taking the regulator to zero by dominated convergence, the authors obtain delta-function strengths β − 2πi for the yarmulke and +2πi for the trousers (Eqs. 2.21, 2.35). They cross-check these against a complexified Gauss-Bonnet theorem and Regge calculus (Section III), discuss distributional curvature and the role of the differentiable structure (Section IV), examine the status of the regulator sign (Section V), and argue that in D ≥ 3 the product metrics give exponential suppression of crotch topology change and enhancement of yarmulke creation/annihilation, contrasting with the vielbein-cum-connection formulation (Section VI, Appendices A and B).","tokens_in":26919,"tokens_out":5265,"duration_ms":93648,"significance":"The two-dimensional result is a clean, explicit, and checkable computation: the integration by parts in Eqs. (2.11), (2.18) and (2.33) is correct, the branch choices in (2.15) and (2.25) are stated, and the complex delta-function strengths follow. The observation that the action at a Lorentzian conical singularity acquires an imaginary part of fixed sign is genuinely interesting and, at the time of writing, novel. The paper is also commendably candid about its own limitations in the body: it states that the product metrics are not stationary points of S (Section VI, footnote 11), that the complex Gauss-Bonnet theorem is not proved and that footnote 5 gives a counterexample to the naive version, and that the ζ > 2 regulator is 'rather ad hoc'. The D ≥ 3 extrapolation is heuristic rather than a controlled saddle-point evaluation, and the abstract should reflect that.","major_comments":[{"comment":"The abstract states as an implication that in D ≥ 3 'topology change via a crotch singularity is exponentially suppressed, whereas appearance or disappearance of a universe via a yarmulke singularity is exponentially enhanced.' Section VI and footnote 11 state that the product metrics are explicitly not stationary points of S, so the path-integral weight is an estimate of the integrand at a non-stationary configuration, not a saddle-point evaluation. For the yarmulke, Re(S) contains the non-zero rapidity β, so the enhancement from Im(S) must compete with the suppression from non-stationarity of Re(S), as Section VI itself says. The abstract omits this qualification and thereby overstates what the two-dimensional computation establishes. I recommend revising abstract:s6 to match the careful wording of Section VI.","section":"Abstract, abstract:s6, versus Section VI","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"For ζ > 2 the imaginary parts of the mass term and the kinetic term in the scalar action have opposite sign, so no regulator satisfying Im(g_ab) ≥ 0 exists in that range. The patch proposed (γ = iσ + η, ζ = ζ0 − iη) is described by the authors themselves as 'rather ad hoc' and as not clearly guaranteeing that a different regulator might not give a different outcome. Consequently the uniqueness argument of Section V, which rests on the convexity of the domain D = {Im(g_ab) > 0}, does not cover ζ > 2, and the statement that 'any regulator respecting (2.22) will resolve the sign ambiguity ... in the same way' is not established there. Since the imaginary part of the delta-function strength is ζ-independent, the central result is not threatened, but the scope of the regulator-independence claim should be stated explicitly rather than left to be inferred.","section":"Section V, ζ > 2","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The framing claim that '(with minor exceptions) any nontrivial Lorentzian cobordism necessarily possesses' points of metric degeneration is not proved in the paper, and its cited support is Ref. [17] (Borde and Sorkin, 'in preparation') together with an unpublished note by Isham. The two explicit families studied in Section II do not depend on this general theorem, so the computation stands, but the general framing rests on unpublished work. Either supply the argument or soften the framing so that the reader can see which claims are established here and which are deferred to Ref. [17].","section":"Abstract, abstract:s0, and Section II introduction","authors_acknowledge":null,"authors_acknowledge_p":null}],"minor_comments":[{"comment":"The sentence 'the result obtained in Section II was explicitly seen to depended on ζ only through whether ζ < 1 or ζ > 1' contains a grammatical error; 'depended' should read 'depend'.","section":"Section IV, paragraph after Eq. (4.2)","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The ∓ notation and the branch choice for the square roots in (2.15) and (2.25) are explained, but the explanation would read more cleanly if the branch convention were stated once at first use and then referenced, rather than re-derived in each subsection.","section":"Eqs. (2.19) and (2.34)","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The counterexample metric with f(τ) = sin τ [1 + i sin²τ cos τ] is a useful caution, but the main text should state explicitly that it lies outside the domain D = {Im(g_ab) > 0} used in Section V, so that a reader does not conclude that it undermines the uniqueness argument there.","section":"Section III, footnote 5","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The distributional Riemann tensor is shown to be highly sensitive to the regularization and to the differentiable structure. It would help to state plainly in the main text that no regularization-independent distributional Riemann tensor exists for these metrics, rather than leaving this to be inferred from the two worked examples.","section":"Section IV, Eq. (4.2)","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The discussion of 'generalized (or C⁰) isometry' and the proposal that a generalized isometry preserve both the local causal order and the volume element is programmatic and is flagged as an open question by the authors. It would be clearer if this passage were explicitly labelled as a conjecture or direction for future work rather than presented alongside the established results.","section":"Section VI, final paragraphs","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"Ref. [17] is listed as 'in preparation'; if it has since appeared, the citation should be updated so that the general cobordism claim can be checked against a published source.","section":"References","authors_acknowledge":null,"authors_acknowledge_p":null}],"recommendation":"minor_revision","confidential_remarks":"The manuscript header states 'Published in Class. Quantum Grav. 14 (1997) 179–203', which bears on the journal's prior-publication policy and should be checked before proceeding. On the substance, the two-dimensional computation is sound and the paper is candid about its limitations in the body; the revisions requested are confined to aligning the abstract with Section VI and clarifying the scope of the regulator-independence claim for ζ > 2."},"author_rebuttal":null,"desk_editor":{"model":"selfhosted/deepseek-v4.1-flash","letter":"The thing to take from this paper is Section II. Louko and Sorkin take the Morse-inspired degenerate metrics, put a small imaginary regulator in, and compute (1/2)√(−g)R against a test function by explicit integration by parts. The limit is a delta function at the degenerate point with strength β−2πi for the yarmulke and +2πi for the trousers. I worked through Eqs. (2.11), (2.18) and (2.33), including the branch choices in (2.15) and (2.25), and the results follow. The Euclidean cases reproduce the defect-angle answer, which is the right sanity check. This is a real, checkable computation, and it is the part of the paper that will last. The Regge calculus cross-check in Section V is consistent, and it is a cross-check, not an input, so the self-citation to Sorkin's earlier work is not a problem here. The metric-versus-vielbein contrast in the appendices is a nice bonus and is done carefully: the regularized triad sequence does not converge to the singular solution, and the distributional curvature matches the metric-side answer. That is a genuinely useful observation for anyone thinking about first-order formulations. On the reader's worry about regulator independence: I think it is somewhat overstated. The domain Im(g_ab)>0 is convex, and the footnote-5 counterexample sits outside it, so the constancy argument is better controlled than it first looks. The ζ>2 failure of scalar-field convergence is real, and the complex rotation of ζ in Section V is admittedly ad hoc, but the authors say so. The genuine soft spot is the jump from the 2D result to abstract:s6. Section VI and footnote 11 both say the product metric is not stationary, and that the yarmulke enhancement has to compete with the non-stationarity of Re(S). The abstract states the enhancement flatly. That is a gap between abstract and body, not a mathematical error, and the body is honest about it. The closing discussion of C⁰ isometries is speculative and not load-bearing. Who should read it: anyone working on topology change, complex actions, or the metric/first-order split. Worth a serious referee, mainly to press on the abstract framing and the regulator-independence argument.","headline":"The two-dimensional computation is clean and worth citing; the abstract's D≥3 suppression/enhancement claim runs ahead of what Section VI actually establishes.","tokens_in":27639,"tokens_out":984,"would_cite":true,"duration_ms":20177,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"pith_extraction":{"msc":[],"pacs":["04.20.Fy","04.60.Kz","04.60.Gw"],"model":"selfhosted/deepseek-v4.1-flash","headline":"By regularizing two families of degenerate two-dimensional metrics with a small positive imaginary part, the paper computes the action at a Lorentzian conical singularity and finds it complex: $+2πi$ at a topology-changing crotch, and $β - ","keywords":["topology change","conical singularity","complex action","Einstein-Hilbert action","Misner space","Regge calculus","Lorentzian cobordism","gravitational path integral"],"falsifier":"Exhibit a regularization of the same yarmulke or trousers metrics that respects $Im(g_{ab}) ≥ 0$ but yields a different coefficient for the delta-function — or show that the Gauss–Bonnet integral fails to be constant on the convex domain $Im(g_{ab}) > 0$ — which would make the complex strength regulator-dependent rather than a property of the geometry.","tokens_in":27877,"feed_emoji":"🕳️","tokens_out":2833,"duration_ms":50444,"temperature":0.7,"pith_summary":"The paper asks what the Einstein–Hilbert action $S = (1/2κ)∫ d^Dx √{-g} R$ is worth on the degenerate metrics that make topology change possible. In two dimensions every cobordism is built from two elementary pieces, the 'yarmulke' (a Misner-space region plus one point, like a cosmological initial singularity) and the 'trousers' (whose crotch is where the topology actually changes, and which is also the fundamental vertex of string theory). The authors write down explicit smooth Morse-theory metrics on $R^2$ that are flat everywhere except at one point, deform them by a small imaginary regulator chosen so that a scalar-field path integral converges, and then take the regulator to zero. The scalar curvature density becomes a delta-function at the singular point whose strength is complex: $β - 2πi$ for the yarmulke, where $β$ is the Misner rapidity, and $+2πi$ for the trousers, independent of every parameter. This matters because when such a two-dimensional geometry is multiplied by flat extra dimensions, the imaginary part of the action scales with the volume of those dimensions, so topology change through a crotch is exponentially suppressed by $e^{-A/4G}$ in four dimensions while creation or annihilation of a universe through a yarmulke is exponentially enhanced.","feed_headline":"A crotch singularity costs 2πi in the action","feed_subtitle":"Regularizing degenerate two-dimensional metrics turns curvature into a complex delta-function, suppressing topology change.","key_machinery":"The load-bearing device is the two-parameter metric family $ds^2 = (x^2 + y^2 + γ)(dx^2 + dy^2) - ζ(x dx + ǫ y dy)^2$, built from the Morse function $f = ½(x^2 + ǫy^2)$ with a flat auxiliary metric, which is analytic and flat away from the origin but degenerates there. The regulator $γ$ is taken positive for the Euclidean cases and purely imaginary ($γ = +iσ$) for the Lorentzian ones, because a real regulator destroys invertibility; the sign of $Im γ$ is fixed by scalar-field convergence. Integrating $½√{-g}R$ against a test function, integrating by parts, and using dominated convergence to drop the surviving integral gives the delta-function strengths directly. Two independent cross-checks carry the generality claim: a suitably complexified Gauss–Bonnet theorem, in which a closed two-manifold with Euler number $χ$ satisfies $½∫d^2x√{-g}R = -2πiχ$, and Lorentzian Regge calculus with complex defect angles. The Gauss–Bonnet route is illustrated by closing off a trousers with three yarmulkes to make an $S^2$, and by adding two points to a patch of $(1+1)$-dimensional anti-de Sitter space.","core_discovery":"The central claim is that the Ricci scalar density $½√{-g}R$ of a Lorentzian conical-type singularity is a delta-function with a complex coefficient, and that the sign of the imaginary part is fixed by the requirement that the regulated spacetime admit a convergent scalar-field path integral (equivalently $Im(g_{ab}) > 0$). For the yarmulke family the coefficient is $β - 2πi$; for the trousers family it is $+2πi$. The real part reproduces the ordinary defect-angle result known from Euclidean conical singularities, while the imaginary part is new and, in the trousers case, universal: all values of the metric parameter $ζ > 1$ describe the same geometry and give the same $2πi$. The authors then argue that these singular metrics are not stationary points of the action in $D ≥ 3$ dimensions — the conical contribution scales with the $(D-2)$-dimensional volume and is not stationary under variations of that volume — so topology change is classically forbidden in the metric formulation, and quantum-mechanically the imaginary part adds an exponential suppression for the trousers and an exponential enhancement for the yarmulke. A closing contrast is drawn with the vielbein-cum-connection formulation, in which the trousers apparently does solve the field equations.","pith_inferences":["If the imaginary part of the action is real and universal rather than an artifact of the chosen regulator, it should be recoverable from an independent discrete construction — a Regge or causal-set sum over the same cobordism — and the two numbers should agree in sign as well as magnitude.","The sign asymmetry between trousers (suppressed) and yarmulke (enhanced) suggests a one-loop consistency check: the same imaginary part should show up as the phase of a matter determinant on the singular background, so a heat-kernel computation of the effective action near the crotch is a concrete place to look for agreement.","The authors' own remark that the coefficient $8π/κ = 1/4G$ coincides with the one appearing in black-hole entropy hints that the imaginary action of a singular surface and horizon entropy may be two readings of the same boundary term; that is a conjecture the paper raises but does not pursue.","The proposal that 'generalized isometries' — homeomorphisms preserving causal order and the volume element — should replace diffeomorphisms as gauge equivalences for degenerate metrics is testable in principle: two of the paper's trousers metrics with different $ζ$ should be physically identified, and any path integral that fails to do so overcounts histories."],"forward_implications":["In the metric formulation of Einstein gravity in $D ≥ 3$, spacetimes containing a crotch singularity are not classical solutions, so topology change is forbidden in the classical limit.","In the gravitational path integral, trousers histories are suppressed by $\\exp(-A/4G)$ in $3+1$ dimensions, where $A$ is the area of the two flat dimensions, making topology change through a crotch exponentially disfavoured.","Yarmulke histories are enhanced by the same exponential factor, which the authors read as possible evidence for enhanced creation or annihilation of a universe, to be balanced against the non-stationarity of the real part of the action.","The metric and vielbein-cum-connection formulations of gravity appear to be physically inequivalent, since the trousers solves the field equations in the latter but not the former.","Because the curvature density is a weight-one scalar density, the result is independent of the differentiable structure used to approach the singular point, unlike distributional Riemann or Ricci tensors, which the authors show are highly regularization-dependent."],"supporting_citations":[{"why":"Supplies the Morse-function construction of almost-Lorentzian metrics on arbitrary cobordisms that the whole paper's metric family is built from.","marker":"[16]"},{"why":"The causal-cobordism work establishing that these degenerate metrics retain a global causal ordering, which is what makes them admissible histories at all.","marker":"[17]"},{"why":"Supplies the Regge-calculus treatment of conical singularities and the complex-angle trigonometry used to cross-check the delta-function strengths.","marker":"[20]"},{"why":"Establishes that Euclidean conical singularities are not stationary points of the generalized Einstein–Hilbert action, the result the Lorentzian analysis extends.","marker":"[6]"},{"why":"One of the pair of papers giving the conical-singularity action and its non-stationarity under variation of the transverse volume.","marker":"[33]"},{"why":"Companion work on the same conical action and its relation to horizon entropy, cited for the non-stationarity argument in $D ≥ 3$.","marker":"[34]"},{"why":"Provides the vielbein-cum-connection claim that the trousers is an exact solution, which is the contrast the paper's conclusions are drawn against.","marker":"[41]"},{"why":"Hawking and Ellis is the source for Misner space, whose causal region plus one point defines the yarmulke spacetime and its rapidity parameter $β$.","marker":"[2]"},{"why":"Geroch and Traschen's distributional-curvature analysis is the reference point for why distributional Riemann tensors for conically singular metrics are ill-behaved.","marker":"[4]"}],"fun_headline_variants":["Crotch singularity: +2πi in the scalar action","Yarmulke: β − 2πi from a convergent path integral","Trousers topology change picks up +2πi and suppression","D≥3 suppression rests on non-stationarity, not a proof","Vielbein route may dodge the trousers suppression"],"cache_read_input_tokens":0,"weakest_assumption_plain":"The claim that any adequate regulator gives the same complex delta-function strength rests on the convexity of the domain $Im(g_{ab}) > 0$ together with a complex Gauss–Bonnet theorem that the authors state they have not proven, and their own footnote gives an explicit complex metric on $S^2$ for which the naive version of that theorem fails.","fun_headline_variants_meta":{"raw":{"variants":["Crotch singularity: +2πi in the scalar action","Yarmulke: β − 2πi from a convergent path integral","Trousers topology change picks up +2πi and suppression","D≥3 suppression rests on non-stationarity, not a proof","Vielbein route may dodge the trousers suppression"]},"model":"selfhosted/deepseek-v4.1-flash","effort":"low","attempts":1,"cost_usd":0.0,"raw_usage":{"total_tokens":2548,"prompt_tokens":1139,"completion_tokens":1409,"prompt_tokens_details":null,"completion_tokens_details":{"reasoning_tokens":1330}},"tokens_in":1139,"tokens_out":1409,"duration_ms":27795,"image_pages":[],"temperature":1.0,"reasoning_budget":50,"reasoning_tokens":1330,"transport_provider":"selfhosted","cache_read_input_tokens":0,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-10-29T19:26:49.908311+00:00","model_set":{"reader":"selfhosted/deepseek-v4.1-flash"},"falsifier":"Exhibit a regularization of the same yarmulke or trousers metrics that respects $Im(g_{ab}) ≥ 0$ but yields a different coefficient for the delta-function — or show that the Gauss–Bonnet integral fails to be constant on the convex domain $Im(g_{ab}) > 0$ — which would make the complex strength regulator-dependent rather than a property of the geometry.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the Morse-function construction of almost-Lorentzian metrics on arbitrary cobordisms that the whole paper's metric family is built from."},{"cited_title":"Causal Cobordism: Topology Change With out Causal Anomalies","cited_arxiv_id":null,"evidence_quote":"The causal-cobordism work establishing that these degenerate metrics retain a global causal ordering, which is what makes them admissible histories at all."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the Regge-calculus treatment of conical singularities and the complex-angle trigonometry used to cross-check the delta-function strengths."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Establishes that Euclidean conical singularities are not stationary points of the generalized Einstein–Hilbert action, the result the Lorentzian analysis extends."},{"cited_title":"The Off-Shell Black Hole","cited_arxiv_id":"gr-qc/9312002","evidence_quote":"One of the pair of papers giving the conical-singularity action and its non-stationarity under variation of the transverse volume."},{"cited_title":"Aspects of Black Hole Quantum Mechanics and Thermodynamics in 2+1 Dimensions","cited_arxiv_id":"gr-qc/9405070","evidence_quote":"Companion work on the same conical action and its relation to horizon entropy, cited for the non-stationarity argument in $D ≥ 3$."},{"cited_title":"Quantum Grav","cited_arxiv_id":null,"evidence_quote":"Provides the vielbein-cum-connection claim that the trousers is an exact solution, which is the contrast the paper's conclusions are drawn against."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Hawking and Ellis is the source for Misner space, whose causal region plus one point defines the yarmulke spacetime and its rapidity parameter $β$."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Geroch and Traschen's distributional-curvature analysis is the reference point for why distributional Riemann tensors for conically singular metrics are ill-behaved."}],"review_version":1}