Not signed in (Sign In)

Start a new discussion

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry bundles calculus categories category category-theory chern-weil-theory cohesion cohesive-homotopy-theory cohesive-homotopy-type-theory cohomology colimits combinatorics complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality education elliptic-cohomology enriched fibration foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory infinity integration integration-theory k-theory lie-theory limit limits linear linear-algebra locale localization logic mathematics measure measure-theory modal modal-logic model model-category-theory monads monoid monoidal monoidal-category-theory morphism motives motivic-cohomology multicategories nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics planar pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes science set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory type type-theory universal variational-calculus

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeAug 4th 2020

    starting something

    v1, current

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeAug 4th 2020
    • (edited Aug 4th 2020)

    I have a basic question here:

    Is the composite

    S 7P 3S 4 S^7 \longrightarrow \mathbb{C}P^3 \longrightarrow S^4

    of

    1) the canonical S 1S^1-fibration S 7P 3S^7 \to \mathbb{C}P^3

    followed by

    2) the twistor fibration P 3S 4\mathbb{C}P^3 \to S^4

    equivalent to

    3) the quaternionic Hopf fibration S 7S 4S^7 \to S^4

    ?

    I expect it is, and probably it follows readily once the definitions are unwound suitably. But I don’t see it in detail yet.

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeAug 4th 2020

    Oh, I see it: It’s immediate from the reformulation of the Calanbi-Penrose fibrations given on this page.

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeAug 5th 2020

    added statement of and references for the definition via sending complex line to quaternionic lines

    diff, v4, current

    • CommentRowNumber5.
    • CommentAuthorDavid_Corfield
    • CommentTimeAug 5th 2020
    • (edited Aug 5th 2020)

    Does an analogue occur for other Hopf fibrations? E.g., a composite

    S 15P 3S 8 S^15 \longrightarrow \mathbb{H}P^3 \longrightarrow S^8

    as a composite of the S 3S^3-fibration S 15P 3S^15 \to \mathbb{H}P^3 and an S 4=P 1S^4 = \mathbb{H}P^1-fibration P 3S 8\mathbb{H}P^3 \to S^8.

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeAug 5th 2020

    added pointer to this item (thanks to David C. For pointing it out):

    • B. Loo and Alberto Verjovsky, On quotients of Hopf fibrations, in: Rendiconti dell’Istituto di Matematica dell’Università di Trieste. An International Journal of Mathematics, 26 (1994), pp. 103-108 (hdl:10077/4637, pdf)

    diff, v6, current

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeAug 5th 2020

    added this pointer:

    • Simon Brain, Giovanni Landi, Differential and Twistor Geometry of the Quantum Hopf Fibration, Commun. Math. Phys. 315 (2012):489-530 (arXiv:1103.0419)

    diff, v6, current

  1. added this pointer:

    Anonymous

    diff, v7, current

    • CommentRowNumber9.
    • CommentAuthorUrs
    • CommentTimeAug 6th 2020

    added pointer to

    • Bonaventure Loo, The space of harmonic maps of S 2S^2 into S 4S^4, Transactions of the American Mathematical Society Vol. 313, No. 1 (1989) (jstor:2001066)

    diff, v8, current

    • CommentRowNumber10.
    • CommentAuthorUrs
    • CommentTimeAug 6th 2020

    I don’t understand yet why many authors call it the “Calabi-Penrose fibration”. It seems that the first one to consider it was Atiyah 79, Sec III.1 (who credits Penrose for general inspiration, but otherwise seems to be conjuring the thing quite by himself).

    What did Calabi do here, and what would be a relevant citation?

    • CommentRowNumber11.
    • CommentAuthorDavid_Corfield
    • CommentTimeAug 6th 2020

    I think this paper may explain

    • Harlan P. Blaine, Jr. Lawson, Surfaces minimales et la construction de Calabi-Penrose, pdf
    • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTimeAug 6th 2020

    Thanks! I have added that pointer:

    diff, v9, current

    • CommentRowNumber13.
    • CommentAuthorUrs
    • CommentTimeAug 6th 2020

    A sorry, that’s another “Blaine Lawson”?! Am fixing it…

    • CommentRowNumber14.
    • CommentAuthorUrs
    • CommentTimeAug 6th 2020

    No, wait, how many “H. Blaine Lawson, Jr.” can there be, on this planet?

    It must be that the “H = Harlan” on SemanticScholar here is a glitch of automated reference-crawling? The article it self (here) doesn’t claim that “H = Harlan”.

    • CommentRowNumber15.
    • CommentAuthorDavid_Corfield
    • CommentTimeAug 6th 2020

    This page claims H is for Herbert. Presumably it’s all one person.

    • CommentRowNumber16.
    • CommentAuthorUrs
    • CommentTimeAug 6th 2020
    • (edited Aug 6th 2020)

    Thanks for the sanity check. With that out of the way, on to the article:

    It’s interesting, but also mysterious:

    On p. 4 we hear that

    In one of his important works, E. Calabi has found…

    but despite (or because of?) this alleged importance, we don’t get to see a citation for this. Instead, the only reference that follows is… to Atiyah el. al. (!) after the mysterious claim that (if I am translating this correctly?) this is the “only way by which we understand the link nowadays”.

    But anyways it does look like this article of Lawson’s could be the origin of the term “Calabi-Penrose fibration”, thanks again.

    • CommentRowNumber17.
    • CommentAuthorUrs
    • CommentTimeAug 6th 2020

    According to B. Loo in jstor:2001066 Calabi’s fibration is in

    • E. Calabi, Quelques applications de l’analyse complexe aux surfaces d’aire minima, Topics in Complex Manifolds (Ed., H. Rossi), Les Presses de l’Univ. de Montreal, 1967, pp. 59-81. 5.

    • E. Calabi, Minimal immersions of surfaces in euclidean spheres, J. Differential Geometry 1 (1967), 111-125.

    But I haven’t found a copy of the first one yet, and I haven’t recognized the construction in the second one yet.

    • CommentRowNumber18.
    • CommentAuthorDavid_Corfield
    • CommentTimeAug 6th 2020
    • (edited Aug 6th 2020)

    “only way by which we understand the link nowadays”.

    I think it’s rather

    he provided a construction from which only now do we understand the connection to the one introduced by Penrose in GR…

    or maybe in better English

    he provided a construction whose connection to the one introduced by Penrose in GR only now do we understand…

    • CommentRowNumber19.
    • CommentAuthorDavid_Corfield
    • CommentTimeAug 6th 2020
    • (edited Aug 6th 2020)

    AHS is relatively recent, hence the “seulement aujord’hui”.

    • CommentRowNumber20.
    • CommentAuthorUrs
    • CommentTimeAug 6th 2020
    • (edited Aug 6th 2020)

    Okay, thanks!

    Meanwhile I have found this review

    • Jonas Nordstrom, Calabi’s construction of Harmonic maps from S 2S^2 to S nS^n, Lund University 2008 (pdf)

    which gives a clear statement of what Calabi actually did here (around Lemma 2.31). It seems to require a bit of thought to see that this is equal (for m=2m = 2 in Calabi’s notation) to what Atiyah introduced as the twistor fibration.

    diff, v11, current

    • CommentRowNumber21.
    • CommentAuthorUrs
    • CommentTimeAug 7th 2020

    added pointer to:

    diff, v12, current

    • CommentRowNumber22.
    • CommentAuthorUrs
    • CommentTimeAug 14th 2020

    finally added pointer to

    • Eugenio Calabi, Minimal immersions of surfaces in euclidean spheres, J. Differential Geometry (1967), 111-125 (euclid:jdg/1214427884)

    • Eugenio Calabi, Quelques applications de l’analyse complexe aux surfaces d’aire minima, Topics in Complex Manifolds (Ed. H. Rossi), Les Presses de l’Universit ́e de Montr ́eal (1968), 59-81 (naid:10006413960)

    diff, v13, current

    • CommentRowNumber23.
    • CommentAuthorDavid_Corfield
    • CommentTimeAug 19th 2020

    Added generalizations to all even spheres and beyond studied by Robert Bryant.

    diff, v14, current

    • CommentRowNumber24.
    • CommentAuthorUrs
    • CommentTimeAug 19th 2020
    • (edited Aug 19th 2020)

    Thanks, David.

    What we are wondering about is whether there is a sensible generalization of the twistor fibration that would still be over the 4-sphere, but coming from attaching more than one 2-cell to it. Because it’s this 2-cell which gives the single gauge field F 2F_2 in Twistorial Cohomotopy.

    What we’d probably need is something that would still factor the quaternionc Hopf fibration Sp(2)\mathrm{Sp}(2)-equivariantly.

    • CommentRowNumber25.
    • CommentAuthorDavid_Corfield
    • CommentTimeAug 19th 2020

    I haven’t seen anything else mentioned other than the Penrose fibration composed with the antipodal map, as in Example 1 of this and p. 5 of this.

    • CommentRowNumber26.
    • CommentAuthorUrs
    • CommentTimeAug 20th 2020
    • (edited Aug 20th 2020)

    Thanks for the pointers, these are interesting articles.

    I should say that what I am looking for here is likely not related to twistors anymore. (From the point of view of Cohomotopy theory, the appearance of twistor space in the factorization of the quaternionic Hopf fibration is a surprise, not something we asked for.)

    More concretely, from the discussion on p. 5 we are naturally wondering if the construction of the combined Hopf/twistor fibration could be somehow modified such that instead of the gauge group S(U(1) 2)S(U(1)^2) a gauge group S(U(1) n)S(U(1)^n) would appear, for small nn.

    For starters, for n=3n =3 this would mean that the new fiber over S 4S^4 we are after has Sullivan model of this form:

    [f 2 (1), f 2 (2), h 3]/(df 2 (1) =0 df 2 (2) =0 dh 3 =f 2 (1)f 2 (1)f 2 (1)f 2 (2)f 2 (2)f 2 (2)) \mathbb{R} \left[ \array{ f_2^{(1)}, \\ f_2^{(2)}, \\ h_3 } \right] \Big/ \left( \begin{aligned} d\, f_2^{(1)} & = 0 \\ d\, f_2^{(2)} & = 0 \\ d\;\, h_3\; & = - f_2^{(1)} \wedge f_2^{(1)} - f_2^{(1)} \wedge f_2^{(2)} - f_2^{(2)} \wedge f_2^{(2)} \end{aligned} \right)

    That’s because the right hand side in the third line is the expression for the second Chern class on BS(U(1) 3)B S(U(1)^3) in terms of the first Chern classes on the first two BU(1)B U(1)-factors, and it’s these second Chern classes whose appearance is suggested by equation (6) on p .3.

    So we are looking for an Sp(2)Sp(2)-equivariant factorization of the quaternionic Hopf fibration through a fibration over S 4S^4, whose fiber has the above Sullivan model.

    This may or may not exist. And if it exists, it may or may not be related to twistors.

    • CommentRowNumber27.
    • CommentAuthorUrs
    • CommentTime2 days ago

    added this pointer:

    • Angel Cano, Juan Pablo Navarrete, José Seade, Section 10.1 in: Kleinian Groups and Twistor Theory, In: Complex Kleinian Groups, Progress in Mathematics, vol 303. Birkhäuser 2013 (doi:10.1007/978-3-0348-0481-3_10)

    diff, v17, current

Add your comments
  • Please log in or leave your comment as a "guest post". If commenting as a "guest", please include your name in the message as a courtesy. Note: only certain categories allow guest posts.
  • To produce a hyperlink to an nLab entry, simply put double square brackets around its name, e.g. [[category]]. To use (La)TeX mathematics in your post, make sure Markdown+Itex is selected below and put your mathematics between dollar signs as usual. Only a subset of the usual TeX math commands are accepted: see here for a list.

  • (Help)