Harvard University Qualifying Exam
Harvard University Qualifying Exam
Harvard University Qualifying Exam
Harvard University
Department of Mathematics
Tuesday September 16 2008 (Day 1)
−1 + σ(α)3 −1 + (ωα)3 −1 + α3
σ(ω) = = = =ω
2 2 2
and
−1 + τ (α)3 −1 + (−α)3 −1 − α3
τ (ω) = = = = −1 − ω = ω 2 .
2 2 2
Therefore τ (σ(α)) = τ (ωα) = −ω 2 α while σ(τ (α)) = σ(−α) = −ωα, so σ and
τ do not commute. So G is a nonabelian group of order 6, and thus must be
isomorphic to the symmetric group S3 .
We now finish the problem.
and thus I = π.
Solution.
(a) Let X be the xy-plane; then the Gauss map g : X → S 2 is constant, so
its differential is everywhere zero and hence singular.
(b) Consider the Gauss map of X restricted to C, g|C : C → S 2 . Then for
any point p ∈ C, d(g|C )p = (dgp )|Tp (C) , which is 0 by assumption. Hence
g|C is locally constant on C. That is, on each connected component C0 of
C there is a fixed vector (the value of g|C at any point of the component)
normal to all of C0 . Hence C0 lies in a plane in R3 normal to this vector.
Solution.
(a) Suppose that f is uniformly contracting. Prove that there exists a unique
point x ∈ X such that f (x) = x.
(b) Give an example of a contracting map f : [0, ∞) → [0, ∞) such that
f (x) 6= x for all x ∈ [0, ∞).
Solution.
(a) We first show there exists at least one fixed point of f . Let x0 ∈ X be
arbitrary and define a sequence x1 , x2 , . . . , by xn = f (xn−1 ). Let d =
ρ(x0 , x1 ). By the uniformly contracting property of f , ρ(xn , xn+1 ) ≤ dcn
for every n. Now observe
X 2 + Y 2 + Z 2 + W 2 = 0.
Solution.
or
(2)
Vu,t = { (rt, su, st, ru) | r, s ∈ K }
for some (u, t) 6= (0, 0). And it is easy to see conversely that each of these
subspaces is two-dimensional and lies in the subset of K 4 determined by
(v, v) = 0.
Translating this back into equations for the lines on the surface Q, we
obtain two families of lines:
(1) rt + su rt − su ru − st ru + st
Lu,t = : √ : : √ | r, s ∈ K ,
2 2 −1 2 2 −1
(2) rt + su rt − su st − ru st + ru
Lu,t = : √ : : √ | r, s ∈ K ,
2 2 −1 2 2 −1
(1) (2)
where (u, t) ranges over K 2 \ {(0, 0)}. The families L∗,∗ and L∗,∗ are
disjoint, and two pairs (u, t) and (u′ , t′ ) yield the same line in a given
family if and only if one pair is a nonzero scalar multiple of the other.
(b) By the result of the previous part, F is the image of a regular map
P1 ∐ P1 → G, so F is a closed subvariety of G.
QUALIFYING EXAMINATION
Harvard University
Department of Mathematics
Wednesday September 17 2008 (Day 2)
as desired.
(b) If u ∈ Z[i] is a unit, then there exists u′ ∈ Z[i] such that uu′ = 1, so
|u||u′ | = 1 and hence |u| = 1 (since
√ |z| > 0 for every z ∈ Z[i]). Writing
u = a + bi, we obtain 1 = |u| = a2 + b2 so either a = ±1 and b = 0 or
a = 0 and b = ±1. The four possibilities u = 1, −1, i, −i are all clearly
units.
(c) Since Z[i] is Euclidean, it contains a greatest common divisor of any two
elements, and it follows that irreducibles and primes are the same: if z
is irreducible and z ∤ x and n ∤ y, then gcd(x, z) = gcd(y, z) = 1, so
1 ∈ (x, z) and 1 ∈ (y, z); hence 1 ∈ (xy, z), so z ∤ xy.
Let z ∈ Z[i]. If |z| ≤ 1, then z is either zero or a unit so is not prime. If
√
|z| = p, p ∈ Z a prime, then u must be a prime in Z[i], because | · | is
multiplicative and |z|2 ∈ Z for all z ∈ Z[i]. It remains to consider z for
which |z|2 is composite.
√
Write N = |z|, and factor N = p1 p2 · · · pr in Z. Note that
z | z z̄ = N = p1 p2 · · · pr
d2 xm dxi dxj
0 = 2
+ Γm ij
dt dt dt
d2 xm dxi dxj
= 2
+ (δmj Ali + δim Alj − δij Alm )xl
dt dt dt
d2 xm X dxi dxm X X dxi 2
= +2 Ali xl − Alm xl
dt2 dt dt dt
i,l l i
(a) Define the Hilbert function hX (m) and the Hilbert polynomial pX (m) of
X.
(b) What is the significance of the degree of pX ? Of the coefficient of its
leading term?
(c) For each m, give an example of a variety X ⊂ Pn such that hX (m) 6=
pX (m).
Solution.
(a) The homogeneous coordinate ring S(X) is the graded ring S(Pn )/I,
where S(Pn ) is the ring of polynomials in n+1 variables and I is the ideal
generated by those homogeneous polynomials which vanish on X. Then
hX (m) is the dimension of the mth graded piece of this ring. The Hilbert
polynomial pX (m) is the unique polynomial such that pX (m) = hX (m)
for all sufficiently large integers m.
(b) The degree of pX is the dimension d of the variety X ⊂ Pn , and its
leading term is deg X/d!.
(c) Let X consist of any k distinct points of Pn . Then X is a variety of
dimension 0 and degree k, so by the previous part pX (m) = k. But
hX (m) is at most the dimension of the space of homogeneous degree m
polynomials in n + 1 variables, so for sufficiently large k, hX (m) < k =
pX (m).
6. Let X = S 2 ∨ RP2 be the wedge of the 2-sphere and the real projective plane.
(This is the space obtained from the disjoint union of the 2-sphere and the
real projective plane by the equivalence relation that identifies a given point
in S 2 with a given point in RP2 , with the quotient topology.)
Solution.
1. For z ∈ C \ Z, set
N
!
X 1
f (z) = lim
N →∞ z+n
n=−N
(a) Show that this limit exists, and that the function f defined in this way
is meromorphic.
(b) Show that f (z) = π cot πz.
Solution.
(a) We can rewrite f as
N ∞
!
1 X 1 1 1 X 2z
f (z) = + lim + = + .
z N →∞ z+n z−n z z 2 − n2
n=1 n=1
For any z ∈ C \ R, the terms of this sum are uniformly bounded near
z by a convergent series. So this sum of analytic functions converges
uniformly near z and thus f is analytic near z. We can apply a similar
1
argument to f (z) − z−n to conclude that f has a simple pole at each
integer n (with residue 1).
(b) The meromorphic function π cot πz also has a simple pole at each integer
n with residue limz→n (z − n)(π cot πz) = 1, so f (z) − π cot πz is a global
analytic function. Moreover
N
!
X 1 1
f (z + 1) − f (z) = lim −
N →∞ z+1+n z+n
n=−N
1 1
= lim −
N →∞ z + 1 + N z−N
= 0
for all z ∈ C \ Z, and cot π(z + 1) = cot πz, so f (z) − π cot πz is periodic
with period 1. Its derivative is
∞
d 1 X 1 1
f ′ (z) − π cot πz = − 2 + − − + π 2 sin2 πz.
dz z (z + n)2 (z − n)2
n=1
Solution.
1 → Z → G → Z/pZ → 1.
The sequence splits, because we can pick a generator for Z/pZ and choose
a preimage for it in G; this preimage has order p (G cannot contain an
element of order p2 or it would be cyclic) so it determines a splitting
Z/pZ → G. Hence G is the direct product of Z and Z/pZ (because Z is
central in G). So there are no new groups in this case.
(c) Let G be a group with p3 elements in which every element has order
p, and let Z be the center of G; again Z is nontrivial. If Z has order
p3 , then G is abelian, and since every element has order p, G must be
(Z/pZ)3 . If Z has order p2 , then Z must be isomorphic to (Z/pZ)2 , and
there is a short exact sequence
1 → Z → G → Z/pZ → 1.
1 → Z → G → (Z/pZ)2 → 1.
It remains to check that in this group every element really has order p.
But one can check by induction that
n
1 nj nk + n(n−1)
1 j k 2 ij
0 1 i = 0 1 ni
0 0 1 0 0 1
and setting n = p, the right hand side is the identity because p is odd.
Solution.
(a) (We omit the coefficient group Z from the notation in this part.) By the
Hurewicz theorem, H1 (X) is the abelianization of π1 (X), so H1 (X) =
(Z/3Z) ⊕ Z ⊕ Z. By Poincaré duality, H 2 (X) = (Z/3Z) ⊕ Z ⊕ Z as
well. Now by the universal coefficient theorem for cohomology, H 1 (X) is
(noncanonically isomorphic to) the free part of H1 (X). So H 1 (X) = Z ⊕
Z, and by Poincaré duality again H2 (X) = Z⊕Z too. Of course, H3 (X) =
Z because X is a connected oriented 3-manifold. So the homology groups
of X are
H0 (Y ) = Z, H1 (Y ) = (Z/6Z) ⊕ Z3 , H2 (Y ) = Z3 , H3 (Y ) = Z.
(b) The module Q is flat over Z (TorZn (Q, −) = 0 for n > 0) so for any space
A, Hn (A, Q) = Q ⊗ Hn (A, Z). In particular,
4. Let Cc∞ (R) be the space of differentiable functions on R with compact support,
and let L1 (R) be the completion of Cc∞ (R) with respect to the L1 norm. Let
f ∈ L1 (R). Prove that
1
Z
lim |f (y) − f (x)|dy = 0
h→0 h |y−x|<h
We will show that Xk has measure 0 for each k = 1, 2, . . . . The union of these
sets is the set of x for which the displayed equation in the problem statement
does not hold; if it is the union of countably many sets of measure 0, it also
has measure 0, proving the desired statement.
Fix a positive integer k, and let ε > 0. By the given definition of L1 (R),
there is a differentiable function g on R with compact support such that
||f − g||1 ≤ ε/4k. Write f1 = f − g. I claim that
1 1
Z Z
lim sup |f (y) − f (x)| dy = lim sup |f1 (y) − f1 (x)| dy,
h→0 h |y−x|<h h→0 h |y−x|<h
1 1
Z Z
lim sup |f (y) − f (x)| dy ≤ lim sup |f (x)| + |f (y)| dy
h→0 h |y−x|<h h→0 h |y−x|<h
1
Z
= 2 |f (x)| + lim sup |f (y)| dy.
h→0 h |y−x|<h
Rx
Now define F (x) = −∞ |f (y)| dy. Then by the Lebesgue differentiation theo-
rem F is differentiable with F ′ (x) = |f (x)| for almost every x. The last term
on the second line above equals 2F ′ (x) wherever the latter is defined, so for
almost every x,
1
Z
lim sup |f (y) − f (x)| dy ≤ 4 |f (x)|.
h→0 h |y−x|<h
The measure of the set of points x such that 4 |f (x)| ≥ 1/k is at most
4k ||f ||1 < ε, so the measure of Xk is at most ε. Since ε was arbitrary,
Xk has measure 0 as claimed.
Solution.
6. Realize S 1 as the quotient S 1 = R/2πZ, and consider the following two line
bundles over S 1 :
L is the subbundle of S 1 × R2 given by
(You should verify for yourself that M is well-defined.) Which of the following
are trivial as vector bundles on S 1 ?
(a) L
(b) M
(c) L ⊕ M
(d) M ⊕ M
(e) M ⊗ M
Solution.
h(φ, θ) = (θ, (cos φ(− sin θ, cos θ) ⊕ sin φ(− sin(θ/2), cos(θ/2)))).
and
h(φ, 2π) = (0, ((0, cos φ) ⊕ (0, − sin φ))).
If L ⊕ M → S 1 were a trivial plane bundle, then C would be the torus
and these two paths would not be homotopic. Hence L ⊕ M is not a
trivial plane bundle over S 1 .
(d) Define s : [0, 2π] → M ⊕ M by
Observe that s is nowhere 0 and s(0) = (0, ((0, 1) ⊕ (0, 0))) is equal to
s(2π) = (0, (−(0, −1) ⊕ (0, 0))). So s factors through S 1 , and thus is a
global nonvanishing section of M ⊕ M . We can get a second, linearly
independent section of M ⊕M by applying the map A : M ⊕M → M ⊕M ,
Since s(0) = (0, (0, 1)) while s(2π) = (0, (0, −1)), s does not factor
through S 1 . However, if we define s′ : [0, 2π] → M ⊗ M by
then s′ (0) = (0, (0, 1) ⊗ (0, 1)) = (0, (0, −1) ⊗ (0, −1)) = s′ (2π). So s′ is a
global nonvanishing section of the line bundle M ⊗ M , and thus M ⊗ M
is trivial.
Note: Parts (c)–(e) can be solved more systematically using the theory of
vector bundles. For X a pointed compact space, an n-dimensional vector
bundle on the suspension of X is determined up to isomorphism by a homotopy
class of pointed maps from X to the orthogonal group O(n). For a map
f : X → O(n), the corresponding vector bundle is obtained by taking trivial
bundles on two copies of the cone on X and identifying them at a point x ∈ X
via the map f (x). In our case X = S 0 and so a homotopy class of pointed
maps from X to O(n) is just a connected component of O(n). The bundles
L and M correspond to the connected components of the matrices (1) and
(−1) respectively. It follows that the bundles L ⊕ M , M ⊕ M , and M ⊗ M
correspond to
1 0 −1 0
, , and 1 ,
0 −1 0 −1
respectively, so L ⊕ M is nontrivial but M ⊕ M and M ⊗ M are trivial.