国際研究集会 Motives in Tokyo, 2023
講演者
Tomoyuki Abe (IPMU)
Toni Annala （IAS)
Aravind Asok (University of Southern California)
Federico Binda (Milano)
Christian Haesemeyer (Melbourne)
Isamu Iwanari (Tohoku)
Ryomei Iwasa (CNRS, Orsay)
Junnosuke Koizumi (Tokyo)
Achim Krause (Muenster)
Matthew Morrow (CNRS, Orsay)
Thomas Nikolaus (Muenster)
Jinhyun Park (KAIST)
Piotr Pstragowski (IAS)
Kay Ruelling (Wuppertal)
Vladimir Sosnilo (Regensburg)
Tomohide Terasoma (Hosei)
Maria Yakerson (Jussieu)
この研究集会は以下の援助のもとに開催されます
日本学術振興会科学研究費(基盤B) #20H01791 代表者 斎藤秀司,
日本学術振興会科学研究費(基盤C) #18K03258 代表者 ガイサ・トーマス.
日本学術振興会科学研究費(若手研究) #19K14498 代表者 ケリー・シェーン.
日本学術振興会科学研究費(若手研究) #21K13783 代表者 宮崎弘安.
プログラム
13(Mon)/Feb:
10:00-11:00 , Ryomei Iwasa: P-homotopy invariance and algebraic cobordism.
11:30-12:30 , Isamu Iwanari: Variations of Hodge structures of stable categories
14:00-15:00 , Kay Ruelling: Hodge-Witt cohomology with modulus and duality
15:30-16:30 , Tomohide Terasoma: Depth filtration of multiple zeta value and mixed elliptic motives
14(Tue)/Feb:
10:00-11:00 , Aravind Asok: On P^1-stabilization in motivic homotopy theory
11:30-12:30 , Vladimir Sosnilo: Weighted A^1-invariance and the Atiyah-Segal completion theorem
14:00-15:00 , Matthew Morrow: Motivic cohomology of equicharacteristic schemes
15:30-16:30 , Thomas Nikolaus: (Generalized) Prismatic cohomology and the motivic filtration
15(Wed)/Feb:
10:00-11:00 , Tomoyuki Abe: Functoriality of characteristic cycles
11:30-12:30 , Junnosuke Koizumi: A motivic construction of the de Rham-Witt complex
Afternoon: Excursion
16(Thu)/Feb:
10:00-11:00 , Pjotr Pstragowski: Motives and chromatic homotopy theory
11:30-12:30 , Maria Yakerson: Universality of algebraic K-theory
14:00-15:00 , Federico Binda: Motivic monodromy and p-adic cohomology theories
15:30-16:30 , Achim Krause: On the K-theory of Z/p^n
17(Fri)/Feb:
9:30-10:30 , Toni Annala: Derived algebraic cobordism
10:45-11:45 , Jinhyun Park: A cycle model for motivic cohomology of fat points via formal / rigid geometry
12:00-13:00 , Christian Haesemeyer: Local t-structures and reconstruction
Abstract
Abe :
The characteristic cycle of l-adic sheaf was introduced by T. Saito after the construction of the singular support by Beilinson. We wish to show the functoriality of the characteristic cycle (up to p-torsion), which was conjectured by Saito. In the proof, six functor formalism of motives a la Ayoub plays an essential role. In the talk, I plan to focus on how motivic formalism is used.
Annala :
In my thesis, I constructed a cohomology theory of schemes called algebraic cobordism Ω^*, extending the similarly named theory of Levine-Morel from smooth varieties in characteristic 0 to all finite-Krull-dimensional Notherian schemes admitting an ample line bundle. This is a non-A^1-invariant cohomology theory that is closely related to the (higher) algebraic cobordism MGL that is constructed in an upcoming work with Marc Hoyois and Ryomei Iwasa. In particular, we expect that Ω^n(X) = MGL^{2n,n}(X) whenever both sides are well defined. I will discuss results about Ω^* related to this comparison, and explain why obtaining the desired isomorphism, or an interesting weakening of it, seems hopeless unless someone has a smart idea, or alternatively someone proves resolution of singularities in positive characteristic.
Asok :
I will discuss recent progress on the analysis of P^1-stabilization in motivic homotopy theory over a field based on joint work with Tom Bachmann and Mike Hopkins. After discussion of an analog of the Freudenthal suspension theorem for P^1-stabilization, I will discuss some new results about ``metastable" homotopy for punctured affine spaces.
Binda :
In this talk, we will discuss some recent advances in the theory of motives in the context of log geometry and rigid analytic geometry. Building on work of Ayoub, Bondarko, we offer a new definition of the Hyodo-Kato cohomology, purely defined on the generic fiber, without making any reference to log schemes or the log-de Rham Witt complex. As a consequence, we can construct Clemens-Schmidt-style complexes in the mixed characteristic setting, confirming an expectation of Flach and Morin. This is a joint work in progress with Alberto Vezzani and Martin Gallauer.
Haesemeyer :
The notion of a local t-structure (or sheaf of t-structures) on derived categories of varieties was introduced by Abramovich and Polishchuk. In this talk, I will discuss joint work with David Gepner on the general notion of a sheaf of t-categories, and how one can use their classification (recently obtained by G. Sahoo and U. Dubey generalising Alonso Tarrio et al) in the case of the Zariski site of a scheme to give a new proof of Bondal and Orlov's theorem regarding Fourier - Mukai transforms between varieties with (anti-)ample canonical bundle; the proof is similar in spirit to that in recent work of H. Matsui.
Iwanari :
A family of algebraic varieties gives rise to a variation of Hodge structure. The subject of my talk is about its categorical generalization: we consider a family of stable infinity-categories (or the likes such as pretriangulated dg categories up to Morita equivalences). I would like to introduce two methods of constructions of Hodge theoretic objects realized as the periodic cyclic complex with a D-module structure and a filtration. Two approaches are interrelated to each another and have their own advantages. They are not analogous to procedures in the commutative case. They involve factorization homology (topological chiral homology), mapping stacks, Hochschild pairs and their moduli-theoretic interpretation, Koszul duality theorems, and the relation between deformation theory and dg Lie algebras, etc. I will discuss the circle of ideas/motivations related to results.
Iwasa :
This is joint work with Toni Annala and Marc Hoyois. P-homotopy invariance in a category C of algebro-geometric origin refers to the following phenomenon: given any global sections of an algebraic vector bundle E on a scheme/stack X, the induced maps X\to P_X(E\oplus O) are homotopic to each other in C. I will explain that P-homotopy invariance follows from tensor-invertibility of the pointed projective line P^1 and elementary blowup excision. This allows us to do homotopy theory in algebraic geometry while keeping the affine line A^1 non-contractible, and we motivically prove, for example, Bass fundamental theorem, weighted A^1-homotopy invariance, and equivalence Grass_n=BGL_n. Then I’ll explain applications to algebraic cobordism. One of our main results is a Conner-Floyd isomorphism for algebraic K-theory of any qcqs derived scheme.
Koizumi :
We introduce the notion of Q-modulus pair over a noetherian scheme, which generalizes the notion of modulus pair over a field introduced by Kahn-Miyazaki-Saito-Yamazaki. We prove that the de Rham-Witt complex of Hesselholt-Madsen can be written as the p-typical part of the Suslin homology of a certain Q-modulus pair, whenever there is a suitable transfers on the de Rham-Witt complex. This is a joint work with Hiroyasu Miyazaki.
Krause :
In recent work with Antieau and Nikolaus, we develop methods to compute algebraic K-theory of rings such as Z/p^n, based on trace methods and prismatic cohomology. Our methods lead to a practical algorithm, which we use to study these K-groups. The most striking pattern we discover is that these K-groups vanish in sufficiently large even degrees, which we are able to prove. In this talk, I want to explain the ingredients behind these results.
Morrow :
Joint work with Elden Elmanto. I will present an extension of motivic cohomology from smooth varieties to arbitrary varieties, even to all qcqs equicharacteristic schemes. It is necessarily non-A^1-invariant, as it is equipped with an Atiyah-Hirzebruch spectral sequence converging to the K-theory of the scheme, not the KH-theory. It continues to satisfy various properties akin to classical motivic cohomology, such as the projective bundle formula, some Beilinson-Lichtenbaum type formulae, and the degree 2d, weight d motivic cohomology is related to zero cycles on singular varieties. But there are also new phenomena; for example, it has a vanishing range which refines Weibel’s vanishing conjecture and it satisfies pro-cdh descent.
Nikolaus :
We will explain how the motivic filtration on topoloical periodic homology (due to Bhatt-Morrow-Scholze and recenetly drastically generalized by Hahn-Raksit-Wilson) is constructed. The associated graded is given by prismatic cohomology. The main goal of the talk is to explain prismatic cohomology without assuming any preknowledge. Then we discuss a recent generalization, which is joint with Antieau and Krause. This generalization is one of the keys for the computation of K(Z/p^n) that will be explained in Achim Krause's talk.
Park :
I sketch a potential new cycle model for the motivic cohomology of fat points using formal geometry. To suggest that this direction has a good potential, I present an example of an Artin local scheme for which one has a concrete calculation. This example suggests a few new insights that some methods from convergent formal power series as in formal / rigid geometry may be useful in understanding the motivic cohomology of schemes with singularities.
Pstragowski :
Chromatic homotopy theory is the study of the intricate relationship between algebraic topology and the arithmetic of formal groups. In the past couple of years, the field made major advances following the discovery of the surprising connection to the theory of motives and the deformation-theoretic picture suggested by algebraic geometry. I will talk about these recent developments and how they connect to the motivic filtrations of Bhatt-Morrow-Scholze.
Sosnilo:
The A^1-invariance property does not hold in many cases when one wishes to use the methods of motivic homotopy theory. For instance, it generally fails for algebraic K-theory and topological cyclic homology. Weighted A^1-invariance is a weakening of A^1-invariance which holds in a broader setting and, in particular, in the two cases mentioned. We will discuss some consequences of this property and use it to prove a version of the Atiyah-Segal completion theorem for topological cyclic homology.
Terasoma :
The depth of multiple zeta values define a filtration on the space Z of multiple zeta values which is called the depth filtration. Broadhurst and Kreimer proposed a conjecture on the dimension of this filtration. In this talk we will discuss the relation between mixed elliptic motives and depth filtration on Z.