Integration Workshop Projects

This is a list of all the projects for the integration workshop and the year the project was introduced. The link leads to the full description of the project.

• Exploring the Exotic Setting for Algebraic Geometry - 2010 Explores the basic topology used in algebraic geometry - the Zariski topology.
• The Berlekamp algorithm - 2009 For polynomials with coefficients in a finite field the Berlekamp algo- rithm factors polynomials of high degree in reasonable amounts of time.
• The Hopf fibration - 2009 An introduction from the points of view of the quaternions and of the complex numbers to an important object in fields such as topology and Lie groups with many physical applications such as rigid body mechanics and magnetic monopoles.
• Conformal maps and SLE - 2009 The relationship between the Loewner differential equation and conformal maps with a glimpse of Schramm Loewner evolution (SLE).
• Quadratic Reciprocity - 2008 Eisenstein’s slick proof of Gauss’s Theorema Aureum of quadratic reciprocity.
• Multilinear Algebra - 2008 How to show that the div, grad, and curl operators from vector calculus can all be thought of as special cases of a single operator on differential forms.
• Tychonoff - 2007 An arbitrary product of compact spaces is compact.
• Periodic Continued Fractions - 2007 A real number has a periodic continued fraction expansion if and only if it satisfies a quadratic equation. [Tex file (no fig)]     [Tex file (with fig)]    [Figure]
• Generating functions - 2006 How to use generating functions to solve linear recurrences.
• Nice group actions on the upper half plane - 2006 The topology and geometry of actions of suitable groups of matrices on the upper half plane.
• The space of circles - 2006  [Tex file] Some geometry of the set of all circles in the plane.
• The space of metric spaces - 2006 The set of all compact metric spaces can itself be made into a metric space.
• Constructing Brownian motion - 2006 Basics on the Wiener process. (Requires somewhat sophisticated analysis.)
• Solving elliptic PDEs - 2006 Hilbert space ideas can be used to solve elliptic PDEs.
• Lie brackets and parking a car - 2006 [Tex file] The dynamical system associated to a vector field, with applications to control theory.
• Banach Algebras - 2005 Every element of a complex Banach algebra has a non-empty, compact spectrum.
• Topological Groups and Duality - 2005 Basics plus the result that Pontryagin duality interchanges compact and discrete topological groups.
• The Stone Weierstrass Theorem - 2005
• The Urysohn Metrization Theorem - 2005 Characterizes those topological spaces which admit a metric inducing the given topology.
• Linear Differential Equations and the Jordan Form - 2004 Knowledge of the Jordan form of a linear transformation leads quickly to a characterization of the solutions of a linear, constant-coefficient differential equation.
• Combinatorial Topology of Dynamical Systems - 2004 How the topology of a surface affects the fixed points of the flow of a vector field.
• Geometric Aspects of Elliptic Curves - 2004 Some basics on the complex plane modulo a lattice as a space and as a group.
• Group Representations - 2004 Basics on groups acting on vector spaces.
• Topological Vector Spaces - 2004 A finte dimensional real vector space has a unique reasonable topology.
• Weierstrass P Function - 2004 Basics on doubly periodic functions on the complex plane.
• Harmonic Analysis and the Distribution of Numbers - 2003 Ideas of Fourier analysis leading to Weyl’s theorem that the multiples of an irrational angle are equidistributed in the circle.
• Constructing the p-adic Numbers - 2003 The p-adics are a completion of the rationals in the same sense that the reals are a completion of the rationals. The project gives two constructions and shows that they yield the same object (a topological field).
• Modules over Principal Ideal Domains - 2003 A proof of the fundamental structure theorem for said modules.
• Winding Numbers - 2003 How many times does a closed curve in the plane wind around a point? Making this precise has amazing applications like the Brouwer fixed point theorem and the fundamental theorem of algebra.
• Primes in an Arithmetic Progression - 2003 Uses analytic functions to show that if a is relatively prime to m, then the sequence a, a + m, a + 2m, . . . contains infinitely many prime numbers.
• Compact Hausdorff Spaces and C* algebras - 2003 A compact space determines and is determined by its algebra of functions.
• Calculating Rational Canonical Forms - 2003 How to find a nice standard form (different than the Jordan form) of a matrix.