### Graduate Studies and Postdoctoral Affairs (GSPA)

Needles Hall, second floor, room 2201

**University COVID-19 update:** visit our Coronavirus Information website for more information.

For more detailed course information, click on a course title below.

Course ID: 002339

The concepts of formal provability and logical consequence in first order logic are introduced, and their equivalence is proved in the soundness and completeness theorems. Goedel's incompleteness theorem is discussed; making use of the halting problem of computability theory. Relative computability and the Turing degrees are further studied.

Course ID: 002341

An introduction to algebraic number theory; unique factorization, Dedekind domains, class numbers, Dirichlet's unit theorem, solutions of Diophantine equations.

Course ID: 014670

Module theory: classification of finitely generated modules over PIDs, exact sequences and tensor products, algebras, localisation, chain conditions. Primary decomposition, integral extensions, Noether's normalisation lemma, and Hilbert's Nullstellensatz.

Course ID: 013667

Lebesgue measure on the line, the Lebesgue integral, monotone and dominated convergence theorems, LP spaces, completeness and dense subspaces; separable Hilbert space, orthonormal bases; Fourier analysis on the circle, Dirichlet kernel, Riemann-Lebesgue lemma, Fejer's theorem and convergence of Fourier series.

Course ID: 002346

General measures, measurability, Caratheodory extension theorem and construction of measures, integration theory, convergence theorems, LP spaces, absolute continuity, differentiation of monotone functions, Radon-Nikodym theorem, product measures, Fubini's theorem, signed measures, Urysohn's lemma, Riesz Representation theorems for classical Banach spaces.

Course ID: 002347

The Riemann mapping theorem and several topics such as analytic continuation, harmonic functions, elliptic functions, entire functions, univalent functions, special functions. Students without the required prerequisite may seek consent of the department.

Course ID: 002349

Point-set topology; smooth manifolds, smooth maps, and tangent vectors; the tangent bundle, vector fields, tensor fields, and differential forms. Other topics may include: de Rham cohomology; Frobenius Theorem; Riemannian metrics, connections and curvature.

Course ID: 002350

Topological spaces and topological manifolds; quotient spaces; cut and paste constructions; classification of two-dimensional manifolds; fundamental group; homology groups. Additional topics may include: covering spaces; homotopy theory; selected applications to knots and combinatorial group theory.

Course ID: 002351

Reading Course

Course ID: 013668

Model theory: the semantics of first order logic including the compactness theorem and its consequences, elementary embedding and equivalence, the theory of definable sets and types, quantifier elimination, and w-stability. Set theory: well-orderings, ordinals, cardinals, Zermelo-Fraenkel axioms, axiom of choice, informal discussion of classes and independence results.

Course ID: 013669

Summation methods; analytic theory of the Riemann zeta function; Prime Number Theorem; primitive roots; quadratic reciprocity; Dirichlet characters and infinitude of primes in arithmetic progressions; assorted topics.

Course ID: 014343

Basic definitions and examples: subrepresentations and irreducible representations, tensor products of representations. Character theory. Representations as modules over the group ring, Artin-Wedderburn structure theorem for semisimple rings. Induced representations, Frobenius reciprocity, Mackeys irreducibility criterion.

Course ID: 013670

Banach and Hilbert spaces, bounded linear maps, Hahn-Banach theorem, open mapping theorem, closed graph theorem, topologies, nets, Hausdorff spaces, Tietze extension theorem, dual spaces, weak topologies, Tychonoff's theorem, Banach-Alaoglu theorem, reflexive spaces.

Course ID: 002392

An introduction to algebraic geometry through the theory of algebraic curves. General algebraic geometry: affine and projective algebraic sets, Hilbert's Nullstellensatz, co-ordinate rings, polynomial maps, rational functions and local rings. Algebraic curves: affine and projective plane curves, tangency and multiplicity, intersection numbers, Bezout's theorem and divisor class groups.

Course ID: 011875

Banach algebras, functional calculus, Gelfan transform, Jacobson radical, Banach space and Hilbert space operators, Fredholm alternative, spectral therorem for compact normal operators, ideals in C^*-algebras, linear functionals and states, Gelfand-Naimark-Segar (GNS) construction, von Neumann algebras, strong/weak operator topologies, Double Commutant theorem, Kaplansky's density theorem, spectral theorem for normal operators.

Course ID: 015700

Basic topics in Fourier analysis on locally compact groups, in particular abelian groups: Haar measure, convolution, characters, the dual group, Fourier transform, Parseval's theorem, Plancherel theorem, Pontryagin duality theorem, invrsion theorem, Bochener's theorem. Other topics such as harmonic analysis on compact or non-albian locally compact groups, Peter-Weyl theorem, amenability, probabilistic methods in harmonic analysis.

Course ID: 002391

An introduction to matrix Lie groups and their associated Lie algebras: geometry of matrix Lie groups; relations between a matrix Lie group and its Lie algebra; representation theory of matrix Lie groups.

Needles Hall, second floor, room 2201

University of Waterloo

University of Waterloo

43.471468

-80.544205

200 University Avenue West

Waterloo,
ON,
Canada
N2L 3G1