Introduction to Applied Algebra and Geometry
The aim of this course is to introduce the beautiful world of polytopes, polytopes and cones, and their many relevant applications in real life.
Specifically, the course covers two main topics:
1- Foundations of applied algebraic geometry in the study of the zero-set of polynomial equations (an algebraic variety). It includes Gröbner bases of polynomial ideals, elimination theory, and root classification for polynomials in one variable.
2- Polyhedral geometry: polyhedra, cones and polytopes (n-dimensional generalizations of polygons). Polyhedra arise naturally when studying systems of polynomial equations, and relations between the zero-set of a system of polynomials and geometrical properties of an associated polytope beautifully emerge.
During the course, the relevant theory will be developed, and in the exercise classes, the student will put the theory into practice by using appropriate mathematical software (for example Maple, Singular, Sage). Additionally, the student will encounter several applications to real life, such as chemistry, biology, robotics, optimization, statistics, coding theory, as well as computational theorem proving, among others.
The course is suitable for master students and last-year bachelor students. For the two written assignments, the student will be able to choose among several options, according to background and interest.
Master students familiar with algebraic geometry will be able to relate abstract concepts from algebraic geometry to the applied aspects of the course, but this is not a requirement to follow the course. In particular, this course serves as a good complement to other master courses in algebraic geometry and is also especially suited to students with an interest in combinatorics.
Knowledge: The students are able to define, describe the main properties of, and use in practical situations the following: algebraic varieties, Gröbner bases, elimination theory, techniques for finding and classifying the roots of polynomials in one variable, polytopes, convex sets, Newton polytope, mixed volume.
Skills: By the end of the course the students are able to use and implement methods to find and describe solutions to polynomial equations using available mathematical software, and to identify main objects associated with polytopes and their relation to zero-sets of polynomial equations.
Competences: By the end of the course the students will have developed a theoretical and practical understanding of the main aspects and current trends in the field of applied algebraic geometry and polyhedral geometry, and be able to use this knowledge in theoretical contexts and in applications.
3 hours of lectures and 4 hours of exercises for 7 weeks.
Exercise sessions combine theoretical exercises with practical exercises using mathematical software.
See Absalon. Material similar to the following references will be used:
- Cox, Litlle, O'Shea, "Ideals, Varieties, and Algorithms. An Introduction to Computational Algebraic Geometry and Commutative Algebra"
- Cox, Litlle, O'Shea, "Using Algebraic Geometry"
- Joswig, Theobald, "Polyhedral and Algebraic Methods in Computational Geometry"
Knowledge in analysis and linear algebra as covered in a BSc degree in mathematics. Ring theory e.g. as obtained in Algebra 2. Basic familiarity with programming is useful but not necessary.
- 7,5 ECTS
- Type of assessment
- Type of assessment details
- Two written assignments count each 30% of the grade. A final in-class problem set (requires laptop), three hour long, accounts for 40% of the grade.
- All aids allowed
- Marking scale
- 7-point grading scale
- Censorship form
- No external censorship
Several internal examiners
Criteria for exam assessment
The student must in a satisfactory way demonstrate that he/she has mastered the learning outcome of the course.
Single subject courses (day)
- Theory exercises
- Course number
- 7,5 ECTS
- Programme level
- Full Degree Master
- Block 2
- No limit
The number of seats may be reduced in the late registration period
- Study Board of Mathematics and Computer Science
- Department of Mathematical Sciences
- Faculty of Science
- Elisenda Feliu (6-696a69706d79447165786c326f7932686f)
Are you BA- or KA-student?
Courseinformation of students