The University of Adelaide
You are here
Text size: S | M | L
Printer Friendly Version
July 2018

Search the School of Mathematical Sciences

Find in People Courses Events News Publications

Events matching "A survey of non-abelian cohomology"

Inconsistent Mathematics
15:10 Fri 28 Apr, 2006 :: G08 Mathematics Building University of Adelaide :: Prof. Chris Mortensen

The Theory of Inconsistency arose historically from a number of sources, such as the semantic paradoxes including The Liar and the set-theoretic paradoxes including Russell's. But these sources are rather too closely connected with Foundationalism: the view that mathematics has a foundation such as logic or set theory or category theory etc. It soon became apparent that inconsistent mathematical structures are of interest in their own right and do not depend on the existence of foundations. This paper will survey some of the results in inconsistent mathematics and discuss the bearing on various philosophical positions including Platonism, Logicism, Hilbert's Formalism, and Brouwer's Intuitionism.
Homological algebra and applications - a historical survey
15:10 Fri 19 May, 2006 :: G08 Mathematics Building University of Adelaide :: Prof. Amnon Neeman

Homological algebra is a curious branch of mathematics; it is a powerful tool which has been used in many diverse places, without any clear understanding why it should be so useful. We will give a list of applications, proceeding chronologically: first to topology, then to complex analysis, then to algebraic geometry, then to commutative algebra and finally (if we have time) to non-commutative algebra. At the end of the talk I hope to be able to say something about the part of homological algebra on which I have worked, and its applications. That part is derived categories.
The Mathematics of String Theory
15:10 Fri 2 May, 2008 :: LG29 Napier Building University of Adelaide :: Prof. Peter Bouwknegt :: Department of Mathematics, ANU

String Theory has had, and continues to have, a profound impact on many areas of mathematics and vice versa. In this talk I want to address some relatively recent developments. In particular I will argue, following Witten and others, that D-brane charges take values in the K-theory of spacetime, rather than in integral cohomology as one might have expected. I will also explore the mathematical consequences of a particular symmetry, called T-duality, in this context. I will give an intuitive introduction into D-branes and K-theory. No prior knowledge about either String Theory, D-branes or K-theory is required.
Free surface Stokes flows with surface tension
15:10 Fri 5 Sep, 2008 :: G03 Napier Building University of Adelaide :: Prof. Darren Crowdy :: Imperial College London

In this talk, we will survey a number of different free boundary problems involving slow viscous (Stokes) flows in which surface tension is active on the free boundary. Both steady and unsteady flows will be considered. Motivating applications range from industrial processes such as viscous sintering (where end-products are formed as a result of the surface-tension-driven densification of a compact of smaller particles that are heated in order that they coalesce) to biological phenomena such as understanding how organisms swim (i.e. propel themselves) at low Reynolds numbers. Common to our approach to all these problems will be an analytical/theoretical treatment of model problems via complex variable methods -- techniques well-known at infinite Reynolds numbers but used much less often in the Stokes regime. These model problems can give helpful insights into the behaviour of the true physical systems.
String structures and characteristic classes for loop group bundles
13:10 Fri 1 May, 2009 :: School Board Room :: Mr Raymond Vozzo :: University of Adelaide

The Chern-Weil homomorphism gives a geometric method for calculating characteristic classes for principal bundles. In infinite dimensions, however, the standard theory fails due to analytical problems. In this talk I shall give a geometric method for calculating characteristic classes for principal bundle with structure group the loop group of a compact group which side-steps these complications. This theory is inspired in some sense by results on the string class (a certain cohomology class on the base of a loop group bundle) which I shall outline.
Another proof of Gaboriau-Popa
13:10 Fri 3 Jul, 2009 :: School Board Room :: Prof Greg Hjorth :: University of Melbourne

Gaboriau and Popa showed that a non-abelian free group on finitely many generators has continuum many measure preserving, free, ergodic, actions on standard Borel probability spaces. The original proof used the notion of property (T). I will sketch how this can be replaced by an elementary, and apparently new, dynamical property.
A Fourier-Mukai transform for invariant differential cohomology
13:10 Fri 9 Oct, 2009 :: School Board Room :: Mr Richard Green :: University of Adelaide

Fourier-Mukai transforms are a geometric analogue of integral transforms playing an important role in algebraic geometry. Their name derives from the construction of Mukai involving the Poincare line bundle associated to an abelian variety. In this talk I will discuss recent work looking at an analogue of this original Fourier-Mukai transform in the context of differential geometry, which gives an isomorphism between the invariant differential cohomology of a real torus and its dual.
Oka manifolds and Oka maps
13:10 Fri 29 Jan, 2010 :: Napier LG 23 :: Prof Franc Forstneric :: University of Ljubljana

