Pith. sign in

REVIEW 1 major objections 5 minor 36 references

Crowned Lie groups and nets of real subspaces

T0 review · 1 major / 5 minor · reviewed 2026-08-15 · deepseek-v4-flash

Pith's one-line read The paper shows that attaching a complex crown domain to a Lie group turns antiunitary representations into nets of real subspaces satisfying the four standard axioms of algebraic quantum field theory.

desk verdict A genuine unifying construction of nets from antiunitary representations, with the main theorem honestly conditional on a cyclicity condition that is verified only for specific classes—not for all crowned Lie groups. read the letter →

arxiv 2506.16422 v1 pith:DKPS6R7E submitted 2025-06-19 math.RT

classification math.RT MSC 22E4522E2581T05
keywords crowndomainantiunitaryrepresentationnetofrealsubspacesEulerelementBisognano-WichmannpropertyReeh-Schliederh-regularityalgebraicquantumfieldtheory
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper introduces crowned Lie groups—triples $(G,h,\Xi)$ of a connected Lie group, an Euler element $h$, and a complex crown domain $\Xi$—and uses them to build nets of real subspaces from antiunitary representations. The central Construction Theorem (Theorem 2.14) shows that whenever a representation has a $G$-cyclic subspace $F$ of $H^J_{\mathrm{temp}}\cap H^\omega(\Xi)$, the boundary-value net $H^G_E(O)=\overline{\mathrm{span}}_{\mathbb R}U^{-\infty}(C_c^\infty(O,\mathbb R))E$ with $E=\beta_+(F)$ satisfies isotony, covariance, the Reeh–Schlieder property, and the Bisognano–Wichmann property. A companion theorem (Theorem 4.1) characterizes the existence of such nets by $h$-regularity, a form of cyclicity of the intersection of translates of the standard subspace. The paper works out the affine group $\mathrm{Aff}(\mathbb R)$, showing that a large natural crown is too big because $H^\omega(\Xi_1)\cap H^J_{\mathrm{temp}}=\{0\}$, while a smaller crown works, and it verifies the regularity condition for all antiunitary representations of the split oscillator group. Together these results provide a unifying representation-theoretic mechanism behind several previously separate net constructions.

What carries the argument

The central object is the complex crown domain $\Xi$: a connected complex manifold containing $G$ as a totally real submanifold, with a $G_{\tau_h}$-action, an $e$-neighborhood $W^c$ in the fixed-point set whose $e^{th}$-orbit maps extend holomorphically to the strip $S^{\pm\pi/2}$, and a holomorphic equivariant covering map to the complexification $G_{\mathbb C}$. The load-bearing mechanism is the boundary-value map $\beta_+$ that sends a $J$-fixed tempered vector to its distribution boundary value in $H^{-\infty}_{U_h,\mathrm{KMS}}$; its equivariance under $\zeta=e^{-\frac{\pi i}{2}\mathrm{ad}\,h}$ lets the wedge action be transported into the standard subspace. The paper couples this with $h$-regularity, the condition that $\bigcap_{g\in N}U(g)V$ is cyclic for some identity neighborhood $N$, and shows via Theorem 4.1 that this regularity is exactly what a net satisfying (Iso), (Cov), (RS), and (BW) requires.

What would settle it

For a concrete crowned group, take the Hardy-space representation of $\mathrm{Aff}(\mathbb R)$ with the crown $\Xi_2$ and $F$ spanned by $K_i$. Compute the real closure $H^G_E(W_G)=\overline{\mathrm{span}}_{\mathbb R}U^{-\infty}(C_c^\infty(W_G,\mathbb R))\beta_+(K_i)$ and compare it with the standard subspace $V=\mathrm{Fix}(J\Delta^{1/2})$; the theorem claims equality, so finding any vector in $V$ not contained in that closure would falsify it. Alternatively, a single antiunitary representation of a simply connected solvable Lie group with an Euler element that fails to be $h$-regular would disprove the paper's Conjecture 6.1.

Watch

Extended reading notes

Core claim

