Konferenzen  >  Mathematik  >  Algebra  >  Vereinigte Staaten

Mathematical Sciences Research Institute (MSRI)

Computational proof assistants now make it possible to develop global, digital mathematical libraries with theorems that are fully checked by computer. This summer school will introduce students to the new technology and the ideas behind it, and will encourage them to think about the goals and benefits of formalized mathematics. Students will learn to use the Lean interactive proof assistant, and by the end of the session they will be in a position to formalize mathematics on their own, join the Lean community, and contribute to its mathematical library.

Kurse und Veranstaltungen für Studenten der Mathematik,    Computer-gestütztes Beweisen

In the early 1920s, Emmy Noether introduced the fundamental concept of a Noetherian ring, a notion that has had a remarkably broad impact on mathematics over the last century. In this conference, we celebrate Noether's legacy with research talks from many areas of algebra, broadly construed, including algebraic geometry, commutative algebra, number theory, and representation theory.

Geometrie und Topologie,    Zahlentheorie, Arithmetik

Kurse und Veranstaltungen für Studenten der Mathematik,    Geometrie und Topologie

University of Oregon, Eugene

In this workshop we will explore the structure of these categorified Coulomb branches. The simplest (!) example of a categorified Coulomb branch is the coherent Satake category, that is, the category of perverse coherent sheaves on the affine Grassmannian of a complex reductive group (such as GL_n). This is the coherent analogue of the more classical (constructible) Satake category which plays a fundamental role in the geometric Langlands program. We don't expect participants to know what many of those words mean, but they will by the end of the workshop!

Kurse und Veranstaltungen für Studenten der Mathematik,    Geometrie und Topologie

Kurse und Veranstaltungen für Studenten der Mathematik,    Geometrie und Topologie

American Institute of Mathematics (AIM)

This workshop, sponsored by AIM and the NSF, will bring together theorists and computationalists to collaborate on understanding how computational considerations impact the practice of applied topology, and what new challenges for computation we must solve to bridge theory to applications.

American Institute of Mathematics (AIM)

This workshop, sponsored by AIM and the NSF, will be devoted to the recent developments in the intersection of Khovanov-Rozansky homology, affine Springer fibers, Hilbert schemes and link homology, and combinatorics.

Geometrie und Topologie,    Graphentheorie und Kombinatorik

This will be a workshop in Algebraic Geometry, in topics (tangentially) related to the Stacks project. The participants who apply and are accepted will be graduate students, post-docs, or even senior researchers. Roughly the idea is that they will learn about and work on a single topic in a small group together with a mentor for a week. Part of this process will be seeing how one builds new theory from the foundations. There will also be some talks each day covering advanced topics in algebraic geometry. Mathematicians not in the groups are welcome to come to these talks.

Kurse und Veranstaltungen für Studenten der Mathematik,    Geometrie und Topologie

Texas-Oklahoma Representations and Automorphic forms (TORA) is a conference series hosted in rotation by Oklahoma State University, the University of Oklahoma, and the University of North Texas. The TORA meetings bring together the automorphic forms and representation theory community of the South Central region to hear about recent research in automorphic forms and representation theory. Graduate students and junior researchers are particularly encouraged to attend and present their own work.

Mathematical Sciences Research Institute (MSRI)

The Introductory Workshop will feature lecture series devoted to some recent breakthrough results in commutative algebra, and to new developments in core areas of the field. It will also highlight links to other areas such as arithmetic geometry, representation theory, noncommutative geometry, and singularity theory.

Mathematical Sciences Research Institute (MSRI)

This workshop will give an overview of recent developments in non-commutative algebraic geometry, including NC projective AG, NC resolutions, semiorthogonal decompositions, enhancements of derived categories, and connections to homological mirror symmetry, to enumerative AG, to moduli spaces and to birational geometry. It will in particular focus on speakers who have built new bridges between these topics.

Mathematical Sciences Research Institute (MSRI)

Many long-standing conjectures in commutative algebra have been solved in recent years, often through the introduction of new methods that are quickly becoming central to the field. This workshop will bring together a wide array of researchers in commutative algebra and related fields, with the goal of forging new connections among topics, and with a particular emphasis on transformative new methods.

Mathematical Sciences Research Institute (MSRI)

This workshop will have a view to the future of a broad spectrum of topics including structure and classification of finite dimensional Lie algebras and superalgebras in characteristic p structure of infinite dimensional Lie algebras and their representations deformation theory of algebras, double constructions and elemental Lie algebras diagram algebras and combinatorial representation theory algebraic combinatorics of groups of Lie type:characters, Schur-Weyl duality, Bratteli diagrams, and McKay correspondences quantum groups and crystal bases, particularly for superalgebras and affine algebras examples of fusion categories arising from representations of Drinfeld doubles and other algebras cohomology for finite tensor categories with applications to its underlying geometry

This meeting will feature principal contributors in these areas in a celebration of the work of Georgia Benkart. With the same focus and tenacity that Georgia always had, we will strive to provide a conference full of beautiful mathematics, incredible inspiration, and the warmth of Georgia’s welcoming personality to our field and our community.

Massachusetts Institute of Technology (MIT)