https://teams.microsoft.com/l/meetup-join/19%3ameeting_ZGRiMTM1ZjQtZWNiM...

I will introduce the notion of moduli spaces of curves and specifically genus 0 curves. They are in general not compact, and we will discuss the most common way to compactify them. In particular, I will try to explain the construction of Mbar_{0,5}, together with how to classify the boundary, how it is related to a moduli space of tropical curves, and how to do intersection theory on this space.

# Past Junior Geometry and Topology Seminar

Invariants counting sheaves on Calabi--Yau 4-folds are obtained by virtual integrals over moduli spaces. These are expressed in terms of virtual fundamental classes, which conjecturally fit into

a wall-crossing framework proposed by Joyce. I will review the construction of vertex algebras in terms of which one can express the WCF. I describe how to use them to obtain explicit results for Hilbert schemes of points. As a consequence, I reduce multiple conjectures to a technical proof of the WCF. Surprisingly, one gets a complete correspondence between invariants of Hilbert schemes of CY 4-folds and elliptic surfaces.

Link: https://teams.microsoft.com/l/meetup-join/19%3ameeting_ZGRiMTM1ZjQtZWNiM...

The join button will be published on the right (Above the view all button) 30 minutes before the seminar starts (login required).

Totally geodesic submanifolds are perhaps one of the easiest types of submanifolds of Riemannian manifolds one can study, since a maximal totally geodesic submanifold is completely determined by any one of its points and the tangent space at that point. It comes as a bit of a surprise then that classification of such submanifolds — up to an ambient isometry — is a nightmarish and widely open question, even on such a manageable and well-understood class of Riemannian manifolds as symmetric spaces.

We will discuss the theory of totally geodesic submanifolds of symmetric spaces and see that any maximal such submanifold is homogeneous and thus can be completely encoded by some Lie algebraic data called a 'Lie triple'. We will then talk about the duality between symmetric spaces of compact and noncompact type and discover that there is a one-to-one correspondence between totally geodesic submanifolds of a symmetric space and its dual. Finally, we will touch on the known classification in rank one symmetric spaces, namely in spheres and projective/hyperbolic spaces over real normed division algebras. Time permitting, I will demonstrate how all this business comes in handy in other geometric problems on symmetric spaces, e. g. in classification of isometric cohomogeneity one actions.

Link: https://teams.microsoft.com/l/meetup-join/19%3ameeting_ZGRiMTM1ZjQtZWNiM...

The join button will be published on the right (Above the view all button) 30 minutes before the seminar starts (login required).

The purpose of this talk is to provide a quick introduction to the buzzwords in the title. Then I'll discuss some (mostly unexplored) conjectures and thoughts.

The cohomology of a manifold classifies geometric structures over it. One instance of this principle is the classification of line bundles via Chern classes. The classifying space BG associated to a (Lie) group G is a simplicial manifold which encodes the group structure. Its cohomology hence classifies geometric objects over G which play well with its multiplication. These are known as characteristic classes, and yield invariants of G-principal bundles.

I will introduce multiplicative gerbes and show how they realise classes in H^4(BG) when G is compact. Along the way, we will meet different versions of Lie group cohomology, smooth 2-groups and a few spectral sequences.

Link: https://teams.microsoft.com/l/meetup-join/19%3ameeting_ZGRiMTM1ZjQtZWNiM...

The join button will be published on the right (Above the view all button) 30 minutes before the seminar starts (login required).

## Further Information:

[Meeting URL removed for security reasons]

A graded unipotent group U is a unipotent group with a 1PS of automorphisms C^* -- > Aut(U), such that the this 1PS acts on the Lie(U) with all weights positive. Let \hat U be the semi-direct product of U with this 1PS. Let \hat U act linearly on (X,L), a projective variety with a very ample line bundle. With the condition `semistability coincides with stability', and after suitable twist of rational characters, the \hat U-linearisation has a projective geometric quotient, and the invariants are finitely generated. This is a result from \emph{Geometric invariant theory for graded unipotent groups and applications} by G Bérczi, B Doran, T Hawes, F Kirwan, 2018.

Link: https://teams.microsoft.com/l/meetup-join/19%3ameeting_NzU0ODY5MTUtMzUzM...

A dagger category is a category where for every morphism f:x --> y there is a chosen adjoint f*:y --> x, as for example in the category of Hilbert spaces. I will explain this definition in elementary terms and give a few example. The only prerequisites for this talk are the notion of category, functor, and Hilbert space.

Dagger categories are a great categorical framework for some concepts from functional analysis such as C*-algebras and they also allow us to state Atiyah's definition unitary topological field theories in categorical lanugage. There is however a problem with dagger categories: they are what category theorists like to call 'evil'. This is isn't really meant as a moral judgement, it just means that many ways of thinking about ordinary categories don't quite translate to dagger categories.

For example, not every fully faithful and essentially surjective dagger functor is also a dagger equivalence. I will present a notion of 'indefinite completion' that I came up with to describe dagger categories in less 'evil' terms. (Those of you who know Karoubi completion will see a lot of similarities.) I'll also explain how this can be used to compute categories of dagger functors, and more specifically groupoids of unitary TFTs.

It is a well-known fact that conformal structures on Riemann surfaces are in 1:1 correspondence with complex structures, but have you ever wondered whether this is just a fluke in 2 dimensions? In this talk, I will explain the concept of Penrose's "non-linear graviton", a fancy name for the twistor space of a hyperkahler manifold and one of the major historical achievements of Oxford maths. The twistor correspondence associates points of the hyperkahler manifold with certain holomorphic rational curves embedded in twistor space. We will see how information of the hyperkahler metric can be encoded purely in the complex structure on twistor space, giving a partial but welcome generalization of the 2-dimensional "fluke". Then I will outline a recently found Dolbeault-framework for the metric's reconstruction from local representatives of this complex structure. This provides an explicit integral formula for Kahler forms and consequently for the hyperkahler metric in terms of holomorphic data on twistor space. Finally, time permitting, I will discuss some interesting applications to (some or all of) PDEs, hyperkahler quotients, and the physics of "quantum gravity".

Following Grothendieck, periods can be interpreted as numbers arising as coefficients of a comparison isomorphism between two cohomology theories. Due to the influence of the “yoga of motives” these numbers are omnipresent in arithmetic algebraic geometry. The first part of the talk will be a crash course on how to study periods, as well as the action of the motivic Galois group on them, via an elementary category of realizations. In the second part, we will see how one uses this framework to study Feynman integrals -- an interesting family of periods arising in quantum field theory. We will finish with a brief overview of some of the recent work in algebraic geometry inspired by the study of periods arising in physics.

In this talk I will briefly sketch the philosophy and methods in which derived enhancements of classical moduli problems are produced. I will then discuss the character variety and distinguish two of its enhancements; one of these will represent a derived moduli stack for local systems. Lastly, I will mention how variations of this moduli space have been represented in number theoretic and rigid analytic contexts.