**Topology, Geometry, and Physics Seminar**

Room 6417

Grad Center CUNY

365 Fifth Ave

Room 6417

Grad Center CUNY

365 Fifth Ave

## %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

**Spring 2019**

**May 8**

**10:00-11:30**

Raymond Puzio

Renormalizability of the scalar field with quartic interaction in four dimensions

Raymond Puzio

Renormalizability of the scalar field with quartic interaction in four dimensions

## Quantum Field Theory (QFT) was originally devised in order to study high energy particle physics but has since found applications elsewhere. In topology, it has turned out to be relevant to such topics as multiplicative genera, knot invariants, and index theorems. In order to make these developments accessible to a wider audience, we are holding a study group based upon Costello's book "Renormalization and Effective Field Theory". This group does not presuppose any background in physics or quantum theory and should be accessible to anyone with a general background in mathematics.

## We will begin by recalling the basic ideas of perturbative quantum field theory and renormalization. Then we will study the Wilsonian renormalization of a scalar field theory in momentum variables. As Zee puts it, this can be thought of as “the trick of doing an integral a little bit at a time.” --- i.e. seeing how the partition function depends upon cut-off by only integrating over those Fourier modes of the field whose mode vectors lie in a spherical shell. The result of this partial integration is that the change in the partition function can be expressed as the sum of a so-called geometrical and dynamical terms. By ignoring the dynamical term, it is easy to solve for the renormalization flow and see that there are only three relevant terms. To show that the scalar field with quartic interaction is renormalizable, we need to verify that this is still the case when one includes the dynamical term. This was done by Polchinski in the attached papers and we will go through the main outline of his proof. This proof begins by deriving a differential equation for the dependance of the effective Lagrangian on the cut-off. This equation can be split into a piece corresponding to the relevant terms and a remainder. By placing bounds on this remainder, one shows that taking the dynamical term into account does not qualitatively change how the renormalization flow behaves and hence the theory is perturbatively renormalizable.

## This material corresponds to chapter 4 of Costello and to chapter VI.8 of Zee. Also see Renormalization and Effective Lagrangians** ** by Polchinski.

2:00-3:30

Andrew Obus

Bhatt and Scholze's theory of prismatic cohomology.

2:00-3:30

Andrew Obus

Bhatt and Scholze's theory of prismatic cohomology.

## If X is a compact complex manifold, then it is a classical result that the de Rham cohomology of X is isomorphic to the singular cohomology of X with complex coefficients. Unfortunately, de Rham cohomology is not a fine enough invariant to account for torsion in the singular cohomology of X with integral coefficients. However, if X is furthermore an algebraic variety defined over the rational numbers, p-torsion classes in the integral singular cohomology of X can be related to the algebraic de Rham cohomology of the "reduction mod p" of X. The state-of-the-art approach to relating these cohomology classes is called "prismatic cohomology", and is due to Bhatt and Scholze. We will attempt to give an accessible overview of the theory of prismatic cohomology while minimizing technicalities to the extent possible.

**May 1**

**10:00-11:30**

Raymond Puzio

The Renormalization Group in Three Steps

Raymond Puzio

The Renormalization Group in Three Steps

## Quantum Field Theory (QFT) was originally devised in order to study high energy particle physics but has since found applications elsewhere. In topology, it has turned out to be relevant to such topics as multiplicative genera, knot invariants, and index theorems. In order to make these developments accessible to a wider audience, we are holding a study group based upon Costello's book "Renormalization and Effective Field Theory". This group does not presuppose any background in physics or quantum theory and should be accessible to anyone with a general background in mathematics.

We will begin by recalling the basic ideas of perturbative quantum field theory, regularization and divergences. Then we will present some ideas and techniques for understanding and dealing with divergences in a roughly historical order. We start by introducing running coupling constants and solving for these in terms of observable quantities. This leads to what is known as the "renormalized perturbation series". Next, following Gell-Mann and Low, we will obtain an equation which describes how the coupling constants run from the condition that observable quantities should not depend upon the cut-off. This gives us the first formulation of the renormalization (semi)group as the flow of the coupling constants. Finally, following Wilson, we will look at how a theory at some scale of the cut-off can be expressed as an effective theory at a lower value of the cut-off by integrating over the degrees of freedom between those two values of the cut-off. This effective theory will generally include more interaction terms than the original theory. By repeating this operation, we obtain a semigroup which acts on the space of possible theories --- this is Wilson's reformulation of the renormaliztion group. When this flow has a fixed point, we may, by linearizing about this fixed point, recover the earlier notions of renormalization flow and running couplings but now within the context of a more general theory.

This material corresponds to chapter 4, section 1 of Costello and to chapters III.1-3 and VI.8 of Zee.

2:00-3:30

Corbett Redden

Model structures on simplicial presheaves and the Freed-Hopkins Theorem

2:00-3:30

Corbett Redden

Model structures on simplicial presheaves and the Freed-Hopkins Theorem

## I will discuss the 2013 Bull. Amer. Math. Soc. paper "Chern-Weil forms and abstract homotopy theory" by Dan Freed and Mike Hopkins. The paper shows how a natural geometric problem can be reframed in the language of homotopy theory via simplicial presheaves. I will give the precise statement of their theorem and, in keeping with the paper's spirit, give an overview of model structures on simplicial presheaves. If time permits, I will explain details of the proof.

**April 17**

**10:00-11:30**

Raymond Puzio

Divergences and Perturbative Renormalization

Raymond Puzio

Divergences and Perturbative Renormalization

## Quantum Field Theory (QFT) was originally devised in order to study high energy particle physics but has since found applications elsewhere. In topology, it has turned out to be relevant to such topics as multiplicative genera, knot invariants, and index theorems. In order to make these developments accessible to a wider audience, we are holding a study group based upon Costello's book "Renormalization and Effective Field Theory". This group does not presuppose any background in physics or quantum theory and should be accessible to anyone with a general background in mathematics.

We will begin by recalling the basic ideas of perturbative quantum field theory and Feynman diagrams. Examining the terms of the perturbation series, we note that they diverge in the limit of large cut-off and that we can decompose the terms as the sum of a finite piece and a singular part. One can then ask given a field theory in a certain dimension, how singular the terms of the perturbation series can be. As a first attempt at answering this question, we will introduce a heuristic power counting argument and find out that, for some theories, the degree of divergence is bounded for all orders in the series but for, other theories, the degree of divergence increases unboundedly. We call the former class of theories perurbatively renormalizable and the latter class perturbatively unrenormalizable. In the former case, we can obtain finite values for all observable quantities by making a finite number of parameters appearing in the action depend upon the cut-off. To compute this systematically, we introduce counterterms. To understand this conceptually, we will introduce the notion of renormalization flow on the space of theories.

This material corresponds to chapter 2, sections 5, 9, 10 of Costello and to part III of Zee.

2:00-3:30

Rob Thompson

Homology of structured spectra

In this talk I will survey, in an expository fashion, some results on the generalized homology of infinite loops spaces (their suspension spectra really) and other structured spectra. I will start by looking at ordinary homology, then K-theory, then Morava K-theory and Morava E-theory.

2:00-3:30

Rob Thompson

Homology of structured spectra

**April 10**

**10:00-11:30**

Raymond Puzio

QFT --- Expansions and Singular Parts

Quantum Field Theory (QFT) was originally devised in order to study high energy particle physics but has since found applications elsewhere. In topology, it has turned out to be relevant to such topics as multiplicative genera, knot invariants, and index theorems. In order to make these developments accessible to a wider audience, we are holding a study group based upon Costello's book "Renormalization and Effective Field Theory". This group does not presuppose any background in physics or quantum theory and should be accessible to anyone with a general background in mathematics.

Raymond Puzio

QFT --- Expansions and Singular Parts

## We will begin by recalling the basic ideas of perturbative quantum field theory and Feynman diagrams. Expanding the field in a Fourier series, we will derive the Feynman rules in momentum space. We will consider the perturbative expansion of the logarithm of the generating function and the semiclassical approximation and show how these correspond to connected diagrams and loop expansion. Looking at the values of particular terms, we will note how we can seperate them into a divergent piece and a piece which stays finite as we take the value of the cut-off to infinity. More systematic treatment of these observations will lead to the topics of power counting, counterterms, and renormalizability.

## This material corresponds to chapter 2, sections 5, 9, 10 of Costello and to chapter I.7 and part III of Zee.

2:00-3:30

Martin Bendersky

Hopf Invarinat One

2:00-3:30

Martin Bendersky

Hopf Invarinat One

## I will start by discussing various problems in algebra and geometry. Namely the question of which Euclidian spaces admit the structure of a normed algebra - generalizing the complex numbers. Which spheres have the maximal number of linearly independent vector fields - generalizing the fact that the circle has a trivial tangent bundle and which spheres have a "group" structure generalizing the fact that the product of unit complex numbers is a complex number. There is an integral invariant in homotopy theory that must be 1 if any of these problems have a positive solution. The homotopy theory problem was solved by F. Adams in 1958. I will outline the proof (with much detail omitted).

**April 3**

**10:00-11:30**

Raymond Puzio

Ultraviolet divergences and perturbative renormalization

Quantum Field Theory (QFT) was originally devised in order to study high energy particle physics but has since found applications elsewhere. In topology, it has turned out to be relevant to such topics as multiplicative genera, knot invariants, and index theorems.

Raymond Puzio

Ultraviolet divergences and perturbative renormalization

## In order to make these developments accessible to a wider audience, we are holding a study group based upon Costello's book "Renormalization and Effective Field Theory". This group does not presuppose any background in physics or quantum theory and should be accessible to anyone with a general background in mathematics.

## After reviewing basic facts about perturbative quantum field theory, we will explicitly write down the first few terms in the perturbation series for the case of a scalar field theory with quartic interaction. These terms will be integrals over the space-time manifold of products of Green's functions of the Laplacian (known in physics as "propagators"). We will note that beyond the first term, these integrals diverge at short distances --- this is the "ultraviolet catastrophe" of quantum physics. To recover from this catastrophe, Feynman and Dyson introduced the notions of regularization and renormalization. We will illustrate these notions in the context of our example calculations, see how they allow one to extract a sensible finite answer from a seemingly ill-behaved series and explain the deeper meaning of these techniques. This material corresponds to chapter 2, section 5 of Costello.

2:00-3:30

Alex Perry

Hochschild cohomology and group actions

I will discuss the behavior of Hochschild cohomology under the operation of taking group invariants for a finite group action. The motivation for this is a series of examples of fractional Calabi-Yau categories that occur inside the derived categories of smooth projective varieties.

2:00-3:30

Alex Perry

Hochschild cohomology and group actions

## **March 27**

10:00-11:30

Raymond Puzio

An introduction to perturbation theory

Quantum Field Theory (QFT) was originally devised in order to study high energy particle physics but has since found applications elsewhere. In topology, it has turned out to be relevant to such topics as multiplicative genera, knot invariants, and index theorems. In order to make these developments accessible to a wider audience, we are holding a study group based upon Costello's book "Renormalization and Effective Field Theory". This group does not presuppose any background in physics or quantum theory and should be accessible to anyone with a general background in mathematics.

10:00-11:30

Raymond Puzio

An introduction to perturbation theory