On its own terms, the paper's central claim is that for a crowned Lie group $(G,h,\Xi)$, every antiunitary representation $(U,\mathcal H)$ of $G_{\tau_h}$ with a $G$-cyclic real subspace $F\subseteq H^J_{\mathrm{temp}}\cap H^\omega(\Xi)$ gives a net of closed real subspaces $O\mapsto \overline{\mathrm{span}}_{\mathbb R}U^{-\infty}(C_c^\infty(O,\mathbb R))\beta_+(F)$ that satisfies (Iso), (Cov), (RS), and (BW), with the wedge region $W_G$ mapped to the standard subspace $V=\mathrm{Fix}(J\Delta^{1/2})$ determined by $h$ and $U$. The proof rests on extending orbit maps of $J$-fixed vectors to the crown, taking the tempered boundary value $\beta_+$, and showing that the resulting distribution vectors are KMS vectors for the one-parameter modular group. The paper also proves that the existence of any net with these four properties is equivalent to $h$-regularity of $U$, and it identifies concrete groups where the hypothesis holds: semisimple groups via the crown of the symmetric space, the affine group with the smaller crown $\Xi_2$, and the split oscillator group, for which all antiunitary representations are $h$-regular for every Euler element.

Load-bearing premise

For the construction theorem, the load-bearing premise is that an antiunitary representation possesses a $G$-cyclic real subspace $F$ inside $H^J_{\mathrm{temp}}\cap H^\omega(\Xi)$; if no such subspace exists, the boundary-value net is trivial and the theorem does not apply.

Editorial extensions

If this is right

  • For any antiunitary representation satisfying the cyclicity hypothesis, the four AQFT axioms become automatic consequences of a single analytic boundary-value condition, so checking a theory reduces to checking whether $H^\omega(\Xi)\cap H^J_{\mathrm{temp}}$ is $G$-cyclic.
  • Theorem 4.1 upgrades $h$-regularity from a technical regularity condition to the exact existence criterion for such nets, so the search for nets becomes the search for Euler elements and regular representations.
  • The affine group example shows that the crown must be chosen carefully: too large a crown makes the boundary-value space vanish, while too small a crown loses analytic extension; the paper's two crowns $\Xi_1$ and $\Xi_2$ delimit this tradeoff.
  • All antiunitary representations of the split oscillator group are $h$-regular for all Euler elements, giving the first non-reductive family beyond the previously known classes and confirming the regularity conjecture for that group.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • A natural next test would be to look for a solvable Lie group with an Euler element where $h$-regularity fails; if none exists, the crown-based construction would provide nets for a much larger class than the examples verified here.
  • The paper's pushforward construction to homogeneous spaces is not fully exploited; a natural continuation is to find $H$-invariant subspaces $E$ so that nets on $G/H$ inherit the Bisognano–Wichmann property, which the semisimple symmetric-space results already suggest.
  • The split oscillator group's realization inside $\mathrm{SL}_3(\mathbb R)$ suggests that other nilpotent-by-abelian groups with Euler elements may admit crown domains via embeddings into semisimple groups, extending the split oscillator result by pullback.
  • If the equivalence in Theorem 4.1 is as strong as stated, then the physically relevant locality condition could be studied through symmetric Euler elements, which never occur for solvable groups, so mixed groups like the Poincaré group are the natural arena for locality questions.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

1 major / 5 minor

Summary. The paper introduces the notion of a complex crown domain for a connected Lie group G and of a crowned Lie group (G,h,Ξ), defined by axioms (Cr1)-(Cr3) for the action of G_{τ_h}, strip-like analytic extension of h-orbit maps, and a covering map into the universal complexification. For an antiunitary representation (U,H) of G_{τ_h} and a G-cyclic real subspace F⊆H^J_temp∩H^ω(Ξ), the authors define E=β_+(F) and a net H^G_E(O)=overline{span_R} U^{-∞}(C_c^∞(O,R))E on open subsets O⊆G, and prove in Theorem 2.14 that this net satisfies isotony, covariance, the Reeh-Schlieder property, and the Bisognano-Wichmann property with H^G_E(W_G)=V(h,U). They establish the hypotheses for semisimple groups (Theorem 2.16), for the Poincaré group (Section 2.7), and for the affine group with a suitable smaller crown (Section 3), while showing that the natural larger crown fails (Theorem 3.1). In Theorem 4.1 they prove that the existence of such a net is equivalent to h-regularity of U, and in Section 5 they prove that all unitary (and hence antiunitary) representations of the split oscillator group are h-regular for every Euler element. The paper closes with open problems, including the non-vacuity of H^ω(Ξ)∩H^J_temp for general crowned Lie groups.

