Math Courses
Undergraduate Courses
 Rings and modules, Polynomial rings in several variables over a field
 Monomial orders and the division algorithm in several variables
 Grobner bases and the Buchberger algorithm, Elimination and equation solving
 Applications of Grobner bases:
 integer programming
 graph coloring
 robotics
 coding theory
 combinatorics and more
 The Hilbert function and the Hilbert series, Speeding up the Buchberger algorithm, The f4 and f5 algorithms
 Basic concepts of topology of metric spaces: open and closed sets, connectedness, compactness, completeness.
 Normed spaces and inner product spaces. All norms on are equivalent.
 Theorem on existence of a unique fixed point for a contraction mapping on a complete metric space.
 Differentiability of a map between Euclidean spaces. Partial derivatives. Gradient. Chain rule. Multivariable Taylor expansion.
 Open mapping theorem and implicit function theorem. Lagrange multipliers. Maxima and minima problems.
 Riemann integral. Subsets of zero measure and the Lebesgue integrability criterion. Jordan content.
 Fubini theorem. Jacobian and the change of variables formula.
 Path integrals. Closed and exact forms. Green’s theorem.
 Time permitting, surface integrals, Stokes’s theorem, Gauss’ theorem
 Geometry of Curves. Parametrizations, arc length, curvature, torsion, Frenet equations, global properties of curves in the plane.
 Extrinsic Geometry of Surfaces. Parametrizations, tangent plane, differentials, first and second fundamental forms, curves in surfaces, normal and geodesic curvature of curves.
 Differential equations without coordinates. Vector and line fields and flows, frame fields, Frobenius theorem. Geometry of fixed point and singular points in ODEs.
 Intrinsic and Extrinsic Geometry of Surfaces. Frames and frame fields, covariant derivatives and connections, Riemannian metric, Gaussian curvature, Fundamental Forms and the equations of Gauss and CodazziMainardi.
 Geometry of geodesics. Exponential map, geodesic polar coordinates, properties of geodesics, Jacobi fields, convex neighborhoods.
 Global results about surfaces. The GaussBonnet Theorem, HopfRinow theorem, HopfPoincaret theorem.
Ordinary differential equations of first order, existence and uniqueness theorems, linear equations of order n and the Wronskian, vector fields and autonomous equations, systems of linear differential equations, nonlinear systems of differential equations and stability near equilibrium
Algebras and sigmaalgebras of subsets, the extension theorem and construction of Lebesgue’s measure on the line, general measure spaces, measurable functions and their distribution functions, integration theory, convergence theorems (Egorov’s, relations between convergence in measure and a.e. convergence), the spaces and and their completeness, signed measures, the RadonNikodym theorem, measures in product spaces and Fubini’s theorem.
Topological spaces and continuous functions (product topology, quotient topology, metric topology). Connectedness and Compactness. Countabilty Axioms and Separation Axioms (the Urysohn lemma, the Urysohn metrization theorem, Partition of unity). The Tychonoff theorem and the StoneCech compactification. Metrization theorems and paracompactness.
Spring 2018
Lecturer: Prof Michael Levin
The main purpose of the course is to introduce students to the basic concepts and theorems of Functional Analysis, and to develop an “abstract geometrical” approach to different mathematical problems.
 Metric spaces. Properties of complete metric spaces. Mappings of metric spaces. Fixed points. Application to ODE. Compact sets in metric spaces.
 Normed spaces. Holder’s inequality. The spaces: , , , , . Banach spaces. The completion theorem. Completeness of the above spaces.
 Linear operators. The norm of a linear operator. Isomorphism and isometry. Any two dimensional normed spaces are isomorphic. The open mapping theorem and the closed graph theorem. Uniform boundedness principle. The completeness of the space of all linear bounded operators acting from a normed space into a Banach space .
 Linear functionals. The Hahn–Banach extension theorem. The dual space. Dual spaces for the examples above. Adjoint operators.
 Quotient space. Completeness of the quotient space. The dual space for a quotient space. Reflexive spaces.
 Hilbert spaces. The Cauchy–Schwarz inequality. Orthogonal projectors. Orthonormal basis. Any two separable infinitedimensional Hilbert spaces are isometric. Closed operators in a Hilbert space.
 Cesaro means: Convolutions, positive summability kernels and Fejer’s theorem.
 Applications of Fejer’s theorem: the Weierstrass approximation theorem for polynomials, Weyl’s equidistribution theorem, construction of a nowhere differentiable function (time permitting).
 Pointwise and uniform convergence and divergence of partial sums: the Dirichlet kernel and its properties, construction of a continuous function with divergent Fourier series, the Dini test.
 approximations. Parseval’s formula. Absolute convergence of Fourier series of functions. Time permitting, the isoperimetric problem or other applications.
 Applications to partial differential equations. The heat and wave equation on the circle and on the interval. The Poisson kernel and the Laplace equation on the disk.
 Fourier series of linear functionals on . The notion of a distribution on the circle.
 Time permitting: positive definite sequences and Herglotz’s theorem.
 The Fourier transform: convolutions, the inversion formula, Plancherel’s theorem, Hermite functions. Time permitting: tempered distributions, further applications to differential equations.
 Fourier analysis on finite cyclic groups, and the Fast Fourier Transform algorithm.
