
#1
Apr1811, 05:54 AM

Sci Advisor
P: 1,716

I am told that the set of positive definite quadratic forms on R^2 has a metric that turns it into
H x R where H is the hyperbolic plane. Can you describe this metric? * As a space the forms are viewed as GL(2,R)/O(2). 



#2
Apr1811, 02:38 PM

Sci Advisor
HW Helper
PF Gold
P: 2,606

Let's note that there's a Gausstype decomposition of [tex]GL(n,\mathbb{R})[/tex] matrices as
[tex] \mathcal{M} = U D \mathcal{O}, [/tex] where [tex]U[/tex] is uppertriangular (with 1s on the diagonal), [tex]D[/tex] is diagonal (with [tex]\det{D}>0[/tex]) and [tex] \mathcal{O}[/tex] is orthogonal (in [tex]O(n)[/tex]). I claim that [tex] M = \begin{pmatrix} 1 & \sqrt{2} x \\ 0 & 1 \end{pmatrix} \begin{pmatrix} r y & 0\\ 0 & r/y \end{pmatrix},[/tex] is the general element of the coset [tex]GL(2,\mathbb{R})/O(2)[/tex] provided that [tex]r,y>0[/tex]. We can place the usual leftinvariant metric on [tex]GL(2,\mathbb{R})[/tex], which will induce the metric [tex]ds^2 = \frac{1}{2} \text{Tr} \left[ (M^{1} dM) (M^{1} dM) ^T\right],[/tex] [tex] = \left( \frac{dr}{r}\right)^2 + \frac{1}{y^2} \left( dx^2 + dy^2 \right)[/tex] on the coset. The space is therefore [tex] GL(2,\mathbb{R})/O(2) = H \times \mathbb{R}^+[/tex]. Note that this is consistent with [tex] H = SL(2,\mathbb{R})/SO(2)[/tex] and [tex]\mathbb{R}^+ = \mathbb{R}/\{ 1,1\}[/tex]. 



#3
Apr1911, 10:11 PM

Sci Advisor
P: 1,716





#4
Apr1911, 10:58 PM

Sci Advisor
HW Helper
PF Gold
P: 2,606

2 dimensional quadratic forms[tex] ds^2 = \frac{1}{2} \text{Tr} \left[ (\mathcal{M}^{1} d\mathcal{M}) (\mathcal{M}^{1} d\mathcal{M}) ^T\right]. [/tex] The normalization is put in for convenience. [tex]\mathcal{M}^{1} d\mathcal{M}[/tex] is the MaurerCartan form. 



#5
Apr2011, 08:10 AM

Sci Advisor
P: 1,716

Do you have a simple geometric picture of this metric? Start with an ellipse centered at the origin of R^2. Map it onto the Poincare disk somehow. Then maybe the factor of R comes from uniformly scaling the ellipses. 



#6
Apr2011, 09:40 AM

Sci Advisor
HW Helper
PF Gold
P: 2,606





#7
Apr2211, 04:27 AM

Sci Advisor
P: 1,716

Does this picture work? Each positive definite quadratic form determines an ellipse, its ellipse of unit vectors. An ellipse has three parameters, the lengths of its two axes and its angle of tilt to the xycoordinate axes. The subset that are rotations of ellipses with tilt angle zero and fixed xaxis length, (They are rotations of ellipses with equation, x^2 + y^2/b^2 = K) form a two parameter family. (By convention, angles of rotation can be chosen to be between 0 and pi (the interval, [0,pi), and the first axis can be chosen to be the one that lines up with the xaxis when the rotation is undone. ) For each ellipse in this 2 parameter family, map it to the point in the Poincare disk whose angle is twice the tilt angle and whose Euclidean distance to the origin is k1  k2/k1 + k2 where k1 and k2 are the lengths of its axes. This two parameter family looks like the Poincare disk under this mapping. As the xaxis length is varied to account for all positive definite quadratic forms, the entire set looks like the Cartesian product of the Poincare disk with the open half line of positive real numbers. Is this the correct picture? What is the importance of this metric for understanding the space of positive definite quadratic forms? 



#8
Apr2311, 03:36 PM

Sci Advisor
HW Helper
PF Gold
P: 2,606

I would identify your K with [tex]\mathbb{R}^+[/tex] in the coset, then the ratio of axis lengths b and tilt angle form the UHP. I think you're still mapping the ratio and tilt angle to the Poincare disk, so you might find that the metric on your space is in the same conformal class as the one on the UHP.
As far as the importance of the metric, I have no specific applications in mind for doing geometry on the space of positive definite quadratic forms. That is not to say that there aren't any. I just happened to be aware of some Lie group geometry that could shed some light on your original question. 


Register to reply 
Related Discussions  
Quadratic Forms (Sum)  Calculus & Beyond Homework  2  
Quadratic Forms for SL(2;R)  Advanced Physics Homework  1  
quadratic forms  Linear & Abstract Algebra  2  
Quadratic forms  Calculus & Beyond Homework  3  
Quadratic Forms  Calculus & Beyond Homework  0 