Past Junior Geometry and Topology Seminar

I will show how to associate a quaternion algebra to a hyperbolic 3-manifold. I will then go through some examples and applications of this theory

This talk is not a detailed and precise exposition on DAG, but it is conceived more as a kind of advertisement on this theory and some of its interesting new features one should contemplate and try to understand, as they might reveal interesting new insights also on classical objects. We select some of the several motivations for introducing it (non-representability of moduli problem and non-naturality of the obstruction theory), and then we will go through the homotopy theory of simplicial commutative algebras and their cotangent complex. We will introduce the category of derived schemes and we will describe their relation with classical schemes. A good amount of time will be dedicated to examples.

"Among the first successes of the h-cobordism theorem was the classification of simply connected closed 5-manifolds. Dimension five is sufficiently large to be able to implement the tools of surgery theory, yet low enough to allow an explicit classification of the manifolds. These traits make dimension five interesting in terms of existence results of geometric structures, like Riemannian metrics of positive Ricci/nonnegative sectional/positive sectional curvature, Einstein metrics, contact structures, Sasakian structures, among others. The talk will be a limited survey of the five-dimensional symbiosis between topology and geometry"

I will be taking us on a journey through low dimensional topology, starting in 2 dimensions motivating handles decompositions in a dimension that we can visualize, moving onto to a brief of note of what this means in 3 dimensions and then moving onto the wild world of 4 manifolds. I will be showing a way in which we can actually try and view a 4 manifold before moving onto a way of manipulating these diagrams to give diffeomorphic 4 manifolds. Hopefully, I will have time to go into some ways in which Kirby calculus has been used to show that certain potential exotic 4 spheres are not exotic and some results on stable diffeomorphims of 4 manifolds.

Based on ideas from Eells and Sampson, the Ricci flow was introduced by R. Hamilton in 1982 to try to prove Thurston's Geometrization Conjecture (a path which turned out to be successful). In this talk we will introduce the Ricci flow equation and view it as a modified heat flow. Using this we will prove the basic results on existence and uniqueness, and gain some insight into the evolution of various geometric quantities under Ricci flow. With this results we will proceed to define Perelman's $\mathcal{F}$ and $\mathcal{W}$ entropy functionals to view the Ricci flow as a gradient flow. If time permits we will briefly sketch some results from Cheeger and Gromov's compactness theory, which, along with the entropy functionals, alow us to blow up singularities.This is meant to be an introductory talk so I will try to develop as much geometric intuition as possible and stay away from technical calculations.

We shall introduce complex projective structures on a surface, and discuss a new result that relates grafting, which are certain geometric deformations of these structures, to the Teichmuller geodesic flow in the moduli space of Riemann surfaces. A consequence is that for any Fuchsian representation of a surface-group, the set of projective structures with that as holonomy, is dense in moduli space.

This talk will give a quick and dirty introduction to orbifold bordism. We will start by briefly recalling some basic properties and definitions of orbifolds and sketch (very roughly) how orbifolds can be defined in the language of $C^\infty$-stacks due to Joyce (after introducing these). We will then review classical bordism theory for manifolds (in some nonstandard way) and discuss which definitions and results generalize to the orbifold case. A word of warning: this talk is intended to be an introduction and wants to give an overview over the subject, so it is likely that we will be sloppy here and there.

In this first of two talks, I shall introduce the Virtual Haken Conjecture and the major players involved in the proof announced by Ian Agol last year. These are the special cube complexes studied by Dani Wise and his collaborators, with a large supporting cast including the not-inconsiderable presence of Perelman’s Geometrization Theorem and the Surface Subgroup Theorem of Kahn and Markovic. I shall sketch how the VHC follows from Agol’s result that, in spite of the name, specialness is entirely generic among non-positively curved cube complexes.

Morse theory gives an estimate of the dimensions of the cohomology groups of a manifold in terms of the critical points of a function.
One can do better and compute the cohomology in terms of this function using the so-called Witten complex.
Already implicit in work of Smale in the fifties, it was rediscovered by Witten in the eighties using techniques from (supersymmetric) quantum field theories.
I will explain Witten's (heuristic) arguments and describe the Witten complex.