Significance. This is a valuable unifying contribution. It connects crown-domain theory, analytic vectors, modular theory, and nets of standard subspaces in AQFT, and it identifies the precise hypothesis needed for the construction. The main theorems are stated carefully; the proofs separate new arguments from external results, citing [KSt04], [Si24], [BN24], [FNÖ25a], and [MN24] precisely. The affine group analysis, including the negative result for the large crown, is informative and makes the scope of the method transparent. The equivalence with h-regularity is a clean characterization, and the split oscillator verification addresses a genuinely difficult case that was previously out of reach of the criteria in [MN24].

major comments (1)
  1. [Abstract; Theorem 2.14; Section 6, Problem 6.2] The Construction Theorem is conditional on the existence of a G-cyclic real subspace F⊆H^J_temp∩H^ω(Ξ). For irreducible U|_G this reduces to the condition H^ω(Ξ)∩H^J_temp≠{0}, and the paper verifies this only for semisimple groups (Theorem 2.16), for Aff(R) with the crown Ξ_2 (Proposition 3.2(b)), for the Poincaré group (Section 2.7), and for the split oscillator group (Section 5). For an arbitrary crowned Lie group the condition is open (Problem 6.2), and Theorem 3.1 shows that it fails for the natural crown Ξ_1 of Aff(R). The abstract and introduction should therefore state explicitly that the construction provides nets for the classes and examples where non-vacuity is proved, rather than suggesting an unconditional construction for all crowned Lie groups. This is a scope/framing issue rather than a technical error: the statement of Theorem 2.14 itself is precise.
minor comments (5)
  1. [Proof of Theorem 2.9] The sentence 'We have to verify hat' should read 'We have to verify that'.
  2. [Section 2.7] The notation τ_h and τ is used for the automorphism of G as well as for its extension to G_C and for the induced involution on M; distinct symbols or an explicit convention would prevent confusion.
  3. [Definition 2.2 and Lemma 2.6] The parametrization of β_± in Definition 2.2 uses limits t→∓π/2, whereas Lemma 2.6 writes β_+ as lim_{t→π/2} e^{-it∂U(h)}v; a sentence reconciling these parametrizations would be helpful.
  4. [Remark 1.3] The statement that crown domains satisfying (Cr1)-(Cr3) 'exist in abundance' would be more useful with pointers to Lemma 1.5 and Examples 1.6 and 1.7.
  5. [Theorem 3.1 proof] The notation H^2(C_+)^{-∞}_{U_h} is used in the proof before the direct sum decomposition (3.10) is introduced; please define it at first use.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the construction is conditional on an explicitly flagged open hypothesis, and the author-overlapping citations carry independent proofs.

full rationale

Walking the paper's derivation chain, the central construction (Theorem 2.14) takes as a separate hypothesis a G-cyclic subspace F ⊆ H^J_temp ∩ H^ω(Ξ), and then proves that the net H^G_E satisfies (Iso), (Cov), (RS), and (BW), with H^G_E(W_G) = V. The Reeh–Schlieder proof (Theorem 2.9) uses analytic continuation and the totality of U(G)F; the Bisognano–Wichmann proof uses Lemma 2.12 and Theorem 2.10 to show U^{-∞}(W_G)E ⊆ H^{-∞}_{KMS}, then Proposition 2.13 and the standard modular-theory fact [Lo08, Prop. 3.10] to identify the wedge subspace with V. At no point is V, h-regularity, or the wedge property defined as β_+(F), and no parameter is fitted and then renamed a prediction. The paper also flags exactly where the hypothesis is not automatic: Theorem 3.1 shows H^ω(Ξ_1) ∩ H^J_temp = {0} for the Hardy-space representation of Aff(R) with the larger crown Ξ_1, and Problem 6.2 explicitly asks whether existence of a net implies existence of a crown with G-cyclic H^ω(Ξ) ∩ H^J_temp. This is a genuine scope limitation, not a circularity, because the construction theorem does not assume its conclusion and the non-vacuity is verified separately for the classes where it is claimed. The author-overlapping citations ([BN24], [FNÖ25a], [FNÖ25b], [NÖ21], [NÖØ21]) are used as established theorems with stated assumptions that do not include the present net construction; under the review rules, such published results with independent proofs count as real evidence and do not raise the circularity score. Theorem 4.1 is likewise proved directly in both directions from the definition of h-regularity and the net axioms. No self-definitional, fitted-input, self-citation-load-bearing, imported-uniqueness, ansatz-smuggling, or renaming pattern is present.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

