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 categorical 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 elliptic-cohomology enriched fibration 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 homology homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory kan 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 natural nforum nlab nonassociative 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 string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topological 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
    • CommentTimeApr 1st 2021

    starting something. There is nothing to be seen yet, but I need to save.

    v1, current

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeApr 1st 2021

    now some minimum content (and all or most original references) in place.

    v1, current

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeApr 2nd 2021
    • (edited Apr 2nd 2021)

    added this pointer:

    diff, v2, current

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeApr 9th 2021

    added something closer to the traditional form of the definition of a “slice”

    diff, v3, current

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeApr 12th 2021

    added a general abstract definition of slices as those HH-subspace inclusions whose GG-induced action adjunct is an isomorphism.

    (I have never seen an author admit this, but that’s evidently the right abstract definition.)

    Also added an Idea-section.

    diff, v5, current

    • CommentRowNumber6.
    • CommentAuthorDavid_Corfield
    • CommentTimeApr 12th 2021

    Under Def 2.1

    Then a slice in a GG-action UU

    That should be ’HH-slice’?

    We hadn’t yet heard the term on this page. It’s the same as ’slice through GG-orbits modulo HH’ earlier?

    Is there a way to see Cauchy surface as such a thing?

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeApr 12th 2021
    • (edited Apr 12th 2021)

    I see, okay I made it say “H-slice” in Def. 2.1.

    And yes, if time evolution on some manifold is already given as an 1\mathbb{R}^1-action with timelike flow lines, then slices for this action (“1-slices”) are Cauchy surfaces!

    I won’t edit further right now, since I am just on my phone at the moment, but we could add this as an example.

    diff, v6, current

    • CommentRowNumber8.
    • CommentAuthorDavid_Corfield
    • CommentTimeApr 12th 2021

    Added Cauchy surfaces as an example.

    diff, v7, current

    • CommentRowNumber9.
    • CommentAuthorUrs
    • CommentTimeApr 12th 2021

    added a warning that Palais’s definition of “proper action” is not quite the usual one, unless some extra conditions are met.

    Will straighten this out tomorrow. Have to call it quits now.

    diff, v8, current

    • CommentRowNumber10.
    • CommentAuthorUrs
    • CommentTimeApr 13th 2021
    • (edited Apr 13th 2021)

    Okay, I have added to the statement of the theorem the condition that XX be locally compact, and then added a Remark (here) that Palais61 goes to some trouble to generalize away from this assumption by carefully adjusting the definition of proper action.

    But I won’t go down that road now, will assume local compactness and keep fingers crossed that this won’t bite me later.

    diff, v9, current

    • CommentRowNumber11.
    • CommentAuthorUrs
    • CommentTimeApr 13th 2021

    added pointer to:

    This has a proof that for SS an HH-slice, then G×SGSG \times S \to G \cdot S is an open map.

    I had been looking for this statement, since it implies that for SS a slice through some point, also its intersection with any open neighbourhood of the point is still a slice through the point. This is used without comment in Lashof’s “Equivariant bundles and I fail to see how it doesn’t require an argument. Such as Antonyan’s.

    diff, v10, current

    • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTimeSep 22nd 2021

    I have added a new section “Examples and Applications – Principal bundles” (here), with proof that free proper actions of Lie groups on locally compact Hausdorff spaces have quotient coprojections which are principal bundles.

    diff, v11, current

    • CommentRowNumber13.
    • CommentAuthorUrs
    • CommentTimeSep 22nd 2021

    added the statement of the slice theorem for compact groups acting on completely regular spaces (here)

    diff, v12, current

    • CommentRowNumber14.
    • CommentAuthorUrs
    • CommentTimeNov 8th 2021

    Made explicit (here) the trivial but important example that GG-slices through points whose stabilizer is the entire equivariance group GG are given by the entire GG-space.

    Used this to complete the following example (here) of slices through points in the canonical O(n+1)O(n+1)-action on n+1\mathbb{R}^{n+1}.

    diff, v14, 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)