Skip to main content
added 419 characters in body
Source Link

I'm not sure which sort of examples of Lie algebras without the corresponding groups you have in mind, but here is a typical example from Physics.

Many physical systems can be described in a hamiltonian formalism. The geometric data is usually a symplectic manifold $(M,\omega)$ and a smooth function $H: M \to \mathbb{R}$ called the hamiltonian. If $f \in C^\infty(M)$ is any smooth function, let $X_f$ denote the vector field such that $i_{X_f}\omega = df$. If $f,g \in C^\infty(M)$ we define their Poisson bracket $$\lbrace f, g\rbrace = X_f(g).$$ It defines a Lie algebra structure on $C^\infty(M)$. (In fact, a Poisson algebra structure once we take the commutative multiplication of functions into account.)

In this context one works with the Lie algebra $C^\infty(M)$ (or particular Lie subalgebras thereof) and not with the corresponding Lie groups, should they even exist.

Symmetries in this context are functions which Poisson commute with the hamiltonian, hence the centraliser of $H$ in $C^\infty(M)$. They define a Lie subalgebra of $C^\infty(M)$.

Added

Another famous example occurs in two-dimensional conformal field theory. For example, the Lie algebra of conformal transformations of the Riemann sphere is infinite-dimensional: any holomorphic or antiholomorphic function defines an infinitesimal conformal transformation. On the other hand, the group of conformal transformations is finite-dimensional and isomorphic to $\mathrm{PSL}(2,\mathbb{C})$.

I'm not sure which sort of examples of Lie algebras without the corresponding groups you have in mind, but here is a typical example from Physics.

Many physical systems can be described in a hamiltonian formalism. The geometric data is usually a symplectic manifold $(M,\omega)$ and a smooth function $H: M \to \mathbb{R}$ called the hamiltonian. If $f \in C^\infty(M)$ is any smooth function, let $X_f$ denote the vector field such that $i_{X_f}\omega = df$. If $f,g \in C^\infty(M)$ we define their Poisson bracket $$\lbrace f, g\rbrace = X_f(g).$$ It defines a Lie algebra structure on $C^\infty(M)$. (In fact, a Poisson algebra structure once we take the commutative multiplication of functions into account.)

In this context one works with the Lie algebra $C^\infty(M)$ (or particular Lie subalgebras thereof) and not with the corresponding Lie groups, should they even exist.

Symmetries in this context are functions which Poisson commute with the hamiltonian, hence the centraliser of $H$ in $C^\infty(M)$. They define a Lie subalgebra of $C^\infty(M)$.

I'm not sure which sort of examples of Lie algebras without the corresponding groups you have in mind, but here is a typical example from Physics.

Many physical systems can be described in a hamiltonian formalism. The geometric data is usually a symplectic manifold $(M,\omega)$ and a smooth function $H: M \to \mathbb{R}$ called the hamiltonian. If $f \in C^\infty(M)$ is any smooth function, let $X_f$ denote the vector field such that $i_{X_f}\omega = df$. If $f,g \in C^\infty(M)$ we define their Poisson bracket $$\lbrace f, g\rbrace = X_f(g).$$ It defines a Lie algebra structure on $C^\infty(M)$. (In fact, a Poisson algebra structure once we take the commutative multiplication of functions into account.)

In this context one works with the Lie algebra $C^\infty(M)$ (or particular Lie subalgebras thereof) and not with the corresponding Lie groups, should they even exist.

Symmetries in this context are functions which Poisson commute with the hamiltonian, hence the centraliser of $H$ in $C^\infty(M)$. They define a Lie subalgebra of $C^\infty(M)$.

Added

Another famous example occurs in two-dimensional conformal field theory. For example, the Lie algebra of conformal transformations of the Riemann sphere is infinite-dimensional: any holomorphic or antiholomorphic function defines an infinitesimal conformal transformation. On the other hand, the group of conformal transformations is finite-dimensional and isomorphic to $\mathrm{PSL}(2,\mathbb{C})$.

