-
Notifications
You must be signed in to change notification settings - Fork 2
Expand file tree
/
Copy path2020-schedule.html
More file actions
136 lines (113 loc) · 9.32 KB
/
2020-schedule.html
File metadata and controls
136 lines (113 loc) · 9.32 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
---
layout: 2020-layout
permalink: /2020/schedule.html
---
<h2>Schedule</h2>
<p>Below you can find the schedule for the joint activities and talks by the postdocs.
<p>All times are in <strong>Eastern Time</strong>.
<h3>Monday, August 3</h3>
<dl class="schedule">
<dt>12:00–13:00
<dd>introduction
<dt>15:30–16:00
<dd class="title"><a href="#elmanto">On "completely decomposed" Grothendieck topologies and applications</a>
<dd class="speaker"><span class="name">Elden Elmanto</span>
<dt>16:00–16:30
<dd class="title"><a href="#thatte">Upper ramification groups for arbitrary valuation rings</a>
<dd class="speaker"><span class="name">Vaidehee Thatte</span>
</dl>
<h3>Tuesday, August 4</h3>
<dl class="schedule">
<dt>12:00–12:30
<dd class="title"><a href="#dobben">Constructing varieties with prescribed Hodge numbers modulo \(m\) in characteristic \(p\)</a>
<dd class="speaker"><span class="name">Remy van Dobben de Bruyn</span>
<dt>12:30–13:00
<dd class="title"><a href="#bragg">Derived invariants of varieties in positive characteristic</a>
<dd class="speaker"><span class="name">Daniel Bragg</span>
</dl>
<h3>Wednesday, August 5</h3>
<dl class="schedule">
<dt>12:00–12:30
<dd class="title"><a href="#webb">The moduli of maps to an algebraic stack has a canonical obstruction theory</a>
<dd class="speaker"><span class="name">Rachel Webb</span>
<dt>12:30–13:00
<dd class="title"><a href="#li">Period sheaves via derived de Rham cohomology</a>
<dd class="speaker"><span class="name">Shizhang Li</span>
<dt>15:30–?
<dd>[<i>optional</i>] treasure hunt in the Stacks Project
</dl>
<h3>Thursday, August 6</h3>
<dl class="schedule">
<dt>12:00–12:30
<dd class="title"><a href="#bejleri">Stable pairs with a twist</a>
<dd class="speaker"><span class="name">Dori Bejleri</span>
<dt>12:30–13:00
<dd class="title"><a href="#witaszek">Keel's theorem and quotients in mixed characteristic</a>
<dd class="speaker"><span class="name">Jakub Witaszek</span>
<dt>15:30–?
<dd>[<i>optional</i>] reference and bug hunt
</dl>
<h3>Friday, August 7</h3>
<dl class="schedule">
<dt>15:00–16:30
<dd>group reports
</dl>
<iframe src="https://calendar.google.com/calendar/b/1/embed?height=600&wkst=2&bgcolor=%23ffffff&ctz=America%2FDetroit&src=c3RhY2tzcHJvamVjdHdvcmtzaG9wQGdtYWlsLmNvbQ&color=%23039BE5&mode=WEEK&dates=20200803/20200809" style="border:solid 1px #777" width="800" height="600" frameborder="0" scrolling="no"></iframe>
<h2>Abstracts</h2>
<section id="bejleri">
<h3 class="title">Stable pairs with a twist</h3>
<p class="speaker"><span class="name">Dori Bejleri</span> (<span class="affiliation">Harvard University</span>)
<blockquote>
The notion of a stable log variety or stable pair \( (X,D) \) is the higher dimensional analogue of a stable pointed curve. The existence of a proper moduli space of stable pairs in any dimension has been established thanks to the last several decades of advancements in the minimal model program. However, the notion of a family of stable pairs remains quite subtle, and in particular a deformation-obstruction theory for this moduli problem is not known. Building on the work of Abramovich-Hassett, I will describe an approach to this question using a certain Deligne-Mumford stack canonically associated to the stable pair \( (X,D) \) and mention some applications of this approach. This is joint work with G. Inchiostro.
</blockquote>
</section>
<section id="bragg">
<h3 class="title">Derived invariants of varieties in positive characteristic</h3>
<p class="speaker"><span class="name">Daniel Bragg</span> (<span class="affiliation">University of Californa, Berkeley</span>)
<blockquote>
A fundamental derived invariant associated to a smooth projective variety is its Hochschild homology. In positive characteristic, topological Hochschild homology gives another canonical derived invariant. We will explain how to compute with this object in practice by relating it to crystalline and de Rham-Witt cohomology. As a consequence, we obtain some new restrictions on the Hodge numbers of derived equivalent varieties in positive characteristic. We will also present an example of two derived equivalent 3-folds in characteristic 3 with different Hodge numbers. This is joint work with Benjamin Antieau and Nick Addington.
</blockquote>
</section>
<section id="dobben">
<h3 class="title">Constructing varieties with prescribed Hodge numbers modulo \( m \) in characteristic \( p \)</h3>
<p class="speaker"><span class="name">Remy van Dobben de Bruyn</span> (<span class="affiliation">Princeton University</span>)
<blockquote>
The inverse Hodge problem asks which possible Hodge diamonds can occur for smooth projective varieties. While this is a very hard problem in general, Paulsen and Schreieder recently showed that in characteristic 0 there are no restrictions on the modulo \( m \) Hodge numbers, besides the usual symmetries. In joint work with Matthias Paulsen, we extend this to positive characteristic, where some new phenomena occur.
</blockquote>
</section>
<section id="elmanto">
<h3 class="title">On "completely decomposed" Grothendieck topologies and applications</h3>
<p class="speaker"><span class="name">Elden Elmanto</span> (<span class="affiliation">Harvard University</span>)
<blockquote>
At the time of writing, the Stacks project does not have a tag on "completely decomposed" topologies (like Nisnevich or cdh) in the sense of Voevodsky (though alluded in <a href="https://stacks.math.columbia.edu/tag/08GL">Tag 08GL</a>). I will explain why I like them and introduce the cdarc topology which is a "completely decomposed" counterpart to Bhatt and Mathew's arc topology. This is based on joint work with Hoyois, Iwasa and Kelly.
</blockquote>
</section>
<section id="li">
<h3 class="title">Period sheaves via derived de Rham cohomology</h3>
<p class="speaker"><span class="name">Shizhang Li</span> (<span class="affiliation">University of Michigan</span>)
<blockquote>
Fontaine's mysterious rings of periods have been understood via constructions related to differential (Colmez) and derived de Rham complex (Bhatt, Beilinson). Following this theme, we explain how to understand Scholze's period sheaf OBdR+ (which is one key ingredient in his proof of the de Rham comparison) in terms of the derived de Rham complex. This is a joint work with Haoyang Guo.
</blockquote>
</section>
<section id="thatte">
<h3 class="title">Upper ramification groups for arbitrary valuation rings</h3>
<p class="speaker"><span class="name">Vaidehee Thatte</span> (<span class="affiliation">Binghamton University</span>)
<blockquote>
We define logarithmic and non-logarithmic ramification filtrations for arbitrary Henselian valuation rings. This joint work with K. Kato generalizes the ramification theory of complete discrete valuation rings of Abbes-Saito. We will discuss the notion of "defect", also known as ramification deficiency, that is specific to arbitrary valuation rings in positive residue characteristic.
</blockquote>
</section>
<section id="webb">
<h3 class="title">The moduli of maps to an algebraic stack has a canonical obstruction theory</h3>
<p class="speaker"><span class="name">Rachel Webb</span> (<span class="affiliation">University of Michigan</span>)
<blockquote>
Morphisms from nodal marked curves to a target \( X \) form an algebraic stack, called the moduli of maps to \( X \). These moduli have applications to string theory, where integrals over the moduli stack correspond to particle interactions. Making this notion of integration rigorous requires us to understand the deformation/obstruction theory of the moduli problem: one approach is the construction of the virtual fundamental class by Behrend-Fantechi. Their machinery requires a certain kind of obstruction theory on the moduli of maps. The goal of this talk is to explain why the moduli of stable maps carries this obstruction theory when \( X \) is an algebraic stack. Even when \( X \) is Deligne-Mumford (or a scheme), the explanation is more satisfying than the standard one in the literature.
</blockquote>
</section>
<section id="witaszek">
<h3 class="title">Keel's theorem and quotients in mixed characteristic</h3>
<p class="speaker"><span class="name">Jakub Witaszek</span> (<span class="affiliation">University of Michigan</span>)
<blockquote>
In trying to understand the geometry of characteristic zero varieties one can apply a wide range of techniques coming from analytic methods such as vanishing theorems. More complicated though they are, positive characteristic varieties come naturally with Frobenius action which sometimes allows for imitating analytic proofs or even showing results which are false over complex numbers. Of all the three classes, the mixed characteristic varieties are the most difficult to understand as they represent the worst of both worlds: one lacks the analytic methods as well the Frobenius action.
What is key for many applications of Frobenius in positive characteristic (to birational geometry, moduli theory, constructing quotients, GIT, etc.) is the fact that every universal homeomorphism of algebraic varieties factors through a power of Frobenius. In this talk I will discuss a particular analogue of this fact (and applications thereof) in mixed characteristic.
</blockquote>
</section>