The paper's central construction rests on structural assumptions of the crowned Lie group setting (Euler element integrating to an involution, axioms Cr1-Cr3), the analytic vector and tempered vector machinery from earlier work, and the explicit cyclicity hypothesis in Theorem 2.14. No data-fitting parameters or invented physical entities appear. The crown domain notion is a definitional framework, not a postulated entity with independent empirical consequences.

assumptions (6)
  • domain assumption The universal complexification eta_G: G -> G_C has discrete kernel.
    Stated at the start of Section 1 as part of the setting; needed for the topology on analytic vectors and the action on crown domains (Appendix A).
  • domain assumption h is an Euler element with (ad h)^3 = ad h != 0, and tau_h^g = e^{pi i ad h} integrates to an involutive automorphism tau_h of G.
    Stated in Section 1; underlies all constructions, including G_{tau_h} and the standard subspace V(h,U) in (0.1).
  • domain assumption The crown domain axioms (Cr1), (Cr2), (Cr3) hold for (G,h,Xi).
    Definition 1.1; these axioms are assumed for the Construction Theorem and are verified in the examples.
  • domain assumption There exists a G-cyclic real subspace F of H^J_temp intersect H^omega(Xi).
    Hypothesis of Theorem 2.14; this is the load-bearing condition, verified for semisimple groups, Aff(R) with Xi_2, and the split oscillator group, but open in general (Problem 6.2).
  • standard math Kroetz-Stanton holomorphic extension theorem and Simon's generalization for non-linear groups.
    Cited from [KSt04] and [Si24]; used in Theorem 2.16 to show H^omega(Xi) intersect H^J_temp is dense for semisimple groups.
  • standard math Standard subspace modular theory, including Tomita-Takesaki polar decomposition and [Lo08, Prop. 3.10].
    Used throughout, notably in (0.1), Theorem 2.10, and the final step of the proof of Theorem 2.14.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Crowned Lie groups and nets of real subspaces." pith.science (2026). https://pith.science/paper/DKPS6R7E

@misc{pith2026250616422,
  author       = {Pith},
  title        = {Pith review of: Crowned Lie groups and nets of real subspaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/DKPS6R7E}},
  note         = {Machine review of arXiv:2506.16422}
}
abstract

We introduce the notion of a complex crown domain for a connected Lie group $G$, and we use analytic extensions of orbit maps of antiunitary representations to these domains to construct nets of real subspaces on $G$ that are isotone, covariant and satisfy the Reeh--Schlieder and Bisognano--Wichmann conditions from Algebraic Quantum Field Theory. This provides a unifying perspective on various constructions of such nets.The representation theoretic properties of different crowns are discussed in some detail for the non-abelian $2$-dimensional Lie group ${\rm Aff}({\mathbb R})$. We also characterize the existence of nets with the above properties by a regularity condition in terms of an Euler element in the Lie algebra ${\mathfrak g}$ and show that all antiunitary representations of the split oscillator group have this property.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

