Past Junior Geometry and Topology Seminar

I'll start by defining the zeta function and stating the Weil conjectures (which have actually been theorems for some time now). I'll then go on by saying things like "Weil cohomology", "standard conjectures" and "Betti numbers of the Grassmannian". Hopefully by the end we'll all have learned something, including me.

The derived category of a variety has (relatively) recently come into play as an invariant of the variety, useful as a tool for classification. As the derived category contains cohomological information about the variety, it is perhaps a natural question to ask how close the derived category is to the motive of a variety.

We will begin by briefly recalling Grothendieck's category of Chow motives of smooth projective varieties, recall the definition of Fourier-Mukai transforms, and state some theorems and examples. We will then discuss some conjectures of Orlov http://arxiv.org/abs/math/0512620, the most general of which is: does an equivalence of derived categories imply an isomorphism of motives?

In this talk I shall present some ongoing work on principal G-Higgs bundles, for G a simple Lie group. In particular, we will consider two non-compact real forms of GL(p+q,C) and SL(p+q,C), namely U(p,q) and SU(p,q). By means of the spectral data that principal Higgs bundles carry for these non-compact real forms, we shall give a new description of the moduli space of principal U(p,q) and SU(p,q)-Higgs bundles. As an application of our method, we will count the connected components of these moduli spaces.

Mikhail Borovoi's theorem states that any simply connected compact semisimple Lie group can be understood (as a group) as an amalgam of its rank 1 and rank 2 subgroups. Here we present a recent extension of this, which allows us to understand the same objects as a colimit of their rank 1 and rank 2 subgroups under a final group topology in the category of Lie groups. Loosely speaking, we obtain not only the group structure uniquely by understanding all rank 1 and rank 2 subgroups, but also the topology.

The talk will race through the elements of Lie theory, buildings and category theory needed for this proof, to leave the audience with the underlying structure of the proof. Little prior knowledge will be assumed, but many details will be left out.

A factorability structure on a group G is a specification of normal forms of group elements as words over a fixed generating set. There is a chain complex computing the (co)homology of G. In contrast to the well-known bar resolution, there are much less generators in each dimension of the chain complex. Although it is often difficult to understand the differential, there are examples where the differential is particularly simple, allowing computations by hand. This leads to the cohomology ring of hv-groups, which I define at the end of the talk in terms of so called "horizontal" and "vertical" generators.

I will explain how Chen's iterated integrals can be used to construct an $A_\infty$-version of de Rham's theorem (originally due to Gugenheim). I will then explain how to use this result to construct generalized holonomies and integrate homotopy representations in Lie theory.

The topology of the moduli space of stable bundles (of coprime rank and degree) on a smooth curve can be understood from different points of view. Atiyah and Bott calculated the Betti numbers by gauge-theoretic methods (using equivariant Morse theory for the Yang-Mills functional), arriving at the same inductive formula which had been obtained previously by Harder and Narasimhan using arithmetic techniques. An intermediate interpretation (algebro-geometric in nature but dealing with infinite-dimensional parameter spaces as in the gauge theory picture) comes from thinking about vector bundles in terms of matrix divisors, generalising the Abel-Jacobi map to higher rank bundles.

I'll sketch these different approaches, emphasising their parallels, and in the end I'll speculate about how (some of) these methods could be made to work when the underlying curve acquires nodal singularities.

I will talk about a recent paper of Huh, who, building on a wealth of pretty geometry and topology, has given a proof of a conjecture dating back to 1968 regarding the chromatic polynomial (the polynomial that determines how many ways there are of colouring the vertices of a graph with n colours in such a way that no vertices which are joined by an edge have the same colour). I will mainly talk about the way in which a problem that is explicitly a combinatorics problem came to be encoded in algebraic geometry, and give an overview of the geometry and topology that goes into the solution. The talk should be accessible to everyone: no stacks, I promise.