In this survey lecture I will discuss a new class of complex manifolds and of holomorphic maps between them which I introduced in 2009 (F. Forstneric, Oka Manifolds, C. R. Acad. Sci. Paris, Ser. I, 347 (2009) 1017-1020). Roughly speaking, a complex manifold Y is said to be an Oka manifold if Y admits plenty of holomorphic maps from any Stein manifold (or Stein space) X to Y, in a certain precise sense. In particular, the inclusion of the space of holomorphic maps of X to Y into the space of continuous maps must be a weak homotopy equivalence. One of the main results is that this class of manifolds can be characterized by a simple Runge approximation property for holomorphic maps from complex Euclidean spaces C^n to Y, with approximation on compact convex subsets of C^n. This answers in the affirmative a question posed by M. Gromov in 1989. I will also discuss the Oka properties of holomorphic maps and their characterization by approximation properties.
Loop groups and characteristic classes
13:10 Fri 23 Apr, 2010 :: School Board Room :: Dr Raymond Vozzo :: University of Adelaide

Suppose $G$ is a compact Lie group, $LG$ its (free) loop group and $\Omega G \subseteq LG$ its based loop group. Let $P \to M$ be a principal bundle with structure group one of these loop groups. In general, differential form representatives of characteristic classes for principal bundles can be easily obtained using the Chern-Weil homomorphism, however for infinite-dimensional bundles such as $P$ this runs into analytical problems and classes are more difficult to construct. In this talk I will explain some new results on characteristic classes for loop group bundles which demonstrate how to construct certain classes---which we call string classes---for such bundles. These are obtained by making heavy use of a certain $G$-bundle associated to any loop group bundle (which allows us to avoid the problems of dealing with infinite-dimensional bundles). We shall see that the free loop group case naturally involves equivariant cohomology.
Functorial 2-connected covers
13:10 Fri 21 May, 2010 :: School Board Room :: David Roberts :: University of Adelaide

The Whitehead tower of a topological space seeks to resolve that space by successively removing homotopy groups from the 'bottom up'. For a path-connected space with no 1-dimensional local pathologies the first stage in the tower can be chosen to be the universal (=1-connected) covering space. This construction also works in the category Diff of manifolds. However, further stages in the two known constructions of the Whitehead tower do not work in Diff, being purely topological - and one of these is non-functorial, depending on a large number of choices. This talk will survey results from my thesis which constructs a new, functorial model for the 2-connected cover which will lift to a generalised (2-)category of smooth objects. This talk contains joint work with Andrew Stacey of the Norwegian University of Science and Technology.
Topological chaos in two and three dimensions
15:10 Fri 18 Jun, 2010 :: Santos Lecture Theatre :: Dr Matt Finn :: School of Mathematical Sciences

Research into two-dimensional laminar fluid mixing has enjoyed a renaissance in the last decade since the realisation that the Thurston–Nielsen theory of surface homeomorphisms can assist in designing efficient "topologically chaotic" batch mixers. In this talk I will survey some tools used in topological fluid kinematics, including braid groups, train-tracks, dynamical systems and topological index formulae. I will then make some speculations about topological chaos in three dimensions.
On some applications of higher Quillen K'-theory
13:10 Fri 3 Sep, 2010 :: Ingkarni Wardli B20 (Suite 4) :: Dr Snigdhayan Mahanta :: University of Adelaide

In my previous talk I introduced a functor from the category of k-algebras (k field) to abelian groups, called KQ-theory. In this talk I will explain its relationship with topological (homological) T-dualities and twisted K-theory.
Queues with skill based routing under FCFS–ALIS regime
15:10 Fri 11 Feb, 2011 :: B17 Ingkarni Wardli :: Prof Gideon Weiss :: The University of Haifa, Israel

We consider a system where jobs of several types are served by servers of several types, and a bipartite graph between server types and job types describes feasible assignments. This is a common situation in manufacturing, call centers with skill based routing, matching of parent-child in adoption or matching in kidney transplants etc. We consider the case of first come first served policy: jobs are assigned to the first available feasible server in order of their arrivals. We consider two types of policies for assigning customers to idle servers - a random assignment and assignment to the longest idle server (ALIS) We survey some results for four different situations:

  • For a loss system we find conditions for reversibility and insensitivity.
  • For a manufacturing type system, in which there is enough capacity to serve all jobs, we discuss a product form solution and waiting times.
  • For an infinite matching model in which an infinite sequence of customers of IID types, and infinite sequence of servers of IID types are matched according to first come first, we obtain a product form stationary distribution for this system, which we use to calculate matching rates.
  • For a call center model with overload and abandonments we make some plausible observations.

This talk surveys joint work with Ivo Adan, Rene Caldentey, Cor Hurkens, Ed Kaplan and Damon Wischik, as well as work by Jeremy Visschers, Rishy Talreja and Ward Whitt.

Lattices in exotic groups
15:10 Fri 18 Mar, 2011 :: 7.15 Ingkarni Wardli :: Dr Anne Thomas :: University of Sydney

A lattice in a locally compact group G is a discrete subgroup of cofinite volume. Lattices in Lie groups are well-studied, but little is known about lattices in other, "exotic", locally compact groups. Examples of exotic groups include isometry groups of trees, buildings, polyhedral complexes and CAT(0) spaces, and Kac-Moody groups. We will survey known results, which include both rigidity and surprising examples of flexibility, and discuss the wide range of tools used to investigate lattices in these non-classical settings.
Lifting principal bundles and abelian extensions
13:10 Fri 27 May, 2011 :: Mawson 208 :: Prof Michael Murray :: School of Mathematical Sciences

