Hyperbolic Conformal Geometry with Clifford Algebra 1)
|
|
- Regina O’Brien’
- 5 years ago
- Views:
Transcription
1 MM Research Preprints, No. 18, Dec Beijing Hyperbolic Conformal Geometry with Clifford Algebra 1) Hongbo Li Abstract. In this paper we study hyperbolic conformal geometry following a Clifford algebraic approach. Similar to embedding an affine space into a one-dimensional higher vector space, we embed the hyperboloid model of the hyperbolic n-space in R n,1 into R n+1,1. The new model is convenient for the study of hyperbolic conformal properties. Besides investigating various properties of the model, we also study conformal transformations using their versor representations. Key words: Clifford algebra, hyperbolic geometry, conformal transformations. 1. Introduction Hyperbolic geometry is an important branch of mathematics and physics. Among various models of the hyperbolic n-space, the hyperboloid model, which identifies the space with a branch H n of the set D n = {x R n,1 x x = 1}, (1..1) has the following features: The model is isotropic in that at every point of the model the metric of the tangent space is the same. A hyperbolic line AB is the intersection of H n with the plane decided by vectors A, B through the origin. When viewed from the origin, line AB can be identified with a projective line in P n. Similarly, a hyperbolic r-plane can be identified with a projective r-plane in P n. Here 0 r n 1. The geometry of r-planes can therefore be studied within the framework of linear subspaces in R n,1. The tangent direction of a line l at a point A is a vector orthogonal to vector A in the plane decided by l and the origin. The angle of two intersecting lines is the Euclidean angle of their tangent directions at the intersection. This is the conformal property of the model. Let A, B be two points, and let d(a, B) be their hyperbolic distance. Then A B = cosh d(a, B). This helps to transform a geometric problem on distances to an algebraic problem on inner products. 1) This paper is supported partially by the DFG and AvH Foundations of Germany, the NSF of China and the Qiu Shi Science and Technology Foundations of Hong Kong.
2 Hyperbolic Conformal Geometry with Clifford Algebra 73 A generalized circle is either a hyperbolic circle, or a horocycle, or a hypercycle (equidistant curve). A generalized circle is the intersection of H n with an affine plane in R n,1. Similarly, a generalized r-sphere is the intersection of H n with an affine (r + 1)-plane. The geometry of generalized r-spheres can be studied within the framework of affine subspaces in R n,1. The hyperbolic isometries are orthogonal transformations of R n,1 keeping H n invariant. In particular, they are all linear transformations. The model is similar to that of the spherical n-space in R n+1. These features imply that we can use Clifford algebra, in particular the version formulated by Hestenes and Sobczyk (1984), to study the hyperboloid model. A study on two dimensional case is carried out in (Li, 1997). Similar to the study of affine n-space within the framework of linear subspaces of an (n + 1)-dimensional vector space, where the affine space is embedded as a hyperplane, to study hyperbolic conformal properties where the basic geometric objects are generalized spheres and planes, we can embed the hyperboloid model into the null cone of the space R n+1,1. The new model is called the homogeneous model (Li, Hestenes and Rockwood, 1999c), which will help to simplify the study of hyperbolic conformal geometry significantly. Moreover, the homogeneous model provides a universal algebraic model for three geometries: Euclidean, spherical and hyperbolic ones. Different geometries correspond to different geometric interpretations of the same algebraic representations. The algebraic manipulation for the transfer from one geometry to another is just a rescaling of null vectors (Li, Hestenes and Rockwood, 1999c). In this paper we first review the definition of the hyperboloid model, then study various properties of the homogeneous model. We also study conformal transformations using their versor representations. We use the terminology in hyperbolic geometry from (Iversen, 1992), (Ratcliffe, 1994) and (Li, 1997), and the terminology and notations in Clifford algebra from (Hestenes and Sobczyk, 1984). 2. The hyperboloid model For hyperbolic conformal geometry, the space H n is not big enough, and we need its double covering space D n defined in (??), called the double-hyperbolic n-space, or the hyperboloid model of the double-hyperbolic n-space. It has two branches, denoted by H n and H n respectively Oriented generalized points, planes and spheres at infinity Definition 2.1. An oriented generalized point of D n is either a point, or an end, or a direction. A point is an element in D n. An end (or oriented point at infinity) is a null half 1-space of R n,1. A direction (or oriented imaginary point) is a Euclidean half 1-space of R n,1. A point at infinity is a null 1-space of R n,1. Algebraically, any oriented generalized point can be represented by a vector in R n,1 ; two vectors represent the same oriented generalized point if and only if they differ by a positive
3 74 Hongbo Li scale. A point at infinity is represented by a null vector, and two null vectors represent the same point at infinity if and only if they differ by a nonzero scale. Lemma 2.1. Let c be a point at infinity, p, q be points. Then p, q are on the same branch of D n if and only if c p c q > 0. Definition 2.2. Let c be an end, p H n. If c p < 0, c is called an end of the branch H n ; otherwise it is called an end of the branch H n. Definition 2.3. An r-plane of D n is the intersection of D n with an (r + 1)-space of R n,1. In G n,1, an r-plane is represented by an (r + 1)-blade corresponding to the (r + 1)-space. When r = 0, an 0-plane is a pair of antipodal points; when r = n 1, an (n 1)-plane is called a hyperplane. Definition 2.4. The sphere at infinity of D n is the whole set of points at infinity. An r- sphere at infinity of D n is the intersection of the sphere at infinity with an (r + 1)-plane of D n, also called the sphere at infinity of the (r + 1)-plane. When r = 0, a 0-sphere at infinity is a pair of points at infinity Generalized spheres and total spheres Definition 2.5. A generalized sphere is either a sphere, or a horosphere, or a hypersphere. It is decided by a pair (c, ρ), where c is a vector in R n,1 representing an oriented generalized point, called the center of the generalized sphere, and ρ > 0 is the generalized radius. 1. When c is a point, the set {p D n p c = (1 + ρ)} is called a sphere. It is on the same branch with point c. 2. When c is an end, the set {p D n p c = ρ} is called a horosphere. It is on the same branch with the end c. 3. When c is a direction, the set {p D n p c = ρ} is called a hypersphere. The hyperplane of D n orthogonal to c is called the axis of the hypersphere. Definition 2.6. A generalized r-sphere is a generalized sphere in an (r + 1)-plane taken as a double-hyperbolic (r + 1)-space. When r = 0, a 0-sphere is a pair of points on the same branch of D n ; a 0-horosphere is a point and a point at infinity; a 0-hypersphere is a pair of non-antipodal points on different branches of D n. Definition 2.7. A total sphere of D n refers to a generalized sphere, or a hyperplane, or the sphere at infinity. A total r-sphere is an r-dimensional generalized sphere, plane, or sphere at infinity. 3. The homogeneous model Let a 0 be a fixed vector in R n+1,1, a 2 0 = 1. The space represented by a 0 denoted by R n,1. The mapping is Minkowskii, x x a 0, for x D n, (3..2)
4 Hyperbolic Conformal Geometry with Clifford Algebra 75 maps D n in a one-to-one manner onto the set N n a 0 = {x R n+1,1 x x = 0, x a 0 = 1}. (3..3) Its inverse is P a 0 = Pa 0. The set Na n 0, together with the mapping P a 0, is called the homogeneous model of the double-hyperbolic n-space. In this model, an end or point at infinity is represented by a null vector orthogonal to a 0 ; a direction is represented by a vector of unit square orthogonal to a Representations of total spheres Lemma 3.1. Let p, q be null vectors representing two points on the same branch of D n. Let d(p, q) be the hyperbolic distance between the two points. Then p q = 1 cosh d(p, q). Proposition 3.2. A point p is on the sphere (c, ρ), when p, c are understood to be null vectors representing the points, if and only if p c = ρ. Proposition 3.3. A point p is on the horosphere (or hypersphere) (c, ρ), where p is understood to be the null vector representing the point, if and only if p c = ρ. The following is the first main theorem on the homogeneous model. Theorem 3.4. Let B r 1,1 be a Minkowskii r-blade in G n+1,1, 2 r n + 1. Then B r 1,1 represents a total (r 2)-sphere: a point represented by a null vector p is on the total (r 2)-sphere if and only if p B r 1,1 = 0. Furthermore, if 1. a 0 B r 1,1 = 0, then B r 1,1 represents an (r 2)-sphere at infinity. 2. a 0 B r 1,1 is Euclidean, then B r 1,1 represents an (r 2)-sphere. 3. a 0 B r 1,1 is degenerate, then B r 1,1 represents an (r 2)-horosphere. 4. a 0 B r 1,1 is Minkowskii, but a 0 B r 1,1 0, then B r 1,1 represents an (r 2)- hypersphere. 5. a 0 B r 1,1 = 0, then B r 1,1 represents an (r 2)-plane. When r = n + 1, the dual form of the above theorem is Theorem 3.5. Let s be a vector of positive signature in R n+1,1, then s represents a total sphere. If 1. a 0 s = 0, then s represents the sphere at infinity. The sphere at infinity is represented by a a 0 s is Minkowskii, then s represents a sphere. The sphere (c, ρ) is represented by (c ρa 0 ), where c is a null vector representing the point. 3. a 0 s is degenerate, then s represents a horosphere. The horosphere (c, ρ) is represented by (c ρa 0 ). 4. a 0 s is Euclidean, but a 0 s 0, then s represents a hypersphere. The hypersphere (c, ρ) is represented by (c ρa 0 ).
5 76 Hongbo Li 5. a 0 s = 0, then s represents a hyperplane. A hyperplane with normal direction c is represented by c. Proof. Without loss of generality we prove Theorem?? only. If 1. s a 0 = 0, then any null vector in the space s represents a point at infinity, and vice versa. 2. s a 0 is Minkowskii, then s a 0 0. Let ɛ be the sign of s a 0. Let c = ɛ P a 0 (s) Pa 0 (s), ρ = a 0 s 1. (3..4) a 0 s Then c is a point, ρ > 0, as a 0 s 2 = (a 0 s) 2 s 2 < (a 0 s) 2. Let s = ɛs/ a 0 s. Then s = c (1 + ρ)a 0 = c ρa 0, (3..5) where c = c a 0. A point represented by a null vector p is on the sphere (c, ρ) if and only if p s = 0, which is equivalent to p s = s a 0 is degenerate, then s a 0 = s 0. Let ɛ be the sign of s a 0. Let then c is an end, ρ > 0. Let s = ɛs. Then c = ɛp a 0 (s), ρ = a 0 s = s. (3..6) s = c ρa 0. (3..7) A point represented by a null vector p is on the horosphere (c, ρ) if and only if p s = s a 0 is Euclidean, but s a 0 0, let ɛ be the sign of s a 0. Let Then c is a direction, ρ > 0. Let s = ɛs/ a 0 s. Then c = ɛ P a 0 (s) P a 0 (s), ρ = a 0 s a 0 s. (3..8) s = c ρa 0. (3..9) A point represented by a null vector p is on the hypersphere (c, ρ) if and only if p s = s a 0 = 0, a point represented by a null vector p is on the hyperplane normal to s if and only if p s = 0.
6 Hyperbolic Conformal Geometry with Clifford Algebra Relations between two total spheres Definition 3.1. Two hyperplanes are said to be parallel if their spheres at infinity have one and only one common point at infinity. They are said to be ultra-parallel if they have a unique common perpendicular line. Definition 3.2. Two spheres (or horospheres, or hyperspheres) are said to be concentric if their centers are collinear. Two hyperspheres are said to be tangent at infinity if they do not intersect and their axes are parallel. Theorem 3.6. Let s 1, s 2 infinity of D n. Then if represent two distinct total spheres other than the sphere at 1. a 0 s 1 s 2 = 0, they are concentric spheres, horospheres, or hyperspheres if and only if a 0 (s 1 s 2 ) is negative-signatured, null, or positive-signatured respectively. 2. s 1 s 2 is Euclidean, a 0 s 1 s 2 0 and not both total spheres are hyperplanes, they intersect and the intersection is the generalized (n 2)-sphere (s 1 s 2 ). 3. s 1 s 2 is degenerate, a 0 s 1 s 2 0 and not both total spheres are hyperplanes, they are tangent to each other at the point or point at infinity corresponding to null vector P s1 (s 2 ). 4. s 1 s 2 is Minkowskii, a 0 s 1 s 2 0 and not both total spheres are hyperplanes, they do not intersect. There is a unique pair of points or a point and a point at infinity that are inversive with respect to both total spheres. 5. both are hyperplanes, they intersect, are parallel or ultra-parallel if and only if s 1 s 2 is Euclidean, degenerate or Minkowskii respectively. Proof. The intersection of the two spaces s 1, s 2 corresponds to the blade s 1 s 2 = (s 1 s 2 ), which is Minkowskii, degenerate or Euclidean, if and only if its null 1-spaces correspond to a total (n 2)-sphere, a point or point at infinity, or no point and point at infinity, respectively, i. e., if and only if the total spheres intersect, are tangent or do not intersect. In the last case s 1 s 2 represents a generalized 0-sphere and is invariant by the reflection with respect to either s 1 or s 2. Geometrically, the generalized 0-sphere is a pair of points or a point and a point at infinity inversive with respect to both total spheres. More specific conclusions can be established for the intersections and tangencies of various pairs of total spheres. Below we present a theorem on two hyperspheres. Lemma 3.7. Let c 1, c 2 be two non-intersecting hyperplanes. Let A 1, A 2 be points on the same branch of D n such that A 1 is on c 1 and A 2 is on c 2. Then C = c 1 c 2 A 1 c 2 A 2 c 1 < 0. Proof. Since the hyperplanes do not intersect, c 1 c 2 0, and A 1 c 2 0 for any point A 1 on hyperplane c 1. Similarly, A 2 c 1 0 for any point A 2 on hyperplane c 2. So C 0 and its sign depends on c 1, c 2 only.
7 78 Hongbo Li When the hyperplanes are ultra-parallel, let A 1 A 2 be the common perpendicular line, A 1, A 2 be the corresponding feet on the two hyperplanes on the same branch of D n. Then So A 1 = ± c 1(c 1 c 2 ), A 2 = ± c 1 c 2 c 1 c 2 c 1 c 2 c 2 (c 1 c 2 ). (3..10) c 1 c 2 C = c 1 c 2 c 1 c 2 < 0. (3..11) When they are parallel, since C is a continuous function of its variables, C 0. As C 0, we get C < 0. Definition 3.3. Two hyperspheres are said to be same-sided if their axes are either identical or do not intersect, and for any line intersecting both hyperspheres and both axes at points S 1, S 2, A 1, A 2 on the same branch of D n, the order of S 1, A 1 is the same with the order of S 2, A 2 on the line. Proposition 3.8. Two hyperspheres (c 1, ρ 1 ) and (c 2, ρ 2 ) are same-sided if and only if c 1 c 2 1. Proof. Let there be a line intersecting both hyperspheres and both axes at points S 1, S 2, A 1, A 2 on a branch of D n. Then S i c i = ρ i, A i c i = 0, S i A 1 A 2 = 0, for i = 1, 2. (3..12) If A 1 A 2, then S 1 A 1 = λa 1 A 2. Making inner product on both sides of the equality with C 1, we get λ = ρ 1 /A 2 c 1. Similarly, we have S 2 A 2 = µa 1 A 2 where µ = ρ 2 /A 1 c 2. The pair S 1, A 1 have the same order with the pair S 2, A 2 on the line if and only if S 1 A 1 and S 2 A 2 have the same orientation, which is equivalent to ρ 1 ρ 2 λµ = > 0. (3..13) A 2 c 1 A 1 c 2 If the axes do not intersect, then (c 1 c 2 ) 2 = (c 1 c 2 ) A 1 A 2 is always true, and the conclusion follows from Lemma??. If the axes intersect, then c 1 c 2 < 1. If the axes are identical, then A 1 = A 2 = A, c 1 = ɛc 2 where ɛ = ±1. Let a be a tangent direction of the line at point A, then a A = 0. We have S 1 A = ρ 1 ɛa c 2 A 1 A 2, S 2 A = ρ 2 a c 2 A 1 A 2. (3..14) S 1 A 1 and S 2 A 2 have the same orientation if and only if ɛ = 1. Theorem 3.9. Let s 1, s 2 represent two distinct hyperspheres. Then if they 1. intersect, the intersection is an (n 2)-dimensional (a) sphere, if their axes are ultra-parallel; (b) horosphere, if their axes are parallel;
8 Hyperbolic Conformal Geometry with Clifford Algebra 79 (c) hypersphere, if their axes intersect. The center and radius of the intersection are the same with those of the generalized sphere (P s1 s 2 (a 0 )). 2. are tangent, their axes are parallel or ultra-parallel. The tangency occurs at infinity if and only if the hyperspheres have parallel axes and equal radii, and are same-sided. 3. neither intersect nor are tangent, their axes are ultra-parallel. Proof. Let s i = c i ρ i a 0 for i = 1, 2, where c i a 0 = 0, c 2 i hyperplanes = 1 and ρ i > 0. When the 1. intersect, then (s 1 s 2 ) 2 < 0. The Minkowskii blade P s1 s 2 (a 0 ) represents a generalized sphere, since neither a 0 P s1 s 2 (a 0 ) nor a 0 P s1 s 2 (a 0 ) equals zero. Using the formula (s 1 s 2 ) (s 1 s 2 ) 2 = (a 0 (s 1 s 2 )) 2 (a 0 (s 1 s 2 ))P s1 s 2 (a 0 ), (3..15) we get that the total (n 2)-sphere (s 1 s 2 ) is the intersection of the hyperplane (a 0 (s 1 s 2 )) with the generalized sphere P s1 s 2 (a 0 ). Since P a 0 (P s1 s 2 (a 0 )) (a 0 (s 1 s 2 )) = P a0 (P s1 s 2 (a 0 )) (a 0 (s 1 s 2 )) = 0, (3..16) the center of the generalized sphere is in the hyperplane. Therefore, (s 1 s 2 ) is a generalized (n 2)-sphere whose center and radius are the same with those of P s1 s 2 (a 0 ). The intersection is an (n 2)-dimensional sphere, horosphere or hypersphere if the blade a 0 P s1 s 2 (a 0 ) = (a 0 P s1 s 2 (a 0 )) is Euclidean, degenerate or Minkowskii respectively. Using and (s 1 s 2 ) 4 (a 0 P s1 s 2 (a 0 )) 2 = (c 1 c 2 ) 2 (ρ 2 c 1 ρ 1 c 2 ) 2 (3..17) (s 1 s 2 ) 2 = (c 1 c 2 ) 2 (ρ 2 c 1 ρ 1 c 2 ) 2, (3..18) we get that (a 0 P s1 s 2 (a 0 )) 2 has the same sign with (c 1 c 2 ) 2. From this we get all the conclusions on the intersection using Theorem??. 2. are tangent, then (s 1 s 2 ) 2 = 0. If the axes intersect, then c 1 c 2 is Euclidean, so ρ 2 c 1 ρ 1 c 2 has positive signature. As a result, (s 1 s 2 ) 2 < 0 by (??), which is a contradiction. The tangency occurs at infinity if (s 1 s 2 ) 2 = (c 1 c 2 ) 2 = 0, which is equivalent to c 1 c 2 = 1 and ρ 1 = ρ neither intersect nor are tangent, then (s 1 s 2 ) 2 > 0. By (??), (ρ 2 c 1 ρ 1 c 2 ) 2 < (c 1 c 2 ) 2. If c 1 c 2 is not Minkowskii, then (c 1 c 2 ) 2 0; on the other hand, ρ 2 c 1 ρ 1 c 2 has nonnegative square because it is a vector in c 1 c 2. As a result, (ρ 2 c 1 ρ 1 c 2 ) 2 (c 1 c 2 ) 2, which is a contradiction.
9 80 Hongbo Li 3.3. Bunches of total spheres The main content in the previous subsection is a special case of the content in this subsection. Definition 3.4. A bunch of total spheres decided by r total spheres represented by r Minkowskii (n + 1)-blades B 1,..., B r, is the set of total spheres represented by λ 1 B λ r B r, where the λ s are scalars. When B 1 B r 0, the integer r 1 is called the dimension of the bunch. A one-dimensional bunch is also called a pencil. The dimension of a bunch is allowed to be between 1 and n 1. The blade A n r+2 = B 1 B r can be used to represent the bunch. There are five classes: 1. When a 0 A n r+2 = 0, the bunch is called a concentric bunch. It is composed of the sphere at infinity and the generalized spheres whose centers lie in the subspace (a 0 A n r+2 ) of R n,1. 2. When A n r+2 is Minkowskii and a 0 A n r+2, a 0 A n r+2 0, the bunch is called a concurrent bunch. It is composed of total spheres containing the generalized (n r)- sphere A n r+2. In particular, when A n r+2 represents an (n r)-hypersphere, the bunch is composed of hyperspheres only. a 0 (a 0 A n r+2 ) represents the axis of the (n r)-hypersphere, and is the intersection of all axes of the hyperspheres in the bunch. 3. When A n r+2 is degenerate and a 0 A n r+2, a 0 A n r+2 0, the bunch is called a tangent bunch. Any two non-intersecting total spheres in the bunch are tangent to each other. The tangency occurs at the point or point at infinity corresponding to the unique null 1-space in the space A n r When A n r+2 is Euclidean and a 0 A n r+2, a 0 A n r+2 0, the bunch is called a Poncelet bunch. A n r+2 represents a generalized (r 2)-sphere, called Poncelet sphere, which is self-inversive with respect to every total sphere in the bunch. 5. When a 0 A n r+2 = 0, the bunch is called a hyperplane bunch. It is composed of hyperplanes (1) perpendicular to the (r 1)-plane represented by a 0 A n r+2, or (2) whose representations pass through the space A n r+2, or (3) passing through the (n r)-plane represented by A n r+2, if the blade A n r+2 is (1) Euclidean, or (2) degenerate, or (3) Minkowskii, respectively. 4. Conformal transformations It is a well-known fact that the orthogonal group O(n + 1, 1) is a double covering of the conformal group M(n) of D n : M(n) = O(n + 1, 1)/{±1}. In Clifford algebra, O(n + 1, 1) is isomorphic to the projective pin group P in(n + 1, 1), which is the quotient of the versor group of R n+1,1 by R {0}. The group P in(n + 1, 1) has four connected components:
10 Hyperbolic Conformal Geometry with Clifford Algebra 81 E + (n + 1, 1), the set of versors which are geometric products of even number of positivesignatured vectors and even number of negative-signatured vectors. It is a subgroup of P in(n + 1, 1) which is isomorphic to the proper Lorentz group Lor + (n + 1, 1). E (n + 1, 1), the set of versors which are geometric products of odd number of positivesignatured vectors and odd number of negative-signatured vectors. E (n + 1, 1) and E + (n + 1, 1) form a subgroup of P in(n + 1, 1) which is isomorphic to the special orthogonal group SO(n + 1, 1). O + (n + 1, 1), the set of versors which are geometric products of odd number of positivesignatured vectors and even number of negative-signatured vectors. O + (n + 1, 1) and E + (n + 1, 1) for a subgroup of P in(n + 1, 1) which is isomorphic to the Lorentz group Lor(n + 1, 1). O (n + 1, 1), the set of versors which are geometric products of even number of positivesignatured vectors and odd number of negative-signatured vectors. O (n + 1, 1) and E + (n + 1, 1) for a subgroup of P in(n + 1, 1) which is isomorphic to the skew Lorentz group Lor (n + 1, 1). Let I n+1,1 be a unit pseudoscalar. Then the versor action of I n+1,1 maps x to x for any x in R n+1,1. Therefore M(n) = P in(n + 1, 1)/{I n+1,1 }, (4..19) which serves as the second main theorem on the homogeneous model: Theorem 4.1. Any conformal transformation in D n can be realized through the versor action of a versor in G n+1,1, and vice versa. Any two versors realize the same conformal transformation if and only they are equal up to a nonzero scalar or pseudoscalar factor. The pseudoscalar I n+1,1 induces a duality in G n+1,1, under which O + (n+1, 1) and O (n+ 1, 1) are interchanged when n is even, and O + (n + 1, 1) and E (n + 1, 1) are interchanged when n is odd. Therefore { Lor(n + 1, 1) = Lor M(n + 1, 1) = (n + 1, 1), when n is even; (4..20) Lor(n + 1, 1) = SO(n + 1, 1), when n is odd. Now we use the versor representation to study a conformal transformation which is similar to dilation in Euclidean space. This is tidal transformation, whose corresponding versor is 1 + λa 0 c, where λ R, c R n+1,1 and c a 0 = 0. Under this transformation, the concentric pencil (a 0 c) is invariant. When c is a point or end, the set {c, c} is invariant; when c is a direction, the hyperplane c is not invariant, but its sphere at infinity is. Assume that p is a fixed point in D n, and is transformed to a point or point at infinity q. It can be proved that parameter λ is a function of q on line c p. Below we list some results on this function. 1. When c is a point, (a) for any point or point at infinity q on line c p, let C c (q) = c 1 qc, then λ( C c (q)) = 1 λ(q).
11 82 Hongbo Li (b) for any point q on line c p, λ(q) = (c) λ(p e ±d(p,c) c) = e ±d(p,c). 2. When c is an end, (q p) 2 (q c) 2 (p c) 2. (a) for any point q on line c p, λ(q) = 1 2 ( 1 q c 1 p c ). (b) if q is the end of line c p other than c, then λ(q) = 1 2p c. 3. When c is a direction, (a) for any point or point at infinity q on line c p, λ( C c (q)) = 1 λ(q). (q p) 2 (b) for any point q on line c p, λ(q) = (q c) 2 (p c) 2. (c) assume that p c < 0 and let d(p, c) be the hyperbolic distance from p to the intersection t of line c p with hyperplane c on the branch of D n containing p, then d(p, c) λ(c c (p)) = sinh d(p, c), λ(t) = tanh, 2 λ(p + e d(p,c) c) = e d(p,c), λ(p + e d(p,c) c) = e d(p,c). (d) assume that p c = 0 and q is on the branch of D n containing p, then λ(q) = d(p, q) ɛ tanh, where ɛ is the sign of q c. 2 References [1] L. V. Ahlfors (1986): Clifford numbers and Möbius transformations in R n, in Clifford Algebras and Their Applications in Mathematical Physics, J. S. R. Chisholm and A. K. Common (eds.), D. Reidel, Dordrecht. [2] T. Havel and A. Dress (1993): Distance geometry and geometric algebra, Found. Phys. 23: [3] D. Hestenes and G. Sobczyk (1984): Clifford Algebra to Geometric Calculus, D. Reidel, Dordrecht, Boston. [4] D. Hestenes (1991): The design of linear algebra and geometry, Acta Appl. Math. 23: [5] B. Iversen (1992): Hyperbolic Geometry, Cambridge. [6] H. Li (1997): Hyperbolic geometry with Clifford algebra, Acta Appl. Math., 48(3): [7] H. Li, D. Hestenes and A. Rockwood (1999a): Generalized homogeneous coordinates for computational geometry, in Geometric Computing with Clifford Algebra, G. Sommer (ed.), Springer. [8] H. Li, D. Hestenes and A. Rockwood (1999b): Spherical conformal geometry with geometric algebra, in Geometric Computing with Clifford Algebra, G. Sommer (ed.), Springer. [9] H. Li, D. Hestenes and A. Rockwood (1999c): A universal model for conformal geometries of Euclidean, spherical and double-hyperbolic spaces, in Geometric Computing with Clifford Algebra, G. Sommer (ed.), Springer. [10] B. Mourrain and N. Stolfi (1995): Symbolic computational geometry, in Invariant Methods in Discrete and Computational Geometry, N. L. White (ed.), pp , D. Reidel, Dordrecht.
12 Hyperbolic Conformal Geometry with Clifford Algebra 83 [11] J. G. Ratcliffe (1994): Foundations of Hyperbolic Manifolds, Springer Verlag, New York. [12] J. Seidel (1952): Distance-geometric development of two-dimensional Euclidean, hyperbolic and spherical geometry I, II, Simon Stevin 29: 32 50, and
A Universal Model for Conformal Geometries of Euclidean, Spherical and Double-Hyperbolic Spaces
MM Research Preprints, 110 130 No. 18, Dec. 1999. Beijing A Universal Model for Conformal Geometries of Euclidean, Spherical and Double-Hyperbolic Spaces Hongbo Li, David Hestenes, Alyn Rockwood 1. Introduction
More informationOld Wine in New Bottles: A new algebraic framework for computational geometry
Old Wine in New Bottles: A new algebraic framework for computational geometry 1 Introduction David Hestenes My purpose in this chapter is to introduce you to a powerful new algebraic model for Euclidean
More informationarxiv: v6 [math.mg] 9 May 2014
arxiv:1311.0131v6 [math.mg] 9 May 2014 A Clifford algebraic Approach to Line Geometry Daniel Klawitter Abstract. In this paper we combine methods from projective geometry, Klein s model, and Clifford algebra.
More informationConic Sections and Meet Intersections in Geometric Algebra
Conic Sections and Meet Intersections in Geometric Algebra Eckhard M.S. Hitzer Department of Physical Engineering, University of Fukui, Japan hitzer@mech.fukui-u.ac.jp Abstract. This paper first gives
More informationTHE ENVELOPE OF LINES MEETING A FIXED LINE AND TANGENT TO TWO SPHERES
6 September 2004 THE ENVELOPE OF LINES MEETING A FIXED LINE AND TANGENT TO TWO SPHERES Abstract. We study the set of lines that meet a fixed line and are tangent to two spheres and classify the configurations
More informationNew Foundations in Mathematics: The Geometric Concept of Number
New Foundations in Mathematics: The Geometric Concept of Number by Garret Sobczyk Universidad de Las Americas-P Cholula, Mexico November 2012 What is Geometric Algebra? Geometric algebra is the completion
More informationAutomated Geometric Reasoning with Geometric Algebra: Practice and Theory
Automated Geometric Reasoning with Geometric Algebra: Practice and Theory Key Laboratory of Mathematics Mechanization Academy of Mathematics and Systems Science Chinese Academy of Sciences, Beijing 2017.07.25
More informationIntrinsic Differential Geometry with Geometric Calculus
MM Research Preprints, 196 205 MMRC, AMSS, Academia Sinica No. 23, December 2004 Intrinsic Differential Geometry with Geometric Calculus Hongbo Li and Lina Cao Mathematics Mechanization Key Laboratory
More informationThe Spectral Basis of a Linear Operator
The Spectral Basis of a Linear Operator Garret Sobczyk Universidad de Las Americas-P Cholula, Mexico http://www.garretstar.com Thursday Jan. 10, 2013, 2PM AMS/MAA Joint Math Meeting San Diego Convention
More informationChapter 1 Numerical evaluation of Versors with Clifford Algebra
This is page 1 Printer: Opaque this Chapter 1 Numerical evaluation of Versors with Clifford Algebra Christian B. U. Perwass, Gerald Sommer 1 ABSTRACT This paper has two main parts. In the first part we
More informationGeometry and Kinematics with Uncertain Data
Geometry and Kinematics with Uncertain Data Christian Perwass, Christian Gebken, and Gerald Sommer Institut für Informatik, CAU Kiel Christian-Albrechts-Platz 4, 24118 Kiel, Germany {chp,chg,gs}@ks.informatik.uni-kiel.de
More informationMostow Rigidity. W. Dison June 17, (a) semi-simple Lie groups with trivial centre and no compact factors and
Mostow Rigidity W. Dison June 17, 2005 0 Introduction Lie Groups and Symmetric Spaces We will be concerned with (a) semi-simple Lie groups with trivial centre and no compact factors and (b) simply connected,
More informationProjection pencils of quadrics and Ivory s theorem
Projection pencils of quadrics and Ivory s theorem Á.G. Horváth Abstract. Using selfadjoint regular endomorphisms, the authors of [7] defined, for an indefinite inner product, a variant of the notion of
More informationMiquel s Five-Circle Theorem.
MM Research Preprints, 66 77 MMRC, AMSS, Academia Sinica No 23, December 2004 On Miquel s Five-Circle Theorem Hongbo Li Mathematics Mechanization Key Laboratory Academy of Mathematics and Systems Science
More informationHyperbolic Transformations
C H A P T E R 17 Hyperbolic Transformations Though the text of your article on Crystal Symmetry and Its Generalizations is much too learned for a simple, selfmade pattern man like me, some of the text-illustrations
More informationAn Introduction to Geometric Algebra
An Introduction to Geometric Algebra Alan Bromborsky Army Research Lab (Retired) brombo@comcast.net November 2, 2005 Typeset by FoilTEX History Geometric algebra is the Clifford algebra of a finite dimensional
More informationDerivation Techniques on the Hermitian Surface
Derivation Techniques on the Hermitian Surface A. Cossidente, G. L. Ebert, and G. Marino August 25, 2006 Abstract We discuss derivation like techniques for transforming one locally Hermitian partial ovoid
More informationRANDOM HOLOMORPHIC ITERATIONS AND DEGENERATE SUBDOMAINS OF THE UNIT DISK
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9939(XX)0000-0 RANDOM HOLOMORPHIC ITERATIONS AND DEGENERATE SUBDOMAINS OF THE UNIT DISK LINDA KEEN AND NIKOLA
More informationLinear Algebra and its Applications
Linear Algebra and its Applications 432 (2010) 770 776 Contents lists available at ScienceDirect Linear Algebra and its Applications journal homepage: www.elsevier.com/locate/laa A dual transformation
More informationSOLUTIONS TO HOMEWORK ASSIGNMENT #2, Math 253
SOLUTIONS TO HOMEWORK ASSIGNMENT #, Math 5. Find the equation of a sphere if one of its diameters has end points (, 0, 5) and (5, 4, 7). The length of the diameter is (5 ) + ( 4 0) + (7 5) = =, so the
More informationLinear Algebra I. Ronald van Luijk, 2015
Linear Algebra I Ronald van Luijk, 2015 With many parts from Linear Algebra I by Michael Stoll, 2007 Contents Dependencies among sections 3 Chapter 1. Euclidean space: lines and hyperplanes 5 1.1. Definition
More informationarxiv: v1 [math.nt] 10 Dec 2009
Ford circles, continued fractions, and best approximation of the second kind arxiv:092.997v [math.nt] 0 Dec 2009 Ian Short Centre for Mathematical Sciences Wilberforce Road Cambridge CB3 0WB United Kingdom
More informationSome Geometric Applications of Timelike Quaternions
Some Geometric Applications of Timelike Quaternions M. Özdemir, A.A. Ergin Department of Mathematics, Akdeniz University, 07058-Antalya, Turkey mozdemir@akdeniz.edu.tr, aaergin@akdeniz.edu.tr Abstract
More informationB 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X.
Math 6342/7350: Topology and Geometry Sample Preliminary Exam Questions 1. For each of the following topological spaces X i, determine whether X i and X i X i are homeomorphic. (a) X 1 = [0, 1] (b) X 2
More informationThe Lorentz group provides another interesting example. Moreover, the Lorentz group SO(3, 1) shows up in an interesting way in computer vision.
190 CHAPTER 3. REVIEW OF GROUPS AND GROUP ACTIONS 3.3 The Lorentz Groups O(n, 1), SO(n, 1) and SO 0 (n, 1) The Lorentz group provides another interesting example. Moreover, the Lorentz group SO(3, 1) shows
More informationEUCLIDEAN, SPHERICAL AND HYPERBOLIC TRIGONOMETRY
EUCLIDEAN, SPHERICAL AND HYPERBOLIC TRIGONOMETRY SVANTE JANSON Abstract. This is a collection of some standard formulae from Euclidean, spherical and hyperbolic trigonometry, including some standard models
More informationA crash course the geometry of hyperbolic surfaces
Lecture 7 A crash course the geometry of hyperbolic surfaces 7.1 The hyperbolic plane Hyperbolic geometry originally developed in the early 19 th century to prove that the parallel postulate in Euclidean
More informationStereographic projection and inverse geometry
Stereographic projection and inverse geometry The conformal property of stereographic projections can be established fairly efficiently using the concepts and methods of inverse geometry. This topic is
More informationThe Erlangen Program and General Relativity
The Erlangen Program and General Relativity Derek K. Wise University of Erlangen Department of Mathematics & Institute for Quantum Gravity Colloquium, Utah State University January 2014 What is geometry?
More informationLINKING AND DISCRETENESS IN HYPERBOLIC 4-SPACE
LINKING AND DISCRETENESS IN HYPERBOLIC 4-SPACE BY ANDREW EBITNER SILVERIO A dissertation submitted to the Graduate School Newark Rutgers, The State University of New Jersey in partial fulfillment of the
More informationLie Algebra of Unit Tangent Bundle in Minkowski 3-Space
INTERNATIONAL ELECTRONIC JOURNAL OF GEOMETRY VOLUME 12 NO. 1 PAGE 1 (2019) Lie Algebra of Unit Tangent Bundle in Minkowski 3-Space Murat Bekar (Communicated by Levent Kula ) ABSTRACT In this paper, a one-to-one
More informationShult Sets and Translation Ovoids of the Hermitian Surface
Shult Sets and Translation Ovoids of the Hermitian Surface A. Cossidente, G. L. Ebert, G. Marino, and A. Siciliano Abstract Starting with carefully chosen sets of points in the Desarguesian affine plane
More informationConformal Clifford Algebras and Image Viewpoints Orbit
Conformal Clifford Algebras and Image Viewpoints Orbit Ghina EL MIR Ph.D in Mathematics Conference on Differential Geometry April 27, 2015 - Notre Dame University, Louaize Context Some viewpoints of a
More informationConics and their duals
9 Conics and their duals You always admire what you really don t understand. Blaise Pascal So far we dealt almost exclusively with situations in which only points and lines were involved. Geometry would
More informationPart IB GEOMETRY (Lent 2016): Example Sheet 1
Part IB GEOMETRY (Lent 2016): Example Sheet 1 (a.g.kovalev@dpmms.cam.ac.uk) 1. Suppose that H is a hyperplane in Euclidean n-space R n defined by u x = c for some unit vector u and constant c. The reflection
More informationHoro-tight immersions of S 1
CADERNOS DE MATEMÁTICA 06, 129 134 May (2005) ARTIGO NÚMERO SMA#226 Horo-tight immersions of S 1 Marcelo Buosi * Faculdades Federais Integradas de Diamantina, Rua da Glória 187, 39100-000, Diamantina,
More informationHIGHER-DIMENSIONAL CENTRAL PROJECTION INTO 2-PLANE WITH VISIBILITY AND APPLICATIONS
Kragujevac Journal of Mathematics Volume 35 Number (0), Pages 9 63. HIGHER-DIMENSIONAL CENTRAL PROJECTION INTO -PLANE WITH VISIBILITY AND APPLICATIONS J. KATONA, E. MOLNÁR, I. PROK 3, AND J. SZIRMAI Abstract.
More informationMultivector Calculus
In: J. Math. Anal. and Appl., ol. 24, No. 2, c Academic Press (1968) 313 325. Multivector Calculus David Hestenes INTRODUCTION The object of this paper is to show how differential and integral calculus
More informationPart IB Geometry. Theorems. Based on lectures by A. G. Kovalev Notes taken by Dexter Chua. Lent 2016
Part IB Geometry Theorems Based on lectures by A. G. Kovalev Notes taken by Dexter Chua Lent 2016 These notes are not endorsed by the lecturers, and I have modified them (often significantly) after lectures.
More informationLax embeddings of the Hermitian Unital
Lax embeddings of the Hermitian Unital V. Pepe and H. Van Maldeghem Abstract In this paper, we prove that every lax generalized Veronesean embedding of the Hermitian unital U of PG(2, L), L a quadratic
More informationCLIFFORD GEOMETRIC ALGEBRAS IN MULTILINEAR ALGEBRA AND NON-EUCLIDEAN GEOMETRIES
CLIFFORD GEOMETRIC ALGEBRAS IN MULTILINEAR ALGEBRA AND NON-EUCLIDEAN GEOMETRIES Garret Sobczyk Universidad de las Américas Departamento de Físico-Matemáticas Apartado Postal #100, Santa Catarina Mártir
More informationElementary maths for GMT
Elementary maths for GMT Linear Algebra Part 1: Vectors, Representations Algebra and Linear Algebra Algebra: numbers and operations on numbers 2 + 3 = 5 3 7 = 21 Linear Algebra: tuples, triples... of numbers
More informationKilling Vector Fields of Constant Length on Riemannian Normal Homogeneous Spaces
Killing Vector Fields of Constant Length on Riemannian Normal Homogeneous Spaces Ming Xu & Joseph A. Wolf Abstract Killing vector fields of constant length correspond to isometries of constant displacement.
More informationarxiv: v1 [math.dg] 2 Mar 2015
Geometric Properties of Conformal Transformations on R p,q Matvei Libine and Surya Raghavendran February 13, 2018 arxiv:1503.00520v1 [math.dg] 2 Mar 2015 Abstract We show that conformal transformations
More informationTHE HYPERBOLIC GEOMETRY OF CONTINUED FRACTIONS K(1 b n )
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 31, 2006, 315 327 THE HYPERBOLIC GEOMETRY OF CONTINUED FRACTIONS K1 b n ) Ian Short 4, Park Close, Harrow HA3 6EX, United Kingdom; ims25@cam.ac.uk
More informationTHE FUNDAMENTAL GROUP OF THE DOUBLE OF THE FIGURE-EIGHT KNOT EXTERIOR IS GFERF
THE FUNDAMENTAL GROUP OF THE DOUBLE OF THE FIGURE-EIGHT KNOT EXTERIOR IS GFERF D. D. LONG and A. W. REID Abstract We prove that the fundamental group of the double of the figure-eight knot exterior admits
More informationPart II. Geometry and Groups. Year
Part II Year 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2014 Paper 4, Section I 3F 49 Define the limit set Λ(G) of a Kleinian group G. Assuming that G has no finite orbit in H 3 S 2, and that Λ(G),
More informationCodewords of small weight in the (dual) code of points and k-spaces of P G(n, q)
Codewords of small weight in the (dual) code of points and k-spaces of P G(n, q) M. Lavrauw L. Storme G. Van de Voorde October 4, 2007 Abstract In this paper, we study the p-ary linear code C k (n, q),
More informationLax Embeddings of Generalized Quadrangles in Finite Projective Spaces
Lax Embeddings of Generalized Quadrangles in Finite Projective Spaces J. A. Thas H. Van Maldeghem 1 Introduction Definition 1.1 A (finite) generalized quadrangle (GQ) S = (P, B, I) is a point-line incidence
More informationExact Solutions of the Einstein Equations
Notes from phz 6607, Special and General Relativity University of Florida, Fall 2004, Detweiler Exact Solutions of the Einstein Equations These notes are not a substitute in any manner for class lectures.
More informationTRIGONOMETRY IN EXTENDED HYPERBOLIC SPACE AND EXTENDED DE SITTER SPACE
Bull. Korean Math. Soc. 46 (009), No. 6, pp. 1099 1133 DOI 10.4134/BKMS.009.46.6.1099 TRIGONOMETRY IN EXTENDED HYPERBOLIC SPACE AND EXTENDED DE SITTER SPACE Yunhi Cho Abstract. We study the hyperbolic
More informationThe Symmetric Space for SL n (R)
The Symmetric Space for SL n (R) Rich Schwartz November 27, 2013 The purpose of these notes is to discuss the symmetric space X on which SL n (R) acts. Here, as usual, SL n (R) denotes the group of n n
More informationANALYTIC DEFINITIONS FOR HYPERBOLIC OBJECTS. 0. Introduction
Trends in Mathematics Information Center for Mathematical Sciences Volume 5, Number 1,June 00, Pages 11 15 ANALYTIC DEFINITIONS FOR HYPERBOLIC OBJECTS YUNHI CHO AND HYUK KIM Abstract We can extend the
More informationR1: Sets A set is a collection of objects sets are written using set brackets each object in onset is called an element or member
Chapter R Review of basic concepts * R1: Sets A set is a collection of objects sets are written using set brackets each object in onset is called an element or member Ex: Write the set of counting numbers
More informationChapter 14 Hyperbolic geometry Math 4520, Fall 2017
Chapter 14 Hyperbolic geometry Math 4520, Fall 2017 So far we have talked mostly about the incidence structure of points, lines and circles. But geometry is concerned about the metric, the way things are
More informationMATH 23a, FALL 2002 THEORETICAL LINEAR ALGEBRA AND MULTIVARIABLE CALCULUS Solutions to Final Exam (in-class portion) January 22, 2003
MATH 23a, FALL 2002 THEORETICAL LINEAR ALGEBRA AND MULTIVARIABLE CALCULUS Solutions to Final Exam (in-class portion) January 22, 2003 1. True or False (28 points, 2 each) T or F If V is a vector space
More informationFinite affine planes in projective spaces
Finite affine planes in projective spaces J. A.Thas H. Van Maldeghem Ghent University, Belgium {jat,hvm}@cage.ugent.be Abstract We classify all representations of an arbitrary affine plane A of order q
More information30 Surfaces and nondegenerate symmetric bilinear forms
80 CHAPTER 3. COHOMOLOGY AND DUALITY This calculation is useful! Corollary 29.4. Let p, q > 0. Any map S p+q S p S q induces the zero map in H p+q ( ). Proof. Let f : S p+q S p S q be such a map. It induces
More informationProjective geometry and spacetime structure. David Delphenich Bethany College Lindsborg, KS USA
Projective geometry and spacetime structure David Delphenich Bethany College Lindsborg, KS USA delphenichd@bethanylb.edu Affine geometry In affine geometry the basic objects are points in a space A n on
More informationDescartes circle theorem, Steiner Porism, and Spherical Designs
Descartes circle theorem, Steiner Porism, and Spherical Designs Richard Evan Schwartz Serge Tabachnikov March 18, 2019 Abstract A Steiner chain of length k consists of k circles tangent to two given non-intersecting
More informationAlgorithm for conversion between geometric algebra versor notation and conventional crystallographic symmetry-operation symbols
Algorithm for conversion between geometric algebra versor notation and conventional crystallographic symmetry-operation symbols Eckhard Hitzer and Christian Perwass June, 2009 Introduction This paper establishes
More informationDescartes Circle Theorem, Steiner Porism, and Spherical Designs
arxiv:1811.08030v1 [math.mg] 20 Nov 2018 Descartes Circle Theorem, Steiner Porism, and Spherical Designs Richard Evan Schwartz Serge Tabachnikov 1 Introduction The Descartes Circle Theorem has been popular
More informationII. DIFFERENTIABLE MANIFOLDS. Washington Mio CENTER FOR APPLIED VISION AND IMAGING SCIENCES
II. DIFFERENTIABLE MANIFOLDS Washington Mio Anuj Srivastava and Xiuwen Liu (Illustrations by D. Badlyans) CENTER FOR APPLIED VISION AND IMAGING SCIENCES Florida State University WHY MANIFOLDS? Non-linearity
More informationThe existence of light-like homogeneous geodesics in homogeneous Lorentzian manifolds. Sao Paulo, 2013
The existence of light-like homogeneous geodesics in homogeneous Lorentzian manifolds Zdeněk Dušek Sao Paulo, 2013 Motivation In a previous project, it was proved that any homogeneous affine manifold (and
More informationClifford Algebras and Spin Groups
Clifford Algebras and Spin Groups Math G4344, Spring 2012 We ll now turn from the general theory to examine a specific class class of groups: the orthogonal groups. Recall that O(n, R) is the group of
More informationThe Leech lattice. 1. History.
The Leech lattice. Proc. R. Soc. Lond. A 398, 365-376 (1985) Richard E. Borcherds, University of Cambridge, Department of Pure Mathematics and Mathematical Statistics, 16 Mill Lane, Cambridge, CB2 1SB,
More informationKinematics. Chapter Multi-Body Systems
Chapter 2 Kinematics This chapter first introduces multi-body systems in conceptual terms. It then describes the concept of a Euclidean frame in the material world, following the concept of a Euclidean
More informationLines and points. Lines and points
omogeneous coordinates in the plane Homogeneous coordinates in the plane A line in the plane a + by + c is represented as (a, b, c). A line is a subset of points in the plane. All vectors (ka, kb, kc)
More informationON NEARLY SEMIFREE CIRCLE ACTIONS
ON NEARLY SEMIFREE CIRCLE ACTIONS DUSA MCDUFF AND SUSAN TOLMAN Abstract. Recall that an effective circle action is semifree if the stabilizer subgroup of each point is connected. We show that if (M, ω)
More informationMatrices and Matrix Algebra.
Matrices and Matrix Algebra 3.1. Operations on Matrices Matrix Notation and Terminology Matrix: a rectangular array of numbers, called entries. A matrix with m rows and n columns m n A n n matrix : a square
More informationMATRIX LIE GROUPS AND LIE GROUPS
MATRIX LIE GROUPS AND LIE GROUPS Steven Sy December 7, 2005 I MATRIX LIE GROUPS Definition: A matrix Lie group is a closed subgroup of Thus if is any sequence of matrices in, and for some, then either
More informationVectors Coordinate frames 2D implicit curves 2D parametric curves. Graphics 2008/2009, period 1. Lecture 2: vectors, curves, and surfaces
Graphics 2008/2009, period 1 Lecture 2 Vectors, curves, and surfaces Computer graphics example: Pixar (source: http://www.pixar.com) Computer graphics example: Pixar (source: http://www.pixar.com) Computer
More informationTechnische Universität Berlin Fakultät II Institut für Mathematik
Technische Universität Berlin Fakultät II Institut für Mathematik Springborn, Kouřimská!!Trial exam!! Written Examination Geometry I Surname:.............................. First name:..............................
More informationAnalytic Projective Geometry
Chapter 5 Analytic Projective Geometry 5.1 Line and Point Coordinates: Duality in P 2 Consider a line in E 2 defined by the equation X 0 + X 1 x + X 2 y 0. (5.1) The locus that the variable points (x,
More informationRecent Applications of Conformal Geometric Algebra
Recent Applications of Conformal Geometric Algebra Anthony Lasenby Cavendish Laboratory, University of Cambridge, Cambridge CB3 0HE, UK, a.n.lasenby@mrao.cam.ac.uk, WWW home page: http://www.mrao.cam.ac.uk/
More informationTrinocular Geometry Revisited
Trinocular Geometry Revisited Jean Pounce and Martin Hebert 报告人 : 王浩人 2014-06-24 Contents 1. Introduction 2. Converging Triplets of Lines 3. Converging Triplets of Visual Rays 4. Discussion 1. Introduction
More informationMATH PROBLEM SET 6
MATH 431-2018 PROBLEM SET 6 DECEMBER 2, 2018 DUE TUESDAY 11 DECEMBER 2018 1. Rotations and quaternions Consider the line l through p 0 := (1, 0, 0) and parallel to the vector v := 1 1, 1 that is, defined
More informationPlane hyperbolic geometry
2 Plane hyperbolic geometry In this chapter we will see that the unit disc D has a natural geometry, known as plane hyperbolic geometry or plane Lobachevski geometry. It is the local model for the hyperbolic
More informationApollonian Circle Packings: Geometry and Group Theory III. Higher Dimensions
Discrete Comput Geom 35:37 72 (2006) DOI: 10.1007/s00454-005-1197-8 Discrete & Computational Geometry 2005 Springer Science+Business Media, Inc. Apollonian Circle Packings: Geometry and Group Theory III.
More informationDetecting submanifolds of minimum volume with calibrations
Detecting submanifolds of minimum volume with calibrations Marcos Salvai, CIEM - FaMAF, Córdoba, Argentina http://www.famaf.unc.edu.ar/ salvai/ EGEO 2016, Córdoba, August 2016 It is not easy to choose
More informationON THE GERGONNE AND NAGEL POINTS FOR A HYPERBOLIC TRIANGLE
INTERNATIONAL JOURNAL OF GEOMETRY Vol 6 07 No - ON THE GERGONNE AND NAGEL POINTS FOR A HYPERBOLIC TRIANGLE PAUL ABLAGA Abstract In this note we prove the existence of the analogous points of the Gergonne
More informationTHE VOLUME OF A HYPERBOLIC 3-MANIFOLD WITH BETTI NUMBER 2. Marc Culler and Peter B. Shalen. University of Illinois at Chicago
THE VOLUME OF A HYPERBOLIC -MANIFOLD WITH BETTI NUMBER 2 Marc Culler and Peter B. Shalen University of Illinois at Chicago Abstract. If M is a closed orientable hyperbolic -manifold with first Betti number
More informationarxiv: v2 [math.mg] 15 Nov 2017
DIFFERENT DEFINITIONS OF CONIC SECTIONS IN HYPERBOLIC GEOMETRY PATRICK CHAO AND JONATHAN ROSENBERG arxiv:1603.09285v2 [math.mg] 15 Nov 2017 Abstract. In classical Euclidean geometry, there are several
More informationOn the Volume Formula for Hyperbolic Tetrahedra
Discrete Comput Geom :347 366 (999 Discrete & Computational Geometry 999 Springer-Verlag New York Inc. On the Volume Formula for Hyperbolic Tetrahedra Yunhi Cho and Hyuk Kim Department of Mathematics,
More informationOn the Grassmann modules for the symplectic groups
On the Grassmann modules for the symplectic groups Bart De Bruyn Ghent University, Department of Pure Mathematics and Computer Algebra, Krijgslaan 81 (S), B-9000 Gent, Belgium, E-mail: bdb@cage.ugent.be
More informationE. Falbel and P.-V. Koseleff
Mathematical Research Letters 9, 379 391 (2002) A CIRCLE OF MODULAR GROUPS IN PU(2,1) E. Falbel and P.-V. Koseleff Abstract. We prove that there exists a circle of discrete and faithful embeddings of the
More informationExercises for Unit I (Topics from linear algebra)
Exercises for Unit I (Topics from linear algebra) I.0 : Background Note. There is no corresponding section in the course notes, but as noted at the beginning of Unit I these are a few exercises which involve
More informationJ. Huisman. Abstract. let bxc be the fundamental Z=2Z-homology class of X. We show that
On the dual of a real analytic hypersurface J. Huisman Abstract Let f be an immersion of a compact connected smooth real analytic variety X of dimension n into real projective space P n+1 (R). We say that
More informationGeo-Metric-Affine-Projective Computing
Geo-Metric-Affine-Projective Computing Speaker: Ambjörn Naeve, Ph.D., Senior researcher Affiliation: Centre for user-oriented IT-Design (CID) Dept. of Numerical Analysis and Computing Science Royal Institute
More informationThe Spinor Representation
The Spinor Representation Math G4344, Spring 2012 As we have seen, the groups Spin(n) have a representation on R n given by identifying v R n as an element of the Clifford algebra C(n) and having g Spin(n)
More informationCGAlgebra: a Mathematica package for conformal geometric algebra
arxiv:1711.02513v2 [cs.ms] 23 Aug 2018 CGAlgebra: a Mathematica package for conformal geometric algebra José L. Aragón Centro de Física Aplicada y Tecnología Avanzada, Universidad Nacional Autónoma de
More informationOrtholengths and Hyperbolic Dehn Surgery
Ortholengths and Hyperbolic Dehn Surgery James Geoffrey Dowty July 2000 Department of Mathematics and Statistics The University of Melbourne Submitted in total fulfilment of the requirements of the Degree
More informationGeneralized quadrangles and the Axiom of Veblen
Geometry, Combinatorial Designs and Related Structures (ed. J. W. P. Hirschfeld), Cambridge University Press, London Math. Soc. Lecture Note Ser. 245 (1997), 241 -- 253 Generalized quadrangles and the
More informationThe Erwin Schrodinger International Boltzmanngasse 9. Institute for Mathematical Physics A-1090 Wien, Austria
ESI The Erwin Schrodinger International Boltzmanngasse 9 Institute for Mathematical Physics A-1090 Wien, Austria Common Homoclinic Points of Commuting Toral Automorphisms Anthony Manning Klaus Schmidt
More informationOn the structure of the directions not determined by a large affine point set
On the structure of the directions not determined by a large affine point set Jan De Beule, Peter Sziklai, and Marcella Takáts January 12, 2011 Abstract Given a point set U in an n-dimensional affine space
More informationClass Meeting # 12: Kirchhoff s Formula and Minkowskian Geometry
MATH 8.52 COURSE NOTES - CLASS MEETING # 2 8.52 Introduction to PDEs, Spring 207 Professor: Jared Speck Class Meeting # 2: Kirchhoff s Formula and Minkowskian Geometry. Kirchhoff s Formula We are now ready
More informationMobius transformations and AdS 3 geometry
Mobius transformations and AdS 3 geometr Jeffre Danciger September 1, 010 1 PSL (R + Rτ) and its action on AdS 3 Let B be the real algebra generated b an element τ, with τ = +1. As a vector space B = R
More informationSome global properties of neural networks. L. Accardi and A. Aiello. Laboratorio di Cibernetica del C.N.R., Arco Felice (Na), Italy
Some global properties of neural networks L. Accardi and A. Aiello Laboratorio di Cibernetica del C.N.R., Arco Felice (Na), Italy 1 Contents 1 Introduction 3 2 The individual problem of synthesis 4 3 The
More informationINTRO TO SUBRIEMANNIAN GEOMETRY
INTRO TO SUBRIEMANNIAN GEOMETRY 1. Introduction to subriemannian geometry A lot of this tal is inspired by the paper by Ines Kath and Oliver Ungermann on the arxiv, see [3] as well as [1]. Let M be a smooth
More informationStudy guide for Exam 1. by William H. Meeks III October 26, 2012
Study guide for Exam 1. by William H. Meeks III October 2, 2012 1 Basics. First we cover the basic definitions and then we go over related problems. Note that the material for the actual midterm may include
More information