Many classes of polarised projective algebraic varieties can be constructed via explicit constructions of corresponding graded rings. In this talk we will discuss two methods, namely Basket data method and Key varieties method, which are often used in such constructions. In the first method we will construct graded rings corresponding to some topological data of the polarised varieties. The second method is based on the notion of weighted flag variety, which is the weighted projective analogue of a flag variety. We will describe this notion and show how one can use their graded rings to construct interesting classes of polarised varieties.

Consider the action of a complex reductive group on a complex projective variety X embedded in projective space. Geometric Invariant Theory allows us to construct a 'categorical' quotient of an open subset of X, called the semistable set. If in addition X is smooth then it is a symplectic manifold and in nice cases we can construct a moment map for the action and the Marsden-Weinstein reduction gives a symplectic quotient of the group action on an open subset of X. We will discuss both of these constructions and the relationship between the GIT quotient and the Marsden-Weinstein reduction. The quotients we have discussed provide a quotient for only an open subset of X and so we then go on to discuss how we can construct quotients of certain subvarieties contained in the complement of the semistable locus.

I will first introduce and motivate the notion of 'homological stability' for a sequence of spaces and maps. I will then describe a method of proving homological stability for configuration spaces of n unordered points in a manifold as n goes to infinity (and applications of this to sequences of braid groups). This method also generalises to the situation where the configuration has some additional local data: a continuous parameter attached to each point.

However, the method says nothing about the case of adding global data to the configurations, and indeed such configuration spaces rarely do have homological stability. I will sketch a proof -- using an entirely different method -- which shows that in some cases, spaces of configurations with additional global data do have homological stability. Specifically, this holds for the simplest possible global datum for a configuration: an ordering of the points up to even permutations. As a corollary, for example, this proves homological stability for the sequence of alternating groups.

This talk will be an introduction to the space of Bridgeland stability conditions on a triangulated category, focussing on the case of the derived category of coherent sheaves on a curve. These spaces of stability conditions have their roots in physics, and have a mirror theoretic interpretation as moduli of complex structures on the mirror variety.

For curves of genus g > 0, we will see that any stability condition comes from the classical notion of slope stability for torsion-free sheaves. On the projective line we can study the more complicated behaviour via a derived equivalence to the derived category of modules over the Kronecker quiver.

$\AA^1$-homotopy theory is the homotopy theory for smooth algebraic varieties which uses the affine line as a replacement for the unit interval. The stable $\AA^1$-homotopy category is a generalisation of the topological stable homotopy category, and in particular, gives a setting where algebraic cohomology theories such as motivic cohomology, and homotopy invariant algebraic $K$-theory can be represented. We give a brief overview of some aspects of the construction and some properties of both the topological stable homotopy category and the new $\AA^1$-stable homotopy category.

We will state a theorem of Shouhei Ma (2008) relating the Cusps of the Kaehler moduli space to the set of Fourier--Mukai partners of a K3 surface. Then we explain the relationship to the Bridgeland stability manifold and comment on our work relating stability conditions "near" to a cusp to the associated Fourier--Mukai partner.



I will sketch a method to prolong certain classes of differential equations on manifolds using Lie algebra cohomology. The talk will be based on articles by Branson, Cap, Eastwood and Gover (arXiv:math/0402100 and ESI preprint 1483).

All of Joyce's constructions of compact manifolds with special holonomy are in some sense generalisations of the Kummer construction of a K3 surface. We will begin by reviewing manifolds with special holonomy and the Kummer construction. We will then describe Joyce's constructions of compact manifolds with holonomy G_2 and Spin(7).

I will begin by defining the space of algebraic metrics in a particular Kahler class and recalling the Tian-Ruan-Zelditch result saying that they are dense in the space of all Kahler metrics in this class.  I will then discuss the relationship between some special algebraic metrics called 'balanced metrics' and distinguished Kahler metrics (Extremal metrics, cscK, Kahler-Ricci solitons...). Finally I will talk about some numerical algorithms due to Simon Donaldson for finding explicit examples of these balanced metrics (possibly with some pictures).