I will review what it means to lift the structure group of a principal bundle and the topological obstruction to this in the case of a central extension. I will then discuss some new results in the case of abelian extensions.
Natural operations on the Hochschild cochain complex
13:10 Fri 3 Jun, 2011 :: Mawson 208 :: Dr Michael Batanin :: Macquarie University

The Hochschild cochain complex of an associative algebra provides an important bridge between algebra and geometry. Algebraically, this is the derived center of the algebra. Geometrically, the Hochschild cohomology of the algebra of smooth functions on a manifold is isomorphic to the graduate space of polyvector fields on this manifold. There are many important operations acting on the Hochschild complex. It is, however, a tricky question to ask which operations are natural because the Hochschild complex is not a functor. In my talk I will explain how we can overcome this obstacle and compute all possible natural operations on the Hochschild complex. The result leads immediately to a proof of the Deligne conjecture on Hochschild cochains.
There are no magnetically charged particle-like solutions of the Einstein-Yang-Mills equations for models with Abelian residual groups
13:10 Fri 19 Aug, 2011 :: B.19 Ingkarni Wardli :: Dr Todd Oliynyk :: Monash University

According to a conjecture from the 90's, globally regular, static, spherically symmetric (i.e. particle-like) solutions with nonzero total magnetic charge are not expected to exist in Einstein-Yang-Mills theory. In this talk, I will describe recent work done in collaboration with M. Fisher where we establish the validity of this conjecture under certain restrictions on the residual gauge group. Of particular interest is that our non-existence results apply to the most widely studied models with Abelian residual groups.
Twisted Morava K-theory
13:10 Fri 9 Sep, 2011 :: 7.15 Ingkarni Wardli :: Dr Craig Westerland :: University of Melbourne

Morava's extraordinary K-theories K(n) are a family of generalized cohomology theories which behave in some ways like K-theory (indeed, K(1) is mod 2 K-theory). Their construction exploits Quillen's description of cobordism in terms of formal group laws and Lubin-Tate's methods in class field theory for constructing abelian extensions of number fields. Constructed from homotopy-theoretic methods, they do not admit a geometric description (like deRham cohomology, K-theory, or cobordism), but are nonetheless subtle, computable invariants of topological spaces. In this talk, I will give an introduction to these theories, and explain how it is possible to define an analogue of twisted K-theory in this setting. Traditionally, K-theory is twisted by a three-dimensional cohomology class; in this case, K(n) admits twists by (n+2)-dimensional classes. This work is joint with Hisham Sati.
Cohomology of higher-rank graphs and twisted C*-algebras
13:10 Fri 16 Sep, 2011 :: B.19 Ingkarni Wardli :: Dr Aidan Sims :: University of Wollongong

Higher-rank graphs and their $C^*$-algebras were introduced by Kumjian and Pask in 2000. They have provided a rich source of tractable examples of $C^*$-algebras, the most elementary of which are the commutative algebras $C(\mathbb{T}^k)$ of continuous functions on $k$-tori. In this talk we shall describe how to define the homology and cohomology of a higher-rank graph, and how to associate to each higher-rank graph $\Lambda$ and $\mathbb{T}$-valued cocycle on $\Lambda$ a twisted higher-rank graph $C^*$-algebra. As elementary examples, we obtain all noncommutative tori. This is a preleminary report on ongoing joint work with Alex Kumjian and David Pask.
T-duality via bundle gerbes I
13:10 Fri 23 Sep, 2011 :: B.19 Ingkarni Wardli :: Dr Raymond Vozzo :: University of Adelaide

In physics T-duality is a phenomenon which relates certain types of string theories to one another. From a topological point of view, one can view string theory as a duality between line bundles carrying a degree three cohomology class (the H-flux). In this talk we will use bundle gerbes to give a geometric realisation of the H-flux and explain how to construct the T-dual of a line bundle together with its T-dual bundle gerbe.
T-duality via bundle gerbes II
13:10 Fri 21 Oct, 2011 :: B.19 Ingkarni Wardli :: Dr Raymond Vozzo :: University of Adelaide

In physics T-duality is a phenomenon which relates certain types of string theories to one another. From a topological point of view, one can view string theory as a duality between line bundles carrying a degree three cohomology class (the H-flux). In this talk we will use bundle gerbes to give a geometric realisation of the H-flux and explain how to construct the T-dual of a line bundle together with its T-dual bundle gerbe.
Acyclic embeddings of open Riemann surfaces into new examples of elliptic manifolds
13:10 Fri 4 May, 2012 :: Napier LG28 :: Dr Tyson Ritter :: University of Adelaide

In complex geometry a manifold is Stein if there are, in a certain sense, "many" holomorphic maps from the manifold into C^n. While this has long been well understood, a fruitful definition of the dual notion has until recently been elusive. In Oka theory, a manifold is Oka if it satisfies several equivalent definitions, each stating that the manifold has "many" holomorphic maps into it from C^n. Related to this is the geometric condition of ellipticity due to Gromov, who showed that it implies a complex manifold is Oka. We present recent contributions to three open questions involving elliptic and Oka manifolds. We show that affine quotients of C^n are elliptic, and combine this with an example of Margulis to construct new elliptic manifolds of interesting homotopy types. It follows that every open Riemann surface properly acyclically embeds into an elliptic manifold, extending an existing result for open Riemann surfaces with abelian fundamental group.
Geometric modular representation theory
13:10 Fri 1 Jun, 2012 :: Napier LG28 :: Dr Anthony Henderson :: University of Sydney

