The seminar runs on Fridays at 2:10pm–3:00pm in Carver Hall 202 at Iowa State University. Talks range from expository given by local speakers, to invited research talks. Themes include

- associative algebras and their modules,
- (quantized) enveloping algebras, Yangians, finite W-algebras, affine Hecke algebras,
- connections to geometry, combinatorics, physics and other fields.

For more information, please contact Jonas Hartwig.

February 23, 2018

Discriminants of finite reflection groups (Part 2/2)

Tathagata Basak (ISU)

We shall give an introduction to the discriminant of a reflection group. No prior knowledge of reflection groups will be assumed.
Let \(W\) be a finite (complex) reflection group acting on a (complex) vector space \(V\). Let \(H\) be the union of the mirrors (fixed points of reflections in \(W\)). By Chevalley theorem \(V/W\) is an affine space. The image of \(H\) inside the \(V/W\) is a singular affine hypersurface called the discriminant of the reflection group \(W\). This generalized the discriminant of a quadratic or cubic polynomial. There are many interesting things to say about the discriminant. For example, the fundamental group of the complement \((V/W) - H\) generalizes the braid group.

Links: Notes

February 16, 2018

Discriminants of finite reflection groups (Part 1/2)

Tathagata Basak (ISU)

We shall give an introduction to the discriminant of a reflection group. No prior knowledge of reflection groups will be assumed.
Let \(W\) be a finite (complex) reflection group acting on a (complex) vector space \(V\). Let \(H\) be the union of the mirrors (fixed points of reflections in \(W\)). By Chevalley theorem \(V/W\) is an affine space. The image of \(H\) inside the \(V/W\) is a singular affine hypersurface called the discriminant of the reflection group \(W\). This generalized the discriminant of a quadratic or cubic polynomial. There are many interesting things to say about the discriminant. For example, the fundamental group of the complement \((V/W) - H\) generalizes the braid group.

Links: Notes

February 9, 2018

What can be computed in algebraic geometry, or Macaulay2 bootcamp

Jason McCullough (ISU)

The ideal-variety correspondence is classical and connects commutative algebra and algebraic geometry. With the advent of computer algebra systems, like Macaulay2, and Groebner basis algorithms, we can efficiently compute many complicated invariants of ideals and varieties such as dimension, multiplicity, free resolutions, etc. I will give a brief summary of the theory, including Hilbert's big three theorems (Basis Theorem, Syzygy Theorem, Nullstellensatz) and show what the corresponding Macaulay2 computations like.

February 2, 2018

[No talk]

Links:

January 26, 2018

Constructing Galois Representations from Modular Forms (Part 2/2)

Shuvra Gupta (ISU)

Links:

January 19, 2018

Constructing Galois Representations from Modular Forms (Part 1/2)

Shuvra Gupta (ISU)

We will give an outline of the work due to Shimura and Deligne which associates a 2-dimensional Galois representation to some special types of modular forms. This construction has had far reaching applications, including in finite Galois Theory. In the first of two talks, we will develop some prerequisites including talking about (elliptic) curves, Jacobians and their Tate modules.

Links:

January 12, 2018

What is a perfectoid field?

Jason McCullough (ISU)

Perfectoid spaces have revolutionized arithmetic geometry and commutative algebra in the last ten years. In this talk, I'll describe the most basic perfectoid algebra corresponding to a point — a perfectoid field. I'm assuming nothing other than basic field theory.

Links:

December 7, 2017

Kleinian singularities

Jonas Hartwig (ISU)

I’ll give a gentle introduction to certain surfaces called Kleinian singularities. They are important objects in algebraic geometry and are related to group theory, invariant theory, root systems, and representation theory. I will show some pictures of what they look like, and go over their classification in terms of ADE Dynkin diagrams. (This talk can be viewed as a prequel to my talk on March 10, 2017 which dealt with analogs of these objects in noncommutative geometry.)

Links: Paper

November 16, 2017

Finite complex reflection groups: Invariant and coinvariant rings

Tathagata Basak (ISU)

Let \(G\) be a group of linear maps on a vector space \(V\). The invariant ring of \(G\) is the ring of polynomial functions on V that are invariant under \(G\) action. We will discuss the invariant rings of finite complex reflection groups. We shall illustrate how properties of the reflection group are encoded in the ring of invariants and co-invariants.

Links:

November 9, 2017

Galois representations in Galois theory

Shuvra Gupta (ISU)