## This Wednesday, we will continue our study of perturbation theory, which is a technique used for making computations in interacting field theories. In order to make the session self-contained, we will begin with a review of the fundamentals of the subject --- observables, expectation values, path integrals, free fields. By using the fact that the Fourier transform interchanges multiplication and differentiation, we will express the generating function for an interacting field in terms of formal differential operators. Expanding this expression, we will obtain Wick's theorem, which describes terms in the perturbation series in terms of Wick contractions of the interaction term in the Lagrangian. Feynman diagrams provide a way of visualizing these terms by interpreting the contractions as edges of graphs. This material corresponds to Chapter 2, section 3 of Costello. For background material and an alternative discussion of the material, on may want to consult Zee.

## Costello, Kevin. Renormalization and effective field theory. No. 170. American Mathematical Soc., 2011.

http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.382.4961&rep=rep1&type=pdf [citeseerx.ist.psu.edu]

## Zee, A. (2003). Quantum field theory in a nutshell. Princeton, N.J: Princeton University Press.

https://www.worldcat.org/title/quantum-field-theory-in-a-nutshell/oclc/50479292 [worldcat.org]

2:00-3:30

Jingyu Zhao

From mirror symmetry for Fano manifolds to string topology

2:00-3:30

Jingyu Zhao

From mirror symmetry for Fano manifolds to string topology

## Mirror symmetry for Fano symplectic manifolds relates enumerative Gromov-Witten invariants with certain period integrals of its Landau-Ginzburg mirror. In this talk, we outline a geometric proof of this relationship using Floer homology. If time allows, we will also discuss a further relationship with string topology operations.

** March 20**

10:00-11:30

Cheyne Miller **(joint w/ M. Miller, T. Tradler, and MZ)**

An explicit description of the totalization of certain cosimplicial simplicial sets in the context of the theory of vector bundles with connection

10:00-11:30

Cheyne Miller

An explicit description of the totalization of certain cosimplicial simplicial sets in the context of the theory of vector bundles with connection

## In this talk, we consider functors from the opposite category of complex manifolds to the category of simplicial sets which we refer to as simplicial prestacks. The two examples of interest in this talk will be (i) HVB, which assigns to each manifold, M , the nerve of the category of holomorphic vector bundles, with connections, where the morphisms in this category do not respect the connection and (ii) Perf, which assigns to each manifold, M, the maximal Kan subcomplex of the dg-nerve of the dg-category of finite chain complexes of vector bundles over M, with connection, where again the morphisms in this dg-category do not respect the connections. For both prestacks (i) and (ii), we can consider the Cech-nerve of an open cover, of some M as a simplicial manifold. By evaluating either prestack on this simplicial manifold, we obtain a cosimplicial simplicial set. Applying the totalization, in lieu of the homotopy limit thanks to certain qualities of our setting which we will not go into, to these cosimplicial simplicial sets gives respective simplicial sets. We will also consider the simplicial prestack HVB applied to the simplicial manifold, [M/G], whose n-simplices form the manifold: M x G x...x G. The main goal of this talk will be to explicitly describe the simplicial sets: (a) Tot(HVB(NU)), (b) Tot(HVB(M/G)), and (c) Tot(Perf(NU)), while avoiding all distractions presented by the category-theoretic concerns which actually arise when working with these examples.

2:00-3:30

Cheyne Miller (joint w/ M. Miller, T. Tradler, and MZ)

Recovering Chern-Simons forms from the totalization of a map of prestacks

2:00-3:30

Cheyne Miller (joint w/ M. Miller, T. Tradler, and MZ)

Recovering Chern-Simons forms from the totalization of a map of prestacks

## As a continuation of the previous talk, we focus on the simplicial prestacks, HVB, described above, and Omega, the simplicial prestack whose n-simplices for a given manifold are polynomials of degree-shifted DeRham forms on the manifold. Next, we explicitly describe a map between these prestacks, CS. Evaluating this map on the nerve of a cover, and then applying totalization to the map, we obtain a map of simplicial sets. The main purpose of this talk is to remark upon how this map, restricted to the 0-cells, recovers the Chern character as described by Atiyah and to explore what further invariants are present in the map as applied to higher k-cells. With any remaining time, we will also see what happens to this map when we evaluate it on the simplicial manifold [M/G] and how this relates to the theory of G-equivariant vector bundles.

**March 11 and 13th **

**Mon Mar 11 (Dennis Sullivan’s class)**

11:00-1:00

Dennis Sullivan

Background material for the afternoon talk below.

11:00-1:00

Dennis Sullivan

Background material for the afternoon talk below.

**Mon Mar 11 (Einstein Chair Seminar)**

2:00-3:30 + tea at 3:30

Dennis Sullivan (joint work with Alice Kwon)

Application of Perelman Theorem: All Closed Three Manifolds Have Schottky Presentations

2:00-3:30 + tea at 3:30

Dennis Sullivan (joint work with Alice Kwon)

Application of Perelman Theorem: All Closed Three Manifolds Have Schottky Presentations

## From the eight lie groups appearing in the Perelman Theorem, one explicitly constructs five lie group actions on the three sphere (only one is pesky). These generate a group G5 action on the three sphere where each element acts by a transformation which is real analytic outside a finite set.

For each closed oriented three manifold M one constructs a discrete subgroup of G5 which has a dense domain of discontinuity U on S3 with complement a totally disconnected limit set L so that U mod the discrete group is M. This is the Schottky presentation of the title. For a given M all Schottky presentations are topologically conjugate.

The construction depends on finitely many parameters that resemble usual Teichmuller spaces and a new analogue. The core of the construction is a G5 structure on M, namely a cover of M by coordinates in S3 whose transitions are performed by elements from G5 that generate the Schottky presentation.

## **Wed Mar 13**

10:00-11:30

Sheldon Joyner

Period polynomials and relations on the Grothendieck-Teichmuller group

10:00-11:30

Sheldon Joyner

Period polynomials and relations on the Grothendieck-Teichmuller group

## The Grothendieck-Teichmuller group GT was defined by Drinfel’d by considering perturbations of the structure on the quasi-triangular quasi-Hopf algebras he introduced. This group admits a simple presentation and has been realized as the group of automorphisms of the Teichmuller tower of (fundamental groupoids of) moduli spaces of genus 0 surfaces with n marked points. At the same time, it is known that the absolute Galois group of the rationals, an exceptionally complicated object of great interest to number theorists, embeds into GT. In the first half of the talk I will introduce GT and discuss connections between the relations on this group and the geometry of the moduli spaces of genus 0 curves with 4 or 5 marked points respectively.

By recent work of Brown and Hain, this geometric perspective is also linked to the well-known Eichler-Shimura-Manin isomorphism, which provides a means of computing the dimension of a given space of cusp forms by identifying them with an explicit Euclidean space. This mapping can be effected using the so-called period polynomials. As Brown has observed, one of the symmetry properties satisfied by these period polynomials is reminiscent of the hexagonal relation on the Grothendieck-Teichmuller group. In fact the Lie algebra version of the hexagonal relation satisfied by associators is identical to this period polynomial symmetry property. In the second half of the talk I will discuss the geometric basis for this relationship.

**Wed Mar 13**

2:00-3:30

Christoph Dorn

On how to continue the sequence "Categories, Functors, Natural transformations, Modifications, ... "

Categories, functors, and natural transformations have proven themselves to be powerful and foundational tools in the study of many topics in modern mathematics. For instance general cohomology theories are certain functors on (homotopy) categories of spaces, and characteristic classes can be regarded as natural transformations to such cohomology theories. If we allow our categories to have higher structure, that is, allow them to take the form of a weak n-category, then we can also ask about "transformations (of transformations...) of natural transformations". The questions of what these transformations are is intimately linked with the geometric structure of the (n+1)-category of all n-categories. In this introductory talk we will only briefly mention this geometric story and then focus on a powerful combinatorial tool to classify the geometry: Polygraphs and their bi-closed monoidal structure, called the Crans-Gray tensor product. The goal will be to give an simplified version of higher transformations in the so-called lax and oplax case. If time permits, I will sketch how to obtain the full "pseudo-natural" case from this.

PS: Our polygraphs have nothing to do with those employed by the FBI or CIA and no algebraic structures will be subjected to any harm.

2:00-3:30

Christoph Dorn

On how to continue the sequence "Categories, Functors, Natural transformations, Modifications, ... "

**March 6**

**10:00-11:30 **

Rob Thompson

Splittings of configuration spaces and iterated loop spaces

Abstract: In 1978 F. Cohen, P. May, and L. Taylor published a paper with a very elegant proof of a theorem which gives a stable splitting of iterated loop spaces. This theorem generalized the Milnor-James splitting, the Kahn splitting of QX, and the Snaith splitting. These splittings are fundamental to many basic constructions in homotopy theory. I will sketch the beautiful Cohen-May-Taylor construction and their theorem and discuss some examples. The prerequisites for the talk are minimal.

Rob Thompson

Splittings of configuration spaces and iterated loop spaces

**2:00-3:30 **

Rob Thompson

Power operations in Morava E-theory

Returning to Rezk’s notes on Elliptic Cohomology, a crucial ingredient of this work is the use of multiplicative operations in generalized homology theories that are represented by structured ring spectra, e.g. Morava E-theory. I will discuss some of these ideas, including a survey of some results about K-theory of infinite loop spaces, and Morava K-theory of infinite loop spaces. I will start slow by discussing older material on H-infinity ring spectra, then eventually graduate to the E-infinity case.

Rob Thompson

Power operations in Morava E-theory

**Feb 27**

**10:00-11:30 **

Raymond Puzio

Renormaliztion and Effective Field Theory

Raymond Puzio

Renormaliztion and Effective Field Theory

## Quantum Field Theory (QFT) was originally devised in order to study high energy particle physics but has since found applications elsewhere. In topology, it has turned out to be relevant to such topics as multiplicative genera, knot invariants, and index theorems.

## In order to make these developments accesible to a wider audience, we are holding a study group based upon Costello's book "Renormalization and Effective Field Theory". This group does not presuppose any background in physics or quantum theory and should be accessible to anyone with a general background in mathematics.

## We will begin with a brief review of expectation values and free fields. Then we will turn our attention to the topic of perturbation theory, which is a technique for studying interacting theories by expressing their expectation values as a series of correction terms to the corresponding values for free field theories. This technique may be viewed as a generalization to functional integrals of the steepest descent approach to computing asymptotics of ordinary finite-dimensional integrals and hence we will begin by illustrating the technique with finite-dimensional integrals.

## The remainder of the lecture will be devoted to methods for efficiently generating the perturbation series. These methods are based upon applying formal functions of differential operators to suitable arguments. Thus, we will obtain Wick's theorem, which describes terms in the perturbation series in terms of Wick contractions of the interaction term in the Lagrangian. Then, by introducing a geometric interpretation of these contractions, we will obtain Feynman diagrams.

## Costello, Kevin. Renormalization and effective field theory. No. 170. American Mathematical Soc., 2011.

## http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.382.4961&rep=rep1&type=pdf [citeseerx.ist.psu.edu]

**2:00-3:30 **

Rob Thompson

Power operations in Morava E-theory

Returning to Rezk’s notes on Elliptic Cohomology, a crucial ingredient of this work is the use of multiplicative operations in generalized homology theories that are represented by structured ring spectra, e.g. Morava E-theory. I will discuss some of these ideas, including a survey of some results about K-theory of infinite loop spaces, and Morava K-theory of infinite loop spaces. I will start slow by discussing older material on H-infinity ring spectra, then eventually graduate to the E-infinity case.

