
SCIENTIFIC PROGRAMS AND ACTIVITIES 

February 27, 2017  
Seminar SeriesJanuary  June 2007

Thur., May
31 2:00 pm J. Stewart Library **Note date&time change 
Boris
Chorny (Australian National Univ., AU) Brown representability for spacevalued functors In this talk we will discuss two theorems which resemble the classical cohomological and homological Brown representability theorems. The main difference is that our results classify small contravariant functors from spaces to spaces up to weak equivalence of functors. In more detail, we will show that every small contravariant functor from spaces to spaces converting coproducts to products, up to homotopy, and taking homotopy pushouts to homotopy pullbacks is naturally weekly equivalent to a representable functor. This theorem may be considered as a contravariant analog of Goodwillie's classification of linear functors, see his [Calculus II, III] papers. The interpretation of the current result in terms of Homotopy Calculus is still a challenge. Homological representability theorem states: every contravariant continuous functor from the category of finite simplicial sets to simplicial sets is equivalent to a restriction of a representable functor. This theorem is essentially equivalent to Goodwillie's classification of linear functors. 
Wed.,
May 2 1:30 pm J. Stewart Library 
Georg
Biedermann Lstable functors We generalize and greatly simplify the approach of Lydakis and DundasR\"ondigs{\O}stv{\ae}r to construct an Lstable model structure for small functors from a closed symmetric monoidal model category V to a Vmodel category M, where L is a small cofibrant object of V. For the special case V=M=S_* pointed simplicial sets and L=S^1 this is the classical case of linear functors and has been described as the first stage of the Goodwillie tower of a homotopy functor. We show, that our various model structures are compatible with a closed symmetric monoidal product on small functors. We compare them with other Lstabilizations described by Hovey, Jardine and others. This gives a particularly easy construction of the classical and the motivic stable homotopy category with the correct smash product. We establish the monoid axiom under certain conditions. 
Wed.,
Apr. 25 1:30 pm J. Stewart Library 
TBA 
Wed.,
Apr. 18 1:30 pm J. Stewart Library 
Mircea
Voineagu On the Lawson Homology of projective hypersurfaces 
Wed.,
Apr. 4 1:30 pm J. Stewart Library 
Markus
Severitt Motivic homotopy types of projective curves The talk deals with the classification of smooth projective curves, abelian varieties and SeveriBrauer varieties over a field k up to isomorphism in the motivic homotopy category H(k). For this we need the motivic homotopy invariance of the genus of a curve and the motivic homotopical behaviour of A^1rigid schemes. Furthermore Nikita A. Karpenko classified SeveriBrauer varieties up to motivic equivalence as Chow motives. To use this, we have to make a connection between motivic homotopy theory and Chow motives. 
**Due to the
intensity of the program in March, no talks are scheduled for this month** 