This talk is a basic introduction to the wonderful world of Higgs bundles on a Riemann Surface, and their moduli space. We will only survey the basics of the theory focusing on the rich geometry of the moduli space of Higgs bundles, and the relation to moduli space of vector bundles. In the end we consider small applications of Higgs bundles. As this talk will be very basic we won't go into any new developments of the theory, but just mention the areas in which Higgs bundles are used today.

The aim of this talk is to introduce the notion of a stack, by considering in some detail the example of the the stack of vector bundles on a curve. One of the key areas of modern geometry is the study of moduli problems and associated moduli spaces, if they exist. For example, can we find a `fine moduli space' which parameterises isomorphism classes of vector bundles on a smooth curve and contains information about how such vector bundles vary in families? Quite often such a space doesn't exist in the category where we posed the original moduli problem, but we can enlarge our category and construct a `stack' which in a reasonable sense gives us the key properties of a fine moduli space we were looking for. This talk will be quite sketchy and won't even properly define a stack, but we hope to at least give some feel of how these objects are defined and why one might want to consider them.

The Borel conjecture is one of the most important (and difficult) conjectures in Topology. We explain how some weaker but highly related conjectures are being tackled through the coarse geometry of finitely generated groups.

Algebraic geometry has become the standard language for many number theorists in recent decades. In this talk, we will define modular forms and related objects in the language of modern geometers, thereby giving a geometric motivation for their study. We will ask some naive questions from a purely geometric point of view about these objects, and try to answer them using standard geometric techniques. If time permits, we will discuss some rather deep consequences in number theory of our geometric excursion, and mention open problems in geometry whose solution would have profound consequences in number theory.

This talk surveys the well known relationship between half-flat SU(3) structures on 6-manifolds M and metrics with holonomy in G_2 on Mx(a,b), focusing on the case in which M=S3xS3 with solutions invariant by SO(4).

In this talk we show how Teichmüller curves can be used to compute

quantum invariants of certain Pseudo-Anasov mapping tori. This involves

computing monodromy of the Hitchin connection along closed geodesics of

the Teichmüller curve using iterated integrals. We will mainly focus on

the well known Teichmüller curve generated by a pair of regular

pentagons. This is joint work with J. E. Andersen.

Fix a connected manifold-with-boundary M and a closed, connected submanifold P of its boundary. The set of all possible submanifolds of M whose components are pairwise unlinked and each isotopic to P can be given a natural topology, and splits into a disjoint union depending on the number of components of the submanifold. When P is a point this is just the usual (unordered) configuration space on M. It is a classical result, going back to Segal and McDuff, that for these spaces their homology in any fixed degree is eventually independent of the number of points of the configuration (as the number of points goes to infinity). I will talk about some very recent work on extending this result to higher-dimensional submanifolds: in the above setup, as long as P is of sufficiently large codimension in M, the homology in any fixed degree is eventually independent of the number of components. In particular I will try to give an idea of how the codimension restriction arises, and how it can be improved in some special cases.

I will give an introduction to how SU(3)-structures appear in heterotic string theory and string compactifications. I will start by considering the zeroth order SU(3)-holonomy Calabi-Yau scenario, and then see how this generalizes when higher order effects are considered. If time, I will discuss some of my own work.

We will go through the GIT construction of the moduli space of quiver representations. Concentrating on examples (probably the cases of Hilbert schemes of points of $\mathbb{C}^{2}$ and $\mathbb{C}^{3}$) we will try to give an idea of why this methods became relevant in modern (algebraic) geometry.

No prerequisites required, experts would probably get bored.

This talk will discuss the notion of a Nahm transform in differential geometry, as a way of relating solutions to one differential equation on a manifold, to solutions of another differential equation on a different manifold. The guiding example is the correspondence between solutions to the Bogomolny equations on $\mathbb{R}^3$ and Nahm equations on $\mathbb{R}$. We extract the key features from this example to create a general framework.

This is intended as an introductory talk about one of the most

important (and most geometric) aspects of Geometric Group Theory. No

prior knowledge of any maths will be assumed.

The aim of this talk is to give an introduction to Geometric Invariant Theory (GIT) for reductive groups over the complex numbers. Roughly speaking, GIT is concerned with constructing quotients of group actions in the category of algebraic varieties. We begin by discussing what properties we should like quotient varieties to possess, highlighting so-called `good' and `geometric' quotients, and then turn to search for these quotients in the case of affine and projective varieties. Here we shall see that the construction runs most smoothly when we assume our group to be reductive (meaning it can be described as the complexification of a maximal compact subgroup). Finally, we hope to say something about the Hilbert-Mumford criterion regarding semi-stability and stability of points, illustrating it by constructing the rough moduli space of elliptic curves.