Rob Thompson

Power operations in Morava E-theory

**Feb 20**

**10:00-11:30 **

Raymond Puzio

Introduction to Perturbation Theory

Raymond Puzio

Introduction to Perturbation Theory

## This week, we will begin our study of quantum field theory with the topic of perturbation theory, which is about computing quantities as a series of corrections to a simplified approximation. In our case, the quantities of interest are expectation values of observables, the simplified approximation is a free field theory, and the series of corrections account for interactions.

The material to be covered is found in sections 3 of chapter 2 of Costello's book. Specifically, the main subtopics are as follows:

## Review of expectation values and correlation functions.

## Gaussian integrals and their generating function.

## Differential and integral calculus over graded commutative algebras.

## Asymptotic expansion of integrals.

## Tensor contraction and formal differentiation.

## Feynman diagrams.

## The discussion will be self-contained and does not presume any prior acquaintance with quantum theory

**2:00-3:45**

Martin Bendersky

**A survey of chromatic homotopy theory: A tale of two constructions**

Martin Bendersky

## In the 60's and early 70's Adams, Smith and Toda constructed self maps on CW complexes which realize certain BP_* modules. These self maps were detected by (what we now call) Morava K(1), K(2) and K(3). These complexes and maps gave rise to infinite families in the stable homotopy groups of spheres. The Adams map gives rise to the alpha family which are the elements of order p in the image of the J-homormphism. For p>3 the family detected by K(2) gives rise to the beta family. The elements constructed in the homotopy groups of spheres by the third family are called the gamma family (I think you can detect a pattern here). As with the alpha family, the beta classes were shown to be an infinite non-zero family in the homotopy groups of spheres. The gamma family was much more subtle. Toda and his group proved that the first element, cleverly called gamma_1 was zero. At the same time Raph Zahler in his thesis (directed by Aranus Liulevicius – recently deceased) showed that gamma_1 was not zero. This led to an article in the NY times titled “A contradiction in mathematics”. The Toda group admitted defeat and Zahler with E. Thomas proved that infinitely many gammas were not zero. Zahler was the first to use the work of Quillen to make computations in the Adams Novikov spectral sequence. Unfortunately his methods were to compute the Adams Novikov spectral sequence using BP cohomology. This was in spite of Frank Adams' work pointing out the advantages of using homology to understand the E_2 term of a generalized Adams spectral sequences.

## At the same time Jack Morava understood that Quillen's formal group law approach to BP allowed him to use powerful ideas from algebraic geometry and group cohomology to relate the E_2 term of the Adams Novikov spectral sequence for the BP_* modules of Adams, Smith and Toda (and algebraic generalizations) to the group cohomology of the stabilizer group of the formal group laws associated to generalizations of K-theory. Morava's contribution and its generalizations have been the topic of many talks in this seminar. Miller, Ravenel and Wilson realized that Morava's work can be used to detect the entire gamma family. The connection is via the chromatic spectral sequence. In their game changing paper – Periodic phenomena in the Adams Novikov Spectral Sequence they input the cohomology of the stabilizer group into a (Bockstein) spectral sequence which converges to the E_1 term of a spectral sequence (called the chromatic spectral sequence ) which converges to the E_2 term of the Adams Novikov spectral sequence (which converges to the stable p-local homotopy groups of the spheres). This is clearly the paper for mathematicians who are turned on by spectral sequences. They succeed in giving a complete calculation of the 2-line, generalizing the beta family (in E_2) and have enough information about the 3 line to show that the entire gamma family is non zero – the main goal of the paper (Steve Wilson told me that he bet a lobster dinner that they would not detect the entire gamma family).

## I will give an outline of the ideas in the Miller Ravenel Wilson paper and try to connect it with previous lectures.

**Lightning Talks 4:00-5:30 Math Lounge **

**James MyerAn Introduction to the Problem of Resolution of Singularities**

We all have an idea of what a singularity is. For example, we think of a singularity on a curve defined by a polynomial equation f(x,y) = 0 as a point where the partial derivatives fx,fy and the function f simultaneously vanish. Our natural inclination is to want to fix a singularity. Wouldn’t it be nice if we could find a curve very much like our original curve, except nonsingular? We refer to such a curve as a resolution of the singularity. There is a beautiful geometric interpretation of a resolution of a plane curve singularity described by an operation called blowing up. The terminology should elicit thoughts of inflating a bubble with a straw at a point of the curve, rather than an explosion, as described by David Eisenbud in his book Commutative Algebra with a View Toward Algebraic Geometry.

## Perhaps a singularity occurs for another reason though? An important philosophy in algebraic geometry is that an affine algebraic variety and its underlying ring are effectively the same thing. In fact, there is an equivalence of categories between the algebraic world of reduced, finitely generated algebras over algebraically closed fields and the geometric world of affine algebraic varieties. Fascinatingly, a purely algebraic property known as normality of a ring exten- sion offers a purely algebraic explanation of a plane curve singularity and nor- malizing the ring corresponding to the variety serves to resolve the singularity immediately.

## The normalization of a ring is a highly computable object, and can in fact be computed via Macaulay2, open source web-based software available to everyone for free! So, we might think then that the problem of resolution of singularities is solved by this purely algebraic and highly computable normalization operation. Think again! The issue is that normal and nonsingular are not quite the same when we move to higher dimensions. It is a happy coincidence that normal and nonsingular are the same in dimension 1, i.e. for curves. That normalization is not sufficient to resolve singularities leads to the beautiful and historically rich story of resolution of singularities pioneered by the classical Italian school and Oscar Zariski, still unresolved for algebraic varieties over fields of positive characteristic for dimensions greater than 3. And despite the existence of a solution in other cases, there are still a number of open problems.

## My plan is to introduce the problem of resolution of singularities from the naive point of view, and attempt to convince the audience that the problem is more subtle and nuanced than it might first appear with several examples.

**Joseph DiCapua**

On Modules over Certain Group Rings

On Modules over Certain Group Rings

## This talk is on the structure of a certain group ring Λ and the structure of finitely generated Λ-modules. Λ is defined to be the inverse limit limZp[Γn] where Γn is the p-part of a certain Galois group. We go into some detail on the construction of Λ and give an example of a Λ-module by taking limits of p- parts of class groups of a tower of field extensions. We then state some of the lemmata necessary for proving the structure theorem for finitely generated Λ-modules.

**Laura Lopez**

Bi-interpretability of a free monoid with arithmetic and applications

Bi-interpretability of a free monoid with arithmetic and applications

## We proved bi-interpretability of arithmetic $\mathbb{N} = \langle N, +,\cdot, 0, 1\rangle$ and the weak second order theory of $\mathbb{N}$ with the free monoid $\mathbb{M}_X$ of finite rank greater than 1 and with the partially commutative monoid without the center. This bi-interpretability implies that finitely generated submonoids of these monoids are definable. Moreover, any recursively enumerable language in the alphabet $X$ is definable in $\mathbb{M}_X$. Primitive elements, and, therefore, free bases are definable in the free monoid. It has the so-called QFA property, namely there is a sentence $\phi$ such that every finitely generated monoid satisfying $\phi$ is isomorphic to $\mathbb{M}_X$. The same is true for a partially commutative monoid without center. We also prove that there is no quantifier elimination in the theory of any structure that is bi-interpretable with $\mathbb N$ to any boolean combination of formulas from $\Pi_n$ or $\Sigma_n$.

**Alice Kwon**

Augmented knots in the Thickend Torus

Augmented knots in the Thickend Torus

## I will be talking about augmented links in the thickened torus and angle structures on triangulations on their link complements. We can prove if link complements whose decomposition into tetrahedra have an angle structure the link is hyperbolic. In this talk I will show that semi regular biperiodic alternating links with augmentations are hyperbolic.

**Kieran O’Reilly**

What Are the Markoff Numbers?

What Are the Markoff Numbers?

## The Markoff numbers encode information about how well rational numbers can approximate real numbers. More precisely, the Markoff numbers are in one to one correspondence with equivalence classes of ”badly approximable” real numbers. In this talk, we will explore in what sense real numbers can be ”badly approximable”, how the Markoff numbers help with understanding this and the surprising connections this all has with hyperbolic geometry.

**Corey Switzer**

What Is the Continuum Hypothesis?

What Is the Continuum Hypothesis?

## The continuum hypothesis (CH) is a statement about the size of the real line. Specifically it states that there is a linear ordering < of R so that each initial segment {y | y < x} is countable. Thus it says that R is “almost” countable. CH is the typical example of a question that cannot be decided by the axioms of set theory. In 7 minutes, I will explain more about what CH says and aim to give at least one concrete application, in this case to measure theory.

**Peter Thompson**

Commuting planar polynomial vector fields for conservative Newton systems

Commuting planar polynomial vector fields for conservative Newton systems

## We study the problem of characterizing polynomial vector fields that commute with a given polynomial vector field in the plane. It is a classical result that one can write down solution formulas for an ODE that corresponds to a planar vector field that possesses a linearly independent commuting vector field. Let f be an element of K[x], where K is a field of characteristic zero, and let d be the K-derivation on K[x, y] that corresponds to the differential equation x′′ = f in a standard way. This is called a conservative Newton system, as it describes the position of a particle under the influence of a conservative force. Let also H be the Hamiltonian polynomial for d, that is H = y^2 − 2int(f), where int(f) denotes the antiderivative of f with respect to x with zero constant term. It is known that the set of all polynomial K-derivations that commute with d forms a K[H]-module M_d. We show that, for every such d, the module M_d is of rank 1 if and only if the degree of f is at least 2.

**Feb 13**

**10:00-11:30 **

Manuel Rivera

Categorical and algebraic constructions related to path spaces

Manuel Rivera

Categorical and algebraic constructions related to path spaces

## I will explain the relationship between the following three functors:

(1) the functor P that associates to any space X the topological category P(X) whose objects are the points of the space and morphisms space P(X)(a,b) is the space of paths from a to b.

(2) the cobar functor from the category of coaugmented differential graded coalgebras to the category of augmented differential graded algebras.

(3) the rigidification functor from simplicial sets to simplicial categories.

Note that for any pointed space (X,b), P(X)(b,b) is the based loop space of X at b, a classical construction in homotopy theory. Functor (2) is based on an algebraic construction originally introduced by Frank Adams, which, together with the bar construction establishes an important duality between coalgebras and algebras. Functor (3) was originally introduced by Cordier and then used by Lurie in order to compare different models for infinity categories (quasi-categories and simplicial categories). Functor (3) is the left adjoint of the homotopy coherent nerve functor and such adjunction establishes a Quillen equivalence between the A. Joyal’s model category of simplicial sets and J. Begner’s model category of simplicial categories. The key to relate these three functors is to introduce a cubical version of (3).

## As a consequence, I will deduce an extension of a classical result of Adams that relates the cobar construction and the based loop space of a simply connected space to the case of non-simply connected spaces. I will also use these results to explain the sense in which the algebraic structure of the singular chains on a space determines the fundamental group functorially.

2:00-4:00

André Joyal

Goodwillie's calculus of functors and higher topos theory.

2:00-4:00

André Joyal

Goodwillie's calculus of functors and higher topos theory.