We will start with a gentle introduction to Galois Representations. We will then discuss how questions in Galois Theory can be answered using techniques from Galois Representations. If there is time, I will discuss a project that I have been pursuing with Yeansu Kim to realise spin groups over \(\mathbb{Q}\).

October 26, 2017

Combinatorial generation of multi-highest-weight crystals

John Dusel (Mount St. Mary's University)

A crystal is a type of directed graph that encodes essentially all the combinatorial information about of a Lie algebra, its associated quantum group, and their representations. In this talk we will study the structure of a crystal with respect to an automorphism of the underlying Dynkin diagram, via a process known as folding.

The folding procedure introduced here extends a well-known Lie theoretic construction based on fixed-points. The latter was used by Lusztig in his celebrated construction of the canonical basis for a quantized enveloping algebra of multiply-laced type. Folding does not preserve the property of being highest-weight. This leads to a new type of crystal that corresponds to a new type of representation of a quantized enveloping algebra. We call these crystals multi-highest-weight.

In certain cases the multi-highest-weight crystal obtained from folding \(B(\infty)\) — the crystal for the lower triangular half of a quantized enveloping algebra — can be combinatorially generated using subsets of the Weyl group known as balanced parabolic quotients. I will explain how this generation can be accomplished both intrinsically and using the semigroup structure of Nakashima and Zelevinsky's polyhedral realization.

Links:

October 12, 2017

Finite complex reflection groups: Introduction

Tathagata Basak (ISU)

We will introduce the class of finite complex reflection groups and give many examples. We will describe their Coxeter-like diagrams and braid groups and talk about some of the mysteries surrounding them.

Links: Notes

October 5, 2017

Maximal subalgebras of finite-dimensional algebras

Alexander Sistko (University of Iowa)

We present classification theorems for maximal subalgebras of finite-dimensional algebras over a field \(k\). This is done by first classifying maximal subalgebras of semisimple algebras, and then lifting to the general case. When \(k\) is nice (ex. algebraically closed), the classification can be understood in terms of the ideal structure of the Jacobson radical. For bound quiver algebras, this gives us nice presentations for subalgebras. Trivial extensions and separable extensions feature prominently in the classification, and allow us to relate representation-theoretic properties of an algebra to those of its subalgebras via induction and restriction. If time permits, we discuss related problems and applications, ex. determining isomorphism classes of subalgebras, and finding minimal generating sets of algebras.

Links:

September 28, 2017

Definability in the foundations of Euclidean geometry and the product rule for derivations

Richard Kramer (ISU)

In this talk, we discuss the results of investigations that began with a solution to an open problem posed by Schwabhäuser and Szczerba regarding definability (without parameters) in the three dimensional Euclidean geometry of lines, asking whether intersection was definable from perpendicularity (two lines intersecting at a right angle). It is not. The result is a “new” 3-dimensional geometry of lines, which we call perpendicular geometry, since it can be formalized from perpendicularity. Further investigations produce a rather complete classification of possible geometries arising from elementary Euclidean binary relations between lines in \(\mathbb{R}^3\), modulo the determination of (metrical) projective geometries formalized by binary relations between points. The classification shows that in a sense made precise, perpendicular geometry is the only new geometry that can arise from binary geometric relations, except for possible new projective plane geometries, which we conjecture do not exist. Generalizing to geometries of s-flats in n-dimensional Euclidean geometry, we state a theorem which provides the essential first step towards a similar classification for the general case. The theorem states that parallel is definable in such a geometry no matter what binary geometric relation that one might chose to formalize geometry (with an enumerated list of trivial exceptions). To what extent this is true for ternary or higher order geometric relations is open, even for lines in \(\mathbb{R}^3\). We conjecture that it remains true, that is, that parallel is definable from anything “except for the exceptions”. Finally, we note that perpendicular geometry, whose automorphism group is connected with derivations, sheds some rather curious light on the relationship between the product rule for derivations over a ring, and the sum rule. For example, it is a direct consequence of perpendicular geometry that the product rule for the cross product of 3-dimensional vectors implies the sum rule. It is conjectured that this is also true of all finite dimensional semi-simple Lie algebras over the complex numbers.

September 21, 2017

Irreducible components of exotic Springer fibers

Daniele Rosso (Indiana University Northwest)

The Springer resolution is a resolution of singularities of the variety of nilpotent elements in a reductive Lie algebra. It is an important geometric construction in representation theory, but some of its features are not as nice if we are working in Type \(C\) (Symplectic group). To make the symplectic case look more like the Type \(A\) case, Kato introduced the exotic nilpotent cone and its resolution, whose fibers are called the exotic Springer fibers. We give a combinatorial description of the irreducible components of these fibers in terms of standard Young bitableaux and obtain an exotic Robinson-Schensted correspondence. This is joint work with Vinoth Nandakumar and Neil Saunders.

Links:
NRS16

September 14, 2017

Canonical Galois orders and maximal commutativity

Jonas Hartwig (ISU)

Galois rings and orders, defined by Futorny and Ovsienko in 2010, form a class of algebras which include many important algebras in representation theory, such as the (quantized) enveloping algebra of \(\mathfrak{gl}_n\), type \(A\) restricted Yangians and finite W-algebras. I will present a new criterion for determining when a Galois ring is a Galois order. This can be applied in particular to \(U_q(\mathfrak{gl}_n)\) which also proves the quantum Gelfand-Zeitlin subalgebra is maximal commutative. This establishes several conjectures including bounds on fibers of irreducible Gelfand-Zeitlin characters. The method in fact applies to all of the mentioned examples and give unified new proofs.

September 7, 2017

Global Weyl modules for non-standard maximal parabolic subalgebras

Matthew Lee (UC Riverside)

In this talk we will discuss the structure of non standard maximal parabolics of twisted affine Lie algebras, global Weyl modules and the associated commutative associative algebras. Since the global Weyl modules associated with the standard maximal parabolics have found many applications the hope is that these non-standard maximal parabolics will lead to different, but equally interesting applications.

August 31, 2017

The current algebra of \(\mathfrak{sl}_2\) and its representations

Jonas Hartwig (ISU)

An introduction to the current algebra of \(\mathfrak{sl}_2\) will be given. This Lie algebra is infinite-dimensional and has non-semisimple finite-dimensional modules (i.e. Weyl's theorem fails). Some classes of modules will be discussed, and open problems in the area stated.

Light reading:

- Applications of Lie theory?
- TWF Week 5 by John Baez. A brief but very enjoyable basic introduction to Lie algebras, representations, quantum groups.
- Basic concepts of Lie algebras by Maths14
- Lie algebra on Wikipedia
- Notes on the classification of complex Lie algebras by Terry Tao

Books:

- Introduction to Lie Groups and Lie Algebras by Alexander Kirillov, Jr.
- Lie Algebras, Algebraic Groups, and Lie Groups by J.S. Milne
- Introduction to Lie algebras and their Representation Theory by Humphreys
- Introduction to Lie algebras by Nicolas Perrin

Date | Speaker | Title | Links |
---|---|---|---|

04/28/17 | Adnan Abdulwahid (ISU) | Nakayama Functor and Quiver Representations | Abstract |

04/07/17 | Miodrag Iovanov (UI) | On Incidence Algebras and their Representations | Abstract |

03/24/17 | JH | Tensor products of representations | |

03/10/17 | JH | Weight modules over noncommutative Kleinian fiber products | Notes Paper1 Paper2 |

03/03/17 | JH | Unitarizable representations | Notes |

02/24/17 | Ben Sheller (ISU) | Lie group actions and stratified spaces | Notes |

02/10/17 | JH | Gelfand-Tsetlin Bases | Notes |

02/03/17 | JH | Parabolic induction | Fernando |

01/27/17 | JH | Simple weight modules over Lie algebras | Mathieu |

01/20/17 | Mark Hunacek (ISU) | Modular Lie algebras | Benkart Rumynin |

12/02/16 | Animesh Biswas (ISU) | The Heisenberg group and its representations | |

11/18/16 | Tathagata Basak (ISU) | Reflection groups II | |

11/11/16 | Tathagata Basak (ISU) | Reflection groups I | Notes |

11/04/16 | JH | What about \(E_9\)? Kac-Moody algebras. | Notes |

10/31/16 | JH | [Comb/Alg Sem] Lie superalgebras and super-differential operators II | |

10/24/16 | JH | [Comb/Alg Sem] Lie superalgebras and super-differential operators I | Notes Kac Serganova |

10/21/16 | JH | Classification of simple Lie algebras | Notes |

10/14/16 | JH | Root space decomposition for \(\mathfrak{sl}(3)\) | |

09/30/16 | JH | Lie algebras and homomorphisms; Examples; Classification problem |
Notes |

Last updated: Back to top ⇧