User:Z423x5c6/secreto

出自維基百科,自由嘅百科全書

Richard E. BORCHERDS[編輯]

Modular forms[編輯]

  1. Intro
    1. Monster moonshine
    2. Almost integer (-163, Heegner number)
    3. Sphere packing (dim 8, 24)
    4. Langland's program
  2. Modular forms
    1. Modular function is a function from the moduli space of elliptic curve to
    2. Modular forms
      1. (Def)
      2. "Invariant forms"
      3. : homogeneous function on lattice:
      4. Ratio of modular forms of same weight gives modular functions
    3. Eg. Weierstrass P function, Laurent expansion
    4. Eisenstein series
      1. Meromorphic function approach
      2. "Invariant forms" approach
      3. differ by a factor of
  3. Fourier coefficients
    1. Take the sum row by row to show explicit formula of
    2. Need to use the function , Bernoulli numbers.
    3. 691 is a special number.
    4. , . Mysterious relations between
    5. 'First' interesting modular function: j-invariant (need weight-12 / weight-12).
    6. Dimensions of spaces of modular forms are small.
  4. Fundamental domain
    1. Elliptic points (, ) corresponds to lattices with extra symmetries
    2. Cusp point
    3. For other levels, fundamental domain has a different shape (but similar in nature, with elliptic points, cusp points...)
  5. Classification of level 1 forms
    1. Correct way to count zeros of forms on fundamental domains:
      1. Need to count zero at
      2. Count zeros at elliptic points 'as fractional zeros'
      3. This way of counting also generalizes to other levels
      4. Number of zero
    2. Use discriminant form to do induction
    3. Conclusion: Forms are generated by and as polynomials
  6. Modular functions
    1. j is the fundamental modular function. Every modular function is a ration function of j.
    2. "Black magic" application: prove Picard theorem.
  7. and
    1. "could be holomorphic, or modular, but not both."
    2. Summing the series for by rows or by columns differ by a constant, because not absolute convergenct.
    3. (A lot of complex analysis)
    1. Modular condition only holds wrt a subgroup of generated by and (of index 3) (and up to a root of unity).
    2. Functional equation of can prove that of .
    3. Convergence issues are solved by chopping off and some analytic continuation.
  8. Intro to Hecke operators
    1. Symmetries that has? Need to consider . Index 3 subgroup of
    2. Sum of functions of sub lattices of index n.
    3. Sum over matrices
    4. 2 and 3 are the same. 1 is a little bit not so nice.
    5. Action on Fourier coefficients: both expanding and contracting.
  9. Product formula for j
    1. (the formula)
    2. related to Weil denominator formula
    3. Monster Lie algebra
    4. Modular functions are determined by coefficients of
    5. (Magical proof of taking log, Hecke operator then some property of modular functions)
  10. Hecke operators on forms
    1. Similar to 9
    2. Applied on , get information on Ramanujan's function
    3. L series, similar functional equation as
  11. Peterson inner product
    1. If space of forms has dimension , it is still spanned by 'eigen functions' of Hecke operators
    2. Hecke operators are self adjoint (under Peterson inner product) and commutative
    3. To define an -invariant inner product