## We develop an approach to Goodwillie’s Calculus of Functors using the generalised BM theorem. Central to our method is the notion of fiberwise orthogonality, a strengthening of ordinary orthogonality. We show that the pushout product of a P(m)-equivalence with a P(n)-equivalence is a P(m+n+1)-equivalence. We then prove a BM theorem for the Goodwillie tower of functors. We rederive some foundational theorems in the subject, such as delooping of homogeneous functors.

**Feb 11**

11:00-12:45 (Dennis Sullivan’s Class)

André Joyal

Duality in (higher) topos theory.

11:00-12:45 (Dennis Sullivan’s Class)

André Joyal

Duality in (higher) topos theory.

## We claim that topos theory is best understood from a dual algebraic point of view. We shall use the term *logos* for the notion of topos dualized. A logos is a ring-like structure and the theory of logoi has many things in common with the theory of commutative rings. The free logos on one generator Set[X] can be described explicitly. The 2-category of topoi is defined to be the opposite of that of logoi. The topos-logos duality is closely related to the locale-frame duality, and to the duality between affine schemes and commutative rings. Similar observations apply to higher topoi and higher logoi. Rezk's descent principle plays a central role in the theory of higher logoi. We shall sketch a proof of Rezk's descent principle in the category of spaces (=infinity groupoids). We shall sketch the connection between higher topos theory and Homotopy Type Theory.

2:00-3:30 (Einstein Chair Seminar)

André Joyal

A generalised Blakers-Massey theorem in higher toposes.

We prove a generalization of the classical connectivity theorem of Blakers-Massey, valid in an arbitrary higher topos and with respect to an arbitrary modality, that is, a factorization system (L, R) in which the left class is stable by base change. We rederive the classical result, as well as some recent generalization. Our proof of BM theorem uses Rezk's descent principle and it is inspired by the proof discovered in Homotopy Type Theory.

2:00-3:30 (Einstein Chair Seminar)

André Joyal

A generalised Blakers-Massey theorem in higher toposes.

**Feb 6**

**10:00-11:30**

Collective participation

**Initial meeting for a reading group on Kevin Costello’s "Renormalization and Effective Field Theory". Please join to listen in or take part.**

Collective participation

**2:00-4:00**

Martin Bendersky

**A survey of chromatic homotopy theory: A tale of two constructions**

Martin Bendersky

## In the 60's and early 70's Adams, Smith and Toda constructed self maps on CW complexes which realize certain BP_* modules. These self maps were detected by (what we now call) Morava K(1), K(2) and K(3). These complexes and maps gave rise to infinite families in the stable homotopy groups of spheres. The Adams map gives rise to the alpha family which are the elements of order p in the image of the J-homormphism. For p>3 the family detected by K(2) gives rise to the beta family. The elements constructed in the homotopy groups of spheres by the third family are called the gamma family (I think you can detect a pattern here). As with the alpha family, the beta classes were shown to be an infinite non-zero family in the homotopy groups of spheres. The gamma family was much more subtle. Toda and his group proved that the first element, cleverly called gamma_1 was zero. At the same time Raph Zahler in his thesis (directed by Aranus Liulevicius – recently deceased) showed that gamma_1 was not zero. This led to an article in the NY times titled “A contradiction in mathematics”. The Toda group admitted defeat and Zahler with E. Thomas proved that infinitely many gammas were not zero. Zahler was the first to use the work of Quillen to make computations in the Adams Novikov spectral sequence. Unfortunately his methods were to compute the Adams Novikov spectral sequence using BP cohomology. This was in spite of Frank Adams' work pointing out the advantages of using homology to understand the E_2 term of a generalized Adams spectral sequences.

## At the same time Jack Morava understood that Quillen's formal group law approach to BP allowed him to use powerful ideas from algebraic geometry and group cohomology to relate the E_2 term of the Adams Novikov spectral sequence for the BP_* modules of Adams, Smith and Toda (and algebraic generalizations) to the group cohomology of the stabilizer group of the formal group laws associated to generalizations of K-theory. Morava's contribution and its generalizations have been the topic of many talks in this seminar. Miller, Ravenel and Wilson realized that Morava's work can be used to detect the entire gamma family. The connection is via the chromatic spectral sequence. In their game changing paper – Periodic phenomena in the Adams Novikov Spectral Sequence they input the cohomology of the stabilizer group into a (Bockstein) spectral sequence which converges to the E_1 term of a spectral sequence (called the chromatic spectral sequence ) which converges to the E_2 term of the Adams Novikov spectral sequence (which converges to the stable p-local homotopy groups of the spheres). This is clearly the paper for mathematicians who are turned on by spectral sequences. They succeed in giving a complete calculation of the 2-line, generalizing the beta family (in E_2) and have enough information about the 3 line to show that the entire gamma family is non zero – the main goal of the paper (Steve Wilson told me that he bet a lobster dinner that they would not detect the entire gamma family).

## I will give an outline of the ideas in the Miller Ravenel Wilson paper and try to connect it with previous lectures.

**Jan 30**

**Topology, Geometry, and Physics Seminar **

10:00-11:30 (slow intro) & 2:00-4:00 (self-contained lecture)

Mahmoud Zeinalian

Chern-character and Chern-Simons forms in terms of the transition function

10:00-11:30 (slow intro) & 2:00-4:00 (self-contained lecture)

Mahmoud Zeinalian

Chern-character and Chern-Simons forms in terms of the transition function

## Let FVB be the simplicial presheaf that assigns to a smooth manifold the nerve of the category whose objects are smooth vector bundles with flat connection and morphisms are bundle isomorphisms that ignore the connections.

Let Omega be the simplicial presheaf that assigns to a smooth manifold a simplicial abelian group, remembered only as a simplicial set, obtained by applying the Dold-Kan functor to the non-positively graded cochain complex obtained by tensoring the non-negatively graded deRham cochain complex with the polynomials in one variable u of degree -2 and then quotienting it by the sub complex of elements in positive degrees.

Said simply, this is the simplicial set whose k-simplicies are decorations of all i-dimensional faces of the standard k-simplex with sequences of forms, all even for i even, and all odd for i odd, in such a way that the exterior d of what is sitting on an i-dimensional face is the summation of all those forms sitting on its (i-1)-dimensional faces of that face.

We construct a map of simplicial presheaves CS: FVB —> Omega, as follows.

In simplicial degree 0, we assign to a flat connection the decoration of the standard 0-simplex by the sum of the (dim of the fibre)+0+0+…, where the j-th zero means the zero 2j-form.

In simplicial degree 1, we assign to a bundle isomorphism g: (E, D0) —> (E, D1) that ignores the flat connections D0 and D1, the decoration of the standard 1-simplex obtained by the trace of the odd powers (g^-1dg)^{2s-1} u^s with appropriate coefficients (i.e. the odd Chern character). Here, dg represents the derivative of g by pre and post composing operators D0 and D1 in the domain and the range,

In simplicial degree 2, we assign to a pair of compossible morphisms (E, D0) —> (E, D1) —> (E, D2), not respecting the connection, labelling of all cells of the standard 2-simplex by a combinatorial formulae, in terms of combinations of the left as well as the right invariant Maurer-Cartan forms together, which can be thought of as the higher analogues of the odd Chern character living on GxG. Note the odd Chern Simons form lives on G. There are interesting higher forms living on GxGxG and all the higher Cartesian products giving rise to a closed form in the deRham forms on the stack [pt/G] represented by the simplicial manifold pt, G, GxG, GxGxG, ...

Application: Given a manifold M with a cover U we can apply the simplicial presheaf FVB to the Cech nerve of the cover U, which is a simplicial smooth manifold, to obtain a cosimplicial simplicial set. The totalization of this cosimplicial simplicial set is a simplicial set that has good geometric meaning: its vertices are the vector bundles on M together with a choice of flat connection on each open set of U. The edges are bundle isomorphisms not respecting the locally chosen flat connections, etc … Further applications are to equivariant theories and more generally bundles on simplicial manifolds.

Similarly we can evaluate the simplicial presheaf Omega to the nerve of U and pass to the totalization to obtain a space (simplicial set) whose points are the closed elements of the Cech-DeRham bicomplex, the edges are the cohomological witnesses to two such closed elements representing the same Cech-deRham class, and so on and so forth with elements witnessing how a sum of the lower witnesses is trivialized.

A natural question is what this induced simplicial set map obtained through totalization is? The answer is that on the vertices this map gives a “combinatorial” formula for the Chern Character of the bundle, in terms of the transition functions of the bundle, in the Cech-deRham complex. Over the 1-simplices we obtain a formula for the Chern-Simons invariant of a bundle isomorphism, with respect to the domain and range connections, in the Cech complex, in terms of the transition functions of the bundle, interpolating between the previous formulae for the Chern Characters, and so on and so forth moving up the higher cells of the space.

Note that totalization does something very interesting. Before totalization, the map on the vertices was very trivial ie just assigning the dimension of the bundle (=the Chern character of the flat connection) However, after totalization the map on the vertices become the Chern character of the non flat bundle obtained by gluing bunch of flat bundles together via maps that did not respect flatness.

Remark 1) There is an infinity homotopy coherent version of all of this, where vector bundles are replaced by derived families whose clutching functions are only fit together up to a system of coherent homotopies (TT resolutions), to which the above story is applied. Here, I have avoided discussing this because there is already new phenomena observed in the fully strict case.

Remark 2) Aside from the conceptual clarity of the above pre-totalization CS natural transformation which leads to the O’Brian-Toledo-Tong (OTT) Chern character formulae, this simplicial presheaf point of view leads to a map of simplicial sets whose value on the vertices reproduces the OTT Chern character formulae. The value on the edges and higher dimensional simplicies of the totalization are new invariants that should be thought of as an infinite hierarchy of Chern-Simons type relative invariants for the Toledo-Tong twisted resolutions. These can be used in the study of secondary and higher invariants for coherent sheaves on complex manifolds.

## %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

**Fall 2018**

**Dec 19**

**10:00-11:30**

**Micah Miller**

**The Bousfield-Kan map and computing homotopy limits**

## Let M be a simplicial model category. The Bousfield-Kan map induces a map from the totalization of a cosimplicial object in M to its homotopy limit. Under certain conditions, this map is a weak equivalence. Since the totalization is easier to compute, this is a useful tool for calculating the homotopy limit. We give a discussion of the Reedy model structure on a model category M, and state when the Bousfield-Kan map is a weak equivalence.

**2:00-4:00**

**Micah Miller**

**The space of twisted complexes as a totalization of a cosimplicial simplicial set**

## Given a simplicial manifold X, we can apply the stack Perf of perfect complexes of locally free sheaves, to get a cosimplicial simplicial set. The vertices of this totalization can be identifies as the the Toledo-Tong twisted sheaves. If time permits, we will discuss a Chern character (on the vertices) and a Chern Simons form (on the edges), and generalizations to the higher n-simplices in this totalization.

**Dec 12**

**No K-theory seminar today. Note the following talk at Stonybrook Dec 12th and Dec 13th.**

**2:30-3:30 **

Math Tower P-131

Manuel Rivera, University of Miami

A new point in topology

Math Tower P-131

Manuel Rivera, University of Miami

A new point in topology

