https://math.berkeley.edu/~myzhang/qual.html?tdsourcetag=s_pcqq_aiomsg
<!-- Page Content -->
<div class="container">
<div class="row" style="margin-top: 80px; margin-bottom: 40px;">
<h3 style="text-align: center">Qualifying Exams</h3>
<div id="main">
The following is a collection of past qualifying exam questions at UC Berkeley, to serve as practices for graduate students preparing their exams.
<div class="expander" onclick="toggleSibling(this);flipArrow(this.childNodes[1])">
<img src="img/arrow-down.png" class="arrow" />
<h4 class="sectionTitle">Algebra</h4>
</div>
<div class="area">
<div class="expander" onclick="toggleSibling(this);flipArrow(this.childNodes[1])">
<img src="img/doublearrow-down.png" class="arrow doublearrow" />
<h5 class="sectionTitle">General Algebra</h5>
</div>
<ol class="subject">
<li class="question">
How does one make a subposet into a poset? (Bergman)
</li>
<li class="question">
State and prove the Fundamental Theorem of Finite Distributive Lattices. (Klass)
</li>
<li class="question">
Define and state things about posets. (Klass)
</li>
<li class="question">
Draw a non-lattice with 5 elements. Draw a lattice with 5 elements. Draw a Boolean lattice on 3 elements. (Lam)
</li>
<li class="question">
Give a ring $R$ and a free module $M$ that has a basis of $n$ elements for every integer $nge 1$. Can $R$ be choesen commutative unital?
</li>
<li class="question">
State the fundamental theorem of Galois theory.
</li>
</ol>
<div class="expander" onclick="toggleSibling(this);flipArrow(this.childNodes[1])">
<img src="img/doublearrow-down.png" class="arrow doublearrow" />
<h5 class="sectionTitle">Combinatorics</h5>
</div>
<ol class="subject">
<li class="question">
State and prove Ramsey's Theorem, Hall's Theorem, Speiner's Theorem, Erdös-Ko-Rado Theorem, and the Erdös lower bound on Ramsey. (Karp)
</li>
<li class="question">
State Lovas local theorem and Alan's Theorem. (Karp)
What is $R_1(n)$? (Karp)
</li>
<li class="question">
When is the Speiner bound tight? (Karp)
</li>
<li class="question">
What is the net work flow problem? (Sinclair)
</li>
<li class="question">
What is an algorithm to solve the problem? How do we know it terminates and what is a bound on the running time? (Sinclair)
</li>
<li class="question">
What is an algorithm with a better bound? (Sinclair)
</li>
<li class="question">
How can we use the algorithm to find a minimum cut? (Sinclair)
</li>
<li class="question">
What is a randomized algorithm for finding a minimal cut? (Sinclair)
</li>
<li class="question">
What is a bound on the error probability? (Sinclair)
</li>
<li class="question">
What does this tell us about how many minimal cuts there can be in a 1-graph? (Sinclair)
</li>
<li class="question">
What is an Eulerian poset? What is graded? What is a rank funciton? What is the length of a chain? What is $mu$ of an interval? Why is it called Eulerian? (Sinclair)
</li>
<li class="question">
Consider monotonic paths from $(0,0)$ to $(n,n)$ consisting of unit steps either $+(1,0)$ or $+(0,1)$. $alphagegamma$ if $alpha$ is never below $gamma$. Define a hill to be a $+(0,1)$ step followed by a $+(1,0)$ step. Define a valley to be a $+(1,0)$ step followed by a $+(0,1)$ step. Given $alphageeta$, define hills of $alpha$ and valleys of $eta$ as good points. Define valleys of $alpha$ and hills of $eta$ as bad points. Show the number of good points is always greater than the number of bad points. (Sinclair)
</li>
<li class="question">
Talk about the Incidence Algebra on a poset. (Klass)
</li>
<li class="question">
If we are to implement the Mobius inversion on the poset, do we need the functions in the Incidence Algebra to take values in a field? Does a ring suffice? (Bergman)
</li>
<li class="question">
When is a function in the Incidence Algebra invertible? Prove it. (Bergman)
</li>
<li class="question">
Talk about the Mobius function for the product of two posets. Use it to describe the Mobius function on B_n, the Boolean poset of size n. (Klass)
</li>
<li class="question">
Prove that a finite meet-semilattice with 1 is a lattice. (Bergman)
</li>
<li class="question">
Is an infinite meet-semilattice with 1 necessarily a lattice? If not, find a counterexample. (Bergman)
<li class="question">
Prove that in a finite poset with a unique maximal element, that element is 1; find a counterexample in the infinite case. (Bergman)
</li>
<li class="question">
Consider the matroid of the hyperplane arrangement of the root system $B_n$. Draw this for $n=2$, and compute the characteristic polynomial. Is this a graphical matroid? Derive the characteristic polynomial for general $n$. How many regions does the hyperplane arrangement have? (Ardila (SFSU))
</li>
<li class="question">
State the finite field method for the characteristic polynomial of a hyperplane arrangement. Sketch a proof. (Ardila)
</li>
<li class="question">
Define Cohen-Macaulay posets. Show that the lattice of flats of a matroid is Cohen-Macaulay. What is the relationship between Cohen-Macaulay posets and Cohen-Macaulay rings? (Sturmfels)
</li>
<li class="question">
What is the Lagrange inversion formula? (Serganova)
</li>
<li class="question">
How do you use this formula? (Serganova)
</li>
<li class="question">
What is the proof? (Sturmfels)
</li>
<li class="question">
What is a Schur polynomial? (Serganova)
</li>
<li class="question">
How do you show that it is symmetric? (Serganova)
</li>
<li class="question">
What is the definition of the Schur polynomial using determinants? (Serganova)
</li>
<li class="question">
Why is the Schur polynomial important? (Serganova)
<span class="hintButton" onclick="toggleSibling(this)">[Hint]</span>
<div class="hint">
Inner products.
</div>
</li>
<li class="question">
Can you use Schur polynomials in computational biology? (Sturmfels)
</li>
</ol>
<div class="expander" onclick="toggleSibling(this);flipArrow(this.childNodes[1])">
<img src="img/doublearrow-down.png" class="arrow doublearrow" />
<h5 class="sectionTitle">Commutative Algebra</h5>
</div>
<ol class="subject">
<li class="question">
What is Spec $mathbb{C}[[x]]$?
<span class="hintButton" onclick="toggleSibling(this)">[Hint]</span>
<div class="hint">
$mathbb{C}[[x]]$ is a DVR.
</div>
</li>
<li class="question">
State the Noether normalization theorem.
</li>
<li class="question"> Let $A$ be a commutative ring, $M$ a finitely generated $A$-module, and $x_1,ldots,x_n$ elements of $M$ which generate $M/mM$ for every maximal ideal $m$ of $A$. Show that they
generate $M$. (Vojta)
</li>
<li class="question"> What is $mathbb{Z}^*_{q-1}$?
</li>
<li class="question"> Give an example of a commutative ring with unity which has
prime ideals which are not maximal.
</li>
<li class="question"> Give two examples of UFD's which are not PID's.
</li>
<li class="question"> Suppose $p(x)in F[x]$ where $F$ is a field. Let $p(a)=0$
for $ain E$, an extension of $F$. Show that $p(x) = (x-a)q(x)$ for
some $q(x)in F[x]$.
</li>
<li class="question"> Show that an element $a$ is irreducible if and only if
$(a)$ is maximal, where $ain R$ and $R$ is a PID.
</li>
<li class="question"> Let $R$ be a finite commutative ring free of zero
divisors. Show that $R$ has a unit, show that each non-zero element
has an inverse. Is the result still true if $R$ is infinite?
</li>
<li class="question"> Is there a general class of rings in which maximal ideals
and prime ideals are the same?
</li>
<li class="question"> Let $P$ be a prime ideal in $R$ such that $R/P$ is a finite
ring. Show that $P$ is maximal if $R$ is a commutative ring with
unit.
</li>
<li class="question"> Show that in a commutative ring with unit every maximal
ideal must be prime.
</li>
<li class="question"> Describe the ring of endomorphisms of the integers.
</li>
<li class="question"> If $R$ is a UFD, prove that $R[X]$ is a UFD.
</li>
<li class="question"> Let $R$ be a commutative ring with unity $1
ot=0$, and let
$S$ be a multiplicative subset of $R$ not containing $0$. Consider the
set of all ideals $A$ which do not intersetct $S$. Show that a maximal
element in this set must be a prime ideal.
</li>
<li class="question"> Let $R$ be the ring of real quaternions. Does $R[X]$
satisfy the division algorithm property?
</li>
<li class="question"> Distinguish algebraically between $operatorname{GL}(3,mathbb{R})$ and
$operatorname{GL}(2,mathbb{R})$, not using topology.
</li>
<li class="question"> What is a Dedekind ring?
</li>
<li class="question"> Prove that $k[X,Y]$ is not Dedekind.
</li>
<li class="question"> Let $Omegasubseteq mathbb{C}$ be a domain, and $mathscr{O}
(Omega)$, $mathscr{O}_F(Omega)$ the ring of homomorphic functions
and the subring of functions with finitely many zeroes. Is $mathscr{O}
(Omega)$ or $mathscr{O}_F(Omega)$ a UFD? What are the primes in
these rings?
</li>
<li class="question"> Can you give an example of a ring $R$ which is not
Cohen-Macauley? (Ogus)
</li>
<li class="question"> Can you give an example of a ring $R$ which is
Cohen-Macauley but not Gorenstein? (Ogus)
</li>
<li class="question"> For a dimension zero Gorensteins ring, what can you say about
the $R$-module ${
m Hom}_k(R,k)$? ${
m Hom}_R(k,{
m Hom}_k(R,k))$?
(Ogus)
</li>
<li class="question"> Given $R$ a domain, Noetherian, dimension 1, what can we
say about $ ilde{R}$, its integral closure? (Lenstra)
</li>
<li class="question"> Let's prove that in the above case, $ ilde{R}$ is
Noetherian. (Lenstra)
</li>
<li class="question"> Define "Hilbert function". (Sturmfels)
</li>
<li class="question"> What conditions on a graded ring $S=oplus_{d=0}^{infty}
S_d$ will assure the agreement of the Hilbert function with a
polynomiial? (Sturmfels)
</li>
<li class="question"> What sorts of invariants appear in the Hilbert polynomial?
(Sturmfels)
</li>
<li class="question"> Given an ideal $I$, how would one compute its Hilbert
function? (Sturmfels)
</li>
<li class="question"> Define Gröbner basis, term order and initial
ideal. (Sturmfels)
</li>
<li class="question"> How would you calculate $operatorname{lt}(I)$ where $operatorname{lt}(I) =
langle operatorname{lt}(f) \,|\, fin I
angle$ and $operatorname{lt}(f)$ is the sum
of terms of highest degree of $f$? (Sturmfels)
</li>
<li class="question"> Give an example of a tegrm order that refines the partial
order by degree. (Casson)
</li>
<li class="question"> Given an example of an ideal $I = langle
f_1,ldots,f_t
angle$ such that $operatorname{lt}(I)
ot=langle operatorname{lt}
(f_1),ldots,operatorname{lt}(f_t)
angle$. (Sturmfels)
</li>
<li class="question"> Find the ideal $I(X)$ for $X$ the twisted cubic in
$mathbf{A}^3$. Show that two generators suffice. Find a term order such that these two generators are
not a Gröbner basis for $I(X)$ but all three are.
</li>
<li class="question">
Show that $langle x^2-yw, xz-y^2, xy-zw
angle$
generate the ideal of $overline{X}$, the closure of $X$ in $mathbf{P}^3$.
Compute the Hilbert polynomial of $X$.
</li>
<li class="question"> Tell me about integral extensions. (Hartshorne)
</li>
<li class="question"> What is a Dedekind domain? An example of a domain which is noetherian, integrally
closed, and not one-dimensional.
An example of a domain which is integrally closed,
one-dimensional, and not noetherian. (Hartshorne)
</li>
<li class="question"> Suppose that $Isubseteq J$ are ideals of $A$, $B/A$ is an
extension of rings such that $IB=JB$; does it follow that $I=J$? If
not, can you give a counterexample? Is there some hypothesis that makes it work? (Hartshorne)
</li>
<li class="question"> Can you give an example of a surjective morphism of rings
which is not finite? (Hartshorne)
</li><li class="question"> State Nakayama's Lemma. Give an example of a ring and a nonzero ideal that
satisfy the hypothesis. (Bergman)
</li><li class="question"> Prove, possibly using Nakayama's Lemma, that if $M$ is an
$n imes n$ matrix over a local ring, with coefficients in the maximal
ideal $I$, then $I+M$ is invertible.
</li>
<li class="question"> Show that a PID has dimension $0$ or $1$.
</li>
<li class="question"> Let $A$ be a noetherian valuation ring which is not a
field. Show that $A$ is a DVR.
</li>
<li class="question"> Let $I_1,cdots,I_r$ be ideals of a
commutative ring $A$ such that $I_i+I_j=(1)$ for all
$i
ot=j$. Show that $$prod_{i=1}^r I_i = igcap_{i=1}^r I_i.$$
</li>
<li class="question"> Let $M$ be an $A$-module, $Ssubset A$ a multiplicative
subset of $A$. Do we have $$S^{-1}operatorname{Ann}(M) = operatorname{Ann} S^{-1}(M)?$$
If not, give a counterexample, and if yes prove it. What if $M$ is
finitely generated?
</li>
<li class="question"> Let $M$ be an $A$-module, $m$ a maximal ideal
of $A$. Prove that $M/mMcong M_m/mM_m$.
</li>
<li class="question"> Let $M$ be a finitely generated $A$-module. If $M=mM$
for every maximal ideal ${f m}$ of $A$ show that $M=0$.
</li>
<li class="question"> Let $M$ be a finitely generated $A$-module. Suppose that
$x_1,ldots,x_n$ generate $M_m$ for every maximal ideal $m$ of $A$. Show they generate $M$.
</li>
<li class="question">Let $Bsupset A$ be commutative rings, with $B$ integral
over $A$. Let $xin A$, $xin B^*$. Show that $xin A^*$.
</li>
<li class="question"> Prove that any ideal in a Dedekind ring is generated by at
most two elements.
</li>
<li class="question"> Show that $mathbb{Z}_p$ is a DVR.
</li>
<li class="question"> Show that an Artinian ring has only finitely many maximal
ideals.
</li>
<li class="question"> Let $Asupset B$ be rings with $B$ integral over $A$. Let
$Q$ be a prime ideal of $B$, and let $P=Qcap
A$. Show that $Q$ is maximal in $B$ if an only if $P$ is
maximal in $A$.
</li>
<li class="question"> Show that if $fcolon A o A$ is a surjective endomorphism
of a noetherian ring $A$, then $f$ is an automorphism.
</li>
<li class="question"> Give an example of an ideal in $k[x,y,z]$ whose associated
primes are $(x,y)$ and $(x,y,z)$. (Eisenbud)
</li>
<li class="question"> Give an example of a surface that has only one singular
point but is not normal. (Eisenbud)
</li>
<li class="question"> In the example $k[x,y]/(y^2 - x^3) = R$,
prove that it's not integrally closed. State Serre's Criterion.
Write down all the primes of $R$. Can you see them in the picture of
$R$? What parts of Serre's criterion does $R$ satisfy? What parts
does it not satisfy? Prove that $R_{(x,y)}$ is not a DVR. (Eisenbud)
</li>
<li class="question"> How do you decide if a given polynomial belongs to an
ideal $I$? (Sturmfels)
</li>
<li class="question"> State the main theorem of Elimination Theory. Why is it
called this? (Sturmfels)
</li>
<li class="question"> Let's talk about Noether normalization and flatness. Let $f$ be a homogeneous polynomial in $R = k[x,y,z]$ where $k$ is an infinite field. Show that there exists homogeneous linear forms $s$ and $t$ in $R$ such that $R/(f)$ is finite and flat as a $k[s,t]$-module. (Eisenbud) What if $k$ is finite? (Olsson)
</li>
<li class="question"> Give an example of an injective ring homomorphism which is not flat. (Eisenbud)
</li>
<li class="question">
Consider the product of two generic linear forms: $(ax+b)(cx+d) = acx^2+(ad+bc)x+bd$. Let $I = (ac,ad+bc+bd)$ be the ideal generated by the coefficients of this product. Compute a primary decomposition of $I$. (Sturmfels)
</li>
<li class="question">
Try computing a Gröbner basis for $I$ (as above) and finding a primary decomposition of the initial ideal $I$. What does this primary decomposition of $I$ mean? What are the associated primes? What is the Krull dimension? Geometrically, what does this variety look like? (Strumfel)
</li>
<li class="question">
Given a rank $k$ submodule of $mathbb{Z}^n$, when is its image in $mathbb{F}_p^n$ a rank $k$ subspace? Characterize the situation in terms of flatness condition on an appropriate family. (Eisenbud)
</li>
<li class="question"> State as many forms of Hensel's lemma as you know. Give an example demonstrating that the completeness hypothesis can't be dropped. Give an example of a ring which is Henselian but not complete. How would one go about making Hensel's lemma constructive? (Eisenbud)
</li>
<li class="question"> Compute a primary decomposition of $(x+y,x-y)$ over $mathbb{Z}[x,y]$. (Sturmfels)
</li>
<li class="question"> State the Nullstellensatz. (Sturmfels)</li>
<li class="question"> Do you know a ring which isn't Jacobsen? (Sturmfels)</li>
<li class="question"> Prove that the more geometric versions of the Nullstellensatz follow from the general one. (Sturmfels)
</li>
<li class="question"> If $fin R$, what familiar ring is $R[y]/(fy-1)$? (Eisenbud)
</li>
<li class="question"> Let $I=(x^2-y^2,x^3-y^3)$ . Find a primary decomposition of $I$, compute a Gröbner basis, compute the Hilbert function. Is this ideal Cohen Macaulay? (Sturmfels)
</li>
</ol>
<div class="expander" onclick="toggleSibling(this);flipArrow(this.childNodes[1])">
<img src="img/doublearrow-down.png" class="arrow doublearrow" />
<h5 class="sectionTitle">Algebraic Geometry</h5>
</div>
<ol class="subject">
<li class="question"> State and prove the Riemann-Hurwitz formula.
<span class="hintButton" onclick="toggleSibling(this)">[Hint]</span>
<div class="hint">
Consider the conormal sequence.
</div>
</li>
<li class="question">
What are the involutions of an elliptic curve over $mathbb{C}$? What quotient arises from this involution? What are the fixed points of this involution? Show this quotient is $hat{mathbb{C}}$. (McMullen)
</li>
<li class="question">
State and prove Riemann-Hurwitz. Given a nonconstant map between curves over $k$, is there an associated map on differentials? A resulting exact sequence? Is the right exact sequence short exact in this case? (Ogus)
</li>
<li class="question">
Calculate the Picard group of $k[t^2,t^3]subset k[t]$. (Ogus)
</li>
<li class="question">
Give an example of a projective curve that is not rational.
</li>
<li class="question">
Prove that $mathbf{P}^1 imes mathbf{P}^1$ is a projective variety. Find the explicit equation of the image of the Segre embedding of $mathbf{P}^1 imesmathbf{P}^1subset mathbf{P}^3$.
</li>
<li class="question">
How do you use Hurwitz's formula to calculate the geneus of a give curve? (Coleman)
</li>
<li class="question">
What can you say about curves over perfect fields? (Coleman)
</li>
<li class="question">
Define the degree of a projective variety. Show that a hypersurface of degree $d$ in $mathbf{P}^n$ ofhas degree $d$. What does the constant term of the Hilbert polynomial represent? (Sturmfels)
</li>
<li class="question">
What does the degree of a hypersurface have to do with the line bundles on $mathbf{P}^1$? (Ogus)
</li>
<li class="question">
Let $X$ be the twisted cubic in $mathbf{P}^3$, is $X$ a set-theoretical intersection of two surfaces in $mathbf{P}^3$? (Ogus)
</li>
<li class="question">
Define separated morphisms. Give an example of a non-seperated morphism. What about qusi-seperated morphisms? What are the good properties of separated morphisms? (Ogus)
</li>
<li class="question">
Let $g,h:Z o X$ be two morphisms of schemes over $Y$, via $f:X o Y$. If $g$ and $h$ agree on a dense open subset of $Z$, what can be said if $f$ is separated? What if $Z$ is reduced?
</li>
<li class="question">
Define differentials. Are differentials quasicoherent? (Ogus)
</li>
<li class="question">
What does the going up theorem mean in algebraic geometry? (Hartshorne)
</li>
<li class="question">
What can you say about the dimension of the image of a map from $mathbf{P}^n$ to $mathbf{P}^m$? (Hartshorne)
</li>
<li class="question">
What is the genus of a curve? Does the genus of a curve depend on the embedding? (Hartshorne)
</li>
<li class="question">
When is a canonical divisor very ample? (Wodzicki)
</li>
<li class="question">
State Riemann-Roch. (Wodzicki)
</li>
<li class="question">
Compute the dimension of the space of holomorphic differentials on a Riemann surface of genus $g$. (Wodzicki)
</li>
<li class="question">
State Abel's theorem. (Wodzicki)
</li>
<li class="question">
What is the significance of the Jacobian? What kind of map is the Abel-Jacobi map? What is it in the case of genus 1? (Wodzicki)
</li>
<li class="question">
What is the connection between $H^1$ and line bundles? (Wodzicki)
</li>
<li class="question">
What is a scheme?
How can you tell if a scheme is affine?
Can you weaken the Noetherian hypothesis in Serre's criterion for affineness? Prove that if $X$ is a Noetherian scheme such that $H^1(X,mathscr{I}) = 0$ for all coherent sheaves of ideals $mathscr{I}$ then $X$ is affine. Can you give an example where the theorem is false if we drop the quasi-compactness assumption?(Ogus)
</li>
<li class="question">
What can you say about curves of genus 0? Prove that such a curve can always be embedded as a line or a quadric in $mathbf{P}^2$. If the base field is finite, can the latter occur?(Ogus)
</li>
<li class="question">
Calculate $H^0(mathbf{P}^1,Omega_{mathbf{P}^1})$. (Poonen)
</li>
<li class="question">
If $f(x,y)$ and $g(x,y)$ are two polynomials such that the curves they define have inifinitely many points in common, is it true that they have a common factor?
</li>
<li class="question">
Give two criteria for a curve to be nonsingular (over an algebraically closed field.) (Ogus)
</li>
<li class="question">
What is a normal domain? How is this related to regular local rings? (Ogus)
</li>
<li class="question">
Find the singularities of the curve in $mathbf{P}^2$ defined by the equation $X^3+y^3+z^3 = 3cxyz$. (Ogus)
</li>
<li class="question">
Describe Weil divisors and Cartier divisors on curves. How do you get a Weil divisor from an element $fin K(X)^*$ in the canonical isomorphism?(Ogus)
</li>
<li class="question">
What is the degree of a divisor? (Ogus)
</li>
<li class="question">
Does there exist a variety $V$ with Pic$(V) =mathbb{Z}/3$? (Poonen)
</li>
<li class="question">
Is the complement of a hypersurface in $mathbf{P}^2$ affine? (Poonen)
</li>
<li class="question">
Define the geometric genus. (Poonen)
</li>
<li class="question">
What might be the geometric genus of a singular curve? (Poonen)
</li>
<li class="question">
Find the arithmetic genus of $y^3 = x^2z$. (Frenkel)
</li>
<li class="question">
Define sheaf cohomology. What's a right derived functor? (Olsson)
</li>
<li class="question">
Let $E$ be the curve in $mathbf{P}^2$ defined by $y^2 = x^3-1$. Compute the cohomology of the structure sheaf $mathscr{O}_E$. (Olsson)
</li>
<li class="question">
Define projective morphisms and what are they good for? What's a morphism that is not projective? (Eisenbud)
</li>
<li class="question">
Define Cartier and Weil divisor and relate them to each other. Do you know a Weil divisor which is not Cartier? Compute the Picard group and the class group of the cone over a conic. (Eisenbud)
</li>
<li class="question">
What can you say about curves of degree $4$ in $mathbf{P}^3$? What if they are contained in a plane? What if they are singular? (Eisenbud)
</li>
<li class="question">
Let $X$ be a quartic surface in $mathbf{P}^3$. Does $X$ contain a curve with negative self intersection, i.e. can the normal bundle to the curve have negative degree? (Eisenbud)
</li>
</ol>
<div class="expander" onclick="toggleSibling(this);flipArrow(this.childNodes[1])">
<img src="img/doublearrow-down.png" class="arrow doublearrow" />
<h5 class="sectionTitle">Representation Theory</h5>
</div>
<ol class="subject">
<li class="question">
Prove Engel's theorem. (Serganova)
</li>
<li class="question">
Prove Lie's theorem. What would happen if the hypothesis was not that $g$ is solvable but that $g
e [g,g]$? (Serganova)
</li>
<li class="question">
Why is $g = [g,g]$ for $g$ semisimple? (Weinstein)
</li>
<li class="question">
What is the exponential map, and what is it good for? (Serganova)
</li>
<li class="question">
Classify the real connected abelian Lie groups. (Serganova)
</li>
<li class="question">
Prove that a Lie group homomorphism $phicolon H o G$ for $H$ connected is determined by the derivative at the identity. (Serganova)
</li>
<li class="question">
Give an example of a Lie group G where the exponential map is not surjective. (Weinstein)
</li>
<li class="question">
Given the standard representation of $sl_n({mathbb C})$ identify the simple roots and explain the correlation between the height of the root and the corresponding "location" in the matrix. (Frenkel)
</li>
<li class="question">
Decompose $operatorname{Sym}_n(V)otimes operatorname{Sym}_m(V)$ where $V$ is the 2-dimensional irreducible representation of $sl_2({mathbb C})$. (Frenkel)
</li>
<li class="question">
Do the calculation above using a character formula. (Reshetikhin)
</li>
<li class="question">
State and explain the Harish-Chandra isomorphism. (Wodzicki)
</li>
<li class="question">
Explain how to write down the Weyl group of $SL_n$ using generators and relations. (Frenkel)
</li>
<li class="question">
What is a Verma module? (Reshetikhin)
</li>
<li class="question">
When is a Verma module finite-dimensional? (Wodzicki)
</li>
<li class="question">
What is the exponential map for $sl_2({mathbb C})$? What is it a map from and to? Is it a homomorphism, is it surjective?
What proofs of the Weyl character formula do you know? (Reshetikhin)
</li>
<li class="question">
What is Weyl's Integration formula? How do you use it to prove Weyl character formula? (Reshetikhin)
</li>
<li class="question">
What is the dimension of $E_8$? (Borcherds)
</li>
<li class="question">
Decompose $E_8$ as a representation of $E_7$. (Borcherds)
</li>
<li class="question">
Given a point in a semisimple Lie-algebra, how can we tell whether it lies in a Cartan subalgebra? (Knutsen)
</li>
<li class="question">
What is the relation between the Lie groups $SU(2)$ and $SO(3,mathbb{R})$? Prove that the center of $SU(2)$ is $mathbb{Z}/2mathbb{Z}$ using Schur's lemma. (Weinstein)
</li>
<li class="question">
Under what condition on $G$ is every discrete normal subgroup of a Lie group $G$ contained in the center of $G$? Prove this. (Reshetikhin)
</li>
<li class="question">
List all the irreducible complex representations of the Lie group $SO(3,mathbb{R})$. (Knutsen)
</li>
<li class="question">
Decompose the square of the adjoint representation of $sl(3)$ into irreducibles. (Hint: Weyl Character Formula.) (Haiman)
</li>
<li class="question">
State a theorem that explains the basic relationship between Lie algebras and Lie groups. Say some words about the proof. (Haiman)
</li>
<li class="question">
What is the relationship between Lie groups and Lie algebras? How do you show the existence of a Lie group with a given finite dimensional Lie algebra? (Reshetikhin)
</li>
<li class="question">
How many Lie groups are there with Lie algebra $sl_n$? (Serganova)
</li>
<li class="question">
What can you tell me about Bruhat decomposition and Bruhat cells? (Reshetikhin)
</li>
<li class="question">
What does the Borel-Weil theorem say? How does $G$ act on sections of the relevant line bundle? How do vectors in the dual of the irreducible representation with highest weight lambda give sections of this bundle? (Serganova)
</li>
<li class="question">
Suppose a finite group $G$ has only 1-dimensional representations. Is $G$ necessarily abelian (over $mathbb{C}$, over $mathbb{R}$)? (Serganova)
</li>
<li class="question">
What can you say about the multiplicities of irreducibles in an induced representation? (Reshetikhin)
</li>
<li class="question">
How does the representation of $S_4$ induced from the trivial representation on $S_2 imes S_2$ decompose into irreducibles, without using characters? (Serganova)
</li>
</ol>
</div>
<!-- Analysis -->
<div class="expander" onclick="toggleSibling(this);flipArrow(this.childNodes[1])">
<img src="img/arrow-down.png" class="arrow" />
<h4 class="sectionTitle">Mathematical Analysis</h4>
</div>
<div class="area">
<div class="expander" onclick="toggleSibling(this);flipArrow(this.childNodes[1])">
<img src="img/doublearrow-down.png" class="arrow doublearrow" />
<h5 class="sectionTitle">Banach spaces and Spectral Theory</h5>
</div>
<ol class="subject">
<li class="question"> What is a nuclear operator? (Coleman)
</li><li class="question"> Give an example of an integral operator which is
nuclear. (Coleman)
</li><li class="question"> What can you say about the specturm of a nuclear operator?
(Coleman)
Could it be the empty set? (Arveson)
</li><li class="question"> Give an example of an operator on a real Banach space with
no specturm. (Arveson)
</li><li class="question"> Does the sum of the elements of the spectrum of a nuclear
operator converge? (Coleman)
</li><li class="question"> What is a trace class operator? (Coleman)
</li><li class="question"> What is a Hilbert-Schmidt operator? Can you give an
example over $mathcal{ L}^2$ of the unit interval? (Coleman)
</li><li class="question"> Can $[0,1]$ be the spectrum of a compact operator? (
Arveson)
</li><li class="question"> What is the spectrum of $M_{e^{2pi it}}$? How could you
know that it is invertible? What is the inverse? (Arveson)
</li><li class="question"> If $T$ is an operator on a Banach space, what is $cos^2T
+ sin^2T$? (Arveson)
</li><li class="question"> What is $cos T$ (Arveson)
</li><li class="question"> If $f$ is an entire function, what is $fT$? (
Arveson)
</li><li class="question"> List the properties of the functional calculus. (
Arveson)
</li><li class="question"> Consider $mathcal{ C}igl([0,1], mathbb{R}igr)$. Is there a
natural topology on this space? (Arveson)
</li><li class="question"> Let $S={fin mathcal{ C}[0,1]\,|\, |f(x)-f(y)|leq
|x-y|}$. What properties does it have (e.g. closed, complete,
bounded compact)? (Arveson)
</li><li class="question"> Let $S_0={fin S\,|\, f(0)=0}$. What properties does it
have (e.g. closed, complete, bounded, compact) ? (Arveson)
</li><li class="question"> What is the Riesz theory of compact operators?
</li><li class="question"> What is a Fredholm operator? Can any Fredholm operator be
written as the sum of an invertible operator with a compact operator?
What is the Fredholm index? What are its properties? How can you obtain
an isomorphism between the abstract index group and the integers?
</li><li class="question"> Suppose you have an operator $x$ on a Hilbert space such that
$x - x^2$ is compact. What can you tell me about it?
</li><li class="question"> In the previous question, you had a projection in the Calkin
algebra, and you showed that it can be lifted to $B(H)$. Can you do
the same for a unitary?
</li><li class="question"> What is the polar decomposition? What can you say about it?
</li>
</ol>
<div class="expander" onclick="toggleSibling(this);flipArrow(this.childNodes[1])">
<img src="img/doublearrow-down.png" class="arrow doublearrow" />
<h5 class="sectionTitle">$C^*$ and Von Neumann Algebras</h5>
</div>
<ol class="subject">
<li class="question"> What are Fredholm operators?
</li><li class="question"> What do they have to do with $K$-theory for operator
algebras?
</li><li class="question"> Could you give some examples of interesting $C^*$-algebras
with nontrivial $K$-theory?
</li><li class="question"> How does one recognize a compact operator? Give examples.
</li><li class="question"> Prove that the Hilbert-Schmidt integral operators are
compact.
</li><li class="question"> One usually calls a $C^*$-algebra separable if it is
represented on a separable Hilbert space. What are the $C^*$-algebras
that are in fact separable as topological spaces?
</li><li class="question"> State Kaplansky's Density Theorem. ( Jones)
</li><li class="question"> What is it good for? (e.g. in $L^infty(S^1)$) ( Jones)
</li><li class="question"> Are the von Neumann algebras $l^infty(mathbb{Z})$ and
$l^infty(S^1)$ isomorphic? Can they be embedded in a $II_1$ factor?
( Jones)
</li><li class="question"> Define the index of a subfactor. ( Jones)
</li><li class="question"> What are all the hyperfinite subfactors of index $< 4$?
( Jones)
</li><li class="question"> Let $S$ be the unilateral shift. What is the commutant of
$C^*(S^2)$?
</li><li class="question"> Do the Hilbert-Schmidt and trace class operators constitute
$C^*$ algebras under the Hilbert-Schmidt and trace norms, respectively?
</li>
</ol>
<div class="expander" onclick="toggleSibling(this);flipArrow(this.childNodes[1])">
<img src="img/doublearrow-down.png" class="arrow doublearrow" />
<h5 class="sectionTitle">Complex Analysis</h5>
</div>
<ol class="subject">
<li class="question">
Given a function continuous in a disk and analytic everwhere but at the center, prove that the function is analytic in the entire disk.
</li>
<li class="question">
Give a proof of Picard's theorem using, for example, the fact that the $j$ invariant of a modular curve uniformizes the $2,3,infty$ hyperbolic triangle as the upper half-plane.
</li>
<li class="question">
Show that the mapping group of the torus is $SL(2,mathbb{Z})$.
</li>
<li class="question">
Let $Omega={mathbb C}ackslashleft{xin mathbb{R}mid x<{1over 4}
ight}$. Is there a conformal isomorphism $fcolon Delta oOmega$, where $Delta$ is the open unit disk? (McMullen)
</li>
<li class="question">
Is there one with $f(0)=0$? (McMullen)
</li>
<li class="question">
How can we arrange for a unique $f$ with $f(0)=0$? (McMullen)
</li>
<li class="question">
What can you say about the coefficients $a_i$ of the power series expansion $f=sum a_jz^j$? (McMullen)
</li>
<li class="question">
For $f$ with $f'(0)in mathbb{R}$, $f'(0)geq 0$, what ring do the $a_i$ lie in? (McMullen)
</li>
<li class="question">
So to show that the $a_i$ lie in this ring, can we write down another function in terms of $f$ and --'s which maps $Delta$ to $Omega$? (McMullen)
</li>
<li class="question">
Calculate $a_i$. Now what ring do the $a_i$ lie in? (McMullen)
</li>
<li class="question">
How would you write down the power series for $ an z$? (McMullen)
</li>
<li class="question">
What is its radius of convergence? (McMullen)
</li>
<li class="question">
Can you prove what the zeroes of $cos z$ are? (McMullen)
</li>
<li class="question">
Why does the radius of convergence correspond this way? (McMullen)
</li>
<li class="question">
What is the area of a spherical triangle? Can you prove it? (McMullen)
</li>
<li class="question">
Same for hyperbolic triangle. (McMullen)
</li>
<li class="question">
Define a complex torus. (McMullen)
</li>
<li class="question">
What is the automorphism group of a complex torus? (McMullen)
</li>
<li class="question">
Show that if all the zeroes of a polynomial lie in a half-plane, then all zeroes of the derivative lie in the same half plane.
</li>
<li class="question">
What is the area of a spherical triangle?
</li>
<li class="question">
What is the automorphism group of a complex torus?
</li>
<li class="question">
If $f_n$ is a family of holomorphic functions such that $f_n o F$ uniformly on compact subsets of some domain $Omega$, what can you say about $f_n'$?
</li>
<li class="question">
Give an example of a sequence $f_n o f$ where every $f_n$ is holomorphic and injective, and $f$ is not. Is this the most general such example?
</li>
<li class="question">
Why is there no conformal automorphism from the punctured disk to an annulus?
</li>
<li class="question">
Show that for a doubly periodic function f the number of zeroes of f and the number of poles of $f$ (counting with multiplicities) is equal.
</li>
<li class="question">
Suppose $f_i$ are harmonic functions on the unit disk $D$. Show that no linear combination of the $f_i$ can be negative on $partial D$ and positive at some point in the interior of $D$.
</li>
<li class="question">
Find the poles and residues of $1/sin(z)$.
</li>
<li class="question">
Give the formula for a conformal map from the unit disk to the inside of a polygon with angles $2pi-eta_ipi$.
</li>
<li class="question">
Show that a continuous real-valued function $u$ on some region $Omega$ which has the mean-value property is harmonic.
</li>
<li class="question">
Suppose $f$ is an analytic map from the punctured disk to ${mathbb C}$. Can you write a power series expansion for $f$? What general form does it have? (McMullen)
</li>
<li class="question">
What can you say about the growth of the $a_n$'s?
</li>
<li class="question">
Relate this to radii of convergence.
</li>
<li class="question">
If $f$ is bounded, what additional things can you say?
</li>
<li class="question">
How would you compute the integral $int_0^{infty}{x^{1over 2}over {1+x^2}}\,dx$?(McMullen)
</li>
<li class="question">
Is the top half of a disk conformally isomorphic to the whole disk? What is the isomoprhism? (McMullen)
</li>
<li class="question">
What is the argument principle? (Sarason)
</li>
<li class="question">
Why is it called the argument principle? (Sarason)
</li>
<li class="question">
Generalize the argument principle to a statement about an arbitrary continuous function $f$ from a domain to ${mathbb C}$. You can assume $f$ has isolated zeroes. (Sarason)
</li>
<li class="question">
You don't want to calculate any integrals do you? (Sarason)
</li>
<li class="question">
How do you prove the uniqueness part of the Riemann Mapping Theorem? (Sarason)
</li>
<li class="question">
What are the conformal automorphisms of the disk? (Sarason)
</li>
<li class="question">
What are the conformal automorphisms of the upper half plane? (Sarason)
</li>
<li class="question">
What is the modular group? (Sarason)
</li>
<li class="question">
Let $f$ be holomorphic in $Delta^{*}$, the punctured unit disk, and suppose that $|f(z)| le {1 over {sqrt {|z|}}}$. Show that the singularity at $0$ is removable. (McMullen)
</li>
<li class="question">
What is the Riemann zeta function? (Poonen)
</li>
<li class="question">
State the Riemann hypothesis. (Poonen)
</li>
<li class="question">
What is analytic continuation? Why is it unique?
</li>
<li class="question">
Does every complex analytic function have a power series?
</li>
<li class="question">
What is a a holomorphic function? What have properties do they have? (Sarason)
</li>
<li class="question">
How can you prove they have a Taylor series expansion? (Sarason)
</li>
<li class="question">
What connection does complex analysis have to algebraic geometry? (Sarason)
</li>
</ol>
</div>
<!-- Geometry and Topology -->
<div class="expander" onclick="toggleSibling(this);flipArrow(this.childNodes[1])">
<img src="img/arrow-down.png" class="arrow" />
<h4 class="sectionTitle">Geometry and Topology</h4>
</div>
<div class="area">
<div class="expander" onclick="toggleSibling(this);flipArrow(this.childNodes[1])">
<img src="img/doublearrow-down.png" class="arrow doublearrow" />
<h5 class="sectionTitle">Algebraic Topology</h5>
</div>
<ol class="subject">
<li class="question"> Compute the homotopy group $pi_3(S^2)$.
</li>
<li class="question"> Which homotopy classes $alphacolon mathbf{P}^2 o mathbf{P}^2$ are there which is the identity on $pi_1(mathbf{P}^2)$, the fundamental group?
</li>
<li class="question"> What can you say about the homotopy type of the "dunce
cap"?
</li>
<li class="question"> Tell us about the Van Kampen theorem. (Stallings)
</li>
<li class="question"> Can you use the Van Kampen theorem to compute the
fundamental group of the Hawaiian earring? (Kirby)
</li>
<li class="question"> Is the fundamental group of the Hawaiian earring finite?
Free? Countable or Uncountable? (Kirby)
</li>
<li class="question"> Why do you have the Fundamental Theorem of Algebra under
algebraic topology in your syllabus? (Stallings)
</li>
<li class="question"> How do you know the fundamental group of $S^1$ is $mathbb{Z}$?
(Stallings)
</li>
<li class="question"> Find all $2$-fold coverings of the figure $8$.
</li>
<li class="question"> Find an example of:
$H_p(X)=H_p(Y)$ for all $p$, but $X$ and $Y$ not
homeomorphic.
$pi_p(X)=pi_p(Y)$ for all $p$, but
$H_*(X)
ot=H_*(Y)$.
</li>
<li class="question"> The example to (2) above seems to contradict Whitehead's
Theorem. Do you know why it doesn't contradict it?
</li>
<li class="question"> Compute $H_*(mathbf{P}_mathbb{C}^n)$ and $H^*(mathbf{P}_mathbb{C}^n)$.
</li>
<li class="question"> Define Chern classes and compute them for some examples
like $mathbf{P}_mathbb{C}^n$.
</li>
<li class="question"> Does "Euler Class" classify all disk bundles over $S^2$?
</li>
<li class="question"> Does $C_1$, the first Chern class, classify all complex
line bundles over $T^2$?
</li>
<li class="question"> Compute the intersection form from the framed link which
represents the $4$-manifold.
</li>
<li class="question"> What is $pi_2(S^2vee S^2)$?
</li>
<li class="question"> Give an example of two spaces which are not homotopy
equivalent, but have the same homology.
</li>
<li class="question"> What is $pi_2$ of $S^2vee S^1$?
</li>
<li class="question"> Calculate $pi_1(X)$ where $X$ is the three manifold
obtained from $T^2 imes I$ by identifying the opposite faces by the
glueing map $(1,0)mapsto (2,1)$, $(0,1)mapsto (1,1)$.
</li>
<li class="question"> Show that the free group on two generators contains the
free group on $n$ generators with finite index.
</li>
<li class="question"> Show that every subgroup of a free group is free.
</li>
<li class="question"> Given an example of a pair $(X,A)$ such that
$pi_i(X,A)
e pi_i(X/A)$ for some $i$.
</li>
<li class="question"> Give an example of two spaces with the same cohomology
groups but with a different ring structure.
</li>
<li class="question"> Show that a compact surface with sectional curvature
positive everywhere is homeomorphic to $S^2$.
</li>
<li class="question"> Calculate the homology with coefficients in $mathbb{Z}$ of the
Lens space $L(a,b)$.
</li>
<li class="question"> Prove that for any orientable compact $3$-manifold $M$
with boundary $partial M$ that half the first rational homology of
$partial M$ is killed by inclusion into $M$.
</li>
<li class="question"> Show that an element of $H_{n-1}$ for an orientable
$n$-manifold is represented by a smoothly embedded $n-1$-manifold.
</li>
<li class="question"> If a simply-connected CW complex $Sigma$ satisfies
$H_2(Sigma) = mathbb{Z}oplusmathbb{Z}$
and $H_i(Sigma) = 0$ for all $i
e 2$, then show that $Sigma$
is homotopy equivalent to $S^2vee S^2$.
</li>
<li class="question"> Show that if $G$ is a finitely generated finitely
presented group, then $G$ is the fundamental group of some compact
$4$-manifold.
</li>
<li class="question"> Show that a simply connected differentiable manifold is
orientable.
</li>
<li class="question"> Classify $S^3$ bundles over $S^5$.
</li>
<li class="question"> Show that any two embeddings of a connected closed set
$X$ in $S^2$ has homeomorphic complements $C_1$, $C_2$.
</li>
<li class="question"> Show that $mathbf{P}_mathbb{C}^2$ does not cover any manifold other than
itself.
</li>
<li class="question"> Compute the homology of $mathbf{P}^n$. (Stallings)
</li>
<li class="question"> Compute the homology of $mathbf{P}^n$ with $mathbb{Z}/2$. (Stallings)
</li>
<li class="question"> Compute the cohomology of $mathbf{P}^n$. (Stallings)
</li>
<li class="question"> Use intersection theory to compute the cup structure of
the cohomology of $mathbf{P}^n$ with $mathbb{Z}/2$ coefficients where $n$ is odd.
(Stallings)
</li>
<li class="question"> What are all of the $n$-fold covers of the genus $2$
surface.
</li>
<li class="question"> What is an $H$-space? What special property does $pi_1$
of an $H$-space have? Prove it. (Casson)
</li>
<li class="question"> Why can't $S^2$ be an $H$-space? (Stallings)
</li>
<li class="question"> What is the homology of $S^2 imes S^2$? Cohomology? How
is the cohomology related to the homology? What is the cup product
structure? (Casson)
</li>
<li class="question"> Suppose that $X$ and $Y$ are simply-connected CW complexes
which have the same homology groups. Do they necessarily have the
same homotopy groups? Are they necessarily homotopy equivalent?
(Givental)
</li>
<li class="question"> Why does Hurwitz's theorem fail for non-simply connected
spaces? Give an example of a space $X$ where the action of $pi_1(X)$
on the higher homotopy groups is not trivial. (Weinstein)
</li>
<li class="question"> What is the Thom class? Let $E$ be the universal bundle
over $BU(n)$ and consider $F = mathbf{P}(E oplus mathbb{C})$. What is the Thom
class of the normal bundle to the zero section in $F$? (Givental)
</li>
<li class="question">
What is the homology of $mathbb{R}^4 - S^1$? (Hutchings)
</li>
<li class="question">
How does Poincare duality show up in Morse theory? (Hutchings)
</li>
</ol>
<div class="expander" onclick="toggleSibling(this);flipArrow(this.childNodes[1])">
<img src="img/doublearrow-down.png" class="arrow doublearrow" />
<h5 class="sectionTitle">Differential Topology</h5>
</div>
<ol class="subject">
<li class="question"> What is Sard's Theorem?
</li><li class="question"> Give an application of Sard's Theorem.
</li><li class="question"> Give a smooth map from $S^3$ to $S^3$. Can "most" points
have an infinite number of preimages?
</li><li class="question"> Define the Lie bracket of two vector fields on a
$mathcal{C}^{infty}$ manifold. (Casson)
</li><li class="question"> What does it mean to compose two vector fields? i.e.
what does $XY-YX$ mean? (Casson)
</li><li class="question"> Define vector field in terms of the ring ${cal F}$ of
$mathcal{C}^{infty}$ functions $M omathbb{R}$. What does it mean to compose two
vector fields? (Casson)
Is $XY$ necessarily a vector field?
Why is $[X,Y]$ a vector field?
</li><li class="question"> When does a vector field determine a flow? (Casson)
</li><li class="question"> What does it mean for a vector field to have compact
support? (Casson)
</li><li class="question"> Define flow. (Casson)
</li><li class="question"> In what sense do the diffeomorphisms in a flow vay "in a
$mathcal{C}^{infty}$ fashion"? (Casson)
</li><li class="question"> Does a flow determine a vector field? (Casson)
</li><li class="question"> Give conditions on $M$ so that every vector field on $M$
determines a flow. (Casson)
</li><li class="question"> Relate "tangent vector to a curve at a point" to "point
derivation". (Casson)
</li><li class="question"> Give an example of a vector field on a manifold that does
not determine an everywhere-defined flow. (Casson)
</li><li class="question"> A knot is a $mathcal{C}^{infty}$ embedding $S^1 o
mathbb{R}^3$. Consider the following two statements about two knots $f,gcolon
S^1 o mathbb{R}^3$:
1) There is an isotopy between $f$ and $g$.
2) There is a diffeomorphism of $mathbb{R}^3$ inducing a
diffeomorphism $f(S^1) o g(S^1)$.
Relate these conditions. (Casson)
Can you use any of this information to say something
about classifying diffeomorphisms $mathbb{R}^3 omathbb{R}^3$?
<span class="hintButton" onclick="toggleSibling(this)">[Hint]</span>
<div class="hint">
The trefoil knot cannot be deformed into its mirror image.
</div>
</li><li class="question"> How many components does $operatorname{Diff}(mathbb{R}^3,mathbb{R}^3)$ have, and
what is meant by this? (Casson)
</li><li class="question"> State a Lemma about a diffeomorphism $fcolon mathbb{R}^3 o mathbb{R}^3$
if $f(0)=0$; in particular, how may $f$ be rewritten? (Casson)
</li><li class="question"> Write down a path from $f$ to $operatorname{Diff}|_0$, where
$f(0)=0$ and $fcolon mathbb{R}^3 omathbb{R}^3$ is a diffeomorphism. (Casson)
</li><li class="question"> Define a Morse function. Define index. (Casson)
</li><li class="question"> What is
$h^{-1}(a,b)$ if $(a,b)$ does not contain any critical values? What
if it contains exactly one critical value? (Casson)
</li><li class="question"> If a morse function on a manifold $M$ has exactly two
critical points, what can you say about $M$? (Casson)
</li><li class="question"> What is the Frobenius Integrability Theorem? (Serganova)
</li><li class="question"> What is an integral submanifold? (Serganova)
</li><li class="question"> What is $[x,y]$? (Serganova)
</li><li class="question"> Can you give an example of a distribution which is not integrable? (Serganova)
</li><li class="question"> Explain how the characteristic classes of a vector bundle arise. What are all the characteristic classes of a vector bundle?
(Wodzicki)
</li><li class="question"> What is the Thom isomorphism? (Wodzicki)
</li><li class="question"> What is the Thom class? What is it an obstruction to?
(Wodzicki)
</li><li class="question"> Construct the Thom class explicitly for a trivial bundle.
(Frenkel)
</li><li class="question"> Prove that the cohomology of a compact Lie group is that of its Lie algebra. (Wodzicki)
</li><li class="question"> How does one use Sard's theorem to prove the Whitney embedding theorem? (Harrision)