The maximum principle is one of the main tools use to understand the behaviour of solutions to the Ricci flow. It is a very powerful tool that can be used to show that pointwise inequalities on the initial data of parabolic PDE are preserved by the evolution. A particular weak maximum principle for vector bundles will be discussed with references to Hamilton's seminal work [J. Differential Geom. 17 (1982), no. 2, 255–306; MR664497] on 3-manifolds with positive Ricci curvature and his follow up paper [J. Differential Geom. 24 (1986), no. 2, 153–179; MR0862046] that extends to 4-manifolds with various curvature assumptions.

In the first part of this talk we introduce hypersymplectic manifolds and compare various aspects of their geometry with related notions in hyperkähler geometry. In particular, we explain the hypersymplectic quotient construction. Since many examples of hyperkähler structures arise from Yang-Mills moduli spaces via the hyperkähler quotient construction, we discuss the gauge theoretic equations for a (twisted) harmonic map from a Riemann surface into a compact Lie group. They can be viewed as the zero condition for a hypersymplectic moment map in an infinite-dimensional setup.

We will recall basic definitions and facts about homogeneous Riemannian manifolds and we will discuss the Einstein condition on this kind of spaces. In particular, we will talk about non existence results of invariant Einstein metrics. Finally, we will talk briefly about the Ricci flow equation in the homogeneous setting.

A K3 surface of degree two can be seen as a double cover of the complex projective plane, ramified over a nonsingular sextic curve. In this talk we explore two different methods for constructing explicit projective models of threefolds admitting a fibration by such surfaces, and discuss their relative merits.

The theory of C*-algebras provides a good realisation of noncommutative topology. There is a dictionary relating commutative C*-algebras with locally compact spaces, which can be used to import topological concepts into the C*-world. This philosophy fails in the case of homotopy, where a more sophisticated definition has to be given, leading to the notion of asymptotic morphisms.

As a by-product one obtains a generalisation of Borsuk's shape theory and a universal boundary map for cohomology theories of C*-algebras.

In this talk I will discuss "motivic" Donaldson-Thomas invariants, following the now not-so-recent paper of Kontsevich and Soibelman on this subject. I will, in particular, present some understanding of the mysterious notion of "orientation data," and present some recent work. I will of course do my best to make this talk "accessible," though if you don't know what a scheme or a category is it will probably make you cry.

This talk will begin with an introduction to calibrations and calibrated submanifolds. Calibrated geometry generalizes Wirtinger's inequality in Kahler geometry by considering k-forms which are analogous to the Kahler form. A famous one-line proof shows that calibrated submanifolds are volume minimizing in their homology class. Our examples of manifolds with a calibration will come from complex geometry and from manifolds with special holonomy.

We will then discuss the deformation theory of the calibrated submanifolds in each of our examples and see how they differ from the theory of complex submanifolds of Kahler manifolds.

On any Hermitian manifold there is a unique Hermitian connection, called the Bismut connection, which has torsion a three-form. One says that the triplet consisting of the Hermitian structure together with the Bismut connection specifies a Kähler-with-torsion structure, or briefly a KT structure. If the torsion three-form is closed, we have a strong KT structure. The first part of this talk will discuss these notions and also address the problem of classifying strong KT structures.

\paragraph{} Despite their name, KT manifolds are generally not Kähler. In particular the fundamental two-form is not closed. If the KT structure is strong, we have instead a closed three-form. Motivated by the usefulness of moment maps in geometries involving symplectic forms, one may ask whether it is possible to construct a similar type of map, when we replace the symplectic form by a closed three-form. The second part of the talk will explain the construction of such maps, which are called multi-moment maps.

I will discuss what is known about the cohomology of several moduli spaces coming from algebraic and differential geometry. These are: moduli spaces of non-singular curves (= Riemann surfaces) $M_g$, moduli spaces of nodal curves $\overline{M}_g$, moduli spaces of holomorphic line bundles on curves $Hol_g^k \to M_g$, and the universal Picard varieties $Pic^k_g \to M_g$. I will construct characteristic classes on these spaces, talk about their homological stability, and try to explain why the constructed classes are the only stable ones. If there is time I will also talk about the Picard groups of these moduli spaces.

