Farb and Friends

The Farb and Friends seminar is an informal seminar organized by the Farb working group for graduate students and postdocs to share expository talks in a low-stakes environment.

Upcoming Talks

Title Speaker Date
\(\text{Out}(S_6)\) and Pascal's Mysticum

I'll discuss a fun (and the historically original) appearance of an outer automorphism of \(S_6\) by fussing around with hexagons on conic plane curves. Along the way we meet up with Steiner, Plücker, Salmon, Kirkman, Cayley, Bacharach, Braikenridge, Maclaurin, and of course Pascal.

Michael Klug 11/29
TBD
Carlos Marcelo Servan 12/6
TBD
Nate Harman (UMich) 1/24
TBD
Peter Huxford 1/31
TBD
Trevor Hyde 2/7
TBD
? 2/14
TBD
? 2/21
TBD
? 2/28
TBD
? 3/7

Past Talks

Fall 2021
Title Speaker Date
Involutions in the plane Cremona group

The plane Cremona group \(\text{Cr}(2)\) (over \(\mathbb C\)) is the group of birational automorphisms of \(\mathbb{CP}^2\). There is a classification of the conjugacy classes of order \(2\) elements of \(\text{Cr}(2)\) into three types: de Jonquières, Geiser, and Bertini. In this talk, I will describe these three types of involutions explicitly.

Seraphina Lee 11/15
Solving Equations with Dynamics

It is well-known that there is no general solution by radicals for polynomials of degree at least 5...but are there other ways to solve polynomial equations? In this talk I will discuss the possibility of finding polynomial roots through iteration of rational functions. We will see, following McMullen, that iteration allows us to solve the general quintic (and not much else!)

Trevor Hyde 11/8
Mednykh's Formula

Mednykh's formula counts homomorphisms from the fundamental group of a surface to a finite group \(G\) in terms of the representation theory of \(G\). We'll discuss two proofs of this formula, as well as related questions.

Joshua Mundinger 11/1
Mapping class groups of connected sums of \(S^2 \times S^1\)

Recently Bruno Zimmermann posted a short paper on the Nielsen realization problem for the mapping class groups of the three-manifolds formed by taking finite connected sums of \(S^2 \times S^1\). This made me curious about what is known about these groups! I will survey some of what I found out and will also discuss some of the results and arguments in Zimmermann’s paper.

Justin Lanier 10/25
Linear subspaces on a Fano \(k\)-plane invariant class of varieties

Consider the following statement: "The space of \(k\)-planes contained in varieties in \(A\) is in \(A\)." What can \(A\) be? For a certain \(A\), this will depend on a special property of varieties represented by points of \(A\).

Soohyun Park 10/18
What's so special about the homology of algebraic varieties?

It turns out that the (co)homology groups of an algebraic variety admit a number of amazing structures, which go beyond the homology of ordinary topological spaces. I will talk about several of these structures, how they reflect the "rigidity" of algebraic geometry, and about several deep analogies/conjectures connecting them.

Phil Tosteson 10/11

Spring 2021
Title Speaker Date
Groups acting on graphs

Group actions on graphs reveal information about the group itself. We demonstrate this on SL(2,Z) and its various generalizations. For example, we show that mapping class groups of surfaces with positive genus is finitely generated by Dehn twists.

Video   Notes
Peng Hui How 6/7
Stable torsion length

The stable torsion length in a group is the stable word length with respect to the set of all torsion elements. We show that the stable torsion length vanishes in crystallographic groups. We then give a linear programming algorithm to compute a lower bound for stable torsion length in free products of groups. Moreover, we obtain an algorithm that exactly computes stable torsion length in free products of finite abelian groups. The nature of the algorithm shows that stable torsion length is rational in this case. As applications, we give the first exact computations of stable torsion length for nontrivial examples. (Joint work with Lvzhou Chen.)

Chloe Avery 5/31
Every surface is a leaf

Every closed 3-manifold admits foliations, where the leaves are surfaces. For a given 3-manifold, which surfaces can appear as leaves? Kerékjártó and Richards gave a classification up to homeomorphism of noncompact surfaces, which includes surfaces with infinite genus and infinitely many punctures. In their 1985 paper "Every surface is a leaf", Cantwell–Conlon prove that for every orientable noncompact surface L and every closed 3-manifold M, M has a foliation where L appears as a leaf. We will discuss their paper and construction and the surrounding context.

Video   Notes
Justin Lanier 5/24
On the Torelli theorems

I will give an overview of the Torelli theorems for curves and K3 surfaces.