## The homotopy theory of geometric spaces can be recast into the language of infinite dimensional topological groups determined by function spaces of closed based loops in the spaces. The zeroth homology of the function space can be naturally identified with the group algebra of the fundamental group of the geometric space. This algebra has a compatible coproduct determined by the diagonal map on the natural basis defining an algebraic structure known as a bialgebra. Through a new perspective we now understand how this bialgebra and its characterizing prolongation to higher dimensions at the level of homological chains on the function space can be defined in satisfactory and complete generality directly from the algebraic structure of the singular chains of the geometric space. The algebraic construction that does this was introduced sixty years ago for simply connected spaces and remarkably is understood only now to work for all geometric spaces. The new idea beyond technique is to combine a duality theory for algebraic structures and the infinite homotopical symmetry of chain approximations to the perfectly symmetrical diagonal map on a topological space with the algebraic construction from the past.

**2:30-3:30 **

Math Tower P-131

Bhargav Bhatt, University of Michigan

Etale cohomology of affinoid spaces

Math Tower P-131

Bhargav Bhatt, University of Michigan

Etale cohomology of affinoid spaces

## This talk has two distinct but related parts. First, I will discuss a new Grothendieck topology (the arc topology) on the category of schemes and its usefulness in addressing some foundational questions in etale cohomology (including excision as well as new proofs of the Fujiwara-Gabber theorem and some results of Huber). Secondly, I will explain how to prove the analog of the Artin vanishing theorem in rigid analytic geometry. (Joint work with Akhil Mathew.)

**Thursday December 13, 2018**

4:00-5:00

Math Tower P-131

Bhargav Bhatt, University of Michigan

Interpolating p-adic cohomology theories

4:00-5:00

Math Tower P-131

Bhargav Bhatt, University of Michigan

Interpolating p-adic cohomology theories

## Integration of differential forms against cycles on a complex manifold helps relate de Rham cohomology to singular cohomology, which forms the beginning of Hodge theory. The analogous story for p-adic manifolds, which is the subject of p-adic Hodge theory, is richer due to a wider variety of available cohomology theories (de Rham, etale, crystalline, and more) and torsion phenomena. In this talk, I will give a bird's eye view of this picture, guided by the recently discovered notion of prismatic cohomology that provides some cohesion to the story. (Based on joint work with Morrow and Scholze as well as work in progress with Scholze.)

**Dec 5**

**10:00-11:30**

**Corbett Redden**

**Equivariant de Rham theory**

This talk will serve as a basic (pun intended) introduction to equivariant cohomology (Borel) and will focus on the complex of equivariant differential forms (Weil or Cartan model). Most likely, I will sneak in some discussion about stacks, as this perspective will be used in the afternoon talk.

This talk will serve as a basic (pun intended) introduction to equivariant cohomology (Borel) and will focus on the complex of equivariant differential forms (Weil or Cartan model). Most likely, I will sneak in some discussion about stacks, as this perspective will be used in the afternoon talk.

**2:00-4:00**

Corbett Redden

Equivariant connections on (higher) bundles

Suppose a compact Lie group G acts on a smooth manifold M. I will explain how the language of stacks (on the site of smooth manifolds) provides a natural framework for encoding and classifying certain G-equivariant structures on M. For example, there is a natural refinement of the equivariant Chern-Weil homomorphism that lives in an equivariant extension of differential cohomology. Furthermore, in joint work with Byungdo Park (GC alumnus) we prove that equivariant gerbe connections are classified by equivariant differential cohomology in degree 3. I will not assume that audience members are comfortable with the words in this abstract. I will try to explain everything in terms of natural geometric constructions on principal bundles.

Corbett Redden

Equivariant connections on (higher) bundles

Suppose a compact Lie group G acts on a smooth manifold M. I will explain how the language of stacks (on the site of smooth manifolds) provides a natural framework for encoding and classifying certain G-equivariant structures on M. For example, there is a natural refinement of the equivariant Chern-Weil homomorphism that lives in an equivariant extension of differential cohomology. Furthermore, in joint work with Byungdo Park (GC alumnus) we prove that equivariant gerbe connections are classified by equivariant differential cohomology in degree 3. I will not assume that audience members are comfortable with the words in this abstract. I will try to explain everything in terms of natural geometric constructions on principal bundles.

**Nov 28**

**10:00-11:30**

**No Talk**

**2:00-4:00**

**Rob Thompson**

K(n)-local spectra, the Morava Stabilizer group, and Morava E-theory

In this talk, I will survey some facts about K(n)-local spectra and how the Adams spectral sequence can be modified to converge to the K(n)-localization of a spectrum. Combined with Morava’s change of ring theorem, this leads to a homotopy fixed point spectrum of Devinatz and Hopkins. This material is foundational to Rezk’s approach to elliptic cohomology.

K(n)-local spectra, the Morava Stabilizer group, and Morava E-theory

In this talk, I will survey some facts about K(n)-local spectra and how the Adams spectral sequence can be modified to converge to the K(n)-localization of a spectrum. Combined with Morava’s change of ring theorem, this leads to a homotopy fixed point spectrum of Devinatz and Hopkins. This material is foundational to Rezk’s approach to elliptic cohomology.

**Nov 21**

**10:00-11:30**

**Martin Bendersky**

Cannibalistic Characteristic Classes

Cannibalistic Characteristic Classes

**We will define the cannibalistic characteristic classes and its relation to the e-invariant. We will calculate the Adams’s e-inviariant for the image of the homotopy of U under the J-homomorphism.**

**2:00-4:00**

Martin Bendersky

Adams’s e-invariant and the p-adic K-theory

Martin Bendersky

Adams’s e-invariant and the p-adic K-theory

**We will relate the Adams conjecture to the Lubin-Tate theories. In particular, Lubin-Tate (or Morava) E_1 is p-adic K-theory. We will describe how the localization of the sphere spectrum with respect to E_1 is the fibre of a self map of the p-adic completion of BU. **

**Nov 14**

**10:00-11:30**

Alexander Milivojevic

**Setting up the Frölicher spectral sequence**

Alexander Milivojevic

## The sections of the exterior bundle of the complexified cotangent bundle of a complex manifold naturally form a bigraded commutative algebra on which the de Rham differential splits into two anti-commuting bigraded pieces (one "holomorphic" and one "anti-holomorphic"). Filtering this algebra in a natural way yields a spectral sequence whose first page is the Dolbeault cohomology and whose last page is isomorphic to the (complexified) de Rham cohomology. We will discuss Frölicher's original treatment of this spectral sequence as presented in his 1955 paper "Relations between the cohomology groups of Dolbeault and topological invariants". The existence of this spectral sequence implies relations between the Betti numbers of a smooth manifold and the dimensions of the Dolbeault cohomology groups of any complex structure it may come equipped with.

**2:00-4:00**

**Alexander Milivojevic**

**Calculations with the Frölicher spectral sequence**

## The differentials on each page of the Frölicher spectral sequence can be explicitly described, and one can wonder whether these differentials uniformly vanish from some page onwards on a given complex manifold. If the manifold is compact and Kähler, or a compact complex curve or surface, then this phenomenon happens on the first page. We will look at some examples of non-Kähler compact complex threefolds for which the spectral sequence has non-trivial differentials past the first page. These examples will come from the easy-to-work-with family of nilmanifolds, and we will obtain explicit descriptions of each page of their spectral sequences.

**Nov 7**

**10:00-11:30**

**Micah Miller**

**A primer of homotopy colimits**

## We go over the definition of a homotopy limit of a diagram in a simplicial model category M and some elementary computations. When we have a cosimplicial object in M, we can define its totalization. The Bausfield-Kan map is a map from the totalization to the homotopy limit. Under certain conditions, this map is a natural weak equivalence. Since the totalization is easier to compute than the homotopy limit, this gives us another way to calculate homotopy limits.

**2:00-4:00**

**Dennis Sullivan**

Complex K-theory, manifolds and condensed matter physics

Complex K-theory, manifolds and condensed matter physics

**Nov 5 (Special Mon)**

**11:00-12:00**

Dennis Sullivan [in Sullivan’s class]

Manifold with singularities construction of complex K-homology [connective version] and relation to Conner-Floyd theorem

Dennis Sullivan [in Sullivan’s class]

Manifold with singularities construction of complex K-homology [connective version] and relation to Conner-Floyd theorem

**2:00-3:30**

Dennis Sullivan [Einstein Chair Seminar]

How complex K-theory classifies manifolds at odd primes

Dennis Sullivan [Einstein Chair Seminar]

How complex K-theory classifies manifolds at odd primes

**Oct 31**

**10:00-11:30 & 2:00-4:00**

Martin Bendersky

**On the J-Homomorphism**

Martin Bendersky

## I will describe Adams' work on ImJ. First I will review the basic material. Specifically, I will restate the definition of the J homomorphism and the Adams conjecture. I will outline the proof of the calculation of ImJ. At some point I would like to show how the Adams conjecture connects with Morava E theory.

**Oct 24**

**10:00-11:30**

**Christoph Dorn**

Directed triangulations

In last week’s talk we introduced the classifying category of posetal maps, and a category of posets modelling intervals with singularities. After recalling these concepts, we will build a category of singular n-cubes in 2 different ways (one using double categories, one using towers of bundles) and show that they are equal. Singular n-cubes provide “directed" triangulations of submanifolds of the cube. We will find to natural relations on cubes A,B, namely, sub-cubes (A < B) and quotient-cubes (A -> B). We will prove that the latter satisfies the Church-Rosser property. This translates into the powerful statement that any two directed triangulations of the same submanifolds of the cube have a mutual coarsening (*not* a mutual refinement, as stated e.g. in the disproven Hauptvermutung [1]).

Directed triangulations

## [1] https://en.wikipedia.org/wiki/Hauptvermutung

**2:00-4:00**

Christoph Dorn

Presented associative n-categories

We will build a “type theory” for higher dimensional categories, which allows us to define a category by its generators. As an example we will give generators for the infinity-category **Bord** of cobordisms. To our knowledge, this is the first (claimed) presentation of the extended cobordism category [2]. Using this category, and recalling the generalised Thom-Pontryagin construction from last week, we translate CW complexes into associative n-categories. As a consequence of this translation, we illustrate the fully algorithmic nature of both listing and verifying maps into these CW complex.

Christoph Dorn

Presented associative n-categories

## [2] https://ncatlab.org/nlab/show/extended+cobordism

**Oct 17**

**10:00-11:30 **

**Christoph Dorn**

Getting rid of the continuum: Posetal models for (interesting) manifolds

We will study towers of posetal Grothendieck fibrations (which can be described in completely elementary, foundations-independent terms), and examine some of their many surprising properties. These towers can be understood as a combinatorial description of certain stratified manifolds (called manifold diagrams) if one introduces “local consistency” conditions. As an application we will rediscover (n+1)-framed n-cobordisms from a combinatorial perspective.

Getting rid of the continuum: Posetal models for (interesting) manifolds

**2:00-3:45**

Christoph Dorn

Using manifolds to define (and understand!) general higher categories

Manifold diagrams allow us to give definitions of higher categories, and moreover, distinguish different flavours of them. We will build combinatorial notions of semistrict and fully weak higher categories, and see how coherence data in the latter arises as a combination of two now cleanly separated concepts: Semi-strict homotopies and the theory of dualisibility (which we will describe in terms of cobordisms). To motivate that these new notions of categories are “correct”, we will connect manifolds diagrams to the more common cellular approach to higher categories by a generalised Pontryagin construction.

