Geometric Excursions

Math research as an undergrad

Lesson learned from cat: being indifferent to life’s troubles

Coming home from a long day at my new home, my grad school, I feel a bit lost. My head is filled with all kinds of questions: how do I quickly become acquainted here? How do I gain the trust of the people in power here? How can I best prove my worth? How do I connect with my peers whom I haven’t met? How will I pass the prelims? How will I be able to get the fellowship that I want? How will I lead a normal life while juggling so much responsibilities? Am I cut out for this?

I only have faintly planned out the ways to solve these problems. Most of them are not guaranteed, or even likely, to succeed, knowing my past experience. I know myself well: I am an optimist at heart and I can see myself going places. Paradoxically, I am paralyzed by these doubts, questions, and insecurities. I feel like all my actions are recorded and judged, and there’s only so many strikes before I would be given up on.

Being so anxious and paralyzed, I cannot lay down to rest. My optimism is jaded and my mind is swirling with ideas on how to improve my current situation. I don’t like not being optimistic and not having hope. I like my world views rose-tinted, or maybe I don’t like it, but I have to out of habit.

I had an idea, though, that I should pick up meditation, with my cat. I closed my eyes and had begun meditating. Every once in a while, I open my eyes to look at my napping friend and felt a bit calmer.

There are many things to be learned from cats, one of them being the indifferent attitude of cats. Cats lounge around all day, seemingly purposeless. When they wake up, they find somewhere comfortable to take another nap. Compare to humans, who are always have some kind of lofty goal, perhaps we can learn a thing or two.

Being ambitious is usually a healthy thing, but having too much can lead to loss of sleep, paranoia about the future, depression about the present, and stagnation of progress.

In the face of troubles and doubts of the future, we should just be like cats. Anything can be solved by a nap. And if you can’t nap, just take a second to shut your eyes and let your troubles melt away. Find somewhere to cuddle in warmth and let your mind wander in beautiful thoughts. Life’s purpose is not so well defined, and when you try really hard to define your life, it’s natural when things don’t seem to go your way.

I took another look at my Zen master in slumber as his furry belly rises and falls. Like my cat, I should just let life happen to me. As long as I do my best, there’s nothing that should take away my precious, well-deserved sleep.

A bit of computations

A Mobius Transformation

Today, I did a pretty nifty computation to explore the behavior of f(z) = \frac{z}{z+1}. This transformation is a linear fractional transformation on the upper half plane with fixed point 0. The blue circle is the horocycle on which the points \{f^n (i) | n \in \mathbb{Z} \} lies. The yellow semi-circle is the unit circle. The region bounded by the vertical red line, vertical blue line and the exterior of the yellow semi-circle, is the modular figure, which is the fundamental domain of \Gamma = PSL(2, \mathbb{Z}).

Some questions I have about the group \Gamma is regarding the parabolic transformations: how many degrees of freedoms do we have in the “lattice”? In other word, since the parabolic transformations are the hyperbolic analog of translations, there should be a set of directions to travel in. Of course, none of the directions should cross path. Besides parabolic transformations, the hyperbolic transformations are also not torsion. Hence, the term “direction” should be a bit more complicated here.

Actually, does it even make sense to speak of a hyperbolic lattice? In the Euclidean plane, the translation subgroup of a wallpaper group can generate a lattice by translating the origin. Similarly, we would like to study the lattice generated by translating i. I believe this question will illuminate the structures of the congruence subgroups of \Gamma.

More Hyperbolic Geometry

Today, I went to the first lecture with my REU advisor. I think he really likes number theory and told us a great deal about geometry, number theory, group theory and everything else. I have to say that there are insane things that occurs inside strange spaces that I cannot fathom even the tip of the iceberg because how ridiculous insane it is. Insane in a good way, of course.

First really surprising thing are the principal (principle?) congruence subgroups of PSL(2, \mathbb{Z}). These just have the strangest group structure. For one, PSL(2, \mathbb{Z}) has torsion element but some of these principal congruence subgroup (all of them?) are torsion free. The cooler thing is that whether the subgroup is torsion free or not relates to something about the fundamental domain of the subgroup. PSL(2, \mathbb{Z}) contains 2 elliptic point, namely, i and (1/2, \sqrt{3}/2). These two points somehow corresponds to PSL(2, \mathbb{Z})‘s torsion element of order 2 and 3.

Equally surprising are the fundamental domains of these principal congruence subgroups, and their quotient spaces. Much like in the Euclidean plane, in the hyperbolic plane, we can form these quotient spaces. Whereas \mathbb{Z}^2 \backslash \mathbb{R}^2 is a torus, \Gamma(N) \backslash \mathbb{H}^2 are these punctured spheres and toruses of genus 2, 3 or beyond.

Another thing that I can not yet grasp is the different isometric classes of toruses. A torus made from a square lattice has less symmetry than a hexagonal lattice torus. Similarly, there are quotient spaces in \mathbb{H}^2 that have a lot more symmetry than the others. The meaning of this is something I will explore in the next month or so.

Finally, what is the curvature on a torus? In fact, what is curvature? I have no studied this property yet, but I am seeing it everywhere. Gauss discovered that curvature is intrinsic to the object. Yet, is torus flat in \mathbb{R}^4 but has no imbedding into \mathbb{R}^3 that is flat? The meaning of this I will explore in the next month or so.

Hyperbolic Geometry

One of the oddest thing that happens in this world is coincidences. Can it be a mere coincidence that our solar system, the milky, the universe are held together in equilibrium (relative to our lifetime of course)? Physicists are interested in this question and developed theories to explain all this. More alarming to me is how the mathematical universe are held together. The existence of the hyperbolic geometry is remarkable. Even more remarkable is how it can be modeled inside our intuitive Euclidean geometry.

Sitting inside GL(2, \mathbb{R}) is the group of isometries on the hyperbolic plane, SL(2, \mathbb{R}).  When we first conceived the idea of matrices, it is highly doubtful that anyone had the slightest clue that a subset of matrices are actually distance preserving maps for a very bizarre geometry! After all, SL(2, \mathbb{R}) are linear maps on the plane that are possibly squeezes or stretches, it is astonishing that we can curve our space a slight bit and get isometries. If this isn’t coincidental, then I don’t know what is. It is almost a miracle. I imagine that when the mathematicians (Poincare?) discovered this, the feeling he felt was comparable to climbing to the top of Mount Everest, or being the first crew that flies to the edge of the galaxy. Mathematics is remarkable.