Not signed in (Sign In)

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 book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology definitions deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck 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 integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nforum nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics 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 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 tqft 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.
    • CommentAuthorMike Shulman
    • CommentTimeMay 6th 2015

    I made projective plane less stubby.

    • CommentRowNumber2.
    • CommentAuthorZhen Lin
    • CommentTimeMay 6th 2015

    A colleague of mine worked on a synthetic theory of projective planes over local rings for his thesis. If I recall correctly, he needed to add a variant of Pappus’s theorem as an axiom.

    • CommentRowNumber3.
    • CommentAuthorMike Shulman
    • CommentTimeMay 6th 2015

    Is there anything available about it?

    • CommentRowNumber4.
    • CommentAuthorDavidRoberts
    • CommentTimeMay 7th 2015

    Wasn’t that presented at CT2014?

    • CommentRowNumber5.
    • CommentAuthorDavidRoberts
    • CommentTimeMay 7th 2015
    • (edited May 7th 2015)

    There’s also the result of Ruth Moufang about coordinatising projective planes satisfying (edit: little) Desargues with alternative division rings. She discovered OP 2OP^2 this way, I gather.

    • CommentRowNumber6.
    • CommentAuthorMike Shulman
    • CommentTimeMay 8th 2015

    One thing I don’t yet understand: a projective plane without any Desargues’ theorem can be constructed/coordinatized using a “ternary ring” (which isn’t actually a ring at all, but an algebraic gadget whose basic operation is ternary, thought of as like (a,b,c)ab+c(a,b,c) \mapsto a b + c). Is the construction of OP 2O P^2 a special case of that?

    • CommentRowNumber7.
    • CommentAuthorDavidRoberts
    • CommentTimeMay 8th 2015

    OP 2OP^2 is a Moufang plane, so little Desargues’ holds (Theorem 3.8 here). This is strictly weaker than the usual Desargues’ theorem. Thanks for pointing out planar ternary rings. My officemate as a PhD student was a finite geometer, so I learned a bit by osmosis about non-Desarguesian planes, but not about these.

    • CommentRowNumber8.
    • CommentAuthorDavid_Corfield
    • CommentTimeMay 8th 2015

    Did John Baez’s account cover this? Here he is on Octonionic Projective Geometry.

    • CommentRowNumber9.
    • CommentAuthorDavidRoberts
    • CommentTimeMay 8th 2015
    • (edited May 8th 2015)

    JB says

    in 1933 Ruth Moufang constructed a remarkable example of a non-Desarguesian projective plane using the octonions

    Here’s Moufang’s paper he cites:

    Ruth Moufang, Alternativkörper und der Satz vom vollständigen Vierseit, Abh. Math. Sem. Hamburg 9 (1933), 207-222. doi:10.1007/BF02940648

    • CommentRowNumber10.
    • CommentAuthorMike Shulman
    • CommentTimeMay 8th 2015

    Right, I know all that. Since OP 2O P^2 is non-Desarguesian, we can construct from it a ternary ring that coordinatizes it — but my question is, can the original construction of OP 2O P^2 from OO be obtained by way of regarding OO as a ternary ring? I presume so, but in that case it surprises me that hardly anyone seems to mention this when discussing OP 2O P^2, so I end up with doubt.

    • CommentRowNumber11.
    • CommentAuthorDavidRoberts
    • CommentTimeMay 8th 2015
    • (edited May 8th 2015)

    From the wikipedia article on Moufang planes I linked to, we find characterisation of them:

    Some ternary ring of the plane is an alternative division ring.

    P is isomorphic to the projective plane over an alternative division ring.

    Also, in a Moufang plane:

    Any two ternary rings of the plane are isomorphic.

    Since O, as a ternary ring, is an alternating ring, any other ternary ring coordinatising OP 2OP^2 is isomorphic to O.

    When you say the original construction, I guess one would have to dig up either a translation of Moufang’s construction, or read it in German. My guess is that the ternary ring version reproduces Moufang’s result in the alternating ring case in general, not just for O.

    • CommentRowNumber12.
    • CommentAuthorMike Shulman
    • CommentTimeMay 8th 2015

    Oh good.