36 extracted references · 30 canonical work pages

  1. [1]

    N., and S

    Akhiezer, D. N., and S. G. Gindikin, On Stein extensions of real symmetric spaces , Math. Ann. 286 (1990), 1--12

  2. [2]

    H., Entire functions that tend to zero on every line , Amer

    Armitage, D. H., Entire functions that tend to zero on every line , Amer. Math. Monthly 114:3 (2007), 251--256

  3. [3]

    Belti t a, D., and K.-H.\ Neeb, Holomorphic extension of one-parameter operator groups , Pure Appl. Funct. Anal. 9:6 (2024), 1483--1526; arXiv:2304.09597

  4. [4]

    Bourbaki, N., ``Lie Groups and Lie Algebras,'' Chapters 1–3, Elements of Mathematics, Springer-Verlag, Berlin, 1998

  5. [5]

    Bratteli, O., and D. W. Robinson, ``Operator Algebras and Quantum Statistical Mechanics II,'' 2nd ed., Texts and Monographs in Physics, Springer-Verlag, 1996

  6. [6]

    Longo, Modular localization and Wigner particles , Rev

    Brunetti, R., Guido, D., and R. Longo, Modular localization and Wigner particles , Rev. Math. Phys. 14 (2002), 759--785

  7. [7]

    Neeb, and G

    Frahm, J., K.-H. Neeb, and G. \'Olafsson, Nets of standard subspaces on non-compactly causal symmetric spaces , in ``Symmetry in Geometry and Analysis,'' Volume 2, 115--195; Birkh\"auser/Springer, Singapore, 2025

  8. [8]

    Neeb, and G

    Frahm, J., K.-H. Neeb, and G. \'Olafsson, Realization of unitary representations of the Lorentz group on de Sitter space , Indag. Math. 36:1 (2025), 61--113