Representation theory is one of the oldest areas of algebra, but many basic questions in it are still unanswered. This is especially true in the modular case, where one considers vector spaces over a field F of positive characteristic; typically, complications arise for particular small values of the characteristic. For example, from a vector space V one can construct the symmetric square S^2(V), which is one easy example of a representation of the group GL(V). One would like to say that this representation is irreducible, but that statement is not always true: if F has characteristic 2, there is a nontrivial invariant subspace. Even for GL(V), we do not know the dimensions of all irreducible representations in all characteristics. In this talk, I will introduce some of the main ideas of geometric modular representation theory, a more recent approach which is making progress on some of these old problems. Essentially, the strategy is to re-formulate everything in terms of homology of various topological spaces, where F appears only as the field of coefficients and the spaces themselves are independent of F; thus, the modular anomalies in representation theory arise because homology with modular coefficients is detecting something about the topology that rational coefficients do not. In practice, the spaces are usually varieties over the complex numbers, and homology is replaced by intersection cohomology to take into account the singularities of these varieties.
The motivic logarithm and its realisations
13:10 Fri 3 Aug, 2012 :: Engineering North 218 :: Dr James Borger :: Australian National University

When a complex manifold is defined by polynomial equations, its cohomology groups inherit extra structure. This was discovered by Hodge in the 1920s and 30s. When the defining polynomials have rational coefficients, there is some additional, arithmetic structure on the cohomology. This was discovered by Grothendieck and others in the 1960s. But here the situation is still quite mysterious because each cohomology group has infinitely many different arithmetic structures and while they are not directly comparable, they share many properties---with each other and with the Hodge structure. All written accounts of this that I'm aware of treat arbitrary varieties. They are beautifully abstract and non-explicit. In this talk, I'll take the opposite approach and try to give a flavour of the subject by working out a perhaps the simplest nontrivial example, the cohomology of C* relative to a subset of two points, in beautifully concrete and explicit detail. Here the common motif is the logarithm. In Hodge theory, it is realised as the complex logarithm; in the crystalline theory, it's as the p-adic logarithm; and in the etale theory, it's as Kummer theory. I'll assume you have some familiarity with usual, singular cohomology of topological spaces, but I won't assume that you know anything about these non-topological cohomology theories.
Hodge numbers and cohomology of complex algebraic varieties
13:10 Fri 10 Aug, 2012 :: Engineering North 218 :: Prof Gus Lehrer :: University of Sydney

Let $X$ be a complex algebraic variety defined over the ring $\mathfrak{O}$ of integers in a number field $K$ and let $\Gamma$ be a group of $\mathfrak{O}$-automorphisms of $X$. I shall discuss how the counting of rational points over reductions mod $p$ of $X$, and an analysis of the Hodge structure of the cohomology of $X$, may be used to determine the cohomology as a $\Gamma$-module. This will include some joint work with Alex Dimca and with Mark Kisin, and some classical unsolved problems.
Variation of Hodge structure for generalized complex manifolds
13:10 Fri 7 Dec, 2012 :: Ingkarni Wardli B20 :: Dr David Baraglia :: University of Adelaide

Generalized complex geometry combines complex and symplectic geometry into a single framework, incorporating also holomorphic Poisson and bi-Hermitian structures. The Dolbeault complex naturally extends to the generalized complex setting giving rise to Hodge structures in twisted cohomology. We consider the variations of Hodge structure and period mappings that arise from families of generalized complex manifolds. As an application we prove a local Torelli theorem for generalized Calabi-Yau manifolds.
Gauge groupoid cocycles and Cheeger-Simons differential characters
13:10 Fri 5 Apr, 2013 :: Ingkarni Wardli B20 :: Prof Jouko Mickelsson :: Royal Institute of Technology, Stockholm

Groups of gauge transformations in quantum field theory are typically extended by a 2-cocycle with values in a certain abelian group due to chiral symmetry breaking. For these extensions there exist a global explicit construction since the 1980's. I shall study the higher group cocycles following a recent paper by F. Wagemann and C. Wockel, but extending to the transformation groupoid setting (motivated by QFT) and discussing potential obstructions in the construction due to a nonvanishing of low dimensional homology groups of the gauge group. The resolution of the obstruction is obtained by an application of the Cheeger-Simons differential characters.
M-theory and higher gauge theory
13:10 Fri 12 Apr, 2013 :: Ingkarni Wardli B20 :: Dr Christian Saemann :: Heriot-Watt University

I will review my recent work on integrability of M-brane configurations and the description of M-brane models in higher gauge theory. In particular, I will discuss categorified analogues of instantons and present superconformal equations of motion for the non-abelian tensor multiplet in six dimensions. The latter are derived from considering non-abelian gerbes on certain twistor spaces.
An Oka principle for equivariant isomorphisms
12:10 Fri 3 May, 2013 :: Ingkarni Wardli B19 :: A/Prof Finnur Larusson :: University of Adelaide