Spring 2018
Lecturer: Dr Izhar Oppenheim
 Complex numbers. Analytic functions, Cauchy–Riemann equations.
 Conformal mappings, Mobius transformations.
 Integration. Cauchy Theorem. Cauchy integral formula. Zeroes, poles, Taylor series, Laurent series. Residue calculus.
 The theorems of Weierstrass and of MittagLeffler. Entire functions. Normal families.
 Riemann Mapping Theorem. Harmonic functions, Dirichlet problem.
Spring 2018
Lecturer: Prof Arkady Poliakovsky
The course is intended for 3rd year undergraduate as well as M.Sc students both in computer science and mathematics. We will touch main topics in the area of discrete geometry. Some of the topics are motivated by the analysis of algorithms in computational geometry, wireless and sensor networks. Some other beautiful and elegant tools are proved to be powerful in seemingly nonrelated areas such as additive number theory or hard Erdos problems. The course does not require any special background except for basic linear algebra, and a little of probability and combinatorics. During the course many open research problems will be presented.
Detailed Syllabus:
 Fundamental theorems and basic definitions: Convex sets, convex combinations, separation , Helly’s theorem, fractional Helly, Radon’s theorem, Caratheodory’s theorem, centerpoint theorem. Tverberg’s theorem. Planar graphs. Koebe’s Theorem. A geometric proof of the LiptonTarjan separator theorem for planar graphs.
 Geometric graphs: the crossing lemma. Application of crossing lemma to Erdos problems: Incidences between points and lines and points and unit circles. Repeated distance problem, distinct distances problem. Selection lemmas for points inside discs, points inside simplexes. Counting ksets. An application of incidences to additive number theory.
 Coloring and hiting problems for geometric hypergraphs : VCdimension, Transversals and Epsilonnets. Weak epsnets for convex sets. Conflictfree colorings .
 Arrangements : Davenport Schinzel sequences and sub structures in arrangements. Geometric permutations.
 Geometric Ramsey and Turan type theorems: Application of Dilworth theorem, ErdosSzekeres theorem for convex sets, quasiplanar graphs.
 An introductory sketch and some motivating examples. Degenerate critical points of functions. Singular (nonsmooth) points of curves.
 Holomorphic functions of several variables. Weierstrass preparation theorem. Local Rings and germs of functions/sets.
 Isolated critical points of holomorphic functions. Unfolding and morsication. Finitely determined function germs.
 Classification of simple singularities. Basic singularity invariants. Plane curve singularities. Decomposition into branches and Puiseux expansion.
 Time permitting we will concentrate on some of the following topics: a. Blowups and resolution of plane curve singularities; b. Basic topological invariants of plane curve singularities (Milnor fibration); c. Versal deformation and the discriminant.
