Tid og sted: 17. okt. 2018 10:15 - 12:00, B1120 NHA

The genuine analog of an E_\infty-ring spectrum in algebraic geometry is the notion of a normed motivic spectrum, which carries multiplicative transfers along finite etale morphisms. The homological shadows of an E_\infty-ring structure are the Dyer-Lashof operations which acts on the homology an E_\infty-ring spectrum. We will construct analogs of these operations in motivic homotopy theory, state their basic properties and discuss some consequences such as splitting results for normed motivic spectra. The construction mixes two ingredients: the theory of motivic colimits and equivariant motivic homotopy theory. This is joint work with Tom Bachmann and Jeremiah Heller.  


Tid og sted: 11. okt. 2018 16:15 - 17:00, B 1119 NHA

Let C be a generalised based category (to be defined) and R a commutative ring with identity. In this talk, we construct a cohomology theory in the category B_R(C) of contravariant functors from C to the category of R-modules in an axiomatic way, This cohomology theory generalises simultaneously Bredon cohomology involving finite, profinite, and discrete groups. We also study higher K-theory of the categories of finitely generated projective objects and and finitely generated objects in B_R(C) and obtain some finiteness and other results.  

Tid og sted: 10. okt. 2018 10:15 - 12:00, B1120 NHA

This is a partial report on a joint work with G. Garkusha. The triangulated category of framed bispectra SH^fr_nis(k) is introduced. This triangulated category only uses Nisnevich local equivalences and has nothing to do with any kind of motivic equivalences. It is proved that SH^fr_nis(k) recovers the classical Morel-Voevodsky triangulated categories of bispectra SH(k), provided the base field k is infinite and perfect.

Tid og sted: 29. aug. 2018 10:15 - 12:00, 1120 N.H.A.

The Mahowald invariant is a method for constructing nontrivial classes in the stable homotopy groups of spheres from lower dimensional classes. I will introduce this construction and recall Mahowald and Ravenel's computation of the Mahowald invariant of 2^i for all i . I'll then introduce motivic and equivariant analogs of the Mahowald invariant, outline the computation of the generalized Mahowald invariants of 2^i and \eta^i for all i , and discuss the relationship between these generalized computations and exotic periodicity in the equivariant and motivic stable homotopy groups of spheres.

Tid og sted: 2. mai 2018 14:15 - 16:00, Gates of Eden, Sognsveien 77 B

In this second talk I will prove the local slice theorem and give examples of applications, discuss compactness properties of instanton moduli spaces, and explain the definition and some properties of instanton homology.

Tid og sted: 2. mai 2018 11:20 - 12:00, Desolation Row Sognsveien 77 B

In their book "Riemann-Roch Algebra", Fulton and Lang give an account of Chern classes in lambda-rings and a general version of Grothendieck's Riemann-Roch theorem. Their definition of Chern classes is based on the additive formal group law.  In work on connective K-theory, Greenlees and I have given an account of Chern classes in lambda-rings based on the multiplicative formal group law.  This account has an evident generalization to any formal group law.  The course will be an attempt to carry out Fulton and Lang's program in this more general setting.  Hoped for applications include generalizations of results relating rational lambda-modules to twisted Dirichlet characters. ---

Tid og sted: 2. mai 2018 10:15 - 11:05, Desolation Row Sognsveien 77 B
Tid og sted: 11. apr. 2018 14:15 - 16:00, Desolation Row, Sognsveien 77 B

Waldhausen's algebraic K-theory of spaces is an extension of algebraic K-theory from rings to spaces (or ring spectra) which also encodes important geometric information about manifolds. Bivariant A-theory is a bivariant extension of algebraic K-theory from spaces to fibrations of spaces. In this talk, I will first recall the definition and basic properties of bivariant A-theory and the A-theory Euler characteristic of Dwyer-Weiss-Williams. I will then introduce a bivariant version of the cobordism category and explain how this may be regarded as a universal space for the definition of additive characteristic classes of smooth bundles. Lastly, I will introduce a bivariant extension of the Dwyer-Weiss-Williams characteristic and discuss the Dwyer-Weiss-Williams smooth index theorem in this context. Time permitting, I will also discuss some ongoing related work on the cobordism category of h-cobordisms. This is joint work with W. Steimle.  

Tid og sted: 21. mars 2018 14:15 - 16:00, Desolation Row, Sognsveien 77 B

I will review Witt vectors, KÀhler forms and logarithmic rings, and outline how they merge in the logarithmic de Rham-Witt complex. This structure gives an algebraic underpinning for the Hesselholt-Madsen (2003) calculation of logarithmic topological cyclic homology of many discrete valuation rings.   