I will discuss new joint work with Frank Kutzschebauch (Bern) and Gerald Schwarz (Brandeis). Let $G$ be a reductive complex Lie group acting holomorphically on Stein manifolds $X$ and $Y$, which are locally $G$-biholomorphic over a common categorical quotient $Q$. When is there a global $G$-biholomorphism $X\to Y$? In a situation that we describe, with some justification, as generic, we prove that the obstruction to solving this local-to-global problem is topological and provide sufficient conditions for it to vanish. Our main tool is the equivariant version of Grauert's Oka principle due to Heinzner and Kutzschebauch. We prove that $X$ and $Y$ are $G$-biholomorphic if $X$ is $K$-contractible, where $K$ is a maximal compact subgroup of $G$, or if there is a $G$-diffeomorphism $X\to Y$ over $Q$, which is holomorphic when restricted to each fibre of the quotient map $X\to Q$. When $G$ is abelian, we obtain stronger theorems. Our results can be interpreted as instances of the Oka principle for sections of the sheaf of $G$-biholomorphisms from $X$ to $Y$ over $Q$. This sheaf can be badly singular, even in simply defined examples. Our work is in part motivated by the linearisation problem for actions on $\C^n$. It follows from one of our main results that a holomorphic $G$-action on $\C^n$, which is locally $G$-biholomorphic over a common quotient to a generic linear action, is linearisable.
A survey of non-abelian cohomology
12:10 Fri 16 Aug, 2013 :: Ingkarni Wardli B19 :: Dr Danny Stevenson :: University of Adelaide

If G is a topological group, not necessarily abelian, then the set H^1(M,G) has a natural interpretation in terms of principal G-bundles on the space M. In this talk I will describe higher degree analogs of both the set H^1(M,G) and the notion of a principal bundle (the latter is closely connected to the subject of bundle gerbes). I will explain, following work of Joyal, Jardine and many others, how the language of abstract homotopy theory gives a very convenient framework for discussing these ideas.
K-theory and solid state physics
12:10 Fri 13 Sep, 2013 :: Ingkarni Wardli B19 :: Dr Keith Hannabuss :: Balliol College, Oxford

More than 50 years ago Dyson showed that there is a nine-fold classification of random matrix models, the classes of which are each associated with Riemannian symmetric spaces. More recently it was realised that a related argument enables one to classify the insulating properties of fermionic systems (with the addition of an extra class to give 10 in all), and can be described using K-theory. In this talk I shall give a survey of the ideas, and a brief outline of work with Guo Chuan Thiang.
A generalised Kac-Peterson cocycle
11:10 Thu 17 Apr, 2014 :: Ingkarni Wardli B20 :: Pedram Hekmati :: University of Adelaide

The Kac-Peterson cocycle appears in the study of highest weight modules of infinite dimensional Lie algebras and determines a central extension. The vanishing of its cohomology class is tied to the existence of a cubic Dirac operator whose square is a quadratic Casimir element. I will introduce a closely related Lie algebra cocycle that comes about when constructing spin representations and gives rise to a Banach Lie group with a highly nontrivial topology. I will also explain how to make sense of the cubic Dirac operator in this setting and discuss its relation to twisted K-theory. This is joint work with Jouko Mickelsson.
Boundary-value problems for the Ricci flow
15:10 Fri 15 Aug, 2014 :: B.18 Ingkarni Wardli :: Dr Artem Pulemotov :: The University of Queensland

The Ricci flow is a differential equation describing the evolution of a Riemannian manifold (i.e., a "curved" geometric object) into an Einstein manifold (i.e., an object with a "constant" curvature). This equation is particularly famous for its key role in the proof of the Poincare Conjecture. Understanding the Ricci flow on manifolds with boundary is a difficult problem with applications to a variety of fields, such as topology and mathematical physics. The talk will survey the current progress towards the resolution of this problem. In particular, we will discuss new results concerning spaces with symmetries.
Inferring absolute population and recruitment of southern rock lobster using only catch and effort data
12:35 Mon 22 Sep, 2014 :: B.19 Ingkarni Wardli :: John Feenstra :: University of Adelaide

Abundance estimates from a data-limited version of catch survey analysis are compared to those from a novel one-parameter deterministic method. Bias of both methods is explored using simulation testing based on a more complex data-rich stock assessment population dynamics fishery operating model, exploring the impact of both varying levels of observation error in data as well as model process error. Recruitment was consistently better estimated than legal size population, the latter most sensitive to increasing observation errors. A hybrid of the data-limited methods is proposed as the most robust approach. A more statistically conventional error-in-variables approach may also be touched upon if enough time.
The Serre-Grothendieck theorem by geometric means
12:10 Fri 24 Oct, 2014 :: Ingkarni Wardli B20 :: David Roberts :: University of Adelaide