Given a manifold $M$ and a basepointed labelling space $X$ the space of unordered finite configurations in $M$ with labels in $X$, $C(M;X)$ is the space of finite unordered tuples of points in $M$, each point with an associated point in $X$. The space is topologised so that particles cannot collide. Given a compact submanifold $M_0\subset M$ we define $C(M,M_0;X)$ to be the space of unordered finite configuration in which points `vanish' in $M_0$. The scanning map is a homotopy equivalence between the configuration space and a section space of a certain $\Sigma^nX$-bundle over $M$. Throughout the 70s and 80s this map has been given several unsatisfactory and convoluted definitions. A natural question to ask is whether the map is equivariant under the diffeomorphism group of the underlying manifold. However, any description of the map relies heavily on `little round $\varepsilon$-balls' and so only actions by isometry have any chance at equivariance. The goal of this talk is to give a more natural definition of the scanning map and show that diffeomorphism equivariance is an easy consequence.

The mid 1980s saw a shift in the nature of the relationship between mathematics and physics. Differential equations and geometry applied in a classical setting were no longer the principal players; in the quantum world topology and algebra had come to the fore. In this talk we discuss a method of classifying 2-dim invertible Klein topological quantum field theories (KTQFTs). A key object of study will be the unoriented cobordism category $\mathscr{K}$, whose objects are closed 1-manifolds and whose morphisms are surfaces (a KTQFT is a functor $\mathscr{K}\rightarrow\operatorname{Vect}_{\mathbb{C}}$). Time permitting, the open-closed version of the category will be considered, yielding some surprising results.

In this talk our aim is to explain why there exist hyperkähler metrics on the cotangent bundles and on coadjoint orbits of complex Lie groups. The key observation is that both the cotangent bundle of $G^\mathbb C$ and complex coadjoint orbits can be constructed as hyperkähler quotients in an infinite-dimensional setting: They may be identified with certain moduli spaces of solutions to Nahm's equations, which is a system of non-linear ODEs arising in gauge theory. 

In the first half we will describe the hyperkähler quotient construction, which can be viewed as a version of the Marsden-Weinstein symplectic quotient for complex symplectic manifolds. We will then introduce Nahm's equations and explain how their moduli spaces of solutions may be related to the above Lie theoretic objects.

We shall dedicate the first half of the talk to introduce

classical Higgs bundles and describe the fibres of the corresponding

Hitchin fibration in terms of spectral data. Then, we shall define

principal Higgs bundles and look at some examples. Finally, we

consider the particular case of $SL(2,R)$, $U(p,p)$ and $Sp(2p,2p)$ Higgs

bundles and study their spectral data. Time permitting, we shall look

at different applications of our new methods.

Expander graphs are sparse finite graphs with strong connectivity properties, on account of which they are much sought after in the construction of networks and in coding theory. Surprisingly, the first examples of large expander graphs came not from combinatorics, but from the representation theory of semisimple Lie groups. In this introductory talk, I will outline some of the history of the emergence of such examples from group theory, and give several applications of expander graphs to group theoretic problems.

Complex structures on a closed surface of genus at least 2 are in

one-to-one correspondence with hyperbolic metrics, so that there is a

single space, Teichmüller space, parametrising all possible complex

and hyperbolic structures on a given surface (up to isotopy). We will

explore how complex and hyperbolic geometry interact in Teichmüller

space.

Twistor theory is a technology that can be used to translate analytical problems on Euclidean space $\mathbb R^4$ into problems in complex algebraic geometry, where one can use the powerful methods of complex analysis to solve them. In the first half of the talk we will explain the geometry of the Twistor correspondence, which realises $\mathbb R^4$ , or $S^4$, as the space of certain "real" lines in the (projective) Twistor space $\mathbb{CP}^3$. Our discussion will start from scratch and will assume very little background knowledge. As an application, we will discuss the Twistor description of instantons on $S^4$ as certain holomorphic vector bundles on $\mathbb{CP}^3$ due to Ward.

