Past Algebraic Geometry Seminar

23 January 2018
15:45
Dominic Joyce
Abstract

Let $\mathbb K$ be a field, and $\mathcal M$ be the “projective linear" moduli stack of objects in a suitable $\mathbb K$-linear abelian category  $\mathcal A$ (such as the coherent sheaves coh($X$) on a smooth projective $\mathbb K$-scheme $X$) or triangulated category $\mathcal T$ (such as the derived category $D^b$coh($X$)). I will explain how to define a Lie bracket [ , ] on the homology $H_*({\mathcal M})$ (with a nonstandard grading), making $H_*({\mathcal M})$ into a graded Lie algebra. This is a new variation on the idea of Ringel-Hall algebra.
 There is also a differential-geometric version of this: if $X$ is a compact manifold with a geometric structure giving instanton-type equations (e.g. oriented Riemannian 4-manifold, $G_2$-manifold, Spin(7)-manifold) then we can define Lie brackets both on the homology of the moduli spaces of all $U(n)$ or $SU(n)$ connections on $X$ for all $n$, and on the homology of the moduli spaces of instanton $U(n)$ or $SU(n)$ connections on $X$ for all $n$.
 All this is (at least conjecturally) related to enumerative invariants, virtual cycles, and wall-crossing formulae under change of stability condition.
 Several important classes of invariants in algebraic and differential geometry — (higher rank) Donaldson invariants of 4-manifolds (in particular with $b^2_+=1$), Mochizuki invariants counting semistable coherent sheaves on surfaces, Donaldson-Thomas type invariants for Fano 3-folds and CY 4-folds — are defined by forming virtual classes for moduli spaces of “semistable” objects, and integrating some cohomology classes over them. The virtual classes live in the homology of the “projective linear" moduli stack. Yuuji Tanaka and I are working on a way to define virtual classes counting strictly semistables, as well as just stables / stable pairs. 
 I conjecture that in all these theories, the virtual classes transform under change of stability condition by a universal wall-crossing formula (from my previous work on motivic invariants) in the Lie algebra $(H_*({\mathcal M}), [ , ])$. 

  • Algebraic Geometry Seminar
28 November 2017
15:45
Evgeny Shinder
Abstract

The specialization question for rationality is the following one: assume that very general fibers of a flat proper morphism are rational, does it imply that all fibers are rational? I will talk about recent solution of this question in characteristic zero due to myself and Nicaise, and Kontsevich-Tschinkel. The method relies on a construction of various specialization morphisms for the Grothendieck ring of varieties (stable rationality) and the Burnside ring of varieties (rationality), which in turn rely on the Weak Factorization and Semi-stable Reduction Theorems.

  • Algebraic Geometry Seminar
21 November 2017
15:45
Wenzhe Yang
Abstract

In mirror symmetry, the prepotential on the Kahler side has an expansion, the constant term of which is a rational multiple of zeta(3)/(2 pi i)^3 after an integral symplectic transformation. In this talk I will explain the connection between this constant term and the period of a mixed Hodge-Tate structure constructed from the limit MHS at large complex structure limit on the complex side. From Ayoub’s works on nearby cycle functor, there exists an object of Voevodsky’s category of mixed motives such that the mixed Hodge-Tate structure is expected to be a direct summand of the third cohomology of its Hodge realisation. I will present the connections between this constant term and conjecture about how mixed Tate motives sit inside Voevodsky’s category, which will also provide a motivic interpretation to the occurrence of zeta(3) in prepotential. 

  • Algebraic Geometry Seminar
14 November 2017
15:45
Sven Meinhardt
Abstract

I will introduce a cohomology theory which combines topological and algebraic concepts. Interpretations of certain cohomology groups will be given. We also generalise the construction of the second Stiefel-Whitney class of a line bundle. As I will explain in my talk, the refined Stiefel-Whitney class of the canonical bundle on certain moduli stacks provides an obstruction for the construction of cohomological Hall algebras.

  • Algebraic Geometry Seminar
7 November 2017
15:45
Otto Overkamp
Abstract

We investigate Néron models of Jacobians of singular curves over strictly Henselian discretely valued fields, and their behaviour under tame base change. For a semiabelian variety, this behaviour is governed by a finite sequence of (a priori) real numbers between 0 and 1, called "jumps". The jumps are conjectured to be rational, which is known in some cases. The purpose of this paper is to prove this conjecture in the case where the semiabelian variety is the Jacobian of a geometrically integral curve with a push-out singularity. Along the way, we prove the conjecture for algebraic tori which are induced along finite separable extensions, and generalize Raynaud's description of the identity component of the Néron model of the Jacobian of a smooth curve (in terms of the Picard functor of a proper, flat, and regular model) to our situation. The main technical result of this paper is that the exact sequence which decomposes the Jacobian of one of our singular curves into its toric and Abelian parts extends to an exact sequence of Néron models. Previously, only split semiabelian varieties were known to have this property.

  • Algebraic Geometry Seminar
31 October 2017
15:45
Sara Filippini
Abstract

We consider a generalization of degeneracy loci of morphisms between vector bundles based on orbit closures of algebraic groups in their linear representations. Using a certain crepancy condition on the orbit closure we gain some control over the canonical sheaf in a preferred class of examples. This is notably the case for Richardson nilpotent orbits and partially decomposable skew-symmetric three-forms in six variables. We show how these techniques can be applied to construct Calabi-Yau manifolds and Fano varieties of dimension three and four.

This is a joint work with Vladimiro Benedetti, Laurent Manivel and Fabio Tanturri.

  • Algebraic Geometry Seminar
24 October 2017
15:45
Udi Hrushovski
Abstract

Hilbert's Nullstellensatz asserts the existence of a complex point satisfying lying on a given variety, provided there is no (ideal-theoretic) proof to the contrary.
I will describe an analogue for curves (of unbounded degree), with respect to conditions specifying that they lie on a given smooth variety, and have homology class
near a specified ray.   In particular, an analogue of the Lefschetz principle (relating large positive characteristic to characteristic zero) becomes available for such questions.
The proof is very close to a theorem of  Boucksom-Demailly-Pau-Peternell on moveable curves, but requires a certain sharpening.   This is part of a joint project with Itai Ben Yaacov, investigating the logic of the product formula; the algebro-geometric statement is needed for proving the existential closure of $\Cc(t)^{alg}$ in this language. 

  • Algebraic Geometry Seminar
17 October 2017
15:45
Thomas Prince
Abstract

Given a Fano manifold we will consider two ways of attaching a (usually infinite) collection of polytopes, and a certain combinatorial transformation relating them, to it. The first is via Mirror Symmetry, following a proposal of  Coates--Corti--Kasprzyk--Galkin--Golyshev. The second is via symplectic topology, and comes from considering degenerating Lagrangian torus fibrations. We then relate these two collections using the Gross--Siebert program. I will also comment on the situation in higher dimensions, noting particularly that by 'inverting' the second method (degenerating Lagrangian fibrations) we can produce topological constructions of Fano threefolds.
 

  • Algebraic Geometry Seminar

Pages