The Serre-Grothendieck theorem implies that every torsion integral 3rd cohomology class on a finite CW-complex is the invariant of some projective bundle. It was originally proved in a letter by Serre, used homotopical methods, most notably a Postnikov decomposition of a certain classifying space with divisible homotopy groups. In this talk I will outline, using work of the algebraic geometer Offer Gabber, a proof for compact smooth manifolds using geometric means and a little K-theory.
Monodromy of the Hitchin system and components of representation varieties
12:10 Fri 29 May, 2015 :: Napier 144 :: David Baraglia :: University of Adelaide

Representations of the fundamental group of a compact Riemann surface into a reductive Lie group form a moduli space, called a representation variety. An outstanding problem in topology is to determine the number of components of these varieties. Through a deep result known as non-abelian Hodge theory, representation varieties are homeomorphic to moduli spaces of certain holomorphic objects called Higgs bundles. In this talk I will describe recent joint work with L. Schaposnik computing the monodromy of the Hitchin fibration for Higgs bundle moduli spaces. Our results give a new unified proof of the number of components of several representation varieties.
Instantons and Geometric Representation Theory
12:10 Thu 23 Jul, 2015 :: Engineering and Maths EM212 :: Professor Richard Szabo :: Heriot-Watt University

We give an overview of the various approaches to studying supersymmetric quiver gauge theories on ALE spaces, and their conjectural connections to two-dimensional conformal field theory via AGT-type dualities. From a mathematical perspective, this is formulated as a relationship between the equivariant cohomology of certain moduli spaces of sheaves on stacks and the representation theory of infinite-dimensional Lie algebras. We introduce an orbifold compactification of the minimal resolution of the A-type toric singularity in four dimensions, and then construct a moduli space of framed sheaves which is conjecturally isomorphic to a Nakajima quiver variety. We apply this construction to derive relations between the equivariant cohomology of these moduli spaces and the representation theory of the affine Lie algebra of type A.
On the Strong Novikov Conjecture for Locally Compact Groups in Low Degree Cohomology Classes
12:10 Fri 3 Jun, 2016 :: Eng & Maths EM205 :: Yoshiyasu Fukumoto :: Kyoto University

The main result I will discuss is non-vanishing of the image of the index map from the G-equivariant K-homology of a G-manifold X to the K-theory of the C*-algebra of the group G. The action of G on X is assumed to be proper and cocompact. Under the assumption that the Kronecker pairing of a K-homology class with a low-dimensional cohomology class is non-zero, we prove that the image of this class under the index map is non-zero. Neither discreteness of the locally compact group G nor freeness of the action of G on X are required. The case of free actions of discrete groups was considered earlier by B. Hanke and T. Schick.
Etale ideas in topological and algebraic dynamical systems
12:10 Fri 5 Aug, 2016 :: Ingkarni Wardli B18 :: Tuyen Truong :: University of Adelaide

In etale topology, instead of considering open subsets of a space, we consider etale neighbourhoods lying over these open subsets. In this talk, I define an etale analog of dynamical systems: to understand a dynamical system f:(X,\Omega )->(X,\Omega ), we consider other dynamical systems lying over it. I then propose to use this to resolve the following two questions: Question 1: What should be the topological entropy of a dynamical system (f,X,\Omega ) when (X,\Omega ) is not a compact space? Question 2: What is the relation between topological entropy of a rational map or correspondence (over a field of arbitrary characteristic) to the pullback on cohomology groups and algebraic cycles?
Poisson-Lie T-duality and integrability
11:10 Thu 13 Apr, 2017 :: Engineering & Math EM213 :: Ctirad Klimcik :: Aix-Marseille University, Marseille

The Poisson-Lie T-duality relates sigma-models with target spaces symmetric with respect to mutually dual Poisson-Lie groups. In the special case if the Poisson-Lie symmetry reduces to the standard non-Abelian symmetry one of the corresponding mutually dual sigma-models is the standard principal chiral model which is known to enjoy the property of integrability. A natural question whether this non-Abelian integrability can be lifted to integrability of sigma model dualizable with respect to the general Poisson-Lie symmetry has been answered in the affirmative by myself in 2008. The corresponding Poisson-Lie symmetric and integrable model is a one-parameter deformation of the principal chiral model and features a remarkable explicit appearance of the standard Yang-Baxter operator in the target space geometry. Several distinct integrable deformations of the Yang-Baxter sigma model have been then subsequently uncovered which turn out to be related by the Poisson-Lie T-duality to the so called lambda-deformed sigma models. My talk gives a review of these developments some of which found applications in string theory in the framework of the AdS/CFT correspondence.
Hodge theory on the moduli space of Riemann surfaces
12:10 Fri 5 May, 2017 :: Napier 209 :: Jesse Gell-Redman :: University of Melbourne

The Hodge theorem on a closed Riemannian manifold identifies the deRham cohomology with the space of harmonic differential forms. Although there are various extensions of the Hodge theorem to singular or complete but non-compact spaces, when there is an identification of L^2 Harmonic forms with a topological feature of the underlying space, it is highly dependent on the nature of infinity (in the non-compact case) or the locus of incompleteness; no unifying theorem treats all cases. We will discuss work toward extending the Hodge theorem to singular Riemannian manifolds where the singular locus is an incomplete cusp edge. These can be pictured locally as a bundle of horns, and they provide a model for the behavior of the Weil-Petersson metric on the compactified Riemann moduli space near the interior of a divisor. Joint with J. Swoboda and R. Melrose.
Schubert Calculus on Lagrangian Grassmannians
12:10 Tue 23 May, 2017 :: EM 213 :: Hiep Tuan Dang :: National centre for theoretical sciences, Taiwan

