Sasakian manifolds are odd dimensional analog of Kahler manifolds,
and it is an interesting question to determine when
a Sasakian manifold admits an Einstein metric. Five dimensional
Sasaki-Einstein (SE) manifolds play an important role in AdS/CFT
correspondence, which relates a string theory and a quantum field theory. I
will discuss the existence of SE manifolds and its geometric properties
which will be of great interest to AdS/CFT correspondence.
In this talk we will discuss the moduli spaces Simp^m_n of degree n+1 morphisms \A^1_K\to \A^1_K with "ramification length <m" over an algebraically closed field K. For each m, the moduli space Simp^m_n is a Zariski open subset of the space of degree n+1 polynomials over K up to Aut(\A^1_K). It is, in a way, orthogonal to the many papers about polynomials with prescribed zeroes- here we are prescribing, instead, the ramification data. We will also see why and how our results align, in spirit, with the long standing open problem of understanding the topology of the Hurwitz space.
The Type Milnor fiber is the subset of defined by the equation . It carries an action of the alternating group and the th roots of unity. We will discuss how tools from representation stability can be used to study the homology of the Milnor fiber for and determine the stable limit. This is joint work with Jeremy Miller.
The twisted rabbit problem is a celebrated problem in complex dynamics. Work of Thurston proves that up to equivalence, there are exactly three branched coverings of the sphere to itself satisfying certain conditions. When one of these branched coverings is modified by a mapping class, a map equivalent to one of the three coverings results. Which one?
After remaining open for 25 years, this problem was solved by Bartholdi-Nekyrashevych using iterated monodromy groups. In joint work with Belk, Lanier, and Margalit, we present an alternate solution using topology and geometric group theory that allows us to solve a more general problem.
One of the major results in the study of 3-manifolds is the fact that most 3-manifolds have a finite cover that fibers over S1. One may ask what is the counterpart of this result for other classes of manifolds. In this talk we will discuss the case of smooth projective varieties (or more generally Kaehler manifolds) and present some geometric and group-theoretic aspects of "virtual algebraic fibrations" of their fundamental groups.
K-theory is a means of probing geometric objects by studying their vector bundles, i.e. parametrized families of vector spaces. Algebraic K-theory, the version applying to varieties and schemes, is a particularly deep and far-reaching invariant, but it is notoriously difficult to compute. The primary means of computing it is through its "cyclotomic trace" map K→TC to another theory called topological cyclic homology. However, despite the enormous computational success of these so-called "trace methods" in algebraic K-theory computations, the algebro-geometric nature of the cyclotomic trace has remained mysterious.
In this talk, I will describe a new construction of TC that affords a precise interpretation of the cyclotomic trace at the level of derived algebraic geometry. By the end of the talk, you will be able to take home with you a very nice and down-to-earth fact about traces of matrices. No prior knowledge of algebraic K-theory or derived algebraic geometry will be assumed.
This represents joint work with David Ayala and Nick Rozenblyum.
Chris Gerig (Harvard): SW = Gr
Whenever the Seiberg-Witten (SW) invariants of a 4-manifold X are defined, there exist certain 2-forms on X which are symplectic away from some circles. When there are no circles, i.e. X is symplectic, Taubes' ``SW=Gr'' theorem asserts that the SW invariants are equal to well-defined counts of J-holomorphic curves (Taubes' Gromov invariants). In this talk I will describe an extension of Taubes' theorem to non-symplectic X: there are well-defined counts of J-holomorphic curves in the complement of these circles, which recover the SW invariants. This ``Gromov invariant'' interpretation was originally conjectured by Taubes in 1995.
Biji Wong (CIRGET Montreal): A Floer homology invariant for 3-orbifolds via bordered Floer theory
Using bordered Floer theory, we construct an invariant for 3-orbifolds with singular set a knot that generalizes the hat flavor of Heegaard Floer homology. We show that for a large class of 3-orbifolds the orbifold invariant behaves like HF-hat in that the orbifold invariant, together with a relative Z_2-grading, categorifies the order of H_1^orb. When the 3-orbifold arises as Dehn surgery on an integer-framed knot in S^3, we use the {-1,0,1}-valued knot invariant epsilon to determine the relationship between the orbifold invariant and HF-hat of the 3-manifold underlying the 3-orbifold.
Lei Chen (Caltech): Section problems
In this talk, I will discuss a direction of study in topology: Section problems. There are many variations of the problem: Nielsen realization problems, sections of a surface bundle, sections of a bundle with special property (e.g. nowhere zero vector field). I will discuss some techniques including homology, Thurston-Nielsen classification and dynamics. Also I will share many open problems. Some of the results are joint work with Nick Salter.
From a group action on a space, define a variant of the configuration space by insisting that no two points inhabit the same orbit. When the action is almost free, this "orbit configuration space'' is the complement of an arrangement of subvarieties inside the cartesian product, and we use this structure to study its topology. We give an abstract combinatorial description of its poset of layers (connected components of intersections from the arrangement) which turns out to be of much independent interest as a generalization of partition and Dowling lattices. The close relationship to these classical posets is then exploited to give explicit cohomological calculations akin to those of (Totaro '96). Joint work with Nir Gadish.
Kan simplicial manifolds, also known as "Lie infinity-groupoids", are simplicial Banach manifolds which satisfy conditions similar to the horn lling conditions for Kan simplicial sets. Group-like Lie infinity-groupoids (a.k.a "Lie infinity-groups") have been used to construct geometric models for the higher stages of the Whitehead tower of the orthogonal group. With this goal in mind, Andre Henriques developed a smooth analog of Sullivan's realization functor from rational homotopy theory which produces a Lie infinity-group from certain commutative dg-algebras (i.e. L_infinity-algebras).
In this talk, I will present a homotopy theory for both these commutative dg-algebras and for Lie infinity-groups, and discuss some examples that demonstrate the compatibility between the two. Conceptually, this work can be interpreted either as a C^\infty-analog of classical results of Bouseld and Gugenheim in rational homotopy theory, or as a homotopy-theoretic analog of classical theorems from
Lie theory. This is based on joint work with A. Ozbek (UNR grad student) and C. Zhu (Gottingen).