Show all 36 references
  1. [9]

    Naimark, Unitary representations of the group of linear transformations of the straight line , Dolk

    Gelfand, I., and M. Naimark, Unitary representations of the group of linear transformations of the straight line , Dolk. Akad. Nauk. SSSR 55 (1947), 567--570

  2. [10]

    Kr\"otz, and H

    Gimplerlein, H., B. Kr\"otz, and H. Schlichtkrull, Analytic representation theory of Lie groups: general theory and analytic globalization of Harish--Chandra modules , Compos. Math. 147:5 (2011), 1581--1607; corrigendum ibid. 153:1 (2017), 214--217; arXiv:1002.4345v2

  3. [11]

    Harish-Chandra, Representations of a semisimple Lie group on a Banach space. I . Trans. Amer. Math. Soc. 75 (1953), 185--243

  4. [12]

    Neeb, ``Structure and Geometry of Lie Groups,'' Springer Monographs in Mathematics

    Hilgert, J., and K.-H. Neeb, ``Structure and Geometry of Lie Groups,'' Springer Monographs in Mathematics. Springer, New York, 2012

  5. [13]

    Kr\"otz, B., Domains of holomorphy for irreducible unitary representations of simple Lie groups , Invent. Math. 172:2 (2008), 277--288

  6. [14]

    In: Ginzburg, D., E

    Kr\"otz, B., Crown theory for the upper half plane . In: Ginzburg, D., E. Lapid, and D. Soudry (eds.), ``Automorphic Forms and L -functions I. Global Aspects'', Contemp. Math. 488 , Israel Math. Conf. Proc., Amer. Math. Soc., Providence, RI, 2009, pp. 147--182

  7. [15]

    Kr\"otz, B and R. J. Stanton, Holomorphic extensions of representations. I. Automorphic functions , Ann. of Math. (2) 159 (2004), 641--724

  8. [16]

    Lechner G. and R. Longo, Localization in nets of standard spaces , Comm. Math. Phys. 336 (2015), 27--61

  9. [17]

    Longo, R., Real Hilbert subspaces, modular theory, (2, ) and CFT in ``Von Neumann Algebras in Sibiu'', 33-91, Theta Ser. Adv. Math. 10 , Theta, Bucharest, 2008

  10. [18]

    Loos, O., ``Symmetric Spaces I: General Theory,'' W. A. Benjamin, Inc., New York, Amsterdam, 1969

  11. [19]

    Tanimoto, Scaling limits of lattice quantum fields by wavelets , Commun

    Morinelli, V., Morsella, G., Stottmeister, A., and Y. Tanimoto, Scaling limits of lattice quantum fields by wavelets , Commun. in Math. Phys. 387:1 (2021), 299--360

  12. [20]

    Neeb, Covariant homogeneous nets of standard subspaces , Comm

    Morinelli, V., and K.-H. Neeb, Covariant homogeneous nets of standard subspaces , Comm. Math. Phys. 386 (2021), 305--358

  13. [21]

    Neeb, From local nets to Euler elements , Adv

    Morinelli, V., and K.-H. Neeb, From local nets to Euler elements , Adv. Math. 458 (2024), part A, Paper No. 109960, 87 pp

  14. [22]

    Neeb, and G.\ \'Olafsson, Modular geodesics and wedge domains in general non-compactly causal symmetric spaces , Annals of Global Analysis and Geometry 65:1 (2024), Paper No

    Morinelli, V., K.-H. Neeb, and G.\ \'Olafsson, Modular geodesics and wedge domains in general non-compactly causal symmetric spaces , Annals of Global Analysis and Geometry 65:1 (2024), Paper No. 9, 50pp

  15. [23]

    Neeb, and G

    Morinelli, V., K.-H. Neeb, and G. \'Olafsson, Orthogonal pairs of Euler elements , in preparation

  16. [24]

    Neeb, K.-H., ``Holomorphy and Convexity in Lie Theory,'' Expositions in Mathematics 28 , de Gruyter Verlag, Berlin, 2000

  17. [25]

    Neeb, K.-H., On differentiable vectors for representations of infinite dimensional Lie groups , J. Funct. Anal. 259 (2010), 2814--2855

  18. [26]

    Journal 62:3 (2022), 577--613; arXiv:OA:1912.13367

    Neeb, K.-H., Semigroups in 3-graded Lie groups and endomorphisms of standard subspaces , Kyoto Math. Journal 62:3 (2022), 577--613; arXiv:OA:1912.13367

  19. [27]

    Neeb, K.-H., ``Nets of Real Subspaces on Homogeneous Spaces and Algebraic Quantum Field Theory,'' IHP Lecture Notes, March 2025; www.math.fau.de/wp-content/uploads/sites/3/2025/03/qft-lect.pdf

  20. [28]

    Neeb, K.-H., and G.\, \'Olafsson, Antiunitary representations and modular theory , in ``50th Sophus Lie Seminar'', Eds. K. Grabowska et al, Banach Center Publications 113 ; pp. 291--362; arXiv:math-RT:1704.01336

  21. [29]

    384 (2021), 107715, arXiv:2006.09832

    Neeb, K.-H., and G.\, \'Olafsson, Nets of standard subspaces on Lie groups , Advances in Math. 384 (2021), 107715, arXiv:2006.09832

  22. [30]

    30; arXiv:2205.07685

    Neeb, K.-H., and G.\, \'Olafsson, Wedge domains in non-compactly causal symmetric spaces , Geometriae Dedicata 217:2 (2023), Paper No. 30; arXiv:2205.07685

  23. [31]

    Neeb, K.-H., and G.\, \'Olafsson, Locality on non-compactly causal symmetric spaces , in preparation

  24. [32]

    rsted, Standard subspaces of Hilbert spaces of holomorphic functions on tube domains , Comm

    Neeb, K.-H., G.\, \'Olafsson, and B. rsted, Standard subspaces of Hilbert spaces of holomorphic functions on tube domains , Comm. Math. Phys. 386 (2021), 1437--1487; arXiv:2007.14797

  25. [33]

    Omori, H., Homomorphic images of Lie groups . J. Math. Soc. Japan 18 (1966), 97--117

  26. [34]

    Simon, T., Polynomial growth of holomorphic extensions of orbit maps of K-finite vectors at the boundary of the crown , Preprint, arXiv:2403.13572

  27. [35]

    An Introduction''

    Sugiura, M., ``Unitary Representations and Harmonic Analysis. An Introduction''. Second edition. North-Holland Mathematical Library 44 . North-Holland Publishing Co., Amsterdam; Kodansha, Ltd., Tokyo, 1990

  28. [36]

    I'', Grundlehren der math

    Warner, G., ``Harmonic Analysis on Semi-simple Lie Groups. I'', Grundlehren der math. Wissenschaften 188 , Springer-Verlag, New York-Heidelberg, 1972

Pith tools

Reviewed August 15, 2026 · model on record in the stance chip above.