Jacobi identity in local coordinates?

Click For Summary
SUMMARY

The discussion centers on the Jacobi identity in local coordinates, specifically its relationship to the Poisson bracket associated with a Poisson bivector \(\pi = \sum \pi^{ij} \partial_i \wedge \partial_j\). It establishes that the Jacobi identity can be expressed as \(\sum_{\text{cyclic}} \pi^{i\nu} \partial_{\nu} \pi^{jk} = 0\), which is equivalent to \(\sum_{\text{cyclic}} \{x^i, \{x^j, x^k\}\}\). The conversation raises the question of why this formulation implies the general Jacobi identity, emphasizing the definition of the Poisson bracket \(\{f,g\} := \pi(df, dg) = \sum \pi^{ij} \partial_i f \partial_j g\).

PREREQUISITES
  • Understanding of Poisson geometry
  • Familiarity with Poisson bivectors
  • Knowledge of the Jacobi identity
  • Basic concepts of differential forms and partial derivatives
NEXT STEPS
  • Study the properties of Poisson brackets in depth
  • Explore the implications of the Jacobi identity in symplectic geometry
  • Learn about cyclic permutations in tensor calculus
  • Investigate applications of Poisson bivectors in physics
USEFUL FOR

This discussion is beneficial for mathematicians, physicists, and researchers in theoretical mechanics who are exploring the intricacies of Poisson structures and their applications in various fields.

quasar987
Science Advisor
Homework Helper
Gold Member
Messages
4,796
Reaction score
32
Jacobi identity in local coordinates?!?

Apparently (i.e. according to an article written by physicists), the Jacobi identity for the Poisson bracket associated to a Poisson bivector [itex]\pi = \sum\pi^{ij}\partial_i\wedge\partial_j[/itex] is equivalent to [itex]\sum_{\text{cyclic}}\pi^{i\nu}\partial_{\nu}\pi^{jk}=0[/itex] the sum is over all cyclic permutation of the i,j,k indices and the summation convention is used on the nu index. It is easy to see that this identity is equivalent to [itex]\sum_{\text{cyclic}}\{x^i,\{x^j,x^k\}\}[/itex] but why does this imply the general Jacobi identity?!?
 
Physics news on Phys.org
Recall (or learn) that by definition, [itex]\{f,g\}:=\pi(df,dg) = \sum\pi^{ij}\partial_if \partial_j g[/itex].
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 6 ·
Replies
6
Views
13K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 0 ·
Replies
0
Views
2K
  • · Replies 3 ·
Replies
3
Views
1K