The Lagrangian Grassmannian $LG = LG(n,2n)$ is the projective complex manifold which parametrizes Lagrangian (i.e. maximal isotropic) subspaces in a symplective vector space of dimension $2n$. This talk is mainly devoted to Schubert calculus on $LG$. We first recall the definition of Schubert classes in this context. Then we present basic results which are similar to the classical formulas due to Pieri and Giambelli. These lead to a presentation of the cohomology ring of $LG$. Finally, we will discuss recent results related to the Schubert structure constants and Gromov-Witten invariants of $LG$.
Constructing differential string structures
14:10 Wed 7 Jun, 2017 :: EM213 :: David Roberts :: University of Adelaide

String structures on a manifold are analogous to spin structures, except instead of lifting the structure group through the extension Spin(n)\to SO(n) of Lie groups, we need to lift through the extension String(n)\to Spin(n) of Lie *2-groups*. Such a thing exists if the first fractional Pontryagin class (1/2)p_1 vanishes in cohomology. A differential string structure also lifts connection data, but this is rather complicated, involving a number of locally defined differential forms satisfying cocycle-like conditions. This is an expansion of the geometric string structures of Stolz and Redden, which is, for a given connection A, merely a 3-form R on the frame bundle such that dR = tr(F^2) for F the curvature of A; in other words a trivialisation of the de Rham class of (1/2)p_1. I will present work in progress on a framework (and specific results) that allows explicit calculation of the differential string structure for a large class of homogeneous spaces, which also yields formulas for the Stolz-Redden form. I will comment on the application to verifying the refined Stolz conjecture for our particular class of homogeneous spaces. Joint work with Ray Vozzo.
Weil's Riemann hypothesis (RH) and dynamical systems
12:10 Fri 11 Aug, 2017 :: Engineering Sth S111 :: Tuyen Truong :: University of Adelaide

Weil proposed an analogue of the RH in finite fields, aiming at counting asymptotically the number of solutions to a given system of polynomial equations (with coefficients in a finite field) in finite field extensions of the base field. This conjecture influenced the development of Algebraic Geometry since the 1950’s, most important achievements include: Grothendieck et al.’s etale cohomology, and Bombieri and Grothendieck’s standard conjectures on algebraic cycles (inspired by a Kahlerian analogue of a generalisation of Weil’s RH by Serre). Weil’s RH was solved by Deligne in the 70’s, but the finite field analogue of Serre’s result is still open (even in dimension 2). This talk presents my recent work proposing a generalisation of Weil’s RH by relating it to standard conjectures and a relatively new notion in complex dynamical systems called dynamical degrees. In the course of the talk, I will present the proof of a question proposed by Esnault and Srinivas (which is related to a result by Gromov and Yomdin on entropy of complex dynamical systems), which gives support to the finite field analogue of Serre’s result.
Topology as a tool in algebra
15:10 Fri 8 Sep, 2017 :: Ingkarni Wardli B17 :: Dr Zsuzsanna Dancso :: University of Sydney

Topologists often use algebra in order to understand the shape of a space: invariants such as homology and cohomology are basic, and very successful, examples of this principle. Although topology is used as a tool in algebra less often, I will describe a recurring pattern on the border of knot theory and quantum algebra where this is possible. We will explore how the tangled topology of "flying circles in R^3" is deeply related to a famous problem in Lie theory: the Kashiwara-Vergne (KV) problem (first solved in 2006 by Alekseev-Meinrenken). I will explain how this relationship illuminates the intricate algebra of the KV problem.
On directions and operators
11:10 Wed 27 Sep, 2017 :: Engineering & Math EM213 :: Malabika Pramanik :: University of British Columbia

Many fundamental operators arising in harmonic analysis are governed by sets of directions that they are naturally associated with. This talk will survey a few representative results in this area, and report on some new developments.
Equivariant formality of homogeneous spaces
12:10 Fri 29 Sep, 2017 :: Engineering Sth S111 :: Alex Chi-Kwong Fok :: University of Adelaide

Equivariant formality, a notion in equivariant topology introduced by Goresky-Kottwitz-Macpherson, is a desirable property of spaces with group actions, which allows the application of localisation formula to evaluate integrals of any top closed forms and enables one to compute easily the equivariant cohomology. Broad classes of spaces of especial interest are well-known to be equivariantly formal, e.g., compact symplectic manifolds equipped with Hamiltonian compact Lie group actions and projective varieties equipped with linear algebraic torus actions, of which flag varieties are examples. Less is known about compact homogeneous spaces G/K equipped with the isotropy action of K, which is not necessarily of maximal rank. In this talk we will review previous attempts of characterizing equivariant formality of G/K, and present our recent results on this problem using an analogue of equivariant formality in K-theory. Part of the work presented in this talk is joint with Jeffrey Carlson.
A Hecke module structure on the KK-theory of arithmetic groups
13:10 Fri 2 Mar, 2018 :: Barr Smith South Polygon Lecture theatre :: Bram Mesland :: University of Bonn