AG1: Varieties[編輯]

  1. Intro
    1. Motivation by example: parametrizing the circle
    2. Important POV: equation = functor from Ring to AlgGp/AlgVar
  2. Examples
      1. Resolution of singularities - blow up
      1. Elliptic curve, group law
  3. Theorems: Bezout, Pappus, Pascal
  4. Kakeya set on finite fields (with proof), and example of 27 lines on a cubic
  5. Affine space, Zariski topology
    1. Eg: determinantal variety
  6. Noetherian space
    1. Hilbert basis theorem
    2. Noetherian + Hausdorff = finite
    3. Noetherian = finite union of irr.s
  7. Weak Nullstellensatz
    1. Maximal ideal <=> points
  8. Strong Nullstellensatz
    1. Rabinowitsch trick
    2. Algebraic set <=> radical ideals
    3. Egs: nilpotent matrices, commuting matrices
  9. Lasker-Noether theorem
    1. Primary, coprimary modules
    2. For -modules, it becomes the structure theorem
  10. Proof (sketch)
    1. All ideals are intersection of irr ideals
    2. irr is primary
    3. (xy, y2) illustrating the idea of embedded point
  11. Quotient of varieties by group (with 3 eg)
    1. Taking quotient of algebraic sets by group could be difficult (how can one describe the set in affine space?)
    2. Do it on the ring side (use invariant functions)
    3. eg:
    4. eg:
    5. eg: on
      1. invariant function example: discriminant (b2-4ac)
  12. Hilbert's proof
    1. Reynolds operator (taking average over the group action)
    2. Can generalize to compact groups (could still integrate)
    3. Also , by Weyl's unitary trick
    4. Nagata's counterexample (use unipotent group, which is 'counterexample to everything (?????)')
  13. 3 examples of quotients
    1. cyclic group , invariant functions generated by
    2. parameter space of cyclohexane, 1 point (chair) + 1 1-d space (boat)
    3. moduli space of elliptic curve , j-invariant
  14. Many definitions of dimension
  15. Projective space
    1. Hopf fibration
    2. Fano plane
  16. Desargues' theorem
    1. corr. to associativity of multiplication (similar to Pappus <-> commutativity of multiplication)
    2. Duality in projective geometry <-> dual space in linear algebra
  17. Affine and projective varieties
    1. Don't just homogenize one set of generators of the ideal, may add extra curves on it.
  18. Product of varieties
    1. Serge embedding
    2. Eg:
    3. Spheres have (complex) lines in it:
      1. x=1, y=iz on x2+y2+z2=1
  19. Veronese surface and variety of lines in space
    1. Veronese surface:
    2. Generalize to
    3. lines in P3 = 2-dim subspaces of A4 = points in G(2,2)
    4. Plücker embedding
    5. Decompose G(2,2) into affines give cohomology groups over and number of points over finite fields
    6. Weil conjecture?
  20. Grassmannians
    1. idea: which is just projective space
    2. Plücker relation
    3. Covered by affines
    4. Littlewood-Richardson rule
    5. Line complexes
    6. Quotient of affine varieties by affine varieties may be projective (maybe not even projective)
    7. Hilbert scheme
    8. The embedding is 'natural'
  21. Projective bundles
    1. Hirzebruch surface:
    2. Scroll (higher dimensional generalization)
    3. Abstract variety
  22. Toric varieties
    1. Drawing/gluing cones on the lattices/dual lattices
  23. Category
    1. Affine varieties form a category (in two ways: with regular/rational functions)
  24. Regular functions
    1. local regularity=regularity
    2. proof: 'partition of unity'
    3. regular functions on P1=constant
  25. Morphisms of varieties
    1. Geometric space = locally ringed space
    2. Different functions = different geometry, eg, top, C1, rational functions
    3. Eg: A1->cuspidal cubic, morphism+homeo, but not isomorphism
  26. Algebraic varieties and fg algebra w/o nilpotent
    1. Equivalent of (opposite) category
    2. Group varieties
    3. Coproduct
    4. Hopf algebra
  27. Twisted cubic
    1. isomorphic to P1, but they corr to different graded rings
    2. A2-origin is not affine, but A1-origin is affine
    3. The main difference is that one is of codim 1, the other is of codim 2.
  28. (Verified that Serge embedding is the product, satisfying universal property...)
  29. Automorphism of An and Pn
    1. Aut A1 = ax+b group
    2. Aut A2 is already much larger, for example, x->x, y->y+p(x)
    3. Jacobian conjecture
    4. Aut P1 = PGL(2)
    5. Image of morphism from An to An could be crazy, for example, (x, y)->(x, xy)
  30. Ax-Grothendieck thm
    1. Prove the finite field case, then use some crazy ideas from model theory.
  31. Rational map
    1. Category of varieties, dominant rational maps
    2. Elliptic curve is not rational
  32. Elliptic function
    1. Weierstrass p function -> elliptic curve 'is' torus
    2. P1 'is' sphere
    3. so elliptic curve is not rational
  33. Cubic surfaces
    1. Cubics vanishing on 6 points in P2 provide a cubic surface
    2. Dimension argument provides heuristic reason most cubic surfaces can be constructed this way
    3. Cubic surface 'is' blowing up 6 points on P2
  34. Blow up
    1. Some nice examples
    2. Cone x2+y2=z2 becomes cylinder
    3. Whitney umbrella
      1. Blowing up at origin provides again a Whitney umbrella
      2. Blowing up a line is good
  35. More on blow up
    1. blow up one point on R2=Mobius band
    2. blow up 1 point on P1xP1=blow up points on P2
    3. blow up (x^2,y^2) in k[x, y] -> Whitney umbrella
  36. Atiyah flop
    1. xy=zw, blow up at origin and the exceptional locus is P1xP1
    2. This singularity has 2 'minimal' way to resolve, namely the two P1.
    3. If we want a minimal model, we must allow 'terminal singularities'
  37. Singular points
    1. Singular points are those with tangent space of 'wrong dimension'
    2. Set of singular points is closed (for varieties)
    3. Set of nonsingular points is open dense (for varieties)
  38. Zariski (co)tangent space
    1. m/m2
    2. Dual of m/m2 = map from R to k[ε]/(ε2)
    3. Use module to define: W=module generated by dx1, dx2,..., dxn with Leibniz rule
    4. A local ring is called regular if the dimension of Zariski tangent space equals the dimension of the local ring
  39. Du Val singularities
    1. Some singularities are called Du Val singularities
    2. Eg: x2+y3+z5=0
    3. Blow up 8 times to resolve the singularity
    4. The intersection pattern of those exceptional locus looks like the Dynkin diagram of E8
  40. Examples of resolutions
    1. x4+y4=z2
      1. Blow up once -> singular line -> blow up again
    2. Blow up can make things worst:
      1. x2-yz=0
      2. Blow up on y=z=0
      3. Get a Whitney umbrella
    3. Number theory
      1. , not UFD
      2. Has a 'singular' point
      3. Normalization
    4. Application
      1. To analytic continue
  41. Completion
    1. may not be injective (if not Noetherian)
    2. May produce zero divisors/nilpotents (eg )
    3. is like focusing on smaller and smaller neighborhood
  42. Resultant
  43. Proper map
    1. The 'correct' analog of 'compactness'
    2. are proper
      1. Proof: induction
      2. Using 'blowup at a point is a -bundle over
  44. Survey of curves
    1. 3 viewpoints of algebraic curves over :
      1. Nonsingular projective curves
      2. Compact Riemann surfaces
      3. Finitely generated field of tran deg 1
    2. Classify by genus:
      1. Genus 0:
      2. Genus 1: elliptic curves (j-invariant, λ-line/S3)
      3. Genus 2: hyper-elliptic
        1. 6 points in /
      4. Genus 3:
        1. hyper-elliptic: 5-dim family
        2. deg 4 nonsingular curves in plane: 6-dim family
        3. Eg(Trott curve):
        4. 28 bi-tangents
      5. Genus 4: intersection of cubic and quadric in
      6. Genus 5: intersection of 3 quadrics in
  45. Hurwitz curve
    1. Most symmetric curve of genus g
    2. g=0, 1: infinite group
    3. g>1: (in char 0)
    4. Idea of proof: use orbitfold Euler characteristic
    5. Must be 3 conical points, of order 2, 3, 7
  46. Examples of Hurwitz curve
    1. Even for g=0, 1 we can get something interesting
    2. Eg there is a group of order 60 acting on , some finite groups acting on elliptic curve
    3. g=2? Cannot achieve 84.
      1. Remember during the proof, if then
      2. 48 is achievable
    4. g=3? Yes.
      1. Klein quartic: in
      2. Aut group =
  47. Resolution of curve singularities
    1. Given a function field, recover the curve?
    2. Field generated by x, y, with . Possibly singular.
    3. Can be resolved by repeatedly blowing up and changing variables.
    4. Works for algebraic curve, but for scheme (if we allows multiple factors) this may not work. Also requires char=0
  48. Newton's rotating ruler
    1. Can solve algebraic equation in terms of Puiseux series
    2. Field of Puiseux series is algebraically closed and 'quasi-finite' (similar Galois extensions)
    3. Can resolve singularities using Puiseux series
  49. Hilbert polynomial
  50. Degree of a projective variety
    1. Arithmetic genus
    2. constant term of the Hilbert polynomial
    3. is 'better' in the sense that
    4. Hilbert polynomial is the 'only' invariant (Hilbert scheme ???)
  51. Bezout's theorem
    1. Def of multiplicity: not always well defined, eg, multiplicity of in
    2. Only well defined for minimal primes (maximal varieties)
    3. Defined by length of over : idea is that localization is making an ideal maximal. This ideal is both minimal and maximal, so it is the 'only' ideal.
    4. Finally, define the 'intersection multiplicity' of a subvariety, to make Bezout's theorem true.