Video
Adán Medrano Martín Del Campo 5/17
Platonic solids and Kleinian singularities

A remarkably long list of mathematical structures can be classified by the simply laced Dynkin diagrams, i.e. those of types A, D and E (but not B or C). I will discuss just some of the connections I’ve learned between different structures sharing these classifications.

Video
Peter Huxford 5/10
Reflections and indefinite orthogonal groups

Consider the groups O(f, \mathbb{Z}) of integral matrices preserving an integral quadratic form f of signature (n, 1) for some n \geq 2. Such a group is called reflexive if its subgroup generated by reflections has finite index. In 1972, Vinberg proposed an algorithm to determine the reflexivity of these groups and applied it to the case n \leq 17. In this talk, we will give an overview of some basics of reflection groups and Vinberg's algorithm.

Video
Seraphina Lee 5/3
A strange state of affairs in P^2

We will discuss a combinatorial plane geometry question that is currently best understood using a rather deep result on properties of algebraic surfaces.

Video
Soohyun Park 4/26
Configuration spaces with summable labels

The nth configuration space of a manifold M can be thought of as the space parameterizing n unlabelled particles in M, such that the particles are not allowed to collide with each other. Configuration spaces with summable labels are variants of configuration spaces where the particles now have names, and there is a prescribed rule for what happens when particles of different types collide (e.g. when a muon and a gluon collide they turn into a pion). Often, important spaces in algebraic topology are secretly configuration spaces with summable labels! I will talk about examples involving classifying spaces and mapping spaces, the Dold-Thom theorem and its generalizations.

Video   Notes
Phil Tosteson 4/19
A crash course in Tannakian formalism

Just how much information does the representation theory of a group carry about the group itself? Well that depends what you mean by "representation theory" or "group"...

Video
Nate Harman 4/12

Winter 2021
Title Speaker Date
Quasi-morphism and uniformly perfect groups

What does the Dedekind eta function and the Hirzebruch signature defect have to do with each other? A priori, nothing much. But thanks to the fact that PSL(2,R) and SL(2,R) both act on the circle, the defect of log(eta) and the signature defect of the mapping torus pretty much differ by a constant factor, thanks to a link granted by the Euler class of Homeo^+(S^1).

Video   Notes
Peng Hui How 3/15
Stable birational equivalence vs. cut and paste relations

We will focus on a result of Larsen--Lunts that gives a close connection between stable birational equivalence classes of smooth projective varieties and cut and paste relations. Following some background and a sketch of a proof, we will give applications to the overall structure of cut and paste relations and specific independence results.

Video
Soohyun Park 3/8
Finite group actions on 4-manifolds

Suppose a finite, cyclic group G acts on a 4-manifold. What can we say about the fixed set of this action? In this talk, I will discuss some conditions one can impose on the action (e.g. preserving the orientation or the spin structure) and their consequences on the topology of the fixed set.

Video   Notes
Seraphina Lee 3/1
Polygonal complexes

Polyhedral complexes are 2-dimensional simplicial complexes which are created by gluing together regular Euclidean k-gons along their edges. A natural question is how many (simply connected) polyhedral complexes exist which satisfy some collection of local gluing criteria, up to isomorphism. This talk is an introduction to polyhedral complexes, and gives an overview of some work that has been done in this direction, specifically when the polyhedral complexes are (k,L)-complexes.

Video
Chloe Avery 2/22
Monodromy of families of hyperelliptic curves

We give a brief overview of the first sections of McMullen's paper Braid Groups and Hodge Theory, exploring unitary representations of the braid group given by the monodromy of a family of hyperelliptic curves.

Video
Adán Medrano Martin Del Campo 2/15
Line bundles, divisors, and linear systems

We will explore the relationship between some of the fundamental objects of algebraic geometry, divisors and line bundles, from a concrete, geometric perspective, using the language of Čech cohomology.

Video
Nat Mayer 2/8
Fundamental group of the complement of a plane algebraic curve

To better understand how a variety in affine or projective space "sits" in space, one can try to compute topological invariants of its complement. Such complements sometimes also parametrize the 'nice' or 'smooth' objects in a moduli space. I will discuss a method to compute the fundamental group of the complement of an algebraic curve (over ℂ) in the plane, and explicitly compute some examples. This is based on work originally due to Zariski and Van-Kampen, but the tools used, such as braid monodromy, are also useful in more complicated settings.

Video
Peter Huxford 2/1
Group cohomology
Ronno Das 1/25
Spectral sequences Video
Nir Gadish 1/18