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).

nLab > Latest Changes: Schouten bracket

Bottom of Page

1 to 10 of 10

  1.  
    • CommentRowNumber1.
    • CommentAuthorDmitri Pavlov
    • CommentTimeMay 3rd 2023

    Added:

    Definition

    The Schouten bracket on multivector fields is the unuque (up to a multiplication by a constant) natural operation

    Γ(Λ kTM)⊗Γ(Λ lTM)→Γ(Λ k+l−1TM).\Gamma(\Lambda^k TM)\otimes\Gamma(\Lambda^l TM)\to\Gamma(\Lambda^{k+l-1} TM).

    Concretely,

    [X 1∧⋯∧X k,Y 1∧⋯∧Y l]=∑ i,j(−1) i+j[X i,Y j]∧X 1∧⋯X^ i⋯∧X k∧Y 1∧⋯Y^ j⋯∧Y l.[X_1\wedge\cdots\wedge X_k,Y_1\wedge\cdots\wedge Y_l]=\sum_{i,j}(-1)^{i+j}[X_i,Y_j]\wedge X_1\wedge\cdots\hat X_i\cdots\wedge X_k\wedge Y_1\wedge\cdots \hat Y_j\cdots \wedge Y_l.

    For multivector fields regarded as “antifields” in BV-BRST formalism, the Schouten bracket is called the antibracket.

    Related concepts

    diff, v5, current

    • CommentRowNumber2.
    • CommentAuthorDmitri Pavlov
    • CommentTimeMay 3rd 2023

    Added:

    References

    • Jan Schouten, Über Differentialkonkomitanten zweier kontravarianten Grössen, Indagationes Mathematicae 2 (1940), 449–452.

    • Jan Schouten, On the differential operators of the first order in tensor calculus, In: Convegno Int. Geom. Diff. Italia. (1953), 1–7.

    • Albert Nijenhuis, Jacobi-type identities for bilinear differential concomitants of certain tensor fields I, Indagationes Mathematicae 17 (1955), 390–403. doi:10.1016/S1385-7258(55)50054-0.

    diff, v6, current

    • CommentRowNumber3.
    • CommentAuthorzskoda
    • CommentTimeMay 3rd 2023
    • (edited May 3rd 2023)

    Wjhat do you mean by natural “operation” in 1 ? The link points to natural bundle and here you talk about a morphism of spaces of sections, do you mean induced map on sections by natural transformation among natural bundles viewed as functors ? What are the exact requirements and which reference proves it ?

    • CommentRowNumber4.
    • CommentAuthorDmitri Pavlov
    • CommentTimeMay 3rd 2023

    Re #3: The requirements are listed in the references at natural bundle. The book by Ivan Kolář, Peter Michor, Jan Slovák has details. Basically, it is a natural transformation of sheaves over the site of smooth families of manifolds: objects are submersions T→U, morphisms are commutative squares that are fiberwise open embeddings, and covering families are given by families inducing an open cover on T.

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeMay 3rd 2023

    so let’s add the reference for this fact:

    • Peter W. Michor, Remarks on the Schouten-Nijenhuis bracket, In: Bureš, J. and Souček, V. (eds.): Proceedings of the Winter School “Geometry and Physics” Circolo Matematico di Palermo, Palermo (1987) 207-215 [dml:701423, pdf]

    diff, v9, current

    • CommentRowNumber6.
    • CommentAuthorDmitri Pavlov
    • CommentTimeMay 3rd 2023

    Added:

    Applications

    Suppose P∈Γ(Λ 2TM)P\in\Gamma(\Lambda^2 TM). The the bracket {f,g}=⟨df∧dg,P⟩\{f,g\}=\langle df\wedge dg,P\rangle satisfies the Jacobi identity (and hence is a Poisson bracket) if and only if [P,P]=0[P,P]=0.

    diff, v10, current

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeMay 3rd 2023
    • (edited May 3rd 2023)

    by the way, typing “$df$” (or “$TM$”) here does not have the desired rendering (this may be lamentable, but we have to live with it). I am fixing these expressions to “$d f$” (or “$T M$”, etc.)

    diff, v11, current

    • CommentRowNumber8.
    • CommentAuthorDmitri Pavlov
    • CommentTimeMay 3rd 2023

    Added:

    A coordinate-free treatment is given in

    • W. M. Tulczyjew, The Graded Lie Algebra of Multivector Fields and the Generalized Lie Derivative of Forms. Bulletin de l’Académie Polonaise des Sciences. Série des Sciences Mathématiques, Astronomiques et Physiques 22:9 (1974), 937–942. PDF.

    diff, v12, current

    • CommentRowNumber9.
    • CommentAuthorDmitri Pavlov
    • CommentTimeMay 4th 2023

    Added:

    Textbook account: Chapter 33.2 of

    • Peter W. Michor, Topics in Differential Geometry, Graduate Studies in Mathematics 93 (2008). PDF.

    diff, v13, current

    • CommentRowNumber10.
    • CommentAuthorzskoda
    • CommentTimeMay 4th 2023

    5 thanks for the paper

1 to 10 of 10

  1.