The course covers central ideas and central methods in classical set theory, without the axiomatic development that is required for proving independence results. The course is aimed as 2nd and 3rd year students and will equip its participants with a broad variety of set theoretic proof techniques that can be used in different branches of modern mathematics.
Sylabus
 The notion of cardinality. Computation of cardinalities of various known sets.
 Sets of real numbers. The CantorBendixsohn derivative. The structure of closed subsets of Euclidean spaces.
 What is Cantor’s Continuum Hypothesis.
 Ordinals. Which ordinals are orderembeddable into the real line. Existence theorems ordinals. Hartogs’ theorem.
 Transfinite recursion. Applications.
 Various formulations of Zermelo’s axiom of Choice. Applications in algebra and geometry.
 Cardinals as initial ordinals. Hausdorff’s cofinality function. Regular and singular cardinals.
 Hausdorff’s formula. Konig’s lemma. Constraints of cardinal arithmetic.
 Ideal and filters. Ultrafilters and their applications.
 The filter of closed and unbounded subsets of a regular uncountable cardinal. Fodor’s pressing down lemma and applications in combinatorics.
 Partition calculus of infinite cardinals and ordinals. Ramsey’s theorem. The ErdosRado theorem. DushnikMiller theorem. Applications.
 Combinatorics of singular cardinals. Silver’s theorem.
 Negative partition theorems. Todorcevic’s theorem.
 Other topics
Bibliography.
 Winfried Just and Martin Wese. Discovering modern set theory I, II. Graduate Studies in Mathematics, vol. 8, The AMS, 1996.
 Azriel Levy. Basic Set Theory. Dover, 2002.
 Ralf Schindler. Set Theory. Springer 2014.
An introduction to applications of algebra and number theory in the field of cryptography. In particular, the use of elliptic curves in cryptography is studied in great detail.
 Introduction to cryptography and in particular to public key systems, RSA, DiffieHellman, ElGamal.
 Finite filelds, construction of all finite fields, efficient arithmetic in finite fields.
 Elliptic curves, the group law of an elliptic curve, methods for counting the number of points of an elliptic curves over a finite field: Babystep giant step, Schoof’s method.
 Construction of elliptic curves based cryptographic systems.
 Methods for prime decomposition, the elliptic curves method, the quadratic sieve method.
 Safety of public key cryptographic methods.
Coding Theory investigates errordetection and errorcorrection. Such errors can occur in various communication channels: satellite communication, cellular telephones, CDs and DVDs, barcode reading at the supermarket, etc. A mathematical analysis of the notions of error detection and correction leads to deep combinatorial problems, which can be sometimes solved using techniques ranging from linear algebra and ring theory to algebraic geometry and number theory. These techniques are in fact used in the abovementioned communication technologies.
Topics
 The main problem of Coding Theory
 Bounds on codes
 Finite fields
 Linear codes
 Perfect codes
 Cyclic codes
 Sphere packing
 Asymptotic bounds
Bibliography:
R. Hill, A First Course in Coding Theory, Clarendon Press, Oxford 1986
Spring 2018
Lecturer: Prof Ido Efrat
 Review of Logic
 Crieteria for completeness of axiom systems
 Review of Turing machines computability
 The recursion theorem and its uses
 Formal systems and arithmetization of syntax
 representation of recursive function in arithmetic
 Godel’s fixedpoint theorem. First incompleteness theorem
 Loeb’s theorem and Godel’s second incompleteness theorem
 Additional advanced material
Number Theory studies the structure of the integers and the natural numbers. In addition to classical topics (prime numbers, congruences, quadratic residues, etc.) there is an emphasis on algorithmic questions and in particular on applications to cryptography.
 Divisibility and prime numbers
 Congruences
 The multiplicative group of
 Quadratic residues
 Continued fractions
 Algebraic numbers and algebraic integers
 An axiom system for predicate calculus and the completeness theorem.
 Introduction to model theory: The compactness Theorem, Skolem–Löwenheim Theorems, elementary substructures.
 Decidability and undecidability of theories, Gödel first Incompleteness Theorem.
 Introduction.
 Combinatorial objects: representation, identification, symmetry, constructive and analytical enumeration. The natural numbers, integers, rational and irrational numbers. The arithmetic operations, powers and radicals. The basic algebraic formulas including the binomial formula.
 Permutation groups and combinatorial enumeration: Permutation groups. Introduction to Polya enumeration theory. Graph isomorphism problem.
 Finite fields and applications: Finite fields. Coding theory. Incidence structures and block designs.
 Symmetrical graphs: Cayley graphs, strongly regular graphs. dimensional cubes and distance transitive graphs.
 Examples of applications: Design of statistical experiments. Cryptography. Recreational mathematics.