I will claim (and maybe show) that a lot of problems in differential geometry can be reformulated in terms of non-linear elliptic differential operators. After reviewing the theory of linear elliptic operators, I will show what can be said about the non-linear setting.

After giving a brief physical motivation I will define the notion of generalized pseudo-holomorphic curves, as well as tamed and compatible generalized complex structures. The latter can be used to give a generalization of an energy identity. Moreover, I will explain some aspects of the local and global theory of generalized pseudo-holomorphic curves.

Basic and mild introduction to Generalized Geometry from the very beginning: the generalized tangent space, generalized metrics, generalized complex structures... All topped with some Lie type B flavour. Suitable for vegans. May contain traces of spinors.

I will give a brief introduction into how Elliptic curves can be used to define complex oriented

cohomology theories. I will start by introducing complex oriented cohomology theories, and then move onto

formal group laws and a theorem of Quillen. I will then end by showing how the formal group law associated

to an elliptic curve can, in many cases, allow one to define a complex oriented cohomology theory.

I will give an introduction to the variational characterisation of the Ricci flow that was first introduced by G. Perelman in his paper on "The entropy formula for the Ricci flow and its geometric applications" http://arxiv.org/abs/math.DG/0211159. The first in a series of three papers on the geometrisation conjecture. The discussion will be restricted to sections 1 through 5 beginning first with the gradient flow formalism. Techniques from the Calculus of Variations will be emphasised, notably in proving the monotonicity of particular functionals. An overview of the local noncollapsing theorem (Perelman’s first breakthrough result) will be presented with refinements from Topping [Comm. Anal. Geom. 13 (2005), no. 5, 1039–1055.]. Some remarks will also be made on connections to implicit structures seen in the physics literature, for instance of those seen in D. Friedan [Ann. Physics 163 (1985), no. 2, 318–419].

In this talk we will discuss geometric quantization. First of all we will discuss what it is, but shall also see that it has relations to many other parts of mathematics. Especially shall we see how the Hitchin connection in geometric quantization can give us representations of a certain group associated to a surface, the mapping class group. If time permits we will discuss some recent results about these groups and their representations, results that are essentially obtained from geometrically quantizing a moduli space of flat connections on a surface."

This is the second of two talks about Derived Algebraic Geometry. We will go through the various geometries one can develop from the Homotopical Algebraic Geometry setting. We will review stack theory in the sense of Laumon and Moret-Bailly and higher stack theory by Simpson from a new and more general point of view, and this will culminate in Derived Algebraic Geometry. We will try to point out how some classical objects are actually secretly already in the realm of Derived Algebraic Geometry, and, once we acknowledge this new point of view, this makes us able to reinterpret, reformulate and generalize some classical aspects. Finally, we will describe more exotic geometries. In the last part of this talk, we will focus on two main examples, one addressed more to algebraic geometers and representation theorists and the second one to symplectic geometers.

This is the first of two talks about Derived Algebraic Geometry. Due to the vastity of the theory, the talks are conceived more as a kind of advertisement on this theory and some of its interesting new features one should contemplate and try to understand, as it might reveal interesting new insights also on classical objects, rather than a detailed and precise exposition. We will start with an introduction on the very basic idea of this theory, and we will expose some motivations for introducing it. After a brief review on the existing literature and a speculation about homotopy theories and higher categorical structures, we will review the theory of dg-categories, model categories, S-categories and Segal categories. This is the technical part of the seminar and it will give us the tools to understand the basic setting of Topos theory and Homotopical Algebraic Geometry, whose applications will be exploited in the next talk.

After recalling some definitions and facts about spectra from the previous two "respectra" talks, I will explain what Thom spectra are, and give many examples. The cohomology theories associated to various different Thom spectra include complex cobordism, stable homotopy groups, ordinary mod-2 homology.......

I will then talk about Thom's theorem: the ring of homotopy groups of a Thom spectrum is isomorphic to the corresponding cobordism ring. This allows one to use homotopy-theoretic methods (calculating the homotopy groups of a spectrum) to answer a geometric question (determining cobordism groups of manifolds with some specified structure). If time permits, I'll also describe the structure of some cobordism rings obtained in this way.

More perspectives on spectra.

