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 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 sheaves 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.
    • CommentAuthorSamuel Adrian Antz
    • CommentTime3 days ago
    • (edited 3 days ago)

    I’ve created this discussion following the recent posts in the discussion of fivebrane 6-group and since I have two more points that are unclear to me:

    • What about capitalization? Fivebrane group is capitalized and fivebrane 6-group is uncapitalized. According to HowTo, “page titles should be uncapitalized, except for words that are always capitalized.” As far as I know, spin and string groups are always uncapitalized as text, while Fivebrane and Ninebrane groups are always capitalized as text. (With all of them capitalized in formulas of course.)
    • What about hyphens? There are examples, where one seems to be missing, for example Fréchet Lie group and Conner-Floyd Chern class.
    • What about superscripts? Unicode provides letters in superscript, which for example enables to create a page titled spinᶜ while the current page is titled spin^c. Another example is MSpin^c.
    • CommentRowNumber2.
    • CommentAuthorDavidRoberts
    • CommentTime3 days ago

    I personally have moved over to writing Fréchet–Lie group (with an en-dash), but I don’t know if this is standard. “Fréchet” as an adjective like in “Fréchet manifold” or “Fréchet space” etc doesn’t have a any type of dash/hyphen.

    I guess there’s some kind of unspoken convention around a new type of object whose name is “from a person” when it already has such a name. I don’t know if it’s consistent. There are things like Grothendieck–Riemann–Roch, which doesn’t seem like it is ever “Grothendieck Riemann-Roch” (but people do say “Grothendieck’s Riemann-Roch theorem”, but that clearly doesn’t work for objects like infinite-dimensional Lie groups).

    This to some extent highlights the known issues with using people’s names to name types of objects, that’s not a nLab problem, and a much harder discussion to resolve.

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTime3 days ago
    • (edited 3 days ago)
    • On a gut level I find that “Spin group” is more pleasant to the eye than “spin group”. But nLab convention is that only names be capitalized, usually understood as: names of people and titles of texts, not names of mathematical concepts. Therefore it should probably be lower case, and with it “fivebrane group” etc.

    • On the hyphens I have no opinion. But the two instances you quote make some sense in themselves, in that Conner & Floyd were coauthors of each other, but not of Chern.

    • On the superscipts: While I was the one who created the entries titled “spin^c” and “MSpin^c”, I never liked their look, just didn’t know what else to do. Your fix using unicode seems clearly superior. I will take the liberty of implementing that for these entries right now.

    • CommentRowNumber4.
    • CommentAuthorSamuel Adrian Antz
    • CommentTime3 days ago
    • (edited 3 days ago)

    Concerning Conner-Floyd Chern class: If that decides about hyphens, what about articles like Einstein-Yang-Mills-Dirac-Higgs theory?

    I’m planning to create articles for “Banach Lie group/Banach-Lie group” and “Hilbert Lie group/Hilbert-Lie group”. Which title should I use?

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTime3 days ago

    I won’t claim that it “decides” it, just observed that it “makes some sense”.

    Just on a case-by-case basis:

    I feel that “Chern class” is a stand-alone term. Hence if X, Y & Z come and define a variant Chern class it derserves to be called “X-Y-Z Chern class” instead of X-Y-Z-Chern class.

    This seems different for “Einstein-Yang-Mills-Dirac-Higgs theory”. If anything, then the pair Yang & Mills here is special, since these are like Conner & Floyd above in that their contribution is through a joint authorship. So on pure logic it would make sense to write “Einstein Yang-Mills Dirac Higgs theory”, if it were not for the fact that this seems to have too many whitespaces to be pleasantly readable.

    In conclusion, I doubt we can find a general rule here that is always applicable. We need to see on a case-by-case basis what works well.

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTime3 days ago

    Regarding Banach Lie groups and Hilbert Lie group, I might tend to write them without hyphen.

    BUT in any case, none of this should delay you in creating an entry! Just create it with any name and b sure to add all reasonable redirects, then no harm will be caused.

  1. No problem, “Banach Lie group” and “Hilbert Lie group” it is (or will be).

    • CommentRowNumber8.
    • CommentAuthorDavidRoberts
    • CommentTime18 hours ago
    • (edited 18 hours ago)

    If that’s the case, then to close a question in the original post, it will also be Fréchet Lie group, no hyphen.