Tid og sted: 20. mars 2018 10:15 - 12:00, End of the Line, Sognsveien 77 B

This talk is supposed to be an Introductionary talk to the preprint arXiv:1409.4372v4 (joint work with G.Garkusha). More specifically, using the theory of framed correspondences developed by Voevodsky, the authors introduce and study framed motives of algebraic varieties. This study gives rise to a construction of the big frame motive functor. It is shown that this functor converts the classical Morel--Voevodsky motivic stable homotopy theory into an equivalent local theory of framed bispectra, and thus producing a new approach to stable motivic homotopy theory. As a topological application, it is proved that for the simplicial set Fr(Delta^\bullet_C, S^1) has the homotopy type of the space \Omega^{\infty} Sigma^{\infty} (S^1). Here C is the field complex numbers. 

Tid og sted: 8. mars 2018 10:15 - 14:00, Desolation Row Sognsveien 77 B

I discuss how Bökstedt and Madsen (1994/1995) calculate mod p homotopy for THH(Z) and the fixed-point spectra THH(Z)^{C_{p^n}}, together with the R- and F-operators. This leads to a calculation for TC(Z; p) and K(Z_p), confirming the Lichtenbaum-Quillen conjecture in this case. 

Tid og sted: 7. mars 2018 14:15 - 16:00, Desolation Row, Sognsveien 77 B

I will review Bökstedt, Hesselholt and Madsen's calculations of the topological cyclic homology of prime fields and the integers, again taking into account simplifications made in later papers. (If necessary, I will continue on Thursday.)   

Tid og sted: 7. mars 2018 10:15 - 12:00, Desolation Row, Sognsveien 77 B
Tid og sted: 6. mars 2018 10:15 - 12:00, End of the Line, Sognsveien 77B

Recently two different refinements of Voevodsky's theory of presheaves with transfers were introduced: the first one is the theory of framed presheaves based on the unpublished notes by Voevodsky and developed by Garkusha and Panin and the second one is the theory of Milnor-Witt presheaves due to Calmes and Fasel. I will review some relations between these theories and explain that the hearts of the homotopy t-structures on the corresponding categories of motives are naturally equivalent. The talk is based on a joint work with A. Neshitov. 

Tid og sted: 28. feb. 2018 14:15 - 16:00, Desolation Row Sognsveien 77B

In this third talk we will define Legendrian contact homology for Legendrian submanifolds in the 1-jet space of a smooth manifold M. Again, this will be the homology of a DGA generated by the double points of the Legendrian under the Lagrangian projection. The differential is defined by a count of punctured pseudo-holomorphic disks in the cotangent bundle of M, with boundary on the projected Legendrian. To prove that this indeed gives a differential we will use the theory of Fredholm operators from functional analysis. I will also say something about Floer theories in general. In particular, one of the main difficulties when defining Floer theories via pseudo-holomorphic curve techniques is to achieve transversality for the dbar-operator. There has been a development of several different machineries to solve these problems, for examle Polyfolds by Hofer et al., and Pardon's work on Virtual fundamental cycles. In our case, however, it is enough to perturb either the Legendrian submanifold or the almost complex structure.   

Tid og sted: 28. feb. 2018 10:15 - 12:00, Desolation Row Sognsveien 77B
Tid og sted: 21. feb. 2018 14:15 - 16:00, Desolation Row, Sognsveien 77B

I will review Marcel Bökstedt's calculation of the topological Hochschild homology of prime fields and the integers, taking into account simplifications made in papers by Angeltveit-R. (where BP<m-1> specializes to HFp for m=0 and to HZ(p) for m=1) and Ausoni (proof of Lemma 5.3).

Tid og sted: 21. feb. 2018 10:15 - 12:00, Desolation Row Sognsveien 77 B

Inspired by the Voevodsky machinery of standard triples a machinery of nice triples was invented in [PSV]. We develop further the latter machiny such that it works also in the finite field case [P]. This machinary is a tool to prove many interesting moving lemmas. It leads to a serios of applications. One of them is a proof of the Grothendieck--Serre conjecture in the finite field case. Another is a proof of Gersten type results for arbitrary cohomology theories on algebraic varieties. The Gersen type results allows to conclude the following: a presheaf of S1-spectra E on the category of k-smooth schemes is A1-local iff all its Nisnevich sheaves of stable A1-homotopy groups are strictly homotopy invariant. If the field k is infinite, then the latter result is due to Morel [M]. An example of moving lemma is this. Let X be a k-smooth quasi-projective irreducible k-variety, Z be its closed subset and x be a finite subset of closed points in X. Then there exists a Zariski open U containing x and a naive A1-homotopy between the motivic space morphism U--> X--> X/U and the morphism U--> X/U sending U to the distinguished point of X/U. Application: suppose E is a cohomology theory on k-smooth varieties and alpha is an E-cohomology class on X which vanishes on the complement of Z, then it vanishes on U from the lemma above.   