Much of this work is due to other people, but some is joint with J. Ebert.

This talk will largely be a survey and so will gloss over technicalities. After introducing the basics of the theory of the étale fundamental group I will state the theorems and conjectures related to Grothendieck's famous "anabelian" letter to Faltings. The idea is that the geometry and arithmetic of certain varieties is in some sense governed by their non-abelian (anabelian) fundamental group. Time permitting I will discuss current work in this area, particularly the work of Minhyong Kim relating spaces of (Hodge, étale) path torsors to finiteness theorems for rational points on curves leading to a conjectural proof of Faltings' theorem which has been much discussed in recent years.

\paragraph{} Poisson quasi-Nijenhuis structures with background (PqNb structures) were recently defined and are one of the most general structures within Poisson geometry. On one hand they generalize the structures of Poisson-Nijenhuis type, which in particular contain the Poisson structures themselves. On the other hand they generalize the (twisted) generalized complex structures defined some years ago by Hitchin and Gualtieri. Moreover, PqNb manifolds were found to be appropriate target manifolds for sigma models if one wishes to incorporate certain physical features in the model. All these three reasons put the PqNb structures as a new and general object that deserves to be studied in its own right.

\paragraph{} I will start the talk by introducing all the concepts necessary for defining PqNb structures, making this talk completely self-contained. After a brief recall on Poisson structures, I will define Poisson-Nijenhuis and Poisson quasi-Nijenhuis manifolds and then move on to a brief presentation on the basics of generalized complex geometry. The PqNb structures then arise as the general structure which incorporates all the structures referred above. In the second part of the talk, I will define gauge transformations of PqNb structures and show how one can use this concept to construct examples of such structures. This material corresponds to part of the article arXiv:0912.0688v1 [math.DG].\\

\paragraph{} Also, if time permits, I will shortly discuss the appearing of PqNb manifolds as target manifolds of sigma models.

A moduli problem in algebraic geometry is essentially a classification problem, I will introduce this notion and define what it means for a scheme to be a fine (or coarse) moduli space. Then as an example I will discuss the classification of coherent sheaves on a complex projective scheme up to isomorphism using a method due to Alvarez-Consul and King. The key idea is to 'embed' the moduli problem of sheaves into the moduli problem of quiver representations in the category of vector spaces and then use King's moduli spaces for quiver representations. Finally if time permits I will discuss recent work of Alvarez-Consul on moduli of quiver sheaves; that is, representations of quivers in the category of coherent sheaves.

A Hyperkähler manifold is a riemannian manifold carrying three complex structures which behave like quaternions such that the metric is Kähler with respect to each of them. This means in particular that the manifold is a symplectic manifold in many different ways. In analogy to the Marsden-Weinstein reduction on a symplectic manifold, there is also a quotient construction for group actions that preserve the Hyperkähler structure and admit a moment map. In fact most known (non-compact) examples of hyperkähler manifolds arise in this way from an appropriate group action on a quaternionic vector space.

In the first half of the talk I will give the definition of a hyperkähler manifold and explain the hyperkähler quotient construction. As an important application I will discuss the moduli space of solutions to the gauge-theoretic "Self-duality equations on a Riemann surface", the space of Higgs bundles, and explain how it can be viewed as a hyperkähler quotient in an infinite-dimensional setting.

The aim of this talk is to get a feel for the Ricci flow. The Ricci flow was introduced by Hamilton in 1982 and was later used by Perelman to prove the Poincaré conjecture. We will introduce the notions of Ricci flow and Ricci soliton, giving simple examples in low dimension. We will also discuss briefly other types of geometric flows one can consider.

