Lie bracket
E141120
The Lie bracket is a bilinear, antisymmetric operation on a Lie algebra that measures the noncommutativity of its elements and encodes its infinitesimal structure.
All labels observed (2)
| Label | Occurrences |
|---|---|
| Jacobi identity | 2 |
| Lie bracket canonical | 2 |
How this entity was disambiguated
This entity first appeared as the object of triple T1234894 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Lie bracket Context triple: [Sophus Lie, hasConceptNamedAfter, Lie bracket]
-
A.
Peierls bracket
The Peierls bracket is a covariant generalization of the Poisson bracket used in quantum field theory and classical field theory to define commutation relations in a way that respects spacetime causality.
-
B.
Levi-Civita connection
The Levi-Civita connection is the unique torsion-free affine connection on a Riemannian manifold that is compatible with its metric, enabling the definition of parallel transport and covariant differentiation.
-
C.
Weyl algebra
The Weyl algebra is a fundamental noncommutative algebra generated by position and momentum operators satisfying canonical commutation relations, central in quantum mechanics and representation theory.
-
D.
Christoffel symbols
Christoffel symbols are mathematical objects in differential geometry that represent how coordinate bases change from point to point on a curved space or spacetime, and are used to define covariant derivatives and geodesics.
-
E.
Lie theory
Lie theory is a branch of mathematics that studies continuous symmetry through Lie groups and Lie algebras, with deep applications in geometry, analysis, and theoretical physics.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Lie bracket Target entity description: The Lie bracket is a bilinear, antisymmetric operation on a Lie algebra that measures the noncommutativity of its elements and encodes its infinitesimal structure.
-
A.
Peierls bracket
The Peierls bracket is a covariant generalization of the Poisson bracket used in quantum field theory and classical field theory to define commutation relations in a way that respects spacetime causality.
-
B.
Levi-Civita connection
The Levi-Civita connection is the unique torsion-free affine connection on a Riemannian manifold that is compatible with its metric, enabling the definition of parallel transport and covariant differentiation.
-
C.
Weyl algebra
The Weyl algebra is a fundamental noncommutative algebra generated by position and momentum operators satisfying canonical commutation relations, central in quantum mechanics and representation theory.
-
D.
Christoffel symbols
Christoffel symbols are mathematical objects in differential geometry that represent how coordinate bases change from point to point on a curved space or spacetime, and are used to define covariant derivatives and geodesics.
-
E.
Lie theory
Lie theory is a branch of mathematics that studies continuous symmetry through Lie groups and Lie algebras, with deep applications in geometry, analysis, and theoretical physics.
- F. None of above. chosen
Statements (47)
| Predicate | Object |
|---|---|
| instanceOf |
Lie algebra operation
ⓘ
bilinear map ⓘ binary operation ⓘ |
| antisymmetryCondition | [x,y] = -[y,x] ⓘ |
| appearsIn |
definition of central series
ⓘ
definition of derived algebra ⓘ definition of nilpotent Lie algebra ⓘ definition of solvable Lie algebra ⓘ |
| arity | 2 ⓘ |
| captures | infinitesimal symmetries ⓘ |
| codomain |
Lie algebras
ⓘ
surface form:
Lie algebra
|
| compatibility | must be compatible with vector space structure ⓘ |
| definedOn | vector space over a field ⓘ |
| domain | Lie algebra ⓘ |
| example |
Lie bracket of vector fields on a manifold
ⓘ
[X,Y] = XY − YX for matrices ⓘ |
| fieldOfStudy |
Lie theory
ⓘ
abstract algebra ⓘ differential geometry ⓘ |
| generalizationOf | cross product on R^3 (via so(3)) ⓘ |
| implies | underlies classification of simple Lie algebras ⓘ |
| JacobiIdentity | [x,[y,z]] + [y,[z,x]] + [z,[x,y]] = 0 ⓘ |
| linearityProperty |
linear in first argument
ⓘ
linear in second argument ⓘ |
| namedAfter | Sophus Lie ⓘ |
| notation |
[x,y]
ⓘ
[·,·] ⓘ |
| property |
antisymmetric
ⓘ
bilinear ⓘ nonassociative in general ⓘ satisfies Jacobi identity ⓘ |
| relatedConcept |
Lie algebra
ⓘ
Lie group ⓘ Poisson bracket ⓘ commutator ⓘ structure constants ⓘ |
| role |
encodes infinitesimal structure of Lie groups
ⓘ
measures noncommutativity ⓘ |
| specialCase | commutator in an associative algebra ⓘ |
| structureRole | determines structure constants in a chosen basis ⓘ |
| usedIn |
Hamiltonian mechanics
ⓘ
differential equations ⓘ gauge theory ⓘ representation theory of Lie algebras ⓘ structure theory of Lie algebras ⓘ theory of Lie groups ⓘ |
| zeroCondition | [x,x] = 0 for all x ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: Lie bracket Description of subject: The Lie bracket is a bilinear, antisymmetric operation on a Lie algebra that measures the noncommutativity of its elements and encodes its infinitesimal structure.
Referenced by (4)
Full triples — surface form annotated when it differs from this entity's canonical label.
subject surface form:
Sophus Lie
subject surface form:
Carl Gustav Jacob Jacobi
this entity surface form:
Jacobi identity
subject surface form:
Carl Gustav Jacob Jacobi
this entity surface form:
Jacobi identity