Christoph Dorn

Using manifolds to define (and understand!) general higher categories

**Oct 10**

**10:00-11:30**

**Jeffrey Kroll**

**Symplectic structure on moduli space of flat connections**

## We will introduce the moduli space of flat connections on a fixed principal G-bundle whose points correspond to gauge equivalence classes of flat connections. Our interest is when the base is a Lefschetz manifold, which is a symplectic manifold for which wedging with powers of the symplectic form induces isomorphisms between complimentary dimension cohomology groups. If G has both an orthogonal structure and a class function, the moduli space of flat connections on a principal G-bundle with a Lefschetz manifold base has a symplectic structure.

**2:00-4:00**

**Jeffrey Kroll**

**On the Poisson bracket of traces of holonomy**

## The moduli space of flat connections on a suitable principal bundle over a Lefschetz manifold is symplectic, and therefore one can investigate Hamiltonian vector fields associated to functions on the moduli space. We will define, and compute the Hamiltonian vector field associated to, the class of functions given by trace of holonomy around closed curves in the base and then investigate whether or not these functions are closed under the Poisson bracket. While this remains an open problem in general, we will see that traces of holonomy form a sub-Lie algebra of the Poisson algebra of functions on the moduli space when the base is a product of closed oriented surfaces.

**Oct 3**

**10:00-11:30**

**Mahmoud Zeinalian**

**On the homotopy coherent nerve of cubical categories and Adams’s cobar construction**

## I will give an introductory talk on the homotopy coherent nerve of cubical categories and how it leads to a model of chains on the based loop space of a connected space through Adams’s cobar construction. This is on a joint work with Manuel Rivera who will speak in our seminar on Oct 24th.

**2:00-4:00**

**Martin Bendersky**

**On the J-homomorphism **

I will define the J-homorphism. Frank Adams in a mathematical tour-d-force computed the image of the stable J homorphism in the stable homotopy groups of spheres (actually with some ambiguity which was called the Adams Conjecture which was solved by Dennis and Quillen). I will outline Adams' computations (and the Adams conjecture). I will make use of K theory (which I will define). I will describe the role of the Bernoulli numbers. I hope to describe the unstable image of J (actually the desuspension of the stable image of J). Perhaps if there we are left with nothing to do and lots of time to do it in (apologies to Mae West) I will describe how the image of J appears in the stable Adams- Novikov spectral sequence. ** **

**Sept 26**

**10:00-11:30**

No Lecture

**2:00-4:00**

**Mahmoud Zeinalian**

From 2D Hyperbolic Geometry to the Loday-Quillen-Tsygan Theorem

From 2D Hyperbolic Geometry to the Loday-Quillen-Tsygan Theorem

## The space of hyperbolic structures on an oriented smooth surface has a rich geometry. The study of the Hamiltonian flow of various energy functions associated with a collection of closed curves has led to a host of algebraic structures: first, on the linear span of free homotopy classes of non trivial closed curves (Wolpert-Godman-Turaev Lie bi-algebra) and then, more generally, on the equivariant chains on the free loop spaces of higher dimensional manifolds under the umbrella of String Topology (Chas-Sullivan + Others).

While it is understood that the most natural way to organize the relevant algebraic data would be through topological field theories whereby chains on the moduli space of Riemann surfaces with input and output boundaries label operations, various aspects of these structures are not well understood.

In this talk, I will provide some historical context and report on a recent joint work with Manuel Rivera on algebraically modeling the chains on the based and free loop spaces. One tangible result is that the long held simply-connected assumptions in various theorems, such as Adams’s 1956 cobar construction, can be safely removed once a cofibrant version of chains is utilized. This makes the chains on the free loop space of a non-simply connected space algebraically accessible. Towards the end of the talk I will report on a related ongoing joint work with Owen Gwilliam and Gregory Ginot based on the celebrated Loday-Quillen-Tsygan theorem which calculates the Lie algebra cohomology of the matrix algebras of very large size. This suggests a remedy to the problem that the trace of holonomy map from the vector space of homotopy classes of closed curves to the Poisson algebra of function on the moduli space of flat connection not being one-to-one.

## %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

**Spring 2018**

**Wed Mar 18**

*Morning Session 10:00-11:30*

*Gregroy Ginot*

*The circle action on Hochschild Homology and HKR Theorem*

*Morning Session 10:00-11:30*

*Gregroy Ginot*

*The circle action on Hochschild Homology and HKR Theorem*

## In this talk we will present a modern, infinity categorical approach to classical Hochschild homology as an object with a circle action in various contexts, including topological Hochschild homology and explain modern proof of the celebrated Hochschild-Kostant-Rosenberg theorem in this line after the work of Toen-Vezzosi, Hoyos, Antonio-Petit-Porta.

In particular, we will explain the relationhip between André-Quillen Homology and Hochschild homology. Further, we will recall the definition of negative cyclic homology in this context and explain its relationship with K-theory in characteristic zero, which is a fundamental result of Goodwilie.

*Afternoon Session 2:00-3:45*

*Gregory Ginot*

*Nikolaus-Scholze definition of Topological Cyclic Homology*

*Afternoon Session 2:00-3:45*

*Gregory Ginot*

*Nikolaus-Scholze definition of Topological Cyclic Homology*

## This talk is dedicated to the modern construction of the topological cyclic homology functor, which is a better approximation of K-theory then negative cyclic homology in non-zero characteristic. To do this, we will recall the Tate construction, give Scholze-Nikolaus infinity categorical definition of cyclotomic spectra, and their approach to topological cyclic homology.

**Wed Apr 11**

*No lecture. Friday Schedule at CUNY.*

*No lecture. Friday Schedule at CUNY.*

**Wed Apr 4**

*No lecture. Spring recess.*

*No lecture. Spring recess.*

**Wed Mar 28**

*Morning Session 10:00-11:30*

*Martin Bendersky*

*On p-adic Adams operation*

I will review the notion of a special lambda algebra. Atiyah and Tall describe the free special lambda ring generated by a single element and the ring of operations on the collection of special lambda rings. We are heading to the construction of Adams operations indexed by the p-adics.

*Morning Session 10:00-11:30*

*Martin Bendersky*

*On p-adic Adams operation*

*Afternoon Session 2:00-3:45*

*Rob Thompson*

*Operads and Obstructions*

This session has two goals. Firstly, to define operads and give some examples. We will be interested in algebras over operads. Roughly, in the category of spectra, an algebra over an A-infinity operad is what's known as an A-infinity ring spectrum.

Secondly, we will look at Bousfield's 'resolution model category construction', which gives a way of constructing a spectral sequence for computing obstructions to getting algebra structures over an operad and maps between operads.

This is all just one piece of the Hopkins-Miller theorem, which in turn is part of the foundation of Rezk's work on power operations in Morava E-theory, and in particular elliptic cohomology.

*Afternoon Session 2:00-3:45*

*Rob Thompson*

*Operads and Obstructions*

**Wed Mar 21**

*No lectures due to snow*

*No lectures due to snow*

**Wed Mar 14 (morning and afternoon meetings)**

*Companion meeting to the K-theory seminar (morning)*

Martin Bendersky

*10:00-11:30 AM*

*On p-adic Adams operation*

I will review the notion of a special lambda algebra. Atiyah and Tall describe the free special lambda ring generated by a single element and the ring of operations on the collection of special lambda rings. We are heading to the construction of Adams operations indexed by the p-adics.

*Companion meeting to the K-theory seminar (morning)*

Martin Bendersky

Martin Bendersky

*10:00-11:30 AM*

*On p-adic Adams operation*

*K-theory Seminar (afternoon)*

*Rob Thompson*

2:00-3:45 PM

*Power operations in Morava E-theory*

*K-theory Seminar (afternoon)*

*Rob Thompson*

2:00-3:45 PM

2:00-3:45 PM

*Power operations in Morava E-theory*

## One of the main goals of Rezk's Bonn notes is to give a homotopy theoretic explanation of some of the properties of the Witten genus. The homotopy theory required is formidable. I plan to give two expository lectures on several pieces of this background material. Specifically I will discuss some aspects of the Hopkins-Miller-Goerss theorem which states that Morava E-theory admits an A_{\infty}-structure (Hopkins-Miller) and in fact an E_{\infty)-structure (Hopkins-Goerss). Some of the components of the required obstruction theory are: Simplicial Operads, Hochschild homology in the A_{\infty} case, Andre-Quillen homology in the E_{\infty} case, and Dwyer-Kan-Stover resolution model categories (as formulated by Bousfield), and I will summarize some of this. Furthermore this all has to take place in a nice point-set model category of spectra. There are a number of options for this - Lewis-May-Steinberger, Elmendorff-Kriz-May-Mandell, May-Mandell, Hovey-Shipley-Smith, etc. I will not actually present any of these in detail, as each one would take a significant amount of time, but rather just describe axiomatically what features of a category of spectra are required for the Hopkins-Miller theorem.

## The Hopkins-Miller-Goerss theorem enables the construction of power operations. Power operations in elliptic cohomology are the basis for Rezk's analysis of the Witten genus. The talks will be expository and introductory, as I am just learning a lot of this stuff myself for the first time.

**Wed Mar 7**

*No lectures due to snow*

*No lectures due to snow*

**Wed Feb 28 (morning and afternoon meetings)**

*Companion meeting to the K-theory seminar*

*Mahmoud Zeinalian*

10:00-11:30

*Companion meeting to the K-theory seminar*

*Mahmoud Zeinalian*

10:00-11:30

10:00-11:30

**An Informal discussion on genera**

I will review some of the basic material Corbett covered in his talk two weeks ago.

**K-theory Seminar**

**Corbett Redden**

**2:00-3:45 PM**

**Obstructions from degree 4 characteristic classes**

The Witten genus can be constructed (heuristically or mathematically) in several different ways. In each of these constructions, there is an obstruction related to the degree 4 characteristic class p_1(M). Namely, a cohomology class must vanish in order for the construction to exist or have desired properties, and the choice of a trivialization is often referred to as a string structure. I will explain the following specific instances in the talk.

- When defining the Witten genus via characteristic classes, the Witten genus of a spin manifold is a modular form if p_1(M)=0 [HBJ].

- For a spin manifold with the choice of a string structure, there is an element in the cohomology theory TMF that refines the Witten genus [Hop].

- Heuristically, the Witten genus is the S^1-equivariant index of the (not mathematically defined) Dirac operator on the free loop space LM. In attempting to describe such an operator, one must construct a spin structure on LM [CP, Wit].

- Heuristically, the Witten genus is the partition function of a certain 2-dimensional nonlinear sigma model. The degree 4 class arises here as an anomaly that must be canceled [Wit, AS, Bun].

Similarly, in Costello's "geometric construction of the Witten genus," there is an obstruction to quantization that arises from the second Chern class of a compact complex manifold [Cos]. Most likely, I will not discuss this example.

References:

[AS] Alvarez--Singer. "Beyond the elliptic genus."

[Bun] Bunke. "String structures and trivialisations of a Pfaffian line bundle."

[Cos] Costello. "A geometric construction of the Witten genus I" and "... II."

[CP] Coquereaux--Pilch. "String structures on loop bundles."

[HBJ] Hirzebruch--Berger--Jung. "Manifolds and modular forms."

[Hop] Hopkins. "Algebraic topology and modular forms."