Descent theory is the art of gluing local data together to global data. Beside of being an invaluable tool for the working geometer, the descent philosophy has changed our perception of space and topology. In this talk I will introduce the audience to the basic results of scheme and descent theory and explain how those can be applied to concrete examples.

In 2008, Juhasz published the following result, which was proved using sutured Floer homology.

Let $K$ be a prime, alternating knot. Let $a$ be the leading coefficient of the Alexander polynomial of $K$. If $|a|

We will consider the monodromy action on mod 2 cohomology for SL(2) Hitchin systems. We will study Copeland's approach to the subject and use his results to compute the monodromy action on mod 2 cohomology. An interpretation of our results in terms of geometric properties of fixed points of a natural involution on the moduli space is given.

We will present a physical motivation of the SYZ conjecture and try to understand the conjecture via calibrated geometry. We will define calibrated submanifolds, and also give sketch proofs of some properties of the moduli space of special Lagrangian submanifolds. The talk will be elementary and accessible to a broad audience.

Many interesting classes of projective varieties can be studied in terms of their graded rings. For weighted projective varieties, this has been done in the past in relatively low codimension.

Let $G$ be a simple and simply connected Lie group and $P$ be a parabolic subgroup of $G$, then homogeneous space $G/P$ is a projective subvariety of $\mathbb{P}(V)$ for some\\

$G$-representation $V$. I will describe weighted projective analogues of these spaces and give the corresponding Hilbert series formula for this construction. I will also show how one may use such spaces as ambient spaces to construct weighted projective varieties of higher codimension.

After reviewing the salient details from last week's seminar, I will construct an explicit example of a spectral curve, using co-Higgs bundles of rank 2. The role of the spectral curve in understanding the moduli space will be made clear by appealing to the Hitchin fibration, and from there inferences (some of them very concrete) can be made about the structure of the moduli space. I will make some conjectures about the higher-dimensional picture, and also try to show how spectral varieties might live in that picture.

PLEASE NOTE THE CHANGE OF TIME FOR THIS WEEK: 13.30 instead of 12.

In the first of two talks, I will simultaneously introduce the notion of a co-Higgs vector bundle and the notion of the spectral curve associated to a compact Riemann surface equipped with a vector bundle and some extra data. I will try to put these ideas into both a historical context and a contemporary one. As we delve deeper, the emphasis will be on using spectral curves to better understand a particular moduli space.

We will begin by reviewing the construction of the symplectic quotient and the definition of the Kirwan map. Then we will give an overview of Kirwan's original proof of the surjectivity of this map and some generalizations of this result. Finally we will talk about the techniques that are being developed to construct right inverses for the Kirwan map.

Extending work of Klyachko, we give a combinatorial description of pure equivariant sheaves on a nonsingular projective toric variety X and construct moduli spaces of such sheaves. These moduli spaces are explicit and combinatorial in nature. Subsequently, we consider the moduli space M of all Gieseker stable sheaves on X and describe its fixed point locus in terms of the moduli spaces of pure equivariant sheaves on X. Using torus localisation, one can then compute topological invariants of M. We consider the case X=S is a toric surface and compute generating functions of Euler characteristics of M. In case of torsion free sheaves, one can study wall-crossing phenomena and in case of pure dimension 1 sheaves one can verify, in examples, a conjecture of Katz relating Donaldson--Thomas invariants and Gopakumar--Vafa invariants.

We will present a self-contained introduction to gauge theory, self-duality and instanton moduli spaces. We will analyze in detail the situation of charge 1 instantons for the 4-sphere when the gauge group is SU(2). Time permitting, we will also mention the ADHM construction for k-instantons.

We describe John Stalling's method of studying finitely generated free groups via graphs and moves on graphs called folds. We will then discuss how the theory can be extended to study the automorphism group of a finitely generated free group.

I will survey the theory of quasiHamiltonian spaces, a.k.a. group valued moment maps. In rough correspondence with historical development, I will first show how they emerge from the study of loop group representations, and then how they arise as a special case of "presymplectic realizations" in Dirac geometry.