Graphs and subgraphs, trees, connectivity, Euler tours, Hamilton cycles, matching, vertex and edge colorings, planar graphs, introduction to Ramsey theory, directed graphs, probabilistic methods and linear algebra tools in Graph Theory.
 Groups, the factor group and the homomorphism theorems, Sylow’s theorems and permutation actions of groups.
 Rings, Integral Domains and Fields. Ideals: maximal and prime. Unique Factorization Domains, Principle Ideal Domains, Euclidean Domains.
 Modules, structure theorems for finitely generated modules over a PID, application to finitely generated abelian groups and to the Jordan Canonical Form.
 Fields: basic properties and examples, the characteristic, prime fields
 Polynomials: irreducibility, the Eisenstein criterion, Gauss’s lemma
 Extensions of fields: the tower property, algebraic and transcendental extensions, adjoining an element to a field
 Ruler and compass constructions
 Algebraic closures: existence and uniqueness
 Splitting fields
 Galois extensions: automorphisms, normality, separability, fixed fields, Galois groups, the fundamental theorem of Galois theory.
 Cyclic extensions
 Solving polynomial equations by radicals: the Galois group of a polynomial, the discriminant, the CardanoTartaglia method, solvable groups, Galois theorem
 Roots of unity: cyclotomic fields, the cyclotomic polynomials and their irreducibility
 Finite fields: existence and uniqueness, Galois groups over finite fields, primitive elements
Spring 2018
Lecturer: Dr Ishai DanCohen
algebra and category theory.
 Bilinear and quadratic forms, Sylvester’s Theorem, Classification of quadrics
 Multilinear algebra, tensor product of modules, the exterior algebra.
 Categories: Examples of categories, Functors, Natural transformations, Universal constructions: product and coproduct, limits, adjoint functors, Applications.
 Selected topics in commutative and noncommutative algebra, Applications.
An introduction to the basic notions of probability theory:
sample spaces limits of events conditional probability independent events sigma algebras, continuous spaces, Lebesgue measure random variables and distributions independence expectation variance and covariance convergence of random variables: almostsure, in Lp, in probability law of large numbers convergence in law central limit theorem
 The Poisson Process and its applications. Elements of queuing theory. Queuing birthanddeath processes in equilibrium. Nonhomogeneous Poisson Processes.
 Symmetric Brownian Motion. Brownian Motion with drift. FirstPassage times and arcsine laws. Geometric Brownian motion. Application to option pricing by the Arbitrage Theorem (Black and Scholes).
 Discretetime Markov Chains. Classification of states. Random walks in the line, plane and space. Limit theorems. Calculation of limiting proportions of sojourn times and expectations of recurrence times.
The course will present Game Theory mostly from a mathematical point of view. Topics to be covered:
 Combinatorial games.
 Twoperson zerosum games.
 Linear programming.
 Generalsum games.
 Equilibrium points.
 Randomturn games.
 Stable marriages.
 Voting.
Graduate Courses
Basics of Algebra theory. The spectral theorem for bounded normal operators and the Borel functional calculus. Basic theory of von Neumann algebras. Density theorems, topologies and normal maps, traces, comparison of projections, type classification, examples of factors. Additional topics, for example, noncommutative dynamics, subfactors, group actions, and free probability.
This course will cover a number of fundamentals of model theory including:
 Quantifer Elimination
 Applications to algebra including algebraically closed fields and real closed fields.
 Types and saturated models.
Given time, the course may also touch upon the following topics:
 Vaught’s conjecture and Morley’s analysis of countable models
 stable theories and Morley rank
 Fraisse’s amalgamation theorem.
Prerequisites
Students should be familiar with the following concepts: Languages, structures, formulas, theories, Godel’s completeness theorem and the compactness theorem.
Spring 2018
We will present some basic notions and constructions from model theory, motivated by concrete questions about structures and their theories. Notions we expect to cover include:
 Types and spaces of types
 Homogeneous and saturated models
 Quantifier elimination and model companions
 Elimination of imaginaries
 Definable groups and fields