Tid og sted: 14. feb. 2018 14:15 - 16:00, Desolation Row Sognsveien 77B

In this second talk, I will define Chekanov's version of Legendrian contact homology (LCH) for Legendrian knots in R3. I will begin with an example, showing that LCH is more sensitive than the classical invariants. This will use a linearized version of the homology. In the second part of the talk I will focus on the proof that the differential indeed squares to zero, and also say something about invariance under Legendrian Reidemeister moves. This is intended to be a smooth introduction to the next talk, where we will consider Legendrian contact homology defined for Legendrians in arbitrary 1-jet spaces. This case is more delicate, and we have to understand the concept of Gromov compactness for pseudo-holomorphic curves to prove that we get a differential graded algebra associated to each Legendrian, whose homology will give a Legendrian invariant.

Tid og sted: 14. feb. 2018 10:15 - 12:00, Desolation Row Sognsveien 77B

Let G be a finite (abstract) group and let k be a field of characteristic zero. We prove that for a non-singular projective G-variety X over k, and a non-singular G-invariant subvariety Y of dimension >= 3, which is a scheme-theoretic complete intersection in X, the pullback map PicG(X) -> PicG(Y) is an isomorphism. This is an equivariant analog of the Grothendieck-Lefschetz theorem for Picard groups.   

Tid og sted: 7. feb. 2018 14:15 - 16:00, Desolation Row Sognsveien 77B

A Cartan-Eilenberg system is an algebraic structure introduced as a model of the diagram obtained by taking the homology of all subquotients in a filtered chain complex. There are two exact couples and a single spectral sequence associated with such a system, and one may thus apply Boardman's theory of convergence to either exact couple. After reviewing parts of this theory, I will clarify the convergence situation in a Cartan-Eilenberg system and in particular present new work on a simpler interpretation of Boardman's whole plane obstruction group.   

Tid og sted: 31. jan. 2018 14:15 - 16:00, Desolation Row, Sognsveien 77 B

I will give a series of talks about Legendrian contact homology, an invariant of Legendrian submanifolds in 1-jet spaces, defined by a count of pseudo-holomorphic curves. In this first lecture I will give a brief and gentle introduction to symplectic and contact geometry, with focus on Lagrangian and Legendrian submanifolds. No previous knowledge about the subject is needed, except for elementary knowledge about differentiable manifolds.   

Tid og sted: 22. nov. 2017 14:15 - 16:00, Desolation Row, Sognsveien 77 B

I will discuss the differential structure in the mod 2 Adams spectral sequence for tmf, leading to its E_\infty-term.  These calculations were known to Hopkins-Mahowald; in their current guise they are part of joint work with Bruner.

Tid og sted: 15. nov. 2017 14:30 - 16:00, Desolation Row, Sognveien 77 B

I will report on work in progress on calculations of the motivic homotopy groups of MGL (the algebraic cobordism spectrum) over number fields. It is known that pi_{2n,n}(MGL) is the Lazard ring, and pi_{-n,-n}(MGL) is Milnor K-theory of the base field. We will calculate all of pi_{*,*}(MGL) with the slice spectral sequence (motivic Atiyah-Hirzebruch spectral sequence) over a number field. I will give a brief review of the the tools and sketch the main parts of the calculation: The input from motivic cohomology, the use of C_2-equivariant Betti realization and comparison with Hill-Hopkins-Ravenel to determine the differentials, and settle most of the hidden extensions. 

Tid og sted: 8. nov. 2017 15:00 - 16:00, Hurricane, Sognsveien 77 b

I will discuss the algebra structure of the E_2-term of the mod 2 Adams spectral sequence for tmf, given by the cohomology Ext_{A(2)}(F_2, F_2) of A(2).  We (Bruner & Rognes) use Groebner bases to verify the presentation given by Iwai and Shimada, with 13 generators and 54 relations. Thereafter I will discuss the relationship between differentials and Steenrod operations in the Adams spectral sequence for E_\infty ring spectra.