This is the first in a series of $\geq 2$ talks about Stable Homotopy Theory. We will motivate the definition of spectra by the Brown Representability Theorem, which allows us to interpret a spectrum as a generalized cohomology theory. Along the way we recall basic notions from homotopy theory, such as suspension, loop spaces and smash products.

Chern-Simons theory is topological gauge theory in three dimensions that contains an interesting class of operators called Wilson lines/loops, which have connections with both physics and pure mathematics. In particular, it has been shown that computations with Wilson operators in Chern-Simons theory reproduce knot invariants, and are also related to Gauss linking invariants. We will discuss the complex generalizations of these ideas, which are known as holomorphic Chern-Simons theory, Wilson operators, and linking, in the setting of Calabi-Yau three-folds. This will (hopefully) include a definition of all three of these holomorphic analogues as well as an investigation into how these ideas can be translated into simple homological algebra, allowing us to propose the existence of "homological Feynman rules" for computing things like Wilson operators in a holomorphic Chern-Simons theory. If time permits I may say something about physics too.

We will give an introduction to the theory of d-manifolds, a new class of geometric objects recently/currently invented by Joyce (see http://people.maths.ox.ac.uk/joyce/dmanifolds.html). We will start from scratch, by recalling the definition of a 2-category and talking a bit about $C^\infty$-rings, $C^\infty$-schemes and d-spaces before giving the definition of what a d-manifold should be. We will then discuss some properties of d-manifolds, and say some words about d-manifold bordism and its applications.

We will explain Bridgelands results on the stabiltiy manifold of a K3 surface. As an application we will define the stringy Kaehler moduli space of a K3 surface and comment on the mirror symmetry picture.

We will describe the space of Bridgeland stability conditions

of the derived category of some CY3 algebras of quivers drawn on the

Riemann sphere. We give a biholomorphic map from the upper-half plane to

the space of stability conditions lifting the period map of a meromorphic

differential on a 1-dimensional family of elliptic curves. The map is

equivariant with respect to the actions of a subgroup of $\mathrm{PSL}(2,\mathbb Z)$ on the

left by monodromy of the rational elliptic surface and on the right by

autoequivalences of the derived category.

The complement of a divisor in the rational elliptic surface can be

identified with Hitchin's moduli space of connections on the projective

line with prescribed poles of a certain order at marked points. This is

the space of initial conditions of one of the Painleve equations whose

solutions describe isomonodromic deformations of these connections.

We will present a class of compact and connected homogeneous

spaces such that the Ricci flow of invariant Riemannian metrics develops

type I singularities in finite time. We will describe the singular

behaviours that we can get, as we approach the singular time, and the Ricci

soliton that we obtain by blowing up the solution near the singularity.

Finally, we will investigate the existence of ancient solutions when the

isotropy representation decomposes into two inequivalent irreducible

summands.

As with conventional Higgs bundles, calculating Betti numbers of twisted Higgs bundle moduli spaces through Morse theory requires us to

study holomorphic chains. For the case when the base is P^1, we present a recursive method for constructing all the possible stable chains of a given type and degree by representing a family of chains by a quiver. We present the Betti numbers when the twists are O(1) and O(2), the latter of which coincides with the co-Higgs bundles on P^1. We offer some open questions. In doing so, we mention how these numbers have appeared elsewhere recently, namely in calculations of Mozgovoy related to conjectures coming from the physics literature (Chuang-Diaconescu-Pan).

We will give a quick and dirty introduction to Gromov-Witten theory and discuss some integrality properties of GW invariants. We will start by briefly recalling some basic properties of the Deligne Mumford moduli space of curves. We will then try to define GW invariants using both algebraic and symplectic geometry (both definitions will be rather sloppy, but hopefully the basic idea will become visible), talk a bit about the axiomatic definition due to to Kontsevich and Manin, and discuss some applications like quantum cohomology. Finally, we will talk a bit about integrality and the Gopakumar-Vafa conjecture. Just as a word of warning: this talk is intended as an introduction to the

subject and should give an overview, so we will perhaps be a bit sloppy here and there...

In spirit with John's talk we will discuss how topological invariants can be defined within a purely algebraic framework. After having introduced étale fundamental groups, we will discuss conjectures of Gieseker, relating those to certain "flat bundles" in finite characteristic. If time remains we will comment on the recent proof of Esnault-Sun.