Prerequisites
Students should be familiar with the following concepts from logic: Languages, structures, formulas, theories, the compactness theorem. In addition, some familiarity with field theory, topology and probability will be beneficial.
The field of real numbers is defined as the completion of the field of rational numbers with respect to the norm . However, there are other norms on , each corresponding to a prime number , and the completion of with respect to any such norm leads to the field of adic numbers, denoted by . This is a topological complete field, and thus it makes sense to develop an analysis on it.
Many features of the adic analysis are very different from familiar ones in real analysis. For example, “the first year calculus dream” of many students comes true: A series converges if and only if its general term goes to . The overall picture of the adic analysis makes impression of a surprising and beautiful one, and easier than its real counterpart. Nowadays, the adic analysis has endless applications in geometry and number theory.
In this course we will study the field of adic numbers from different points of view, stressing similarities to and deviations from the real numbers. If time permits the culmination of the course will be Tate’s thesis (1950), that uses adic analysis to prove the meromorphic continuation of the zetafunction of Riemann and its functional equation.
 Arithmetic of : sums and products, square roots, finding roots of polynomials.
 Algebraic number theory of : finite extensions, algebraic closure of , completion of the algebraic closure, local class field theory will be mentioned.
 Topology of : elementary topological properties, Euclidean models of .
 Analysis on : convergence of sequences and series, radius of convergence, elementary functions , , the space of locally constant functions.
 Harmonic analysis on : characters of , Haar measure, integration of locally constant functions, Fourier transform.
 The ring of adeles as an object unifying for all : topological properties, integration and Fourier transform, Poisson summation formula.
 Tate’s thesis.
Prerequisites: topology, algebraic structures
 Fundamental theorems and basic definitions: Convex sets, separation , Helly’s theorem, fractional Helly, Radon’s theorem, Caratheodory’s theorem, centerpoint theorem. Tverberg’s theorem. Planar graphs. Koebe’s Theorem.
 Geometric graphs: the crossing lemma. Application of crossing lemma to Erdos problems: Geometric Incidences, Repeated distance problem, distinct distances problem. Selection lemmas. Counting sets. An application of incidences to additive number theory.
 Coloring and hiting problems for geometric hypergraphs : dimension, Transversals and Epsilonnets. Weak epsnets for convex sets. Theorem, Conflictfree colorings.
 Arrangements : Davenport Schinzel sequences and sub structures in arrangements.
 Geometric Ramsey and Turan type theorems: Application of Dilworth theorem, ErdosSzekeres theorem for convex sets, quasiplanar graphs.
Spring 2018
The course is intended for 3rd year undergraduate as well as M.Sc and Ph.D. students both in computer science and mathematics. We will touch main topics in the area of discrete geometry. Some of the topics are motivated by the analysis of algorithms in computational geometry, wireless and sensor networks. Some other beautiful and elegant tools are proved to be powerful in seemingly nonrelated areas such as additive number theory or hard Erdos problems. The course does not require any special background except for basic linear algebra, and a little of probability and combinatorics. During the course many open research problems will be presented.
Detailed Syllabus:
 Fundamental theorems and basic definitions: Convex sets, convex combinations, separation , Helly’s theorem, fractional Helly, Radon’s theorem, Caratheodory’s theorem, centerpoint theorem. Tverberg’s theorem. Planar graphs. Koebe’s Theorem. A geometric proof of the LiptonTarjan separator theorem for planar graphs.
 Geometric graphs: the crossing lemma. Application of crossing lemma to Erdos problems: Incidences between points and lines and points and unit circles. Repeated distance problem, distinct distances problem. Selection lemmas for points inside discs, points inside simplexes. Counting ksets. An application of incidences to additive number theory.
 Coloring and hiting problems for geometric hypergraphs : VCdimension, Transversals and Epsilonnets. Weak epsnets for convex sets. Conflictfree colorings .
 Arrangements : Davenport Schinzel sequences and sub structures in arrangements. Geometric permutations.
 Geometric Ramsey and Turan type theorems: Application of Dilworth theorem, ErdosSzekeres theorem for convex sets, quasiplanar graphs.
Lecturer: Prof Shakhar Smorodinsky
Banach spaces and Hilbert spaces. Basic properties of Hilbert spaces. Topological vector spaces. BanachSteinhaus theorem; open mapping theorem and closed graph theorem. HahnBanach theorem. Duality. Measures on locally compact spaces; the dual of . Weak and weak topologies; BanachAlaoglu theorem. Convexity and the KreinMilman theorem. The StoneWeierstrass theorem. Compact operators on Hilbert space. Introduction to Banach algebras and Gelfand theory. Additional topics as time permits.
 Review of abelian categories and additive functors.
 Differential graded rings, modules and categories.
 The derived category of a differential graded category.
 Derived functors. Resolutions of differential graded modules.

