Introductory Talks (2019)
Maru Sarazola, Cornell University
An introduction to algebraic K-theory
Thomas Ng, Temple University
An introduction to cube complexes and virtual specialness
Qing Liu, Brandeis University
An introduction to hyperbolic boundaries
David Jaz Myers, Johns Hopkins University
How do you identify one thing with another?
Plenary Talks (2019)
Jonathan Barmak, Universidad de Buenos Aires
The Winding Invariant and the Andrews-Curtis Conjecture
The Andrews-Curtis Conjecture states that a presentation of the trivial group with $n$ generators and $n$ relators can be transformed into the trivial presentation with relators equal to generators by means of Q*-transformations (moves which modify the relators in a particular way). The conjecture is open even if we allow a larger class of moves called Q**-transformations. A more far-reaching conjecture claims that two presentations of any group are connected by Q**-transformations if their standard complexes are simple homotopy equivalent. In this talk we will give the first example of two presentations which are simple homotopy equivalent and not Q*-equivalent. The relators of these 2-generator 2-relator presentations lie in the commutator subgroup. For each such relator we will construct a curve in the plane whose winding numbers around some points are the coefficients of a Laurent polynomial in two variables. A Q*-transformation translates then into a multiplication by a 2 by 2 matrix with coefficients in the ring of Laurent polynomials, and we will see that a product of those matrices cannot be of the required form.
Ruth Charney, Brandeis University
Beyond Hyperbolicity: Boundaries of Non-Hyperbolic Spaces
The boundary of hyperbolic $n$-space, $H^n$, has played an important role in the study of hyperbolic manifolds, the dynamics of hyperbolic isometries, and rigidity theorems. Many of these techniques extend to more general Gromov hyperbolic spaces and hyperbolic groups. In this talk we will discuss ways to construct analogous boundaries for non-hyperbolic spaces. Then we will address the question of to what extent these boundaries determine the underlying spaces and the groups that act on them.
Steve Ferry, Rutgers University and Binghamton University
Counterexamples to the Bing-Borsuk Conjecture
A topological space $X$ is topologically homogeneous if, for every two points $x, y\in X$, there is a homeomorphism $h : X \to X$ such that $h(x) = y$. The Bing-Borsuk Conjecture says that every locally compact, locally contractible, finite-dimensional, topologically homogeneous space is a topological manifold. In 1965 Bing and Borsuk proved this in dimensions 1 and 2. John Bryant and the author have disproved this conjecture in dimensions $> 5$, showing in particular that every closed simply connected manifold of dimension $> 5$ has infinitely many topologically distinct homogeneous "fraternal twins" that are counterexamples to Bing-Borsuk.
Whether compact aspherical counterexamples to Bing-Borsuk exist is a very interesting open question.
Dave Futer, Temple University
Special Covers of Alternating Links
The "virtual conjectures" in low-dimensional topology, stated by Thurston in 1982, postulated that every hyperbolic 3-manifold has finite covers that are Haken and fibered, with large Betti numbers. These conjectures were resolved in 2012 by Agol and Wise, using the machine of special cube complexes. Since that time, many mathematicians have asked how big a cover one needs to take to ensure one of these desired properties.
We begin to give a quantitative answer to this question, in the setting of alternating links in $S^3$. If an alternating link L has a diagram with $n$ crossings, we prove that the complement of $L$ has a special cover of degree less than ($n!$). These special covers have smaller degree than the previously known non-abelian covers of most link complements. As a corollary, we bound the degree of the cover required to get Betti number at least $k$. This is joint work with Edgar Bering.
Anthony Genevois, Université d'Orsay
Cubical Geometry of Braided Thompson's Group brV
The braided Thompson group brV is a specific subgroup of the mapping class group of the plane minus a Cantor set which is constructed by imitating the definition of Thompson's group V as a group of homeomorphisms of the Cantor space. In this talk, I will explain how to construct an action of brV on an infinite-dimensional $CAT(0)$ cube complex with cube-stabilisers isomorphic to braid groups, and how to deduce that polycyclic subgroups of brV are all virtually free abelian.
Chris Kapulkin, University of Western Ontario
Homotopy Type Theory and Internal Languages of Higher Categories
Homotopy Type Theory (or HoTT) is an approach to foundations of mathematics, building on the homotopy-theoretic interpretation of type theory. In addition to its foundational role, HoTT has been speculated to be the internal language of higher toposes in the sense of Rezk and Lurie. This talk will be an introduction to HoTT, explaining its main ideas and presenting one way in which the connection between type theory and higher categories can be made precise.
Alexander Kupers, Harvard University
Diffeomorphisms of Disks
What is the homotopy type of the topological group of diffeomorphisms of an $n$-dimensional disk? This is a fundamental question in geometric topology, but its answer remains unknown. I will discuss some partial answers obtained using surgery theory, and how moduli spaces of manifolds and embedding calculus combine to a new strategy to answer to this question.
Mona Merling, University of Pennsylvania
Equivariant h-Cobordisms and Algebraic K-Theory
The stable parametrized $h$-cobordism theorem provides a critical link in the chain of homotopy theoretic constructions that show up in the classification of manifolds and their diffeomorphisms. For a compact smooth manifold $M$ it gives a decomposition of Waldhausen's $A(M)$ into $QM_+$ and a delooping of the stable $h$-cobordism space of $M$. I will talk about joint work with Malkiewich on this story when $M$ is a smooth compact $G$-manifold.
Alan Reid, Rice University
Profinite Rigidity
A finitely generated residually finite group $\Gamma$ is called profinitely rigid if whenever $\Lambda$ is a finitely generated residually finite group with $\widehat{\Lambda} \cong \widehat{\Gamma}$ then $\Lambda\cong \Gamma$. In this talk we describe ideas in the proof that establishes that certain (arithmetic) Fuchsian and Kleinian groups are profinitely rigid. These are the first examples of groups that "are like free groups" for which this is known. The case of free groups remains open.
Inna Zakharevich, Cornell University
Quillen's Devissage in Geometry
Abstract: In this talk we discuss a new perspective on Quillen's devissage theorem. Originally, Quillen proved devissage for algebraic $K$-theory of abelian categories. The theorem showed that given a full abelian subcategory $\mathcal{A}$ of an abelian category $\mathcal{B}$, $K(\mathcal{A})\simeq K(\mathcal{B})$ if every object of $\mathcal{B}$ has a finite filtration with quotients lying in $\mathcal{A}$. This allows us, for example, to relate the $K$-theory of torsion $\mathbf{Z}$-modules to the $K$-theories of $\mathbb{F}_p$-modules for all $p$. Generalizations of this theorem to more general contexts for $K$-theory, such as Walhdausen categories, have been notoriously difficult; although some such theorems exist they are generally much more complicated to state and prove than Quillen's original. In this talk we show how to translate Quillen's algebraic approach to a geometric context. This translation allows us to construct a devissage theorem in geometry, and prove it using Quillen's original insights.