
Search the School of Mathematical SciencesEvents matching "A survey of nonabelian 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 settheoretic 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
noncommutative 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 Dbrane charges take values
in the Ktheory of spacetime, rather than in integral cohomology as
one might have expected. I will also explore the mathematical
consequences of a particular symmetry, called Tduality, in this context.
I will give an intuitive introduction into Dbranes and Ktheory.
No prior knowledge about either String Theory, Dbranes or Ktheory
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
endproducts are formed as a result of the surfacetensiondriven 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 wellknown 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 ChernWeil 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 sidesteps 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 GaboriauPopa 13:10 Fri 3 Jul, 2009 :: School Board Room :: Prof Greg Hjorth :: University of Melbourne
Gaboriau and Popa showed that a nonabelian 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 FourierMukai transform for invariant differential cohomology 13:10 Fri 9 Oct, 2009 :: School Board Room :: Mr Richard Green :: University of Adelaide
FourierMukai 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 FourierMukai 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) 10171020).
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 ChernWeil homomorphism, however for infinitedimensional 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 classeswhich we call string classesfor 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 infinitedimensional bundles). We shall see that the free loop group case naturally involves equivariant cohomology. 

Functorial 2connected 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 pathconnected space with no 1dimensional local pathologies the first stage in the tower can be chosen to be the universal (=1connected) 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 nonfunctorial, depending on a large number of choices. This talk will survey results from my thesis which constructs a new, functorial model for the 2connected 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 twodimensional 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, traintracks, 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 kalgebras (k field) to abelian groups, called KQtheory. In this talk I will explain its relationship with
topological (homological) Tdualities and twisted Ktheory. 

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 parentchild 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
Media...A lattice in a locally compact group G is a discrete subgroup of cofinite volume. Lattices in Lie groups are wellstudied, 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 KacMoody 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 nonclassical 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 particlelike solutions of the EinsteinYangMills 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. particlelike) solutions with nonzero total magnetic charge are not expected to exist in EinsteinYangMills 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 nonexistence results apply to the most widely studied models with Abelian residual groups. 

Twisted Morava Ktheory 13:10 Fri 9 Sep, 2011 :: 7.15 Ingkarni Wardli :: Dr Craig Westerland :: University of Melbourne
Morava's extraordinary Ktheories K(n) are a family of generalized cohomology theories which behave in some ways like Ktheory (indeed, K(1) is mod 2 Ktheory). Their construction exploits Quillen's description of cobordism in terms of formal group laws and LubinTate's methods in class field theory for constructing abelian extensions of number fields. Constructed from homotopytheoretic methods, they do not admit a geometric description (like deRham cohomology, Ktheory, 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 Ktheory in this setting. Traditionally, Ktheory is twisted by a threedimensional cohomology class; in this case, K(n) admits twists by (n+2)dimensional classes. This work is joint with Hisham Sati. 

Cohomology of higherrank graphs and twisted C*algebras 13:10 Fri 16 Sep, 2011 :: B.19 Ingkarni Wardli :: Dr Aidan Sims :: University of Wollongong
Higherrank 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 higherrank graph, and how to associate to each higherrank graph $\Lambda$ and $\mathbb{T}$valued cocycle on $\Lambda$ a twisted higherrank 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. 

Tduality via bundle gerbes I 13:10 Fri 23 Sep, 2011 :: B.19 Ingkarni Wardli :: Dr Raymond Vozzo :: University of Adelaide
In physics Tduality 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 Hflux). In this talk we will use bundle gerbes to give a geometric realisation of the Hflux and explain how to construct the Tdual of a line bundle together with its Tdual bundle gerbe. 

Tduality via bundle gerbes II 13:10 Fri 21 Oct, 2011 :: B.19 Ingkarni Wardli :: Dr Raymond Vozzo :: University of Adelaide
In physics Tduality 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 Hflux). In this talk we will use bundle gerbes to give a geometric realisation of the Hflux and explain how to construct the Tdual of a line bundle together with its Tdual 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 reformulate 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 propertieswith 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 nonexplicit. 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 padic 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 nontopological 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 biHermitian 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 CalabiYau manifolds. 