Commutative algebra via derived categories (regular and CM rings, Grothendieck’s Local Duality, MGM Equivalence, rigid dualizing complexes).

Geometric derived categories (of sheaves on spaces). Direct and inverse image functors, Grothendieck Duality, Poicar?Verdier Duality, perverse sheaves).

Derived categories associated to nocommutative rings (dualizing complexes, tilting complexes and derived Morita theory).

Derived categories in modern algebraic geometry and modern string theory (a survey).
Topics:

Review of material from past semesters (the courses “Derived Categories I and II”).

Derived categories in commutative algebra: dualizing complexes, Grothendieck’s local duality, MGM Equivalence, rigid dualizing complexes.

Derived categories in algebraic geometry: direct and inverse image functors, global Grothendieck duality, applications to birational geometry (survey), adic cohomology and PoincareVerdier duality (survey), perverse sheaves (survey).

Derived categories in noncommutative ring theory: dualizing complexes, tilting complexes, derived Morita theory.

Derived algebraic geometry: nonabelian derived categories (survey), infinity categories (survey), derived algebraic stacks (survey), applications (survey).
Topics:

Rigidity, residues and duality over commutative rings. We will study rigid residue complexes. We will prove their uniqueness and existence, the trace and localization functoriality, and the indrigid trace homomorphism.

Derived categories in geometry. This topic concerns geometry in the wide sense. We will prove existence of Kflat and Kinjective resolutions, and talk about derived direct and inverse image functors.

Rigidity, residues and duality over schemes. The goal is to present an accessible approach to global Grothendieck duality for proper maps of schemes. This approach is based on rigid residue complexes and the indrigid trace. We will indicate a generalization of this approach to DM stacks.

Derived categories in noncommutative ring theory. Subtopics: dualizing complexes, tilting complexes, the derived Picard group, derived Morita theory, survey of noncommutative and derived algebraic geometry.
This is a first course in modern commutative algebra that provides the background for further study of commutative and homological algebra, algebraic geometry, etc.
Syllabus
 Rings, ideals, and homomorphisms
 Modules, CayleyHamilton theorem, and Nakayama’s lemma
 Noetherian rings and modules, Hilbert basis theorem
 Integral extensions, Noether normalization lemma, and Nullstellensatz
 Affine varieties
 Localization of rings and modules
 Primary decomposition theorem
 Discrete valuation rings
 Selected topics
Literature
 Miles Reid, Undergraduate Commutative Algebra
 Miles Reid, Undergraduate Algebraic Geometry
 Altman, Kleiman, A Term of Commutative Algebra
In a random process, by definition, it is not possible to deterministically predict the next step. However, we will see in this course how to predict rigorously the long term behavior of processes. We will study in this course processes, known as Markov processes, in which the next step depends only on the current position. We will see that these processes are deeply related to electrical networks, and to notions from information theory such as entropy. We will develop techniques of discrete analysis, which are counterparts of classical analysis in the discrete setting. These notions are at the cutting edge of current research methods in these fields
Spring 2018
Random walks and harmonic functions
This course deals with random walks, harmonic functions, the relations between these notions, and their applications to geometry and algebra (mainly to finitely generated groups).
The modern point of view will be presented, following recent texts by: Gromov, Kleiner, Ozawa, Shalom & Tao, among others.
Lecturer: Prof Ariel Yadin
Course Topics
 Modules: free modules, exact sequences, tensor products, Hom modules, flatness.
 Prime ideals and localization: local rings, Nakayama’s Lemma, the spectrum of a ring, dimension and connectedness.
 Noetherian rings: the Hilbert basis theorem, the ArtinRees lemma, completion, grading.
 Dimension theory: the Hilbert nullstellensatz, Noether normalization, transcendence degree.
 Some review of complex variables
 Hilbert spaces of analytic functions. General theory
 Bergman space
 Hardy spaces
 Fractional Hardy space and self similar systems
 BargmannFock space and second quantization
 Banach spaces of analytic functions.
 Frechet spaces and Schwartz spaces
 Proof of Riemann’s mapping theorem
 Dual of the space of functions analytic in a given open set
 Gelfand triples and applications
Course Topics:
 Categories and functors: natural transformations, equivalence, adjoint functors, additive functors, exactness.
 Derived functors: projective, injective and flat modules; resolutions, the functors and ; examples and applications.
 Nonabelian cohomology and its applications.
