{"id":"b15f23bd-f9b2-4b55-ab4e-18112dad6f95","arxiv_id":"2604.19868","paper_version":2,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":7.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":1,"one_line_summary":"Crosscap defects are introduced in CFTs via Z2 quotients, with crossing equations derived and CFT data computed in the O(N) model at Gaussian and Wilson-Fisher points showing absent displacement and tilt operators for generic p.","lead":"This paper introduces crosscap defects in conformal field theory by quotienting spacetime with a Z2 automorphism, generalizing CFT on real projective space to higher codimensions with new crossing equations. Smart generalists might read it to see how new defect constructions can model symmetries and operator spectra in quantum systems and condensed matter.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.3","headline":"The construction requires a Z2 automorphism with p-dimensional fixed locus preserving exactly SO(p+1,1)×PO(d-p), but the explicit form of this involution and its commutant in the conformal algebra is not verified for generic d,p.","rationale":"The reader's weakest assumption isolates the single geometric prerequisite on which the entire defect definition, symmetry reduction, OPE channels, and later ε-expansion results rest. All subsequent claims (block equivalence, missing displacement operators, conformal manifolds without marginals) presuppose that this Z2 action exists and is consistent in general dimensions. Because the manuscript review was abstract-only, confirming the algebra commutant supplies the minimal, falsifiable test that either secures or refutes the central construction without invoking external literature.","tokens_in":1731,"tokens_out":444,"duration_ms":82882,"concrete_test":"Fix d=4, p=2; write the candidate Z2 map (sign flip on the two transverse coordinates), compute its commutant inside the 15-dimensional conformal algebra, and verify that the resulting subalgebra is exactly so(3,1) ⊕ po(2). If the dimension or commutation relations deviate, the symmetry assumption fails and the three-channel decomposition cannot hold.","verdict_should_be":"UNCHANGED","load_bearing_attack":"For the defect to be well-defined via quotient and to support three independent OPE channels (bulk, image, defect) with the claimed crossing equations, the Z2 must be a conformal automorphism whose fixed set is precisely p-dimensional and whose centralizer in SO(d+1,1) is the stated subgroup. In coordinates this would mean choosing a linear involution that fixes an R^p subspace pointwise while acting as -1 on the transverse R^{d-p}; the preserved generators must then close into SO(p+1,1) on the fixed plane and into PO(d-p) transversely. Without an explicit check that this algebra is realized and that the quotient manifold admits a consistent CFT operator algebra (no extra singularities or anomalies along the fixed locus), the reduction to defect-CFT blocks via cross-ratio redefinition and the absence of displacement/tilt operators remain formal.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript introduces a novel class of defects termed crosscap defects in CFTs in general dimensions. These are constructed by quotienting spacetime by a Z2 automorphism with a p-dimensional fixed locus, preserving an SO(p+1,1)×PO(d-p) subgroup of the conformal group. The setup yields three OPE channels (bulk, image, defect) and associated crossing equations. Conformal blocks are shown to match those of defect CFT up to cross-ratio redefinition. Explicit computations of CFT data as a function of p are performed in the O(N) model at the Gaussian and Wilson-Fisher fixed points in the ε-expansion, with the result that displacement and tilt operators are absent for generic p and that these defects realize conformal manifolds without exactly marginal operators.","tokens_in":1941,"tokens_out":655,"duration_ms":50906,"significance":"If the symmetry preservation and consistency of the quotient construction can be established, the work offers a higher-codimension generalization of CFT on RP^d that may prove useful for classifying defects with reduced conformal symmetry. The block equivalence simplifies future calculations, and the O(N) results supply concrete, p-dependent data together with the distinctive feature that displacement and tilt operators are absent. The absence of exactly marginal operators on the defect conformal manifold is also noteworthy.","major_comments":[{"comment":"The explicit form of the Z2 involution, its action on coordinates, and the direct verification that the fixed locus is precisely p-dimensional while the preserved subalgebra is exactly SO(p+1,1)×PO(d-p) are not supplied. This verification is load-bearing for the definition of the defect and the claimed symmetry reduction.","section":"Construction of crosscap defects"},{"comment":"The derivation of the three OPE channels and the associated crossing equations from the quotient is stated but not derived in detail; in particular, consistency of the operator algebra along the fixed locus (absence of extra singularities or anomalies) is not checked explicitly.","section":"Crossing equations"},{"comment":"In the O(N) model section, the ε-expansion results for the CFT data are given as functions of p, yet no error estimates, comparison with known limits (e.g., p=0 or p=d-1), or explicit checks confirming the absence of displacement and tilt operators for generic p are provided.","section":"O(N) model computations"}],"minor_comments":[{"comment":"Clarify the precise meaning of PO(d-p) in the preserved symmetry group, as the notation can be ambiguous between projective and parity-including orthogonal groups.","section":"Symmetry discussion"},{"comment":"Add a brief comparison table or limiting-case discussion showing how the crosscap defect reduces to the standard RP^d case when p=d-1.","section":"Introduction"}],"recommendation":"major_revision","confidential_remarks":"The manuscript presents a formal construction with limited explicit derivations or consistency checks, which may explain the low soundness rating; substantial additions to the construction and computation sections would be needed before the central claims become verifiable."},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for their thorough review and insightful comments on our manuscript. We address each of the major comments in detail below and outline the revisions we intend to implement.","responses":[{"response":"We agree with the referee that providing an explicit construction would clarify the setup. In the revised manuscript, we will include a new subsection that specifies the Z2 involution explicitly in coordinates, demonstrates that the fixed locus is p-dimensional, and verifies the preserved symmetry subgroup by computing the action on the conformal generators.","revision_made":"yes","referee_comment":"The explicit form of the Z2 involution, its action on coordinates, and the direct verification that the fixed locus is precisely p-dimensional while the preserved subalgebra is exactly SO(p+1,1)×PO(d-p) are not supplied. This verification is load-bearing for the definition of the defect and the claimed symmetry reduction."},{"response":"We acknowledge that the derivation could benefit from more detail. We will expand the relevant section to derive the three OPE channels (bulk, image, and defect) step by step from the quotient. For the consistency along the fixed locus, we will add a discussion explaining why no extra singularities or anomalies arise, based on the properties of the Z2 quotient and the conformal invariance.","revision_made":"yes","referee_comment":"The derivation of the three OPE channels and the associated crossing equations from the quotient is stated but not derived in detail; in particular, consistency of the operator algebra along the fixed locus (absence of extra singularities or anomalies) is not checked explicitly."},{"response":"We appreciate this suggestion for improving the robustness of our results. In the revised version, we will add error estimates to the ε-expansion computations, include comparisons with the special cases p=0 and p=d-1 where possible, and provide explicit checks or arguments (such as through Ward identities or coefficient vanishing) to confirm the absence of displacement and tilt operators for generic p.","revision_made":"yes","referee_comment":"In the O(N) model section, the ε-expansion results for the CFT data are given as functions of p, yet no error estimates, comparison with known limits (e.g., p=0 or p=d-1), or explicit checks confirming the absence of displacement and tilt operators for generic p are provided."}],"tokens_in":1504,"tokens_out":517,"duration_ms":63606,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main takeaway is that this work introduces crosscap defects as Z2 quotients of flat space with a p-dimensional fixed set, generalizing the RP^d constructions to higher-codimension defects while preserving SO(p+1,1) times PO(d-p). They spell out three OPE channels for two-point functions, write the corresponding crossing equations, and note that the conformal blocks match ordinary defect CFT blocks after a cross-ratio redefinition. In the O(N) model they then compute the data at both the Gaussian and Wilson-Fisher points in epsilon expansion, as a function of p, and report that displacement and tilt operators are missing for generic p. That supplies concrete examples of defect conformal manifolds without exactly marginal operators, which is a useful observation inside the subfield. The calculations appear independent of fitted parameters and the new entities do not collapse to earlier defect literature. The soft spot is the symmetry claim itself. The abstract asserts that the Z2 automorphism has a p-dimensional fixed locus and exactly the stated centralizer in the conformal algebra, but without an explicit linear involution and a check that the preserved generators close properly for arbitrary d and p, it is not immediate that the quotient is free of extra singularities or anomalies along the fixed set. If the full text contains that algebra verification, the crossing equations and block statements are on firm ground; if it is only sketched, those parts stay somewhat formal. This is aimed at people already working on defect CFT, conformal bootstrap, or higher-codimension constructions. Anyone looking for new explicit examples or for defect manifolds without marginal operators will find usable results here. The combination of a new construction plus concrete computations is enough to justify sending the paper to a serious referee rather than desk-rejecting it.","headline":"The paper defines crosscap defects from a Z2 quotient with p-dimensional fixed locus and gives explicit O(N) epsilon-expansion data showing absent displacement operators.","tokens_in":2405,"tokens_out":425,"would_cite":true,"duration_ms":36293,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":{"model":"grok-4.3","evidence":[],"headline":"Crosscap defect construction in CFT quotients is orthogonal to RS forcing chain","alignment":"orthogonal","rationale":"The paper's core machinery (Z2 involution ι_p fixing an Rp locus, preserved SO(p+1,1)×PO(d-p) symmetry, three OPE channels with crosscap crossing equations, defect blocks identical to DCFT blocks up to cross-ratio redefinition, explicit ε-expansion in O(N) model) operates entirely within standard conformal field theory on quotients of flat space. It invokes neither the recognition cost J(x)=½(x+x⁻¹)−1, the golden-ratio ladder, 8-tick periodicity, nor any parameter-free derivation from a single distinction. No RS theorem (reality_from_one_distinction, AbsoluteFloorClosure, Cost.FunctionalEquation, AlexanderDuality_circle_linking, etc.) is paralleled or contradicted.","tokens_in":66555,"confidence":"high","tokens_out":197,"duration_ms":12760,"cache_read_input_tokens":128,"cache_creation_input_tokens":0},"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"Crosscap defects arise from Z2 quotients of spacetime and generalize CFT on real projective space to higher codimensions.","keywords":["crosscap defects","conformal field theory","Z2 quotient","defect CFT","O(N) model","crossing equations","conformal blocks","epsilon expansion"],"falsifier":"Demonstrating that the conformal blocks fail to match defect CFT blocks after cross-ratio redefinition, or finding inconsistent crossing equations among the bulk, image, and defect channels, would invalidate the construction.","tokens_in":2637,"feed_emoji":"🌀","tokens_out":704,"duration_ms":49382,"temperature":0.7,"pith_summary":"The paper establishes a new type of defect in conformal field theories called crosscap defects. These come from quotienting the spacetime manifold by a Z2 symmetry. They generalize the well-known setup of CFT on real projective space to defects of arbitrary codimension. This construction leads to specific symmetry preservation and multiple operator product channels that must satisfy crossing relations. Studying them in the O(N) model provides concrete examples where certain operators are absent.","feed_headline":"Z2 quotients create crosscap defects in any dimension","feed_subtitle":"They generalize RP^d CFTs to higher codimensions, with three OPE channels and no displacement operators in the O(N) model.","key_machinery":"Crosscap defect from Z2 spacetime automorphism with p-dimensional fixed locus preserving SO(p+1,1) × PO(d-p) subgroup","core_discovery":"We introduce a novel class of defects, termed crosscap defects, in conformal field theory (CFT) in general dimensions. These arise from quotienting the spacetime by a Z_2 automorphism, and provide higher-codimension generalisations of CFT on real projective space (RP^d). Crosscap defects extend along a p-dimensional fixed locus of the Z_2 action and preserve an SO(p+1,1)×PO(d-p) subgroup of the conformal group. The two-point functions of operators in this setup exhibit three operator product expansion channels: bulk, image, and defect. These lead to several crosscap crossing equations, which we present.","pith_inferences":["The construction may extend to other quotient symmetries or orbifold backgrounds in CFT.","Absence of displacement operators could simplify bootstrap analyses of such defects in additional models.","Numerical checks in low dimensions or lattice realizations could verify the predicted CFT data.","These defects might connect to existing work on defects in curved or non-orientable spacetimes."],"forward_implications":["Two-point functions exhibit three OPE channels (bulk, image, defect) that yield crosscap crossing equations.","Conformal blocks match defect CFT blocks exactly after redefining cross ratios.","In the O(N) model, explicit CFT data at Gaussian and Wilson-Fisher points can be computed in the epsilon expansion as a function of p.","Displacement and tilt operators are absent for generic p, yielding defect conformal manifolds without exactly marginal operators."],"fun_headline_variants":["Z2 quotients yield crosscap defects in CFT","Higher codimension crosscap defects beyond RP^d","Three OPE channels in crosscap defect correlators","Crosscap defects miss displacement operators for generic p","O(N) model crosscap defects via epsilon expansion"],"cache_read_input_tokens":64,"weakest_assumption_plain":"The Z2 automorphism admits a p-dimensional fixed locus that preserves an SO(p+1,1)×PO(d-p) subgroup of the conformal group.","fun_headline_variants_meta":{"raw":{"variants":["Z2 quotients yield crosscap defects in CFT","Higher codimension crosscap defects beyond RP^d","Three OPE channels in crosscap defect correlators","Crosscap defects miss displacement operators for generic p","O(N) model crosscap defects via epsilon expansion"]},"model":"grok-4.3","cost_usd":0.006565,"raw_usage":{"total_tokens":3013,"prompt_tokens":720,"num_sources_used":0,"completion_tokens":72,"cost_in_usd_ticks":65653000,"prompt_tokens_details":{"text_tokens":720,"audio_tokens":0,"image_tokens":0,"cached_tokens":64},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":2221,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":720,"tokens_out":72,"duration_ms":27108,"temperature":1.0,"reasoning_tokens":2221,"cache_read_input_tokens":64,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-05-19T17:33:48.659204+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"Demonstrating that the conformal blocks fail to match defect CFT blocks after cross-ratio redefinition, or finding inconsistent crossing equations among the bulk, image, and defect channels, would invalidate the construction.","supporting_citations":[],"review_version":2}