added 179 characters in body
Source Link

I'm not sure which sort of examples of Lie algebras without the corresponding groups you have in mind, but here is a typical example from Physics.

Many physical systems can be described in a hamiltonian formalism. The geometric data is usually a symplectic manifold $(M,\omega)$ and a smooth function $H: M \to \mathbb{R}$ called the hamiltonian. If $f \in C^\infty(M)$ is any smooth function, let $X_f$ denote the vector field such that $i_{X_f}\omega = df$. If $f,g \in C^\infty(M)$ we define their Poisson bracket $$\lbrace f, g\rbrace = X_f(g).$$ It defines a Lie algebra structure on $C^\infty(M)$. (In fact, a Poisson algebra structure once we take the commutative multiplication of functions into account.)

In this context one works with the Lie algebra $C^\infty(M)$ (or particular Lie subalgebras thereof) and not with the corresponding Lie groups, should they even exist.

Symmetries in this context are functions which Poisson commute with the hamiltonian, hence the centraliser of $H$ in $C^\infty(M)$. They define a Lie subalgebra of $C^\infty(M)$.

I'm not sure which sort of examples of Lie algebras without the corresponding groups you have in mind, but here is a typical example from Physics.

Many physical systems can be described in a hamiltonian formalism. The geometric data is usually a symplectic manifold $(M,\omega)$ and a smooth function $H: M \to \mathbb{R}$ called the hamiltonian. If $f \in C^\infty(M)$ is any smooth function, let $X_f$ denote the vector field such that $i_{X_f}\omega = df$. If $f,g \in C^\infty(M)$ we define their Poisson bracket $$\lbrace f, g\rbrace = X_f(g).$$ It defines a Lie algebra structure on $C^\infty(M)$. (In fact, a Poisson algebra structure once we take the commutative multiplication of functions into account.)

In this context one works with the Lie algebra $C^\infty(M)$ (or particular Lie subalgebras thereof) and not with the corresponding Lie groups, should they even exist.

I'm not sure which sort of examples of Lie algebras without the corresponding groups you have in mind, but here is a typical example from Physics.

Many physical systems can be described in a hamiltonian formalism. The geometric data is usually a symplectic manifold $(M,\omega)$ and a smooth function $H: M \to \mathbb{R}$ called the hamiltonian. If $f \in C^\infty(M)$ is any smooth function, let $X_f$ denote the vector field such that $i_{X_f}\omega = df$. If $f,g \in C^\infty(M)$ we define their Poisson bracket $$\lbrace f, g\rbrace = X_f(g).$$ It defines a Lie algebra structure on $C^\infty(M)$. (In fact, a Poisson algebra structure once we take the commutative multiplication of functions into account.)

In this context one works with the Lie algebra $C^\infty(M)$ (or particular Lie subalgebras thereof) and not with the corresponding Lie groups, should they even exist.

Symmetries in this context are functions which Poisson commute with the hamiltonian, hence the centraliser of $H$ in $C^\infty(M)$. They define a Lie subalgebra of $C^\infty(M)$.

Source Link

I'm not sure which sort of examples of Lie algebras without the corresponding groups you have in mind, but here is a typical example from Physics.

Many physical systems can be described in a hamiltonian formalism. The geometric data is usually a symplectic manifold $(M,\omega)$ and a smooth function $H: M \to \mathbb{R}$ called the hamiltonian. If $f \in C^\infty(M)$ is any smooth function, let $X_f$ denote the vector field such that $i_{X_f}\omega = df$. If $f,g \in C^\infty(M)$ we define their Poisson bracket $$\lbrace f, g\rbrace = X_f(g).$$ It defines a Lie algebra structure on $C^\infty(M)$. (In fact, a Poisson algebra structure once we take the commutative multiplication of functions into account.)

In this context one works with the Lie algebra $C^\infty(M)$ (or particular Lie subalgebras thereof) and not with the corresponding Lie groups, should they even exist.