Feeds:
Posts
Comments

Archive for the ‘math.AT’ Category

Let X be a finite CW complex with c_0 vertices, c_1 edges, and in general c_i different i-cells. The Euler characteristic

\displaystyle \chi(X) = \sum_{i \ge 0} (-1)^i c_i

is a fundamental invariant of X, and the observation that it is homotopy invariant is the appropriate generalization of Euler’s formula V - E + F = 2 = \chi(S^2) for a convex polyhedron. But where exactly does this expression come from? The modern story involves the homology groups H_i(X, \mathbb{Q}), but actually one can work on a more intuitive level characterized by the following slogan:

The Euler characteristic is a homotopy-invariant generalization of cardinality.

More precisely, the above expression for Euler characteristic can be deduced from three simple axioms:

  1. Cardinality: \chi(\text{pt}) = 1.
  2. Homotopy invariance: If X \sim Y, then \chi(X) = \chi(Y).
  3. Inclusion-exclusion: Suppose X is the union of two subcomplexes A, B whose intersection A \cap B is a subcomplex of both A and B. Then \chi(X) = \chi(A) + \chi(B) - \chi(A \cap B).

Of course, this isn’t enough to conclude that there actually exists an invariant with these properties. Nevertheless, it’s enough to motivate the search for a proof that such an invariant exists.

(more…)

Read Full Post »

SU(2) and the quaternions

The simplest compact Lie group is the circle S^1 \cong \text{SO}(2). Part of the reason it is so simple to understand is that Euler’s formula gives an extremely nice parameterization e^{ix} = \cos x + i \sin x of its elements, showing that it can be understood either in terms of the group of elements of norm 1 in \mathbb{C} (that is, the unitary group \text{U}(1)) or the imaginary subspace of \mathbb{C}.

The compact Lie group we are currently interested in is the 3-sphere S^3 \cong \text{SU}(2). It turns out that there is a picture completely analogous to the picture above, but with \mathbb{C} replaced by the quaternions \mathbb{H}: that is, \text{SU}(2) is isomorphic to the group of elements of norm 1 in \mathbb{H} (that is, the symplectic group \text{Sp}(1)), and there is an exponential map from the imaginary subspace of \mathbb{H} to this group. Composing with the double cover \text{SU}(2) \to \text{SO}(3) lets us handle elements of \text{SO}(3) almost as easily as we handle elements of \text{SO}(2).

(more…)

Read Full Post »

SO(3) and SU(2)

In order to study the hydrogen atom, we’ll need to know something about the representation theory of the special orthogonal group \text{SO}(3). This post consists of a few preliminaries along the way to doing this. I’ll be somewhat vague about a few things that 1) I don’t have much experience with, and 2) that would detract from the main narrative anyway.

(more…)

Read Full Post »

The following two lemmas might be encountered in a basic course in complex analysis (the first in a basic course in group theory, even).

Lemma 1: Fix a field F. The group of fractional linear transformations PGL_2(F) acts triple transitively on \mathbb{P}^1(F) and the stabilizer of any triplet of distinct points is trivial.

Lemma 2: The group of fractional linear transformations on \mathbb{P}^1(\mathbb{C}) preserving the upper half plane \mathbb{H} = \{ z \in \mathbb{C} | \text{Im}(z) > 0 \} is PSL_2(\mathbb{R}).

I used to only know extremely boring computational proofs of both of these statements. However, I now know better! Today I’d like to give shorter and conceptual proofs of both of these, and then briefly discuss how they come about in the study of elliptic curves (a subject I’d like to talk about in more detail once this semester is over).

(more…)

Read Full Post »

« Newer Posts