[Wit] Witten. "The index of the Dirac operator in loop space" and "Index of Dirac operators."

**Wed Feb 21 (morning and afternoon meetings)**

Martin Bendersky

**Introduction to the Hopf Invariant One problem **

**9:45-11:45 AM**

I will discuss Hopf invariant 1. On the geometric side I will talk about how an n-dimensional normed algebra => a division algebra => H-space structure on a sphere => an element of Hopf Invariant One. Also I will draw a picture to show that a trivial tangent bundle on a sphere => an H-space structure on the sphere. So proving that there are no elements of Hopf Invariant One implies non of these happen in dimension n. I will use Adam operations to determine when an element of Hopf Invariant One can exist.

Martin Bendersky

**Lambda rings and the J-homomorphism **

**2:00-3:45 PM**

I will briefly mention what is necessary to extend the operations to \psi^k on K(X; Z_p) (p-adic K-theory) with k a p-adic number. We will then look at lambda-rings in a more general setting, following Atiyah and Tall (who follow Grothendieck). They introduce special lambda rings (which are equivalent to lambda rings where the induced Adam's operations satisfy the above relations). They use special lambda rings to prove a theorem about the J-equivalent classes of representations. I will only have time to state their theorem. Future lectures (by others) will apply lambda ring technology to define operations on elliptic cohomology.

**Wed Feb 14**

Martin Bendersky

**Lambda rings and the J-homomorphism **

Martin Bendersky

## I will talk about Lambda rings and induced operations. The most famous induced operations are the Adam's operations, \psi^k. They enjoy the property that they are ring homomorphisms and \psi^k( \psi^ t) = \psi^{kt}. We will prove these relations for KU and allude to the fact that they are true for KO (the proof involves representation theory). The Adam's operations are defined on K^0(X). It is possible to extend \psi^k to K^*(X) [1/k] (i.e. stable operations).

**Wed Feb 7**

Corbett Redden

**Brief introduction to elliptic genera**

Corbett Redden

## This talk will be a brief introduction to elliptic genera, and it will most likely be review of material covered in the early Fall 2017 talks. I will begin by defining complex-oriented cohomology theories and looking at the two special cases of complex cobordism and K-theory. We will see that a complex orientation of a cohomology theory naturally leads to a formal group law. Furthermore, Quillen’s theorem states that the universal complex-oriented theory (complex cobordism) encodes the universal formal group law. This implies that complex genera, or homomorphisms from the complex cobordism ring to a ring R, are equivalent to formal group laws over R. The group structure on an elliptic curve naturally leads to the notion of an elliptic genus. Finally, we use the Landweber exact functor theorem to produce an elliptic cohomology theory whose formal group law is given by the universal elliptic genus.

## References:

Ochanine. "What is an elliptic genus?”

Landweber. Introductory chapter to "Elliptic curves and modular forms in algebraic topology."

Hirzebruch--Berger--Jung. "Manifolds and modular forms."

Redden. "Elliptic genera and elliptic cohomology" chapter from TMF book.

**Wed Jan 31**

Jeffrey Kroll

**Derived Moduli Space of Flat Bundles**

Jeffrey Kroll

## An affine derived stack is a representable functor from commutative differential graded algebras to simplicial sets. We will define the derived stack RBG, which is the derived analog of the classifying space BG of a group, and give an explicit construction for GL(r) due to Kapranov. The derived stack RBG is used to define the derived moduli space of flat principal G-bundles. We will see that the tangent complex of the derived moduli space at a flat vector bundle is weakly equivalent to the 1-shifted and truncated complex of cochains with values in the endomorphism bundle.

## %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

**Fall 2017**

**Wed Dec 6**

Micah Miller

**The Atiyah class for coherent sheave **

Micah Miller

## The Atiyah class of a holomorphic vector bundle E → X is the obstruction to the existence of a holomorphic connection. The construction of this class goes as follows. Associate to E a short exacts equence of the form

0→E⊗Ω1 →P(E)→E→0. A splitting of this sequence is a holomorphic connection. From homological algebra, we know that short exact sequences can be identified with Ext1(X; E, E⊗Ω1) and a split short exact sequence is identified with the zero element in Ext1(X; E, E ⊗ Ω1). The Atiyah class is the negative of the class representing the short exact sequence in Ext1(X; E, E ⊗Ω1). A representative of the Atiyah class can be given in terms of the transition functions of E. The Chern character can then be defined by exponentiating the Atiyah class and taking the trace.

## The definition of the Atiyah class extends readily to a coherent sheaf F on X. O’brian, Toledo, and Tong construct a representative for the Atiyah class in the twisted complex C•(U;Hom•(E, E⊗Ω1)). This complex can be thought of as filling the role of the Cech complex associated to a projective resolution for F, which may not exist for F. O’brian, Toledo, and Tong construct a trace map on twisted complex, and the Chern character for a coherent sheaf is then defined by exponentiating its Atiyah class and applying the trace map.

**Wed Nov 29**

Rob Thompson

**The Lubin-Tate Theorem and Morava E-theory**

Rob Thompson

## The goal is to construct Morava E-theory, a generalized homology theory which is at the heart of contemporary homotopy theory and its applications.

First we'll discuss the Lubin-Tate theorem. For the statement of the theorem I will follow the elegant exposition in Rezk's paper on the Hopkins-Miller theorem. The Lubin-Tate theorem is concerned with the following: Given a field k of char p, and an FGL Gamma over k, consider deformations (i.e. lifts) of Gamma to complete local rings B with maps k -> B/m_B. Lubin-Tate identifies the universal such deformation. Also the group of automorphisms of Gamma acts on the groupoid of deformations and this leads to the Morava stabilizer group.

We will describe the structure of the universal deformation ring and sketch a proof of a portion of the theorem.

In order to construct Morava E-theory, we have to establish that the Lubin-Tate FGL is Landweber exact, and therefore gives a generalized homology theory and a representing spectrum. I believe there is an easy, elegant proof of this using ideas of Andy Baker. Along the way we will relate Morava E-theory to a menagerie of other useful homology theories like Morava K-theory, and Johnson-Wilson theory.

**Wed Nov 22**

Rob Thompson

**Formal group laws, the Lubin-Tate theorem and Morava E-theory**

Rob Thompson

## We will talk about Formal Groups Laws over rings in characteristic p > 0, and define the height of a FGL. I'll define the Honda FGL and prove that over an algebraically closed field, any height n FGL is isomorphic to the Honda FGL. The affine groupoid scheme of p-typical FGL's over an F_p-algebra is filtered by height, but the schemes in the filtration are not affine schemes, they are stacks. We will mention the fact that an Elliptic curves gives a FGL which is height 1 or 2.

## Then we'll get to the Lubin-Tate theorem. For the statement of the theorem I will follow the elegant exposition in Rezk's paper on the Hopkins-Miller theorem. The Lubin-Tate theorem is concerned with the following: Given a field k of char p, and an FGL Gamma over k, consider deformations (i.e. lifts) of Gamma to complete local rings B such with maps k -> B/m_B. Lubin-Tate identifies the universal such deformation. Also the group of automorphisms of Gamma acts on the groupoid of deformations and this leads to the Morava stabilizer group.

We will describe the structure of the universal deformation ring in important special cases, and say something about a sketch of the proof.

## This sets the stage for the construction of Morava E-theory. The Lubin-Tate FGL is Landweber exact, and therefore gives a generalized homology theory and a representing spectrum. This homology theory, known as Morava E-theory, is fundamental to contemporary homotopy theory. We will relate it to other well known homology theories like Morava K-theory and elliptic cohomology. Finally we'll say something about the construction of power operations in Morava E-theory.

**Wed Nov 15**

Rob Thompson

Formal group laws, the Lubin-Tate theorem and Morava E-theory, I

Rob Thompson

Formal group laws, the Lubin-Tate theorem and Morava E-theory, I

## I plan to talk about basic material that makes up a portion of the prerequisites to Rezk's notes "Elliptic cohomology and Elliptic curves". To begin, I would like to go over some basic facts about formal group laws. I will define a p-typical FGL over an arbitrary p-local ring and prove Cartier's theorem which states that any FGL over a p-local ring is canonically isomorphic to a p-typical one. I will point out the simple observation that while (L,LB), the Hopf algebroid which corepresents FGL's and their strict isomorphisms, gives a split groupoid scheme, (V,VT), the Hopf algebroid corepresenting p-typical FGLs and their strict isomorphisms, is NOT split. (This idea will play a role later when we introduce Morava E-theory, which IS split.)

Then we'll look at FGL's over rings of characteristic p, and I'll define the height of a FGL. I'll define the Honda FGL and prove that over an algebraically closed field, any height n FGL is isomorphic to the Honda FGL. The affine groupoid scheme of p-typical FGL's over an F_p-algebra is filtered by height, but the schemes in the filtration are not affine schemes, they are stacks.

## At this point it's probably worth discussing the FGLs that come from elliptic curves - they are either height 1 or 2, with the height 2 ones coming from super singular elliptic curves. Unfortunately I am not that knowledgeable about elliptic curves, so I won't attempt to actually lecture on this, it's just something that we ought to discuss because it's obviously relevant.

## Then we'll get to the main event of the first part - the Lubin-Tate theorem. For the statement of the theorem I will follow the elegant exposition in Rezk's paper on the Hopkins-Miller theorem. For the proof, which I will only sketch a portion of, I'll probably follow along the lines of Andy Baker's proof. The Lubin-Tate theorem is concerned with the following: Given a field k of char p, and an FGL Gamma over k, consider deformations (lifts) of Gamma to complete local rings B such with maps k -> B/m_B. Lubin-Tate identifies the universal such deformation. The group of automorphisms of Gamma acts on the groupoid of deformations and this leads to the Morava stabilizer group.

This all sets the stage for the second part, which will be the construction of Morava E-theory. We'll show that it's a Landweber exact homology theory and relate it to other well known homology theories like Morava K-theory and elliptic cohomology. Then we'll say something about the construction of power operations in Morava E-theory. Also, the fact that Morava E-theory is an A_infinity ring spectrum is important so we can say something about the statement of that. The proof of that is hard so that would have to be for another seminar sometime.

**Wed Nov 8**

Mahmoud Zeinalian

**BD structure of the Chevalley Eilenberg cochains of Lie algebras with invariant co-inner products**

Mahmoud Zeinalian

## -Flat connection on the jets of section of a bundle (the holomorphic case)

-A description of the bundle of first jets as a twisted direct sum.

-Atiyah class as the obstruction to having a holomorphic connection

-A theorem of Kapranov regarding the graded Lie algebra structure of the sheaf cohomology of the shifted tangent bundle

-Action of the above Lie algebra on the sheaf cohomology of holomorphic bundles

-Differential operators on a manifold

-Left D-modules and flat connection

## Next week and the week after Rob Thompson will talk about Morava E-theory. The week after Micah Miller will talk about the Toledo Tong twisting cochains, the Atiyah class, and the Chern Character via the Atiyah class.

**Wed Nov 1**

Mahmoud Zeinalian

Duality between D-modules and dg modules over the deRham forms

Mahmoud Zeinalian

Duality between D-modules and dg modules over the deRham forms

## -curved L-infty algebras and their Chevalley Eilenberg (CE) cochain complex

-examples of curved dg-Lie alegbras

-bundle of infinite jets and its flat connection in the smooth and holomorphic settings

-interpreting the flat connection on the bundle of infinite jets of functions as a curved L-infty algebra over the differential ground ring of differential forms \Omega. the underlying \Omega-module on which the bracket and higher brackets live is the differential forms with values in the tangent bundle. The Lie algebra structure and the higher brackets are not related to the Lie bracket of vector fields!

-the cohomology of the above CE cochain complex is concentrated in degree 0 and equals the \Omega-module of smooth functions. note that algebra of smooth functions received a map from \Omega since the algebra of functions can be identified with the space of forms modulo the dg-ideal of forms in positive degrees).

