Monday-Sept. 30 | Tuesday-Oct. 1 | Wednesday-Oct. 2 | |
---|---|---|---|

9:00-9:30 | Registration/Coffee | Coffee | Coffee |

9:30 - 10:30 | Lehalleur | Wendt | Sechin |

10:30-11:00 | Coffee | Coffee | Coffee |

11:00 - 12:00 | Yakerson | Dotto | Xu |

12:00-14:00 | Lunch | Lunch | Lunch |

14:00 - 15:00 | Drew | Ozornova | Jin |

15:00-16:00 | Coffee | Coffee | Coffee |

16:00 - 17:00 | D’Addezio | Wang | Bachman |

19:00 | Conference Dinner |

For a suitable algebraic group G acting on a scheme S, various authors have defined the motivic stable homotopy theory of smooth S-schemes with a G-action. While this category has excellent formal properties, the construction is very involved. In this talk I will explain that if G is finite, the construction can be simplified: one can just work with the category obtained from motivic G-spaces with finite étale transfers (over S) by inverting the *trivial* motivic representation sphere. This is essentially a corollary of the motivic tom Dieck splitting theorem, established recently by David Gepner and Jeremiah Heller.

I will report on a joint work with Emiliano Ambrosi. Let k be a field which is finitely generated over the algebraic closure of a finite field. As a consequence of the theorem of Lang-Néron, for every abelian variety over k which does not admit any isotrivial abelian subvariety the group of k-rational torsion points is finite. We showed that the same is true for the group of torsion points defined on a perfect closure of k. This gives a positive answer to a question posed by Hélène Esnault in 2011. To prove the theorem we translated the problem into another one on morphisms of F-isocrystals. During the talk, I will explain some ideas of our proof.

We will introduce the Witt vectors of a ring with coefficients in a bimodule and use them to calculate the components of the Hill-Hopkins-Ravenel norm for cyclic p-groups. This algebraic construction generalizes Hesselholt's Witt vectors for non-commutative rings and Kaledin's polynomial Witt vectors over perfect fields. We will discuss applications to the characteristic polynomial over non-commutative rings and to the Dieudonné determinant. This is all joint work with Krause, Nikolaus and Patchkoria.

The stable motivic homotopy category $\mathrm{SH}(S)$ over a scheme $S$ is characterized by an $\infty$-categorical universal property: each homology theory defined on the category of smooth $S$-schemes satisfying analogues of the Eilenberg-Steenrod axioms factors essentially uniquely through $\mathrm{SH}(S)$. Ayoub has equipped the categories $\mathrm{SH}(S)$ with a six-functor formalism, i.e., pullback, pushforward, and tensor operations satisfying the same formal properties as derived categories of $\ell$-adic sheaves. In this talk, we will promote the universal property of $\mathrm{SH}(S)$ to a universal property of the associated six-functor formalism: each six-functor formalism $S \mapsto \mathrm{D}(S)$ satisfying a reasonable list of axioms admits an essentially unique family of realization functors $\mathrm{SH}(S) \to \mathrm{D}(S)$ compatible with the six functors. As an application, we will discuss the construction of motivic realization functors with values in arithmetic D-modules. This is joint work with Martin Gallauer.

We prove several Künneth formulas in motivic homotopy theory, and use them to define the characteristic class of a motive, an invariant closely related to the Euler characteristic. For cdh motives, this class lives in the Chow group of 0-cycles. We show its additivity along distinguished triangles, and deduce that the characteristic class for cdh motives is characterized by some elementary operations. If time permits, we also discuss the relative characteristic class. This is a joint work with E. Yang.

Grothendieck and Quillen introduced a notion of homotopy equivalences for categories using a by-now-standard tool called "nerve" of a category. This idea leads to various models of categories-up-to-homotopy. In a joint ongoing projects with Julie Bergner and Martina Rovelli, we study variants of the Roberts-Street-nerve for 2-categories and notions of homotopy equivalences arising from this nerve, with an eye towards 2-categories-up-to-homotopy.