Gauge groupoid cocycles and CheegerSimons 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 2cocycle 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 CheegerSimons differential characters. 

Mtheory and higher gauge theory 13:10 Fri 12 Apr, 2013 :: Ingkarni Wardli B20 :: Dr Christian Saemann :: HeriotWatt University
I will review my recent work on integrability of Mbrane configurations and
the description of Mbrane models in higher gauge theory. In particular, I
will discuss categorified analogues of instantons and present superconformal equations of motion for the nonabelian tensor multiplet in six dimensions. The latter are derived from considering nonabelian 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 localtoglobal 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 nonabelian 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 Gbundles 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. 

Ktheory 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 ninefold 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 Ktheory. In this talk I shall give a survey of the ideas, and a brief outline of work with Guo Chuan Thiang. 

A generalised KacPeterson cocycle 11:10 Thu 17 Apr, 2014 :: Ingkarni Wardli B20 :: Pedram Hekmati :: University of Adelaide
The KacPeterson 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 Ktheory. This is joint work with Jouko Mickelsson. 

Boundaryvalue problems for the Ricci flow 15:10 Fri 15 Aug, 2014 :: B.18 Ingkarni Wardli :: Dr Artem Pulemotov :: The University of Queensland
Media...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
Media...Abundance estimates from a datalimited version of catch survey analysis are compared to those from a novel oneparameter deterministic method. Bias of both methods is explored using simulation testing based on a more complex datarich 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 datalimited methods is proposed as the most robust approach. A more statistically conventional errorinvariables approach may also be touched upon if enough time. 

The SerreGrothendieck theorem by geometric means 12:10 Fri 24 Oct, 2014 :: Ingkarni Wardli B20 :: David Roberts :: University of Adelaide
The SerreGrothendieck theorem implies that every torsion
integral 3rd cohomology class on a finite CWcomplex 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 Ktheory. 

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 nonabelian 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 :: HeriotWatt University
We give an overview of the various approaches to studying
supersymmetric quiver gauge theories on ALE spaces, and their conjectural
connections to twodimensional conformal field theory via AGTtype
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 infinitedimensional
Lie algebras. We introduce an orbifold compactification of the minimal
resolution of the Atype 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
Media...The main result I will discuss is nonvanishing of the image of the index map from the Gequivariant Khomology of a Gmanifold X to the Ktheory 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 Khomology class with a lowdimensional cohomology class is nonzero, we prove that the image of this class under the index map is nonzero. 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
Media...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?


PoissonLie Tduality and integrability 11:10 Thu 13 Apr, 2017 :: Engineering & Math EM213 :: Ctirad Klimcik :: AixMarseille University, Marseille
Media...The PoissonLie Tduality relates sigmamodels with target spaces symmetric with respect to mutually dual PoissonLie groups. In the special case if the PoissonLie symmetry reduces to the standard nonAbelian symmetry one of the corresponding mutually dual sigmamodels is the standard principal chiral model which is known to enjoy the property of integrability. A natural question whether this nonAbelian integrability can be lifted to integrability of sigma model dualizable with respect to the general PoissonLie symmetry has been answered in the affirmative by myself in 2008. The corresponding PoissonLie symmetric and integrable model is a oneparameter deformation of the principal chiral model and features a remarkable explicit appearance of the standard YangBaxter operator in the target space geometry. Several distinct integrable deformations of the YangBaxter sigma model have been then subsequently uncovered which turn out to be related by the PoissonLie Tduality to the so called lambdadeformed 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 GellRedman :: University of Melbourne
Media...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 noncompact 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 noncompact 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 WeilPetersson 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
Media...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 GromovWitten invariants of $LG$. 

