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 bundles calculus categorical categories category category-theory chern-weil-theory cohesion 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 finite foundations functional-analysis functor galois-theory 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 internal-categories k-theory lie lie-theory limit limits linear linear-algebra locale localization logic manifolds mathematics measure-theory modal modal-logic model model-category-theory monads monoidal monoidal-category-theory morphism motives motivic-cohomology nforum nlab noncommutative noncommutative-geometry number 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 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.
    • CommentAuthorTobyBartels
    • CommentTimeMar 9th 2017

    There have been various other threads about these, but it's been a while, so I'm starting a new one.

    It just occurred to me that not only are exterior differential forms and absolute differential forms special cases of coflare differential forms, so are exterior pseudoforms! (Actually, we don't need the full theory of coflare differential forms, but only the alternating ones of up to a given rank pp: those whose action on a flare depends only on the point and the first pp tangent vectors (and none of the higher tangents) and which is zero when any of these tangent vectors are repeated. Note that a form is exterior iff it is both alternating and linear.)

    Recall that a top-rank exterior pseudoform is the same as a top-rank absolute form, and we know how to represent absolute forms as coflare forms. In general, you can think of a pseudoquantity (of any sort) as the product of an untwisted quantity and an orientation, so we can represent an orientation as the quotient of a nowhere-zero top-rank exterior form and its absolute value. (Note that a manifold is orientable, meaning that it has an everwhere-defined continuous orientation, iff it has an everywhere-defined continuous nowhere-zero top-rank exterior form, so this makes perfect sense.) Since you can perform any sufficiently-defined real-number operations on coflare forms, this makes an orientation into a coflare form. Finally, any exterior pseudoform (or more generally any coflare pseudoform) of any rank can be represented as a coflare form by multiplying a coflare form by such an orientation.

    So for example, if you give 3\mathbb{R}^3 its standard right-handed coordinates, then the standard right-handed orientation is

    dxdydz|dxdydz|. \frac{\mathrm{d}x \wedge \mathrm{d}y \wedge \mathrm{d}z}{|\mathrm{d}x \wedge \mathrm{d}y \wedge \mathrm{d}z|} .

    If you apply this to a triple (u,v,w)(\mathbf{u}, \mathbf{v}, \mathbf{w}) of tangent vectors, then the result is 11 if (u,v,w)(\mathbf{u}, \mathbf{v}, \mathbf{w}) has a right-handed orientation, 1-1 if they have a left-handed orientation, and undefined (0/00/0) if they are linearly dependent.

    Or, if you want to integrate a vector-valued quantity F\mathbf{F} on a pseudoriented surface in 3\mathbb{R}^3, then you are really integrating the pseudoform

    FđS=F(dydz,dzdx,dxdy)dxdydz|dxdydz|=F(dzdy,dxdz,dydx)dzdydx|dzdydx|. \mathbf{F} \cdot đ \mathbf{S} = \mathbf{F} \cdot (\mathrm{d}y \wedge \mathrm{d}z, \mathrm{d}z \wedge \mathrm{d}x, \mathrm{d}x \wedge \mathrm{d}y) \otimes \frac{\mathrm{d}x \wedge \mathrm{d}y \wedge \mathrm{d}z}{|\mathrm{d}x \wedge \mathrm{d}y \wedge \mathrm{d}z|} = \mathbf{F} \cdot (\mathrm{d}z \wedge \mathrm{d}y, \mathrm{d}x \wedge \mathrm{d}z, \mathrm{d}y \wedge \mathrm{d}x) \otimes \frac{\mathrm{d}z \wedge \mathrm{d}y \wedge \mathrm{d}x}{|\mathrm{d}z \wedge \mathrm{d}y \wedge \mathrm{d}x|} .

    (I guess that đSđ\mathbf{S} isn't actually an alternating form; it's a rank-55 form that alternates separately in its first 22 arguments and in its last 33.)

    I guess that you need to use the tensor product in general to represent a pseudoform, since you need nn new vectors (where nn is the dimension) to apply the orientation to. So even if ω\omega is a top-rank pseudoexterior form, then ω\omega is (locally) of the form αo\alpha \otimes o, where α\alpha is a top-rank exterior form, rather than αo\alpha o; but since α\alpha and oo are both rank-nn, αo\alpha \otimes o becomes αo\alpha o under the natural map from 2n2 n-forms (those that depend only on the point and the first 2n2 n tangent vectors) to nn-forms defined by repeating the list of vector arguments.

    In general, coflare forms are only integrated on oriented submanifolds/chains. This covers the integration of absolute forms, since either orientation will give the correct result for these. (Technically, you still need to break the domain of integration into orientable parts, I guess.) But other than that, I don't see any way to automatically treat integration of pseudoforms on pseudooriented submanifolds; the ranks doesn't even match the dimension. To integrate the pseudoform αo\alpha \otimes o on the pseudoriented submanifold (M,p)(M, p) (where pp is a pseudoorientation of MM), you'll just have to manually apply oo to pp to produce an orientation o/po/p of MM and then integrate α\alpha on (M,o/p)(M, o/p). (You also need to break the domain into orientable parts.)

    • CommentRowNumber2.
    • CommentAuthorMike Shulman
    • CommentTimeDec 16th 2017

    Interesting!

    I recently stumbled across this paper, which although they don’t explicitly work with differential forms, do seem to be doing something coflare/cojet-y in order to get a chain rule for higher derivatives that acts like substitution.