Let $G$ be a locally compact group, $\Gamma$ a discrete subgroup and $C_{G}(\Gamma)$ the commensurator of $\Gamma$ in $G$. The cohomology of $\Gamma$ is a module over the Shimura Hecke ring of the pair $(\Gamma,C_G(\Gamma))$. This construction recovers the action of the Hecke operators on modular forms for $SL(2,\mathbb{Z})$ as a particular case. In this talk I will discuss how the Shimura Hecke ring of a pair $(\Gamma, C_{G}(\Gamma))$ maps into the $KK$-ring associated to an arbitrary $\Gamma$-C*-algebra. From this we obtain a variety of $K$-theoretic Hecke modules. In the case of manifolds the Chern character provides a Hecke equivariant transformation into cohomology, which is an isomorphism in low dimensions. We discuss Hecke equivariant exact sequences arising from possibly noncommutative compactifications of $\Gamma$-spaces. Examples include the Borel-Serre and geodesic compactifications of the universal cover of an arithmetic manifold, and the totally disconnected boundary of the Bruhat-Tits tree of $SL(2,\mathbb{Z})$. This is joint work with M.H. Sengun (Sheffield).
Cobordism maps on PFH induced by Lefschetz fibration over higher genus base
13:10 Fri 11 May, 2018 :: Barr Smith South Polygon Lecture theatre :: Guan Heng Chen :: University of Adelaide

In this talk, we will discuss the cobordism maps on periodic Floer homology(PFH) induced by Lefschetz fibration. Periodic Floer homology is a Gromov types invariant for three dimensional mapping torus and it is isomorphic to a version of Seiberg Witten Floer cohomology(SWF). Our result is to define the cobordism maps on PFH induced by certain types of Lefschetz fibration via using holomorphic curves method. Also, we show that the cobordism maps is equivalent to the cobordism maps on Seiberg Witten cohomology under the isomorphism PFH=SWF.
Obstructions to smooth group actions on 4-manifolds from families Seiberg-Witten theory
13:10 Fri 25 May, 2018 :: Barr Smith South Polygon Lecture theatre :: David Baraglia :: University of Adelaide

Let X be a smooth, compact, oriented 4-manifold and consider the following problem. Let G be a group which acts on the second cohomology of X preserving the intersection form. Can this action of G on H^2(X) be lifted to an action of G on X by diffeomorphisms? We study a parametrised version of Seiberg-Witten theory for smooth families of 4-manifolds and obtain obstructions to the existence of such lifts. For example, we construct compact simply-connected 4-manifolds X and involutions on H^2(X) that can be realised by a continuous involution on X, or by a diffeomorphism, but not by an involutive diffeomorphism for any smooth structure on X.

Publications matching "A survey of non-abelian cohomology"

The elliptic curves in gauge theory, string theory, and cohomology
Sati, Hicham, The Journal of High Energy Physics (Print Edition) 3 (0–19) 2006
L2 torsion without the determinant class condition and extended L2 cohomology
Braverman, M; Carey, Alan; Farber, M; Varghese, Mathai, Communications in Contemporary Mathematics 7 (421–462) 2005
Smoothly parameterized ech cohomology of complex manifolds
Bailey, T; Eastwood, Michael; Gindikin, S, Journal of Geometric Analysis 15 (9–23) 2005
Type IIB string theory, S-duality, and generalized cohomology
Kriz, I; Sati, Hicham, Nuclear Physics B 715 (639–664) 2005
Smoothly parameterized Cech cohomology of complex manifolds
Bailey, T; Eastwood, Michael; Gindikin, S, Journal of Geometric Analysis 15 (9–23) 2005
M-theory, type IIA superstrings, and elliptic cohomology
Kriz, I; Sati, Hicham, Advances in Theoretical and Mathematical Physics 8 (345–394) 2004
The Novikov conjecture for low degree cohomology classes
Varghese, Mathai, Geometriae Dedicata 99 (1–15) 2003
Nonclassical description of analytic cohomology
Bailey, T; Eastwood, Michael; Gindikin, S,
Some remarks on non-Abelian sheaf cohomology
Eastwood, Michael, chapter in Further advances in twistor theory. Vol. III, Curved twistor spaces (Chapman & Hall/CRC) 113–115, 2001
A brief survey and synthesis of the roles of time in petri nets
Bowden, Fred David John, Mathematical and Computer Modelling 31 (55–68) 2000
A note on higher cohomology groups of Khler quotients
Wu, Siye, Annals of Global Analysis and Geometry 18 (569–576) 2000

Advanced search options

You may be able to improve your search results by using the following syntax:

QueryMatches the following
Asymptotic EquationAnything with "Asymptotic" or "Equation".
+Asymptotic +EquationAnything with "Asymptotic" and "Equation".
+Stokes -"Navier-Stokes"Anything containing "Stokes" but not "Navier-Stokes".
Dynam*Anything containing "Dynamic", "Dynamical", "Dynamicist" etc.