Constructing differential string structures 14:10 Wed 7 Jun, 2017 :: EM213 :: David Roberts :: University of Adelaide
Media...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 *2groups*. 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 cocyclelike conditions. This is an expansion of the geometric string structures of Stolz and Redden, which is, for a given connection A, merely a 3form 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 StolzRedden 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
Media...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 KashiwaraVergne (KV) problem (first solved in 2006 by AlekseevMeinrenken). 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
Media...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 ChiKwong Fok :: University of Adelaide
Equivariant formality, a notion in equivariant topology introduced by GoreskyKottwitzMacpherson, 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 wellknown 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 Ktheory. Part of the work presented in this talk is joint with Jeffrey Carlson. 

A Hecke module structure on the KKtheory of arithmetic groups 13:10 Fri 2 Mar, 2018 :: Barr Smith South Polygon Lecture theatre :: Bram Mesland :: University of Bonn
Media...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 BorelSerre and geodesic compactifications of the universal cover of an arithmetic manifold, and the totally disconnected boundary of the BruhatTits 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 4manifolds from families SeibergWitten theory 13:10 Fri 25 May, 2018 :: Barr Smith South Polygon Lecture theatre :: David Baraglia :: University of Adelaide
Media...Let X be a smooth, compact, oriented 4manifold 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 SeibergWitten theory for smooth families of 4manifolds and obtain obstructions to the existence of such lifts. For example, we construct compact simplyconnected 4manifolds 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. 

Equivariant Index, Traces and Representation Theory 11:10 Fri 10 Aug, 2018 :: Barr Smith South Polygon Lecture theatre :: Hang Wang :: University of Adelaide
Ktheory of C*algebras associated to a semisimple Lie group can be understood both from the geometric point of view via BaumConnes assembly map and from the representation theoretic point of view via harmonic analysis of Lie groups. A Ktheory generator can be viewed as the equivariant index of some Dirac operator, but also interpreted as a (family of) representation(s) parametrised by the noncompact abelian part in the Levi component of a cuspidal parabolic subgroup. Applying orbital traces to the Ktheory group, we obtain the equivariant index as a fixed point formula which, for each Ktheory generators for (limit of) discrete series, recovers HarishChandraâs character formula on the representation theory side. This is a noncompact analogue of AtiyahSegalSinger fixed point theorem in relation to the Weyl character formula. This is joint work with Peter Hochs. 

Noncommutative principal Gbundles 11:10 Fri 14 Sep, 2018 :: Barr Smith South Polygon Lecture theatre :: Keith Hannabuss :: University of Oxford
Noncommutative geometry provides greater flexibility for studying some problems. This seminar will survey some work on noncommutative principal Gbundles. These were classified for abelian groups some years ago, but nonabelian groups require a different approach, using tools developed for a totally different reason in the 1980s. This uncovers links with ergodic theory, quantum groups and the YangBaxter equation. 

Exceptional quantum symmetries 11:10 Fri 5 Oct, 2018 :: Barr Smith South Polygon Lecture theatre :: Scott Morrison :: Australian National University
I will survey our current understanding of "quantum symmetries", the mathematical models of topological order, in particular through the formalism of fusion categories. Our very limited classification results to date point to nearly all examples being built out of data coming from finite groups, quantum groups at roots of unity, and cohomological data. However, there are a small number of "exceptional" quantum symmetries that so far appear to be disconnected from the world of classical symmetries as studied in representation theory and group theory. I'll give an update on recent progress understanding these examples. 
Publications matching "A survey of nonabelian cohomology"Publications 

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, Sduality, 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  Mtheory, 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 nonAbelian 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:
Query  Matches the following 

Asymptotic Equation  Anything with "Asymptotic" or "Equation". 
+Asymptotic +Equation  Anything with "Asymptotic" and "Equation". 
+Stokes "NavierStokes"  Anything containing "Stokes" but not "NavierStokes". 
Dynam*  Anything containing "Dynamic", "Dynamical", "Dynamicist" etc. 