## -BV structure on the CE complex of L-infty algebras with an invariant degree 3 non-degenerate parings

## -BD algebras

## -differential operators on a manifold

## -left invariant differential operators on a Lie group and the universal enveloping algebra

## -lie-rienhart pairs aka lie algebroids

## -chevalelly-eilenberg cochains of lie-reinhardt pairs

## -going from left modules over the differential operators to dg-modules over the differential forms

## -construction of a BV operator on the poly-vector fields from a right D-module structure of functions

## -connection between the following concepts:

## 1) local volume form up to a constant (i.e. flat connection on top exterior power of tangent bundle)

2) BV operator on polyvector fields compatible with the nijenhuis bracket

3) right D-module structure on functions

**Wed Oct 25**

Sreekar Shastry

Integral models of modular curves, II

Sreekar Shastry

Integral models of modular curves, II

## Given a formal group over a perfect field, consider its universal deformation. Morava E-theory is associated to this universal deformation; Theorem 2.9 page 15 of Rezk’s lecture notes explains how this association is functorial. An important example arises from the universal deformation of the formal group arising from the p-infinity torsion of a supersingular elliptic curve in characteristic p.

We’ll pick up from where we left off on 10/18, and complete the explanation of how to go from the group scheme GL_1 (also known as G_m) to the formal group F(X,Y) = X+Y+XY.

After this we’ll see the picture of the (coarse) modular curve with the universal elliptic curve sitting over it. This will give a geometric idea of how we obtain height two formal groups from supsersingular curves, and their universal deformations, and where these objects live relative to familiar objects such as (upper half plane)/SL_2(Z).

**Wed Oct 18**

Sreekar Shastry

Integral models of modular curves

Sreekar Shastry

Integral models of modular curves

## I am going to survey some aspects of the geometry of modular curves, with the goal of being able to draw the pictures behind the results invoked in sections 2 and 3 of Rezk’s Bonn lectures. As elaborate as the subject is, we will see that this picture can mostly be reduced to explicitly given rings and Hopf algebras.

## (The scheme theoretic prerequisites will be kept to a minimum, when working with affine schemes we are reduced immediately to rings, and elliptic curves over a base scheme can be thought of as bundles of tori)

## The topics covered:

## Overview of the theory of (finite) group schemes and Hopf algebras

Overview of formal group schemes and how they arise from group schemes

Overview of p-divisible groups (inductive systems of finite group schemes satisfying some conditions)

Statement of the connected etale sequence

Rough definition of elliptic curves over an arbitrary base scheme

A discussion of why the moduli functor classifying isomorphism classes of elliptic curves is not representable

A definition of the basic moduli problems in terms of Drinfeld level structures, which is where an understanding of finite group schemes becomes indispensable.

Time permitting, I'll state the Serre-Tate theorem which relates the deformation theory of p-divisible groups and the deformation theory of elliptic curves. This is the central result which will allow us to understand the local geometry on modular curves.

## Two introductory survey papers:

## Finite flat group schemes by John Tate

Fermat’s Last Theorem by Darmon, Diamond, Taylor

## A reference book:

Arithmetic Moduli of Elliptic Curves by Nick Katz and Barry Mazur

**Wed Oct 11**

Martin Bendersky

Conner Floyed and Landweber Exactness (part II)

Martin Bendersky

Conner Floyed and Landweber Exactness (part II)

## Using MU* or MSO_* genera to a ring R induces a functor from CW complexes to R modules. Sometimes these are cohomology theories.

## In order to give a general criterion for the functor to be a cohomology theory (due to Peter Landweber) I will review some facts about formal group laws. I will give the first example of a genus inducing a cohomology theory due to Conner and Floyd - Here R = Z[u,u^{-1}] and the resulting cohomology theory is K-theory (actually Conner and Floyd's construction gave Z/2 graded K-theory. I will use the Landweber exact functor theorem to construct Z-graded K theory).

## There are various cohomology theories called Elliptic cohomology. The non-periodic theory (with coefficients in Z[1/2][delta, epsilon]) is constructed by the Baas-Sullivan method of killing cobordism classes by introducing singularities. Periodic Elliptic theory (where the discriminant, epsilon(delta^2-epsilon)^2 is inverted) is shown to be a cohomology theory using Landweber exactness.

## Then a quick introduction to K-theory. K^0(X) is the ring of virtual bundles over X. Bott periodicity extends this to a cohomology theory (K^{-n}(X), n \geq 0 is readily defined, Bott periodicity defines the functors for n <0). A brief description of stable cohomology operations (i.e. operations which commute with the suspension operator - which for K-theory is the Bott isomorphism) and unstable operations. Introduction to the Adams operations (which are not stable). An application to Hopf invariant 1 (e.g. division algebras, H-space spheres and parallelizable spheres are in low dimensions). A quick introduction to extending Adams operations to the p-adics.

**Wed Oct 4**

Mahmoud Zeinalian

BD algebras and L-infinity spaces

Mahmoud Zeinalian

BD algebras and L-infinity spaces

## Over the past few weeks, we have covered some basic facts about the genera and their relation to the characteristic classes. Martin discussed when an oriented genus MSO(pt)—>R, or a complex genus MU(pt)—>R, can be obtained from evaluating a map of multiplicative cohomology theories MU(X) —> R(X) on a point. To find a multiplicative cohomology theory X—>R(X) whose value at a point R(pt) equals R, a natural choice is to tensor the appropriate bordism theory, say X—> MU(X), with R, over the ring MU(pt). This natural candidate is not always a cohomology theory. A sufficient condition for it to be a cohomology theory is for the ring R to be flat as a MU(pt)-module, but this condition is so strong that it is in practice rarely satisfied.

## Luckily, there is a weaker condition, still sufficient, that is met in several noteworthy cases. This phenomenon was first observed by Conner and Floyd who discovered the complex K theory, X—>KU(X), is obtained in this way from the Todd genus MU(pt)—>KU(pt) . The condition was later made abstract into what is now referred to as the Landweber exactness. Martin explained last time that the elliptic genus satisfies this condition and therefore gives rise to a cohomology theory called the Elliptic Cohomology.

## It is remarkable that some aspects of this beautiful theory were later unveiled by the physicists through their calculations.

## There are other instances in recent times when physicists have gained deep insight into abstract mathematical constructions. Mathematicians have been trying to learn from these advancements by way of making the physicists’ constructions mathematically meaningful and also by way of inspiration from the physicists’ pictures.

## Aside from specific useful constructions, sometimes the physics point of view has helped mathematicians to reorganize several theories they already knew deeply in ways that new insights were gained. For instance, the theory of moduli spaces of surfaces was always intensely studied by mathematicians. When these objects naturally appeared in physics of the path integrals, they appeared in a more holistic way which shed light on the algebraic structures expressed in terms of surfaces composing with one another via gluing. This gave a boost to the theory of algebraic operations and gave new insights into higher category theory, as well as invariants of knots and manifolds via topological field theories.

## Mathematicians have tried to understand what is behind all this. For example, Kevin Costello and Owen Gwilliam have written several books explaining some of the physics concepts behind these discoveries in the more familiar language of homotopical algebras. Reading these books makes one realize the physicists’ constructions are very similar to techniques of homotopical algebras as in Stasheff’s A-infinity world and Sullivan and Quillen’s rational homotopy theory that are familiar to us.

## Costello, applied these constructions to show how the Witten genus can be constructed as the partition function (a projective volume element) of a theory (a sigma model). Also see Grady-Gwilliam paper on the A-hat genus.

## One goal of our seminar is to understand this approach to the Witten genus. It appears, aside from some Ansätze here and there, everything is based on first principals and logic and therefore within the grasp of working mathematicians.

## This Wednesday I will discuss some of the rudiments as follows.

-flat connection on the top exterior tangent bundle and projective volume element

-divergence operators, BV, and BD algebras (ask in-house expert John Terrila about the difference an h-bar makes)

-examples of BV algebras and differential BV algebras coming from symplectic geometry

-an example coming from the CY geometry giving rise to genus zero B-model of mirror symmetry

-one more example coming from Poisson manifolds

-relations between projective volume forms, divergence operators, right D-module structure of the structure sheaf

-the infinite jet bundle and its flat connection

-the Spencer complex

-L-infinity algebras and curved L-infinity algebras

-L-infinity spaces and the L-infinity space associated to smooth and complex manifolds

-Chevalley-Eilenberg complex of a curved L-infinity algebra

-Koszul duality

**Wed Sept 27**

Martin Bendersky

Conner Floyed and Landweber Exactness

Martin Bendersky

Conner Floyed and Landweber Exactness

## Using MU* or MSO_* genera to a ring R induces a functor from CW complexes to R modules. Sometimes these are cohomology theories.

## In order to give a general criterion for the functor to be a cohomology theory (due to Peter Landweber) I will review some facts about formal group laws. I will give the first example of a genus inducing a cohomology theory due to Conner and Floyd - Here R = Z[u,u^{-1}] and the resulting cohomology theory is K-theory (actually Conner and Floyd's construction gave Z/2 graded K-theory. I will use the Landweber exact functor theorem to construct Z-graded K theory).

## There are various cohomology theories called Elliptic cohomology. The non-periodic theory (with coefficients in Z[1/2][delta, epsilon]) is constructed by the Baas-Sullivan method of killing cobordism classes by introducing singularities. Periodic Elliptic theory (where the discriminant, epsilon(delta^2-epsilon)^2 is inverted) is shown to be a cohomology theory using Landweber exactness.

## Then a quick introduction to K-theory. K^0(X) is the ring of virtual bundles over X. Bott periodicity extends this to a cohomology theory (K^{-n}(X), n \geq 0 is readily defined, Bott periodicity defines the functors for n <0). A brief description of stable cohomology operations (i.e. operations which commute with the suspension operator - which for K-theory is the Bott isomorphism) and unstable operations. Introduction to the Adams operations (which are not stable). An application to Hopf invariant 1 (e.g. division algebras, H-space spheres and parallelizable spheres are in low dimensions). A quick introduction to extending Adams operations to the p-adics.

**Wed Sept 20**

**No seminar duo to CUNY holiday schedule**

**Wed Sept 13**

**Martin Bendersky**

**Witten Genus and Elliptic Cohomology II**

## As an example, he will discuss how K-theory can be obtained from the complex cobordism theory using the Todd genus. I am attaching Conner and Floyd’s original work on this to this email. Martin will discuss how, in a similar fashion, one can construct the elliptic cohomology.

## If you missed the previous 2 lectures, you can read the writeup below for the past two weeks and come to the seminar with your questions and comments.

## We strive to make each lecture as self contained as possible so that everyone can participate.

**Wed Sept 6**

Martin Bendersky

**Witten Genus and Elliptic Cohomology I**

Martin Bendersky