Moduli spaces of stable Higgs bundles on curves are central objects of study in non-abelian Hodge theory, geometric representation theory and mathematical physics, and their cohomology has been intensely studied. We consider the motives with rational coefficients of these moduli spaces, and prove that they are Chow motives which lie in the tensor subcategory generated by the motive of the curve, and hence in particular of abelian type. Although this is a statement about motives of smooth varieties, the proof relies crucially on the study of motives of various moduli stacks. This is joint work with Victoria Hoskins (Freie Universität Berlin).

For a fixed prime $p$ algebraic Morava K-theories $K(n)$ (where $n\ge 1$) are oriented cohomology theories which play an intermediate role between the Grothendieck K-theory and Chow groups with $p$-local coefficients. I will show that if the (pure) $K(n)$-motive of a smooth projective variety is a sum of Tate motives, then the same is true for the $K(m)$-motive, for $m < n$. As for particular examples, the obstructions for the splitting of the $K(n)$-motive of a quadric are known: they are precisely the cohomological invariants lying in degrees no greater than $n+1$. This allows to obtain bounds on the torsion of Chow groups of these quadrics in low codimensions. I will also explain how the gamma filtration on Morava K-theories and Chern classes from them can be useful for such computations.

For complete intersection rings over p-adic intergers, we use the relative THH to construct resolutions of topological cyclic homology and its periodic analogue. The resulting spectral sequences are believed to be isomorphic with the BMS spectral sequence, whose $E_2$ terms are the motivic cohomolpgy and prismatic cohomology respectively. We show that the $E_2$ terms are the Ext groups of a Hopt algebroid, with explicit formulae for the structure maps. As an example, we will give concrete descriptions of the computations in the case of local fields and compare them with known results on their TC and Galois cohomlogies.

In recent work, Asok and Fasel have applied motivic homotopy methods to make significant progress on the very classical question when a vector bundle over a smooth affine scheme splits off a trivial line bundle. The goal of the talk is to show that the same methods can also be applied to similar questions for quadratic forms. On the one hand, it is actually possible to get a full isometry classification of generically split quadratic forms over smooth affine schemes of dimension at most 3. On the other hand, the computation of the first non-vanishing homotopy sheaf of the orthogonal Stiefel varieties gives rise to Euler classes controlling when generically split quadratic forms split off hyperbolic planes. For the talk, I'll formulate some of the general results that can be obtained and try to illustrate some of the phenomena with low-dimensional examples.

I will discuss joint work with Bogdan Gheorghe and Guozhen Wang on the equivalence of stable infinity categories, between the motivic cellular $S\tau$-modules over the complex numbers and the derived category of $BP_*BP$-comodules. As a consequence, the motivic Adams spectral sequence for $S\tau$ is isomorphic to the algebraic Novikov spectral sequence for the sphere. In joint work with Dan Isaksen and Guozhen Wang, we use this isomorphism of spectral sequences to compute classical stable stems at least to the 90-stem, with ongoing computations into even higher dimensions. If time permits, I will also discuss some connections to the New Doomsday Conjecture and the Kervaire invariant problem.

When k is a field with resolution of singularities, it is known that Voevodsky’s category of motives DM(k) is equivalent to the category of modules over the motivic cohomology spectrum HZ. This means that a structure of an HZ-module on a motivic spectrum is equivalent to a structure of transfers in the sense of Voevodsky. In this talk, we will discuss an analogous result for modules over the algebraic cobordism spectrum MGL. Concretely, a structure of an MGL-module is equivalent to a structure of coherent transfers along finite syntomic maps, over arbitrary base scheme. Time permitting, we will see a generalization of this result to modules over other motivic Thom spectra, such as the algebraic special linear cobordism spectrum MSL. This is joint work with Elden Elmanto, Marc Hoyois, Adeel Khan and Vladimir Sosnilo.