AG2: Scheme[編輯]

  1. Introduction
    1. Generalize to arbitrary rings
    2. Introduction of sheaf
  2. Sheaves
    1. Ring elements are naturally 'functions' on Spec, but the codomain varies.
    2. Sheaf of _ is just like _ (eg Sets, Abelian groups)
    3. Sheaf morphism surjective doesn't mean surjective on open sets.

Commutative algebra[編輯]

  1. Introduction
    1. Algebraic geometry
    2. Number theory
    3. Invariant theory
  2. Rings, ideals and modules
    1. Some examples of rings
      1. Analysis: with unity <-> compact space
      2. Adding unity = 1-point compactification
    2. Ideals
    3. Modules
      1. Modules are better, more general
  3. Syzygy
    1. Ring of invariants
      1. O(3):
      2. Sn: generated by e1, ..., en
      3. An: generated by e1, ..., en, , with a syzygy
      4. Z/3Z: order-2 syzygy
  4. Invariant theory
    1. Concept of Noetherian ring/modules
  5. Noetherian rings
    1. Many examples
    2. Subring of Noetherian rings may not be Noetherian, but quotient is
  6. R Noetherian => R[x] Noetherian
    1. Proof
    2. Similar proof, R Noetherian => R[[x]] also Noetherian
  7. Proof of Hilbert's theorem
    1. Noetherian + Reynold's operator
    2. Can generalize to Sl(R), using Weyl's unitarian trick