www.mathtube.org - Scientific
http://www.mathtube.org/taxonomy/term/148/0
en2019 PIMS Workshop on Arithmetic Topology
http://www.mathtube.org/photos/2019-pims-workshop-arithmetic-topology
These videos are from the PIMS Workshop on Arithmetic Topology, which took place from June 10th-14th, 2019 at the University of British Columbia.<div class="field field-type-datetime field-field-date">
<div class="field-items">
<div class="field-item odd">
<div class="field-label-inline-first">
Date: </div>
<span class="date-display-start">Mon, Jun 10, 2019</span><span class="date-display-separator"> - </span><span class="date-display-end">Fri, Jun 14, 2019</span> </div>
</div>
</div>
ScientificTopologyTue, 09 Jul 2019 17:11:45 +0000ruths746 at http://www.mathtube.orgGeometricity and Galois actions on fundamental groups
http://www.mathtube.org/lecture/video/geometricity-and-galois-actions-fundamental-groups
<div class="field field-type-text field-field-speaker">
<div class="field-items">
<div class="field-item odd">
<div class="field-label-inline-first">
Speaker: </div>
Daniel Litt </div>
</div>
</div>
<div class="field field-type-datetime field-field-date">
<div class="field-items">
<div class="field-item odd">
<div class="field-label-inline-first">
Date: </div>
<span class="date-display-single">Fri, Jun 14, 2019</span> </div>
</div>
</div>
<div class="field field-type-text field-field-location">
<div class="field-items">
<div class="field-item odd">
<div class="field-label-inline-first">
Location: </div>
PIMS, University of British Columbia </div>
</div>
</div>
<div class="field field-type-text field-field-conference">
<div class="field-items">
<div class="field-item odd">
<div class="field-label-inline-first">
Conference: </div>
Workshop on Arithmetic Topology </div>
</div>
</div>
<div class="field field-type-text field-field-abstract">
<div class="field-label">Abstract: </div>
<div class="field-items">
<div class="field-item odd">
Which local systems on a Riemann surface X arise from geometry, i.e. as (subquotients of) monodromy representations on the cohomology of a family of varieties over X? For example, what are the possible level structures on Abelian schemes over X? We describe several new results on this topic which arise from an analysis of the outer Galois action on etale fundamental groups of varieties over finitely generated fields. </div>
</div>
</div>
ScientificMathematicsTopologySat, 29 Jun 2019 00:42:33 +0000root743 at http://www.mathtube.orgThe stable cohomology of the moduli space of curves with level structures
http://www.mathtube.org/lecture/video/stable-cohomology-moduli-space-curves-level-structures
<div class="field field-type-text field-field-speaker">
<div class="field-items">
<div class="field-item odd">
<div class="field-label-inline-first">
Speaker: </div>
Andrew Putman </div>
</div>
</div>
<div class="field field-type-datetime field-field-date">
<div class="field-items">
<div class="field-item odd">
<div class="field-label-inline-first">
Date: </div>
<span class="date-display-single">Fri, Jun 14, 2019</span> </div>
</div>
</div>
<div class="field field-type-text field-field-location">
<div class="field-items">
<div class="field-item odd">
<div class="field-label-inline-first">
Location: </div>
PIMS, University of British Columbia </div>
</div>
</div>
<div class="field field-type-text field-field-conference">
<div class="field-items">
<div class="field-item odd">
<div class="field-label-inline-first">
Conference: </div>
Workshop on Arithmetic Topology </div>
</div>
</div>
<div class="field field-type-text field-field-abstract">
<div class="field-label">Abstract: </div>
<div class="field-items">
<div class="field-item odd">
I will prove that in a stable range, the rational cohomology of the moduli space of curve with level structures is the same as the ordinary moduli space of curves: a polynomial ring in the Miller-Morita-Mumford classes. </div>
</div>
</div>
ScientificMathematicsTopologySat, 29 Jun 2019 00:25:47 +0000root742 at http://www.mathtube.orgThe Grothendieck ring of varieties, and stabilization in the algebro-geometric setting - 2 of 2
http://www.mathtube.org/lecture/video/grothendieck-ring-varieties-and-stabilization-algebro-geometric-setting-2-2
<div class="field field-type-text field-field-speaker">
<div class="field-items">
<div class="field-item odd">
<div class="field-label-inline-first">
Speaker: </div>
Aaron Landesman </div>
</div>
</div>
<div class="field field-type-datetime field-field-date">
<div class="field-items">
<div class="field-item odd">
<div class="field-label-inline-first">
Date: </div>
<span class="date-display-single">Fri, Jun 14, 2019</span> </div>
</div>
</div>
<div class="field field-type-text field-field-location">
<div class="field-items">
<div class="field-item odd">
<div class="field-label-inline-first">
Location: </div>
PIMS, University of British Columbia </div>
</div>
</div>
<div class="field field-type-text field-field-conference">
<div class="field-items">
<div class="field-item odd">
<div class="field-label-inline-first">
Conference: </div>
Workshop on Arithmetic Topology </div>
</div>
</div>
<div class="field field-type-text field-field-abstract">
<div class="field-label">Abstract: </div>
<div class="field-items">
<div class="field-item odd">
A central theme of this workshop is the fact that arithmetic and topological structures become best behaved “in the limit”. The Grothendieck ring of varieties (or stacks) gives an algebro-geometric means of discovering, proving, or suggesting such phenomena.
<p> </p>
<br />
In the first lecture of this minicourse, Ravi Vakil will introduce the ring, and describe how it can be used to prove or suggest such stabilization in several settings.
<p> </p>
<br />
In the second lecture of the minicourse, Aaron Landesman will use these ideas to describe a stability of the space of low degree covers (up to degree 5) of the projective line (joint work with Vakil and Wood). The results are cognate to Bhargava’s number field counts, the philosophy of Ellenberg-Venkatesh-Westerland, and Anand Patel’s fever dream.
<p> </p>
<br />
This is the second lecture in a two part series: <a href="http://www.mathtube.org/lecture/video/grothendieck-ring-varieties-and-stabilization-algebro-geometric-setting-part-1of-2">part 1</a>. </div>
</div>
</div>
ScientificTopologySat, 29 Jun 2019 00:07:47 +0000root740 at http://www.mathtube.orgConjectures, heuristics, and theorems in arithmetic statistics - 2 of 2
http://www.mathtube.org/lecture/video/conjectures-heuristics-and-theorems-arithmetic-statistics-2-2
<div class="field field-type-text field-field-speaker">
<div class="field-items">
<div class="field-item odd">
<div class="field-label-inline-first">
Speaker: </div>
Wei Ho </div>
</div>
</div>
<div class="field field-type-datetime field-field-date">
<div class="field-items">
<div class="field-item odd">
<div class="field-label-inline-first">
Date: </div>
<span class="date-display-single">Fri, Jun 14, 2019</span> </div>
</div>
</div>
<div class="field field-type-text field-field-location">
<div class="field-items">
<div class="field-item odd">
<div class="field-label-inline-first">
Location: </div>
PIMS, University of British Columbia </div>
</div>
</div>
<div class="field field-type-text field-field-conference">
<div class="field-items">
<div class="field-item odd">
<div class="field-label-inline-first">
Conference: </div>
Workshop on Arithmetic Topology </div>
</div>
</div>
<div class="field field-type-text field-field-abstract">
<div class="field-label">Abstract: </div>
<div class="field-items">
<div class="field-item odd">
We will begin by surveying some conjectures and heuristics in arithmetic statistics, most relating to asymptotic questions for number fields and elliptic curves. We will then focus on one method that has been successful, especially in recent years, in studying some of these problems: a combination of explicit constructions of moduli spaces, geometry-of-numbers techniques, and analytic number theory. </div>
</div>
</div>
ScientificMathematicsTopologyFri, 28 Jun 2019 23:50:15 +0000root739 at http://www.mathtube.orgStable cohomology of complements of discriminants
http://www.mathtube.org/lecture/video/stable-cohomology-complements-discriminants
<div class="field field-type-text field-field-speaker">
<div class="field-items">
<div class="field-item odd">
<div class="field-label-inline-first">
Speaker: </div>
Orsola Tommasi </div>
</div>
</div>
<div class="field field-type-datetime field-field-date">
<div class="field-items">
<div class="field-item odd">
<div class="field-label-inline-first">
Date: </div>
<span class="date-display-single">Thu, Jun 13, 2019</span> </div>
</div>
</div>
<div class="field field-type-text field-field-location">
<div class="field-items">
<div class="field-item odd">
<div class="field-label-inline-first">
Location: </div>
PIMS, University of British Columbia </div>
</div>
</div>
<div class="field field-type-text field-field-conference">
<div class="field-items">
<div class="field-item odd">
<div class="field-label-inline-first">
Conference: </div>
Workshop on Arithmetic Topology </div>
</div>
</div>
<div class="field field-type-text field-field-abstract">
<div class="field-label">Abstract: </div>
<div class="field-items">
<div class="field-item odd">
The discriminant of a space of functions is the closed subset consisting of the functions which are singular in some sense. For instance, for complex polynomials in one variable the discriminant is the locus of polynomials with multiple roots. In this special case, it is known by work of Arnol'd that the cohomology of the complement of the discriminant stabilizes when the degree of the polynomials grows, in the sense that the k-th cohomology group of the space of polynomials without multiple roots is independent of the degree of the polynomials considered. A more general set-up is to consider the space of non-singular sections of a very ample line bundle on a fixed non-singular variety. In this case, Vakil and Wood proved a stabilization behaviour for the class of complements of discriminants in the Grothendieck group of varieties. In this talk, I will discuss a topological approach for obtaining the cohomological counterpart of Vakil and Wood's result and describe stable cohomology explicitly for the space of complex homogeneous polynomials in a fixed number of variables and for spaces of smooth divisors on an algebraic curve. </div>
</div>
</div>
ScientificMathematicsTopologyFri, 28 Jun 2019 22:33:49 +0000root737 at http://www.mathtube.orgThe circle method and the cohomology of moduli spaces of rational curves
http://www.mathtube.org/lecture/video/circle-method-and-cohomology-moduli-spaces-rational-curves
<div class="field field-type-text field-field-speaker">
<div class="field-items">
<div class="field-item odd">
<div class="field-label-inline-first">
Speaker: </div>
Will Sawin </div>
</div>
</div>
<div class="field field-type-datetime field-field-date">
<div class="field-items">
<div class="field-item odd">
<div class="field-label-inline-first">
Date: </div>
<span class="date-display-single">Thu, Jun 13, 2019</span> </div>
</div>
</div>
<div class="field field-type-text field-field-location">
<div class="field-items">
<div class="field-item odd">
<div class="field-label-inline-first">
Location: </div>
PIMS, University of British Columbia </div>
</div>
</div>
<div class="field field-type-text field-field-conference">
<div class="field-items">
<div class="field-item odd">
<div class="field-label-inline-first">
Conference: </div>
Workshop on Arithmetic Topology </div>
</div>
</div>
<div class="field field-type-text field-field-abstract">
<div class="field-label">Abstract: </div>
<div class="field-items">
<div class="field-item odd">
The cohomology of the space of degree d holomorphic maps from the complex projective line to a sufficiently nice algebraic variety is expected to stabilize as d goes to infinity. The limit is expected to be the cohomology of the double loop space, i.e. the space of degree d continuous maps from the sphere to that variety. This was shown for projective space by Segal, and there has been further subsequent work. In joint work with Tim Browning, we give a new approach to the problem for smooth affine hypersurfaces of low degree (which should also work for projective hypersurfaces, complete intersections, and/or higher genus curves), based on methods from analytic number theory. We take an argument of Birch that solves the number-theoretic analogue of this problem and translate it, step by step, into the language of ell-adic sheaf theory using the sheaf-function dictionary. This produces a spectral sequence that computes the cohomology, whose degeneration would imply that the rational compactly-supported cohomology matches that of the double loop space. </div>
</div>
</div>
ScientificMathematicsTopologyFri, 28 Jun 2019 18:07:56 +0000root736 at http://www.mathtube.orgE_2 algebras and homology - 2 of 2
http://www.mathtube.org/lecture/video/e2-algebras-and-homology-2-2
<div class="field field-type-text field-field-speaker">
<div class="field-items">
<div class="field-item odd">
<div class="field-label-inline-first">
Speaker: </div>
Soren Galatius </div>
</div>
</div>
<div class="field field-type-datetime field-field-date">
<div class="field-items">
<div class="field-item odd">
<div class="field-label-inline-first">
Date: </div>
<span class="date-display-single">Thu, Jun 13, 2019</span> </div>
</div>
</div>
<div class="field field-type-text field-field-location">
<div class="field-items">
<div class="field-item odd">
<div class="field-label-inline-first">
Location: </div>
PIMS, University of British Columbia </div>
</div>
</div>
<div class="field field-type-text field-field-conference">
<div class="field-items">
<div class="field-item odd">
<div class="field-label-inline-first">
Conference: </div>
Workshop on Arithmetic Topology </div>
</div>
</div>
<div class="field field-type-text field-field-abstract">
<div class="field-label">Abstract: </div>
<div class="field-items">
<div class="field-item odd">
Block sum of matrices define a group homomorphism GL_n(R) \times GL_m(R) \to GL_{n+m}(R), which can be used to make the direct sum of H_s(BGL_t(R);k) over all s, t into a bigraded-commutative ring. A similar product may be defined on homology of mapping class groups of surfaces with one boundary component, as well as in many other examples of interest. These products have manifestations on various levels, for example there is a product on the level of spaces making the disjoint union of BGL_n(R) into a homotopy commutative topological monoid. I will discuss how it, and other concrete examples, may be built by iterated cell attachments in the category of topological monoids, or better yet E_2 algebras, and what may be learned by this viewpoint. This is all joint work with Alexander Kupers and Oscar Randal-Williams.
<p> </p>
<br />
This is the second lecture in a two part series: <a href="http://www.mathtube.org/lecture/video/e2-algebras-and-homology-1-2">part 1</a> </div>
</div>
</div>
ScientificMathematicsTopologyFri, 28 Jun 2019 17:24:58 +0000root735 at http://www.mathtube.orgCoincidences between homological densities, predicted by arithmetic - 2 of 2
http://www.mathtube.org/lecture/video/coincidences-between-homological-densities-predicted-arithmetic-2-2
<div class="field field-type-text field-field-speaker">
<div class="field-items">
<div class="field-item odd">
<div class="field-label-inline-first">
Speaker: </div>
Benson Farb </div>
</div>
</div>
<div class="field field-type-datetime field-field-date">
<div class="field-items">
<div class="field-item odd">
<div class="field-label-inline-first">
Date: </div>
<span class="date-display-single">Thu, Jun 13, 2019</span> </div>
</div>
</div>
<div class="field field-type-text field-field-location">
<div class="field-items">
<div class="field-item odd">
<div class="field-label-inline-first">
Location: </div>
PIMS, University of British Columbia </div>
</div>
</div>
<div class="field field-type-text field-field-conference">
<div class="field-items">
<div class="field-item odd">
<div class="field-label-inline-first">
Conference: </div>
Workshop on Arithmetic Topology </div>
</div>
</div>
<div class="field field-type-text field-field-abstract">
<div class="field-label">Abstract: </div>
<div class="field-items">
<div class="field-item odd">
In this talk I'll describe some remarkable coincidences in topology that were found only by applying Weil's (number field)/(f unction field) analogy to some classical density theorems in analytic number theory, and then computing directly. Unlike the finite field case, here we have only analogy; the mechanism behind the coincidences remains a mystery. As a teaser: it seems that under this analogy the (inverse of the) Riemann zeta function at (n+1) corresponds to the 2-fold loop space of P^n. This is joint work with Jesse Wolfson and Melanie Wood.
<p> </p>
<br />
This is the second lecture in a two part series: <a href="http://www.mathtube.org/lecture/video/point-counting-and-topology-1-2">part 1</a> </div>
</div>
</div>
ScientificMathematicsTopologyFri, 28 Jun 2019 17:10:47 +0000root734 at http://www.mathtube.orgRepresentation stability and asymptotic stability of factorization statistics
http://www.mathtube.org/lecture/video/representation-stability-and-asymptotic-stability-factorization-statistics
<div class="field field-type-text field-field-speaker">
<div class="field-items">
<div class="field-item odd">
<div class="field-label-inline-first">
Speaker: </div>
Rita Jimenez-Rolland </div>
</div>
</div>
<div class="field field-type-datetime field-field-date">
<div class="field-items">
<div class="field-item odd">
<div class="field-label-inline-first">
Date: </div>
<span class="date-display-single">Wed, Jun 12, 2019</span> </div>
</div>
</div>
<div class="field field-type-text field-field-location">
<div class="field-items">
<div class="field-item odd">
<div class="field-label-inline-first">
Location: </div>
PIMS, University of British Columbia </div>
</div>
</div>
<div class="field field-type-text field-field-conference">
<div class="field-items">
<div class="field-item odd">
<div class="field-label-inline-first">
Conference: </div>
Workshop on Arithmetic Topology </div>
</div>
</div>
<div class="field field-type-text field-field-abstract">
<div class="field-label">Abstract: </div>
<div class="field-items">
<div class="field-item odd">
In this talk we will consider some families of varieties with actions of certain finite reflection groups – such as hyperplane complements or complex flag manifolds associated to these groups. The cohomology groups of these families stabilize in a precise representation theoretic sense. Our goal is to explain how these stability patterns manifest, and can be recovered from, as asymptotic stability of factorization statistics of related varieties defined over finite fields. </div>
</div>
</div>
ScientificMathematicsTopologyFri, 28 Jun 2019 16:18:21 +0000root732 at http://www.mathtube.org