Computing the infinitesimal generators for the Mobius transformation

Click For Summary
SUMMARY

The discussion focuses on computing the infinitesimal generators for the Möbius transformation, specifically addressing the constraint \( ad - bc = 1 \) which reduces the number of parameters. The transformation is expressed as \( t' = t'(t, a, b, c, \ldots) \), where \( a, b, c \) are parameters. The general formula for the generator is given by \( X_a = \left. \frac{\partial t'}{\partial a} \right|_{a,b,c=\text{Id}} \frac{\partial}{\partial t} \), with the identity transformation defined by \( a = d = 1 \) and \( b = c = 0 \).

PREREQUISITES
  • Understanding of Möbius transformations
  • Familiarity with matrix groups and their generators
  • Knowledge of partial derivatives
  • Basic concepts of coordinate transformations
NEXT STEPS
  • Study the properties of Möbius transformations in detail
  • Learn about the application of partial derivatives in transformation theory
  • Explore the implications of the identity transformation in parameter spaces
  • Investigate the role of infinitesimal generators in differential geometry
USEFUL FOR

Mathematicians, physicists, and students studying complex analysis or differential geometry, particularly those interested in transformations and their properties.

platypi
Messages
1
Reaction score
0
Homework Statement
The Mobius transformation is $$\frac{at+b}{ct+b},$$ with the constraint ##ad-bc=1##. Find the infinitesimal generators of its Lie algebra.
Relevant Equations
N/A
I don't know where to start. I understand that the constraint ##ad-bc=1## gives us one less parameter since ##d=1+bc/a##. So we can rewrite our original function. I know how to compute the generators of matrix groups but in this case the generators will be functions. I also know there should be three of them since we have three independent parameters. However, I'm not sure what to do. I think we may have to take partial derivatives?
 
Physics news on Phys.org
[ I presume your denominator should be ##ct+d## ? ]

Suppose you have a transformation of the form $$ t' = t'(t,a,b,c,...)~,$$where ##a,b,c## are parameters of the transformation.

The general formula for the generator of such a coordinate transformation is $$X_a ~=~ \left. \frac{\partial t'}{\partial a} \right|_{a,b,c=\text{Id}} \; \frac{\partial}{\partial t}$$and similarly for ##b,c,...##

The "Id" notation denotes whatever value the parameter has at the identity transformation. E.g., in the Mobius case, for ##t' = t## we must have ##a=d=1##, and ##b = c = 0##.
 
Last edited:

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
4K
Replies
1
Views
2K
  • · Replies 9 ·
Replies
9
Views
4K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K