Spring 2018
Lecturer: Prof Amnon Yekutieli
 תתחבורות, חבורות מנה, קשר בין תתחבורות של חבורה ושל חבורה מנה
 תתחבורות של SYLOW, משפטי SYLOW
 חבורות פתירות ונילפוטנטיות, חבורות
 חבורות חופשיות ותכונותיהן
 אוטומורפיזמים ואיזומורפיזמים של חבורות, חבורות אוטומורפיזמים.
Spring 2018

Permutation representation and the Sylow theorems.

Representations of groups on groups, solvable groups, nilpotent groups, semidirect and central products.

Permutation groups, the symmetric and alternating groups.

The generalized Fitting subgroup of a finite group.

groups.

Extension of groups: The first and second cohomology and applications.
Lecturer: Prof Yoav Segev
 Review of differentiable manifolds, definition of a Lie group. Quotients in the category of Lie groups, homogeneous manifolds, haar measure, connected components.
 Algebraic groups, matrix groups, the classical groups.
 Lie algebras and connection to Lie groups.
 Nilpotent, solvable and semisimple Lie algebras and Lie groups, Lie theorem, Engel theorem, Levi decomposition.
 CartanKilling form.
 Representation of a Lie algebra over the complex numbers.
 Root and weights, root systems, Dynkin diagrams, classication of complex semisimple Lie algebras.
 The reflection theorem
 Mostowski collapse theorem
 Absoluteness of formulas
 The constructible universe
 Forcing
 Consistency of the negation of the continuum hypothesis
 Consistency of the negation of the Axiom of choice
 vector bundles and Kgroups of topological spaces
 Bott’s Periodicity theorem and applications to division algebras
 Index of Fredholm operators and Ktheory
 If time permits: smooth manifolds, DeRham cohomology, Chern classes, Elliptic operators, formulation of AtiyahSinger index theorem, relations to GaussBonnet theorem

Basic Algebraic Structures: rings, modules, algebras, the center, idempotents, group rings

Division Rings: the Hamiltonian quaternions, generalized quaternion algebras, division algebras over , , , (theorems of Frobenius and Wedderburn), cyclic algebras, the Brauer–Cartan–Hua theorem

Simplicity and semisimplicity: simplicity of algebraic structures, semisimple modules, semisimple rings, Maschke’s theorem

The Wedderburn–Artin Theory: homomorphisms and direct sums, Schur’s lemma, the Wedderburn–Artin structure theorem, Artinian rings

Introduction to Group Representations: representations and characters, applications of the Wedderburn–Artin theory, orthogonality relations, dimensions of irreducible representations, Burnside’s theorem

Tensor Products: tensor products of modules and algebras, scalar extensions, the Schur index, simplicity and center of tensor products, the Brauer group, the Skolem–Noether theorem, the double centralizer theorem, maximal fields in algebras, reduced norm and trace, crossed products
 Topological manifolds. The fundamental group and covering spaces. Applications.
 Singular homology and applications.
 Smooth manifolds. Differential forms and Stokes’ theorem, definition of deRham cohomology.
 Additional topics as time permits.
Banach spaces and Hilbert spaces. Basic properties of Hilbert spaces. Topological vector spaces. BanachSteinhaus theorem; open mapping theorem and closed graph theorem. HahnBanach theorem. Duality. Measures on locally compact spaces; the dual of . Weak and weak topologies; BanachAlaoglu theorem. Convexity and the KreinMilman theorem. The StoneWeierstrass theorem. Banach algebras. Spectrum of a Banach algebra element. Gelfand theory of commutative Banach algebras. The spectral theorem for normal operators (in the continuous functional calculus form).
 Affine algebraic sets and varieties.
 Local properties of plane curves.
 Projective varieties and projective plane curves.
 Riemann–Roch theorem.
Spring 2018
Lecturer: Prof Dmitry Kerner
Notes
 Courses marked with (*) are required for admission to the M.Sc. program in Mathematics.
 The M.Sc. degree requires the successful completion of at least 2 courses marked (#). See the graduate program for details
 The graduate courses are open to strong undergraduate students who have a grade average of 85 or above and who have obtained permission from the instructors and the head of the teaching committee.
 Please see the detailed undergraduate and graduate programs for the for details on the requirments and possibilities for complete the degree.