## October 21, Kevin Pilgrim, Indiana University Bloomington

- Details
- Category: 2016-2017

Title: Semigroups of branched mapping classes

Recent work on classification problems arising in one-dimensional complex analytic dynamics suggest an underlying theory of mapping class semigroups. Let S2 denote the two-sphere, and fix a finite set P ⊂ S2. The set BrCov(S2, P) of orientation-preserving branched covering maps of pairs f: (S2, P) → (S2, P) of degree at least two and whose branch values lie in P is closed under composition and under pre- and post-composition by orientation-preserving homeomorphisms h: (S2, P) → (S2, P) fixing P set wise. Composition descends to a well-defined map on homotopy classes relative to P, yielding a countable semigroup BrMod(S2, P). In addition to the semigroup structure, BrMod(S2, P) is naturally equipped with two commuting actions of the mapping class group Mod(S2, P), induced by pre- and post-composition. This richer biset structure, and a related circle of constructions, turn out to be extraordinarily useful in this context. They lead to: algebraic invariants of elements of BrCov(S2, P) and an analog of the Baer-Dehn-Nielsen theorem; analogs of classical Hurwitz classes; conjugacy invariants; canonical decompositions and forms; an analog of Thurston's trichotomous classification of mapping classes; and induced dynamics on Teichmüller spaces.

This talk is based on algebraic and dynamical perspectives growing out of work of L. Bartholdi and V. Nekrashevych, and is based on ongoing conversations with S. Koch, D. Margalit, and N. Selinger.

## October 14, Jason Teutsch, UAB

- Details
- Category: 2016-2017

Title: A brief on short descriptions

Abstract: Given a binary string, can one find a short description for it? The well-known answer is "no, Kolmogorov complexity is not computable.'' Faced with this barrier, one might instead seek a short list of candidates which includes a laconic description. In fact, efficiently computable short lists do exist, and I will discuss the extent to which one can obtain them. This talk will include a gentle introduction to Kolmogorov complexity followed by a discussion connecting list approximations to classical combinatorics and randomness extraction. The program will roughly follow a recent SIGACT News survey coauthored with Marius Zimand.

## October 7, Hyun-Kyoung Kwon, University of Alabama

- Details
- Category: 2016-2017

Title: The Corona Theorem and its Applications

Abstract: The original proof of the Corona Theorem is due to L. Carleson and many different versions and generalizations of the Corona Theorem have been investigated. I will discuss one such generalization recently obtained with my graduate student. I will also explain how the technique widely used to solve the Corona problems can be applied to get results about operator equivalence (unitary equivalence and similarity) and about the degree bound in Hilbert's Nullstellensatz.

## September 30, Kabe Moen, University of Alabama

- Details
- Category: 2016-2017

Abstract: We survey some basic facts about Lebesgue spaces. We show that the union of Lebesgue spaces is intimately related to the Hardy-Littlewood maximal function and the theory of weighted Lebesgue spaces -- Lebesgue spaces with a change of measure. We give several simple characterizations of when a function belongs the union Lebesgue spaces. This presentation will be based on a joint work with Greg Knese and John McCarthy.

## September 23, Jesse Prince-Lubawy, University of North Alabama

- Details
- Category: 2016-2017

Abstract: A handlebody orbifold consists of finitely many quotients of the 3-ball by spherical groups (

**,**

*Z*_{n}**,**

*D*_{n}**,**

*A*_{4}**, and**

*S*_{4}**) connected by 1-handle orbifolds respecting singular axes and their orders, and such that topologically the outcome is an orientable handlebody. We will first examine the handlebody of genus two,**

*A*_{5}*V*, and the handlebody orbifolds

_{2}*V*/

_{2}*G*, where

*G*is a finite group. We will then discuss equivalence of group actions and see that, up to equivalence, there are 13 actions on

*V*. This will lead into my work, where we consider cyclic

_{2}*p*-squared actions, where

*p*is prime, on a handlebody of genus

*g*.

## September 16, Ted Mahavier, Lamar University

- Details
- Category: 2016-2017

Abstract: Solving differential equations using steepest descent methods based on the Euclidean norm has long been established as ineffective, although pre-conditioning techniques may alleviate this problem to some extent. However, steepest descent in spaces with a better choice of norm can be quite efficient. Beginning with an example accessible to undergraduates, we will outline Sobolev descent on a few elementary examples and demonstrate at least one interesting open problem in the area. This talk should be accessible to undergraduates, graduate students and faculty not necessarily experts in numerical differential equations.