Wed.,
Feb. 28 1:30 pm J. Stewart Library 
Jeremiah
Heller (Univ. of Western Ontario, CA) Semitopological cohomologies for varieties Motivated by FriedlanderWalker's construction of semitopological Ktheory and FriedlanderLawson's morphic cohomology, we construct and study an (oriented) cohomology theory defined on smooth complex varieties, called "semitopological cobordism". The construction combines the semitopological construction of FriedlanderWalker and motivic stable homotopy theory. One of its features is that with finite coefficients semitopological cobordism agrees with Voevodsky's algebraic cobordism, on the other hand for certain nice classes of varieties (e.g. smooth cellular varieties) the semitopological cobordism of X agrees integrally with the topological cobordism of X. 
Tues.,
Feb. 27 10:00 am J. Stewart Library 
Aristide
Tsemo (Ryerson University, CA) Geometric representation of cohomological classes Let C be a site, L a sheaf defined on C, elements of H^0(C,L), H^1(C,L), and H^2(C,L) classify or are geometric representations of respectively, sections, torsors, and gerbes defined on C bounded by L. This geometric objects are used in differential geometry where torsors or differential bundles, allow to study topological and differential properties of manifolds, in algebraic geometry, gerbes or stacks are fundamental objects in the study of moduli spaces. In theoretical physics the action which describe the evolution of a string is a function of the holonomy of a gerbes. Representations of higher classes are motivated by many examples as to find a geometric description of the action which describe the evolution of a brane in physics. The purpose of this talk is to describe how we can use a sequence of fibered categories to define geometric representations of cohomological classes. 
Wed,
Feb. 21 1:30 pm J. Stewart Library 
Oliver
Roendigs (Univ. of Bielefeld, DE) A model category version of Goodwillie's calculus of functors This is joint work with Georg Biedermann and Boris Chorny. We construct a tower of model structures on the category of functors from spaces to spaces (or spectra). The nth stage models nexcisive homotopy functors. If the functors take values in spectra, we are able to take the fibre model structure at the nth stage, which we show to be Quillen equivalent to the category of spectra with an action of the symmetric group on n letters. 
Tues.,
Feb. 20 10:00 am J. Stewart Library 
Thomas
Fiore (Univ. of Chicago, US) Double Categories and Pseudo Algebras In this talk I will recall Ehresmann's notion of double category, examine several examples, and sketch a 2equivalence between double categories with folding and certain pseudo algebras. This equivalence can be viewed as a generalization of some results of R. Brown and collaborators. These double structures arise naturally when one categorifies the notion of category to the notion of pseudo algebra over the 2theory of categories as in the context of conformal field theory. 
Wed,
Feb. 14 1:30 pm J. Stewart Library 
Bruce Bartlett (Univ. Sheffield,
UK) 
Wednesday,
Feb. 7 1:30 pm room 230 
Mathieu
Anel (Univ. Western Ontario) Classifying space vs classifying stack ! Given a topological group G, the purpose of the talk will to compare the classifying space of G with the classifying stack of Gtorsors. 
Wednesday,
Jan. 31 1:30 pm room 230 
Georg
Biedermann (Univ. Western Ontario) On the homotopy theory of ntypes Extending the Quillen equivalence between simplicial sets and groupoids enriched in simplicial sets by Dwyer and Kan I achieve a classification of ntypes of simplicial presheaves in terms of (n1)types of presheaves of groupoids enriched in simplicial sets. This can be viewed as a different description of the homotopy theory of higher stacks. As a special case we obtain a good substitute for the homotopy theory of (weak) higher groupoids. 
Organizer: Eric Friedlander (Northwestern)
Wednesdays 3:304:30 pm, April 4  25, 2007 held at the Fields Institute
Wednesday,
Apr. 25 3:30 pm J. Stewart Library 
TBA 
Wednesday,
Apr. 18 3:30 pm J. Stewart Library 
TBA 
Wednesday,
Apr. 11 3:30 pm J. Stewart Library 
Paul Arne Ostvaer Rigidity in motivic homotopy theory 
Wednesday,
Apr. 4 3:30 pm J. Stewart Library 
Jens Hornbostel Rigid theorems (a survey) 
Graduate Homotopy
Workshop
This is a "workshop" by graduate students for graduate
students. The speakers are all members of the Homotopy Program,
but everybody is invited to the talks.
May 3, 2007: 10:00 A.M.  5:00 P.M.
Fields Library
10:0011:00  Oriol Raventos Stabilization of model categories We discuss briefly two constructions of the stabilization of a model category. After that we give some applications in classical homotopy, motivic homotopy and brave new algebra. 
11:0011:15  Coffee 
11:1512:15  Alexander Berglund A glimpse of rational homotopy theory I will talk about the rational homotopy theory of Quillen and Sullivan. There is a Quillen adjunction between simplicial sets and commutative dg (=differential graded) algebras over the rationals that induces an equivalence between full subcategories of the respective homotopy categories whose objects are, on one side, simply connected rational spaces and, on the other, minimal dgalgebras. Roughly speaking, this means that the homotopy theory of rational spaces is reduced to differential homological algebra. 
12:152:00  Lunch 
2:003:00  Markus Severitt Motives The aim of the talk is to introduce classical Chow motives as well as Voevodsky's triangulated category of (effective) motives and how these are related to each other. Furthermore the representability of motivic cohomology will be discussed. 
3:003:30  Coffee 
3:304:30 
Haakon S. Bergsaker 