
Search the School of Mathematical SciencesCourses matching "Deformations of Oka manifolds" 
Manifolds, lie groups and lie algebras Lie
groups
and
Lie
algebras
are
fundamental
concepts
in
both
mathematics
and
theoretical
physics.
The
theory
of
Lie
groups
and
Lie
algebras
was
developed
in
the
late
nineteenth
century
by
Sophus
Lie,
Wilhelm
Killing
and
others,
when
groups
appeared
as
symmetries
of
differential
equations.
Soon
it
was
realised
that
they
can
be
treated
by
purely
algebraic
means
yielding
the
concept
of
a
Lie
algebra.
In
physics
Lie
groups
and
Lie
algebras
are
important
in
describing
symmetries
of
physical
systems
and
in
gauge
theories.
As
preparation
for
the
theory
of
Lie
groups
the
course
will
start
off
with
an
introduction
to
the
basic
notions
of
differential
geometry,
including
smooth
manifolds,
tangent
spaces
and
vector
fields.
This
will
enable
us
to
understand
the
concept
of
a
Lie
group
in
a
very
general
setting.
The
second
part
of
the
course
will
be
an
introduction
the
theory
of
Lie
groups.
I
will
focus
mainly
on
the
relation
between
Lie
groups
and
Lie
algebras
and
cover
the
following
topics:
the
Lie
algebra
of
a
Lie
group
and
the
exponential
map;
Lie
group
homomorphisms;
Lie
subgroups
and
Cartan's
theorem.
The
third
part
of
the
course
is
devoted
to
the
structure
theory
of
Lie
algebras
and
will
present
the
classification
of
finite
dimensional
complex
semisimple
Lie
algebras.
To
this
end
we
will
cover
the
following
topics:
structure
theory
of
Lie
algebras:
nilpotent,
solvable
and
semiÃÂÃ¢ÂÂ
simple
Lie
algebras;
toral
subalgebras;
root
systems
and
their
classification
by
means
of
Dynkin
diagrams.
1. Introduction, motivation and examples of matrix groups and algebras
2. Smooth manifolds and vector fields
3. Lie groups and their Lie algebras
4. Cartan's Theorem and the classical Lie groups ÃÂ
5. The Lie group  Lie algebras correspondence
6. Homogeneous spaces
7. Structure Theory of Lie algebras
8. Complex semisimple Lie algebras
More about this course... 
Events matching "Deformations of Oka manifolds" 
An Introduction to invariant differential pairings 14:10 Tue 24 Jul, 2007 :: Mathematics G08 :: Jens Kroeske
On homogeneous spaces G/P, where G is a semisimple Lie group and P is a
parabolic subgroup (the ordinary sphere or projective spaces being
examples), invariant operators, that is operators between certain
homogeneous bundles (functions, vector fields or forms being amongst the
typical examples) that are invariant under the action of the group G, have
been studied extensively. Especially on so called hermitian symmetric spaces
which arise through a 1grading of the Lie algebra of G there exists a
complete classification of first order invariant linear differential
operators even on more general manifolds (that allow a so called almost
hermitian structure).
This talk will introduce the notion of an invariant bilinear differential
pairing between sections of the aforementioned homogeneous bundles. Moreover
we will discuss a classification (excluding certain totally degenerate
cases) of all first order invariant bilinear differential pairings on
manifolds with an almost hermitian symmetric structure. The similarities and
connections with the linear operator classification will be highlighted and
discussed.


Noncommutative geometry of odddimensional quantum spheres 13:10 Fri 27 Feb, 2009 :: School Board Room :: Dr Partha Chakraborty :: University of Adelaide
We will report on our attempts to understand noncommutative geometry in the lights of the example of quantum spheres. We will see how to produce an equivariant fundamental class and also indicate some of the limitations of isospectral deformations. 

Classification and compact complex manifolds I 13:10 Fri 17 Apr, 2009 :: School Board Room :: A/Prof Nicholas Buchdahl :: University of Adelaide


Classification and compact complex manifolds II 13:10 Fri 24 Apr, 2009 :: School Board Room :: A/Prof Nicholas Buchdahl :: University of Adelaide


Four classes of complex manifolds 13:10 Fri 8 May, 2009 :: School Board Room :: A/Prof Finnur Larusson :: University of Adelaide
We introduce the four classes of complex manifolds defined by having few or many holomorphic maps to or from the complex plane. Two of these classes have played an important role in complex geometry for a long time. A third turns out to be too large to be of much interest. The fourth class has only recently emerged from work of Abel Prize winner Mikhail Gromov. 

Lagrangian fibrations on holomorphic symplectic manifolds I: Holomorphic Lagrangian fibrations 13:10 Fri 5 Jun, 2009 :: School Board Room :: Dr Justin Sawon :: Colorado State University
A compact K{\"a}hler manifold $X$ is a holomorphic symplectic manifold if it admits a nondegenerate holomorphic twoform $\sigma$. According to a theorem of Matsushita, fibrations on $X$ must be of a very restricted type: the fibres must be Lagrangian with respect to $\sigma$ and the generic fibre must be a complex torus. Moreover, it is expected that the base of the fibration must be complex projective space, and this has been proved by Hwang when $X$ is projective. The simplest example of these {\em Lagrangian fibrations\/} are elliptic K3 surfaces. In this talk we will explain the role of elliptic K3s in the classification of K3 surfaces, and the (conjectural) generalization to higher dimensions. 

ChernSimons classes on loop spaces and diffeomorphism groups 13:10 Fri 12 Jun, 2009 :: School Board Room :: Prof Steve Rosenberg :: Boston University
The loop space LM of a Riemannian manifold M comes with a family of Riemannian metrics indexed by a Sobolev parameter. We can construct characteristic classes for LM using the Wodzicki residue instead of the usual matrix trace. The Pontrjagin classes of LM vanish, but the secondary or ChernSimons classes may be nonzero and may distinguish circle actions on M. There are similar results for diffeomorphism groups of manifolds. 

Lagrangian fibrations on holomorphic symplectic manifolds II: Existence of Lagrangian fibrations 13:10 Fri 19 Jun, 2009 :: School Board Room :: Dr Justin Sawon :: Colorado State University
The Hilbert scheme ${\mathrm Hilb}^nS$ of points on a K3 surface $S$ is a wellknown holomorphic symplectic manifold. When does ${\mathrm Hilb}^nS$ admit a Lagrangian fibration? The existence of a Lagrangian fibration places some conditions on the Hodge structure, since the pull back of a hyperplane from the base gives a special divisor on ${\mathrm Hilb}^nS$, and in turn a special divisor on $S$. The converse is more difficult, but using FourierMukai transforms we will show that if $S$ admits a divisor of a certain degree then ${\mathrm Hilb}^nS$ admits a Lagrangian fibration. 

Lagrangian fibrations on holomorphic symplectic manifolds III: Holomorphic coisotropic reduction 13:10 Fri 26 Jun, 2009 :: School Board Room :: Dr Justin Sawon :: Colorado State University
Given a certain kind of submanifold $Y$ of a symplectic manifold $(X,\omega)$ we can form its coisotropic reduction as follows. The null directions of $\omega_Y$ define the characteristic foliation $F$ on $Y$. The space of leaves $Y/F$ then admits a symplectic form, descended from $\omega_Y$. Locally, the coisotropic reduction $Y/F$ looks just like a symplectic quotient. This construction also work for holomorphic symplectic manifolds, though one of the main difficulties in practice is ensuring that the leaves of the foliation are compact. We will describe a criterion for compactness, and apply coisotropic reduction to produce a classification result for Lagrangian fibrations by Jacobians. 

Generalizations of the SteinTomas restriction theorem 13:10 Fri 7 Aug, 2009 :: School Board Room :: Prof Andrew Hassell :: Australian National University
The SteinTomas restriction theorem says that the
Fourier transform of a function in L^p(R^n) restricts to an
L^2 function on the unit sphere, for p in some range [1, 2(n+1)/(n+3)].
I will discuss geometric generalizations of this result, by interpreting
it as a property of the spectral measure of the Laplace operator on
R^n, and then generalizing to the LaplaceBeltrami operator on
certain complete Riemannian manifolds. It turns out that dynamical
properties of the geodesic flow play a crucial role in determining whether
a restrictiontype theorem holds for these manifolds.


From linear algebra to knot theory 15:10 Fri 21 Aug, 2009 :: Badger Labs G13
Macbeth Lecture Theatre :: Prof Ross Street :: Macquarie University, Sydney
Vector spaces and linear functions form our paradigmatic monoidal category. The concepts underpinning linear algebra admit definitions, operations and constructions with analogues in many other parts of mathematics. We shall see how to generalize much of linear algebra to the context of monoidal categories. Traditional examples of such categories are obtained by replacing vector spaces by linear representations of a given compact group or by sheaves of vector spaces. More recent examples come from lowdimensional topology, in particular, from knot theory where the linear functions are replaced by braids or tangles. These geometric monoidal categories are often free in an appropriate sense, a fact that can be used to obtain algebraic invariants for manifolds. 

Defect formulae for integrals of pseudodifferential symbols:
applications to dimensional regularisation and index theory 13:10 Fri 4 Sep, 2009 :: School Board Room :: Prof Sylvie Paycha :: Universite Blaise Pascal, ClermontFerrand, France
The ordinary integral on L^1 functions on R^d unfortunately does not
extend to a translation invariant linear form on the whole algebra of
pseudodifferential symbols on R^d, forcing to work with ordinary linear
extensions which fail to be translation invariant. Defect formulae which express the difference between various linear extensions, show that they differ by local terms involving the noncommutative residue. In particular, we shall show how integrals regularised by a "dimensional regularisation" procedure familiar to physicists differ from Hadamard finite part (or "cutoff" regularised) integrals by a residue. When extended to pseudodifferential operators on closed manifolds, these defect formulae express the zeta regularised traces of a differential
operator in terms of a residue of its logarithm. In particular, we shall express the index of a Dirac type operator on a closed manifold in
terms of a logarithm of a generalized Laplacian, thus giving an a priori local
description of the index and shall discuss further applications.


The proof of the Poincare conjecture 15:10 Fri 25 Sep, 2009 :: Napier 102 :: Prof Terrence Tao :: UCLA
In a series of three papers from 20022003, Grigori Perelman gave a spectacular proof of the Poincare Conjecture (every smooth compact simply connected threedimensional manifold is topologically isomorphic to a sphere), one of the most famous open problems in mathematics (and one of the seven Clay Millennium Prize Problems worth a million dollars each), by developing several new groundbreaking advances in Hamilton's theory of Ricci flow on manifolds. In this talk I describe in broad detail how the proof proceeds, and briefly discuss some of the key turning points in the argument.
About the speaker:
Terence Tao was born in Adelaide, Australia, in 1975. He has been a professor of mathematics at UCLA since 1999, having completed his PhD under Elias Stein at Princeton in 1996. Tao's areas of research include harmonic analysis, PDE, combinatorics, and number theory. He has received a number of awards, including the Salem Prize in 2000, the Bochner Prize in 2002, the Fields Medal and SASTRA Ramanujan Prize in 2006, and the MacArthur Fellowship and Ostrowski Prize in 2007. Terence Tao also currently holds the James and Carol Collins chair in mathematics at UCLA, and is a Fellow of the Royal Society and the Australian Academy of Sciences (Corresponding Member). 

Irreducible subgroups of SO(2,n) 13:10 Fri 16 Oct, 2009 :: School Board Room :: Dr Thomas Leistner :: University of Adelaide
Berger's classification of irreducibly represented Lie groups that can occur as holonomy groups of semiRiemannian manifolds is a remarkable result of modern differential geometry. What is remarkable about it is that it is so short and that only so few types of geometry can occur. In Riemannian signature this is even more remarkable, taking into account that any representation of a compact Lie group admits a positive definite invariant scalar product. Hence, for any not too small n there is an abundance of irreducible subgroups of SO(n). We show that in other signatures the situation is quite different with, for example, SO(1,n) having no proper irreducible subgroups. We will show how this and the corresponding result about irreducible subgroups of SO(2,n) follows from the KarpelevichMostov theorem. (This is joint work with Antonio J. Di Scala, Politecnico di Torino.) 

Manifold destiny: a talk on water, fire and life 15:10 Fri 6 Nov, 2009 :: MacBeth Lecture Theatre :: Dr Sanjeeva Balasuriya :: University of Adelaide
Manifolds are important entities in dynamical systems, and organise space
into regions in which different motions occur. For example, intersections
between stable and unstable manifolds in discrete systems result in
chaotic motion. This talk will focus on manifolds and their locations in
continuous dynamical systems, and in particular on Melnikov's method and its adaptations for determining the effect of perturbations on manifolds.
The relevance of such adaptations to a surprising range of applications will be shown, in addition to recent theoretical developments inspired by such problems. The applications addressed in this talk include understanding the motion of fluid near oceanic eddies and currents, optimising mixing in nanofluidic devices in order to improve reactions, computing the speed of a flame front, and finding the spreading rate of bacterial colonies. 

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. 

Proper holomorphic maps from strongly pseudoconvex domains to qconvex manifolds 13:10 Fri 5 Feb, 2010 :: School Board Room :: Prof Franc Forstneric :: University of Ljubljana
(Joint work with B. Drinovec Drnovsek, Amer. J. Math., in press.)
I will discuss the existence of closed complex subvarieties
of a complex manifold X that are proper holomorphic images
of strongly pseudoconvex Stein domains. The main
sufficient condition is expressed in terms of
the Morse indices and of the number of positive
Levi eigenvalues of an exhaustion function on X.
Examples show that our condition cannot be weakened in general.
I will describe optimal results for subvarieties of this type in
complements of compact complex submanifolds with Griffiths
positive normal bundle; in the projective case these
generalize classical theorems of Remmert, Bishop and
Narasimhan concerning proper holomorphic maps and embeddings
to complex Euclidean spaces. 

Moduli spaces of stable holomorphic vector bundles II 13:10 Fri 30 Apr, 2010 :: School Board Room :: A/Prof Nicholas Buchdahl :: University of Adelaide
In this talk, I shall briefly review the notion of
stability for holomorphic vector bundles on compact
complex manifolds as discussed in the first part of this
talk (28 August 2009). Then I shall attempt to compute
some explicit examples in simple situations, illustrating
the use of basic algebraicgeometric tools.
The level of the talk will be appropriate for graduate
students, particularly those who have been taking part
in the algebraic geometry reading group meetings. 

The caloron transform 13:10 Fri 7 May, 2010 :: School Board Room :: Prof Michael Murray :: University of Adelaide
The caloron transform is a `fake' dimensional reduction which transforms a Gbundle over certain
manifolds to a loop group of G bundle over a manifold of one lower dimension. This talk will review the
caloron transform and show how it can be best understood using the language of pseudoisomorphisms
from category theory as well as considering its application to Bogomolny monopoles and string
structures.


Holonomy groups 15:10 Fri 7 May, 2010 :: Napier LG24 :: Dr Thomas Leistner :: University of Adelaide
In the first part of the talk I will illustrate some basic concepts of differential geometry that lead to the notion of a holonomy group. Then I will explain Berger's classification of Riemannian holonomy groups and discuss questions that arose from it. Finally, I will focus on holonomy groups of Lorentzian manifolds and indicate briefly why all this is of relevance to presentday theoretical physics. 

Moduli spaces of stable holomorphic vector bundles III 13:10 Fri 14 May, 2010 :: School Board Room :: A/Prof Nicholas Buchdahl :: University of Adelaide
This talk is a continuation of the talk on 30 April. The same abstract applies:
In this talk, I shall briefly review the notion of
stability for holomorphic vector bundles on compact
complex manifolds as discussed in the first part of this
talk (28 August 2009). Then I shall attempt to compute
some explicit examples in simple situations, illustrating
the use of basic algebraicgeometric tools.
The level of the talk will be appropriate for graduate
students, particularly those who have been taking part
in the algebraic geometry reading group meetings. 

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. 

EynardOrantin invariants and enumerative geometry 13:10 Fri 6 Aug, 2010 :: Ingkarni Wardli B20 (Suite 4) :: Dr Paul Norbury :: University of Melbourne
As a tool for studying enumerative problems in geometry Eynard and Orantin associate multilinear differentials to any plane curve. Their work comes from matrix models but does not require matrix models (for understanding or calculations). In some sense they describe deformations of complex structures of a curve and conjectural relationships to deformations of Kahler structures of an associated object. I will give an introduction to their invariants via explicit examples, mainly to do with the moduli space of Riemann surfaces, in which the plane curve has genus zero. 

IGAAMSI Workshop: Dirac operators in geometry, topology, representation theory, and physics 10:00 Mon 18 Oct, 2010 :: 7.15 Ingkarni Wardli :: Prof Dan Freed :: University of Texas, Austin
Lecture Series by Dan Freed (University of Texas, Austin).
Dirac introduced his eponymous operator to describe electrons in quantum theory.
It was rediscovered by Atiyah and Singer in their study of the index problem on
manifolds. In these lectures we explore new theorems and applications. Several
of these also involve Ktheory in its recent twisted and differential
variations.
These lectures will be supplemented by additional talks by invited speakers. For more details, please see the conference webpage:
http://www.iga.adelaide.edu.au/workshops/WorkshopOct2010/ 

Complete quaternionic Kahler manifolds associated to cubic polynomials 13:10 Fri 11 Feb, 2011 :: Ingkarni Wardli B18 :: Prof Vicente Cortes :: University of Hamburg
We prove that the supergravity r and cmaps preserve completeness. As a consequence, any component H of a hypersurface {h = 1} defined by a homogeneous cubic polynomial h such that \partial^2 h is a complete Riemannian metric on H defines a complete projective special Kahler manifold and any complete projective special
Kahler manifold defines a complete quaternionic Kahler manifold of negative scalar curvature. We classify all complete quaternionic Kahler manifolds of dimension less or equal to 12 which are obtained in this way and describe some complete examples in 16 dimensions.


Real analytic sets in complex manifolds I: holomorphic closure dimension 13:10 Fri 4 Mar, 2011 :: Mawson 208 :: Dr Rasul Shafikov :: University of Western Ontario
After a quick introduction to real and complex analytic sets,
I will discuss possible notions of complex dimension of real sets, and then discuss a structure theorem for the holomorphic closure dimension which is defined as the dimension of the smallest complex analytic germ containing the real germ. 

Real analytic sets in complex manifolds II: complex dimension 13:10 Fri 11 Mar, 2011 :: Mawson 208 :: Dr Rasul Shafikov :: University of Western Ontario
Given a real analytic set R, denote by A the subset of R of points through which there is a nontrivial complex variety contained in R, i.e., A consists of points in R of positive complex dimension. I will discuss the structure of the set A. 

Lorentzian manifolds with special holonomy 13:10 Fri 25 Mar, 2011 :: Mawson 208 :: Mr Kordian Laerz :: Humboldt University, Berlin
A parallel lightlike vector field on a Lorentzian manifold X naturally defines a foliation of codimension 1 on X and a 1dimensional subfoliation. In the first part we introduce Lorentzian metrics on the total space of certain circle bundles in order to construct weakly irreducible Lorentzian manifolds admitting a parallel lightlike vector field such that all leaves of the foliations are compact. Then we study which holonomy representations can be realized in this way. Finally, we consider the structure of arbitrary Lorentzian manifolds for which the leaves of the foliations are compact.


Centres of cyclotomic Hecke algebras 13:10 Fri 15 Apr, 2011 :: Mawson 208 :: A/Prof Andrew Francis :: University of Western Sydney
The cyclotomic Hecke algebras, or ArikiKoike algebras $H(R,q)$, are
deformations of the group algebras of certain complex reflection groups
$G(r,1,n)$, and also are quotients of the ubiquitous affine Hecke algebra.
The centre of the affine Hecke algebra has been understood since
Bernstein in terms of the symmetric group action on the weight lattice.
In this talk I will discuss the proof that over an arbitrary unital
commutative ring $R$, the centre of the affine Hecke algebra maps
\emph{onto} the centre of the cyclotomic Hecke algebra when $q1$ is
invertible in $R$. This is the analogue of the fact that the centre of
the Hecke algebra of type $A$ is the set of symmetric polynomials in
JucysMurphy elements (formerly known as he DipperJames conjecture). Key
components of the proof include the relationship between the trace
functions on the affine Hecke algebra and on the cyclotomic Hecke algebra,
and the link to the affine braid group. This is joint work with John
Graham and Lenny Jones. 

A strong Oka principle for embeddings of some planar domains into CxC*, I 13:10 Fri 6 May, 2011 :: Mawson 208 :: Mr Tyson Ritter :: University of Adelaide
The Oka principle refers to a collection of results in
complex analysis which state that there are only topological
obstructions to solving certain holomorphically defined problems
involving Stein manifolds. For example, a basic version of Gromov's
Oka principle states that every continuous map from a Stein manifold
into an elliptic complex manifold is homotopic to a holomorphic map.
In these two talks I will discuss a new result showing that
if we restrict the class of source manifolds to circular domains and
fix the target as CxC* we can obtain a much stronger Oka principle:
every continuous map from a circular domain S into CxC* is homotopic
to a proper holomorphic embedding. This result has close links with
the longstanding and difficult problem of finding proper holomorphic
embeddings of Riemann surfaces into C^2, with additional motivation
from other sources.


A strong Oka principle for embeddings of some planar domains into CxC*, II 13:10 Fri 13 May, 2011 :: Mawson 208 :: Mr Tyson Ritter :: University of Adelaide
The Oka principle refers to a collection of results in
complex analysis which state that there are only topological
obstructions to solving certain holomorphically defined problems
involving Stein manifolds. For example, a basic version of Gromov's
Oka principle states that every continuous map from a Stein manifold
into an elliptic complex manifold is homotopic to a holomorphic map.
In these two talks I will discuss a new result showing that
if we restrict the class of source manifolds to circular domains and
fix the target as CxC* we can obtain a much stronger Oka principle:
every continuous map from a circular domain S into CxC* is homotopic
to a proper holomorphic embedding. This result has close links with
the longstanding and difficult problem of finding proper holomorphic
embeddings of Riemann surfaces into C^2, with additional motivation
from other sources.


Boundaries of unsteady Lagrangian Coherent Structures 15:10 Wed 10 Aug, 2011 :: 5.57 Ingkarni Wardli :: Dr Sanjeeva Balasuriya :: Connecticut College, USA and the University of Adelaide
For steady flows, the boundaries of Lagrangian Coherent Structures
are segments of manifolds connected to fixed points. In the general
unsteady situation, these boundaries are timevarying manifolds of
hyperbolic trajectories. Locating these boundaries, and attempting
to meaningfully quantify fluid flux across them, is difficult since they
are moving with time. This talk uses a newly developed tangential movement
theory to locate these boundaries in nearlysteady compressible flows.


Deformations of Oka manifolds 13:10 Fri 26 Aug, 2011 :: B.19 Ingkarni Wardli :: A/Prof Finnur Larusson :: University of Adelaide
We discuss the behaviour of the Oka property with respect to deformations of compact complex manifolds. We have recently proved that in a family of compact complex manifolds, the set of Oka fibres corresponds to a G_delta subset of the base. We have also found a necessary and sufficient condition for the limit fibre of a sequence of Oka fibres to be Oka in terms of a new uniform Oka property. The special case when the fibres are tori will be considered, as well as the general case of holomorphic submersions with noncompact fibres. 

Oka properties of some hypersurface complements 13:10 Fri 2 Sep, 2011 :: B.19 Ingkarni Wardli :: Mr Alexander Hanysz :: University of Adelaide
Oka manifolds can be viewed as the "opposite" of Kobayashi hyperbolic manifolds. Kobayashi conjectured that the complement of a generic algebraic hypersurface of sufficiently high degree is hyperbolic. Therefore it is natural to ask whether the complement is Oka for the case of low degree or nonalgebraic hypersurfaces. We provide a complete answer to this question for complements of hyperplane arrangements, and some results for graphs of meromorphic functions. 

Applications of tropical geometry to groups and manifolds 13:10 Mon 21 Nov, 2011 :: B.19 Ingkarni Wardli :: Dr Stephan Tillmann :: University of Queensland
Tropical geometry is a young field with multiple origins. These include the work of Bergman on logarithmic limit sets of algebraic varieties; the work of the Brazilian computer scientist Simon on discrete mathematics; the work of Bieri, Neumann and Strebel on geometric invariants of groups; and, of course, the work of Newton on polynomials. Even though there is still need for a unified foundation of the field, there is an abundance of applications of tropical geometry in group theory, combinatorics, computational algebra and algebraic geometry. In this talk I will give an overview of (what I understand to be) tropical geometry with a bias towards applications to group theory and lowdimensional topology. 

The Lorentzian conformal analogue of CalabiYau manifolds 13:10 Fri 16 Mar, 2012 :: B.20 Ingkarni Wardli :: Prof Helga Baum :: Humboldt University
CalabiYau manifolds are Riemannian manifolds with holonomy group SU(m). They are Ricciflat and Kahler and admit a 2parameter family of parallel spinors. In the talk we will discuss the Lorentzian conformal analogue of this situation. If on a manifold a class of conformally equivalent metrics [g] is given, then one can consider the holonomy group
of the conformal manifold (M,[g]), which is a subgroup of
O(p+1,q+1) if the metric g has signature (p,q). There is a close relation between algebraic properties of the conformal holonomy group and the existence of Einstein metrics in the conformal class as well as to the existence of conformal Killing spinors. In the talk I will explain classification results for conformal holonomy groups of Lorentzian manifolds. In particular, I will describe Lorentzian manifolds (M,g) with conformal holonomy group SU(1,m), which can be viewed as the conformal analogue of CalabiYau manifolds. Such Lorentzian
metrics g, known as Fefferman metrics, appear on S^1bundles over strictly pseudoconvex CR spin manifolds and admit a 2parameter family of conformal Killing spinors.


A Problem of Siegel 13:10 Fri 27 Apr, 2012 :: B.20 Ingkarni Wardli :: Dr Brent Everitt :: University of York
The first explicit examples of orientable hyperbolic 3manifolds were constructed by Weber,
Siefert, and Lobell in the early 1930's. In the subsequent decades the world
of hyperbolic nmanifolds has grown into an extraordinarily rich one. Its sociology is
best understood through the eyes of invariants, and for hyperbolic manifolds the most
important invariant is volume. Viewed this way the ndimensional hyperbolic manifolds,
for fixed n, look like a wellordered subset of the reals (a discrete set even, when n is not 3).
So we are naturally led to the (manifold) Siegel problem: for a given n, determine the minimum
possible volume obtained by an orientable hyperbolic nmanifold. It is a problem with a long
and venerable history. In this talk I will describe a unified solution to the problem in low even
dimensions, one of which at least is new. Joint work with John Ratcliffe and Steve Tschantz (Vanderbilt). 

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.


Index type invariants for twisted signature complexes 13:10 Fri 11 May, 2012 :: Napier LG28 :: Prof Mathai Varghese :: University of Adelaide
AtiyahPatodiSinger proved an index theorem for nonlocal boundary conditions
in the 1970's that has been widely used in mathematics and mathematical physics.
A key application of their theory gives the index theorem for signature operators on
oriented manifolds with boundary. As a consequence, they defined certain secondary
invariants that were metric independent. I will discuss some recent work with Benameur
where we extend the APS theory to signature operators twisted by an odd degree closed
differential form, and study the corresponding secondary invariants. 

On the full holonomy group of special Lorentzian manifolds 13:10 Fri 25 May, 2012 :: Napier LG28 :: Dr Thomas Leistner :: University of Adelaide
The holonomy group of a semiRiemannian manifold is defined as the group of parallel transports along loops based at a point. Its connected component, the `restricted holonomy group', is given by restricting in this definition to contractible loops. The restricted holonomy can essentially be described by its Lie algebra and many classification results are obtained in this way. In contrast, the `full' holonomy group is a more global object and classification results are out of reach.
In the talk I will describe recent results with H. Baum and K. Laerz (both HU Berlin) about the full holonomy group of socalled `indecomposable' Lorentzian manifolds.
I will explain a construction method that arises from analysing the effects on holonomy when dividing the manifold by the action of a properly discontinuous group of isometries and present several examples of Lorentzian manifolds with disconnected holonomy groups.


Ktheory and unbounded Fredholm operators 13:10 Mon 9 Jul, 2012 :: Ingkarni Wardli B19 :: Dr Jerry Kaminker :: University of California, Davis
There are several ways of viewing elements of K^1(X). One
of these is via families of unbounded selfadjoint Fredholm operators on X. Each operator will have discrete spectrum, with infinitely many positive and negative eigenvalues of finite multiplicity. One can associate to such a family a geometric object, its graph, and the Chern character and other invariants of the family can be studied from this perspective. By restricting the dimension of the eigenspaces one may sometimes use algebraic topology to completely determine the family up to equivalence. This talk will describe the general framework and some applications to families on lowdimensional manifolds
where the methods work well. Various notions related to spectral flow, the index gerbe and Berry phase play roles which will be discussed. This is joint work with Ron Douglas.


Differential topology 101 13:10 Fri 17 Aug, 2012 :: Engineering North 218 :: Dr Nicholas Buchdahl :: University of Adelaide
Much of my recent research been directed at a problem in the
theory of compact complex surfacestrying to fill in a gap
in the EnriquesKodaira classification.
Attempting to classify some collection of mathematical
objects is a very common activity for pure mathematicians,
and there are many wellknown examples of successful
classification schemes; for example, the classification of
finite simple groups, and the classification of simply
connected topological 4manifolds.
The aim of this talk will be to illustrate how techniques
from differential geometry can be used to classify compact
surfaces. The level of the talk will be very elementary, and
the material is all very well known, but it is sometimes
instructive to look back over simple cases of a general
problem with the benefit of experience to gain greater
insight into the more general and difficult cases. 

Holomorphic flexibility properties of compact complex surfaces 13:10 Fri 31 Aug, 2012 :: Engineering North 218 :: A/Prof Finnur Larusson :: University of Adelaide
I will describe recent joint work with Franc Forstneric (arXiv, July 2012). We introduce a new property, called the stratified Oka property, which fits into a hierarchy of antihyperbolicity properties that includes the Oka property. We show that stratified Oka manifolds are strongly dominable by affine spaces. It follows that Kummer surfaces are strongly dominable. We determine which minimal surfaces of class VII are Oka (assuming the global spherical shell conjecture). We deduce that the Oka property and several other antihyperbolicity properties are in general not closed in families of compact complex manifolds. I will summarise what is known about how the Oka property fits into the EnriquesKodaira classification of surfaces. 

Geometric quantisation in the noncompact setting 13:10 Fri 14 Sep, 2012 :: Engineering North 218 :: Dr Peter Hochs :: Leibniz University, Hannover
Traditionally, the geometric quantisation of an action by a compact Lie group on a compact symplectic manifold is defined as the equivariant index of a certain Dirac operator. This index is a welldefined formal difference of finitedimensional representations, since the Dirac operator is elliptic and the manifold and the group in question are compact. From a mathematical and physical point of view however, it is very desirable to extend geometric quantisation to noncompact groups and manifolds. Defining a suitable index is much harder in the noncompact setting, but several interesting results in this direction have been obtained. I will review the difficulties connected to noncompact geometric quantisation, and some of the solutions that have been proposed so far, mainly in connection to the "quantisation commutes with reduction" principle. (An introduction to this principle will be given in my talk at the Colloquium on the same day.)


The space of cubic rational maps 13:10 Fri 26 Oct, 2012 :: Engineering North 218 :: Mr Alexander Hanysz :: University of Adelaide
For each natural number d, the space of rational maps of degree d on the Riemann sphere has the structure of a complex manifold. The topology of these manifolds has been extensively studied. The recent development of Oka theory raises some new and interesting questions about their complex structure. We apply geometric invariant theory to the degree 3 case, studying a double action of the Mobius group on the space of cubic rational maps. We show that the categorical quotient is C, and that the space of cubic rational maps enjoys the holomorphic flexibility properties of strong dominability and Cconnectedness. 

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. 

Conformally Fedosov manifolds 12:10 Fri 8 Mar, 2013 :: Ingkarni Wardli B19 :: Prof Michael Eastwood :: Australian National University
Symplectic and projective structures may be compatibly combined. The
resulting structure closely resembles conformal geometry and a manifold endowed
with such a structure is called conformally Fedosov. This talk will present the
basic theory of conformally Fedosov geometry and, in particular, construct a
Cartan connection for them. This is joint work with Jan Slovak. 

A stability theorem for elliptic Harnack inequalities 15:10 Fri 5 Apr, 2013 :: B.18 Ingkarni Wardli :: Prof Richard Bass :: University of Connecticut
Media...Harnack inequalities are an important tool in probability theory,
analysis, and partial differential equations. The classical Harnack
inequality is just the one you learned in your graduate complex analysis
class, but there have been many extensions, to different spaces, such as
manifolds, fractals, infinite graphs, and to various sorts of elliptic operators.
A landmark result was that of Moser in 1961, where he proved the Harnack
inequality for solutions to a class of partial differential equations.
I will talk about the stability of Harnack inequalities. The main result
says that if the Harnack inequality holds for an operator on a space,
then the Harnack inequality will also hold for a large class of other operators
on that same space. This provides a generalization of the result of Moser. 

Conformal Killing spinors in Riemannian and Lorentzian geometry 12:10 Fri 19 Apr, 2013 :: Ingkarni Wardli B19 :: Prof Helga Baum :: Humboldt University
Conformal Killing spinors are the solutions of the conformally covariant twistor equation on spinors. Special cases are parallel and Killing spinors, the latter appear as eigenspinors of the Dirac operator on compact Riemannian manifolds of positive scalar curvature for the smallest possible positive eigenvalue. In the talk I will discuss geometric properties of manifolds admitting (conformal) Killing spinors. In particular, I will explain a local classification of the special geometric structures admitting conformal Killing spinors without zeros in the Riemannian as well as in the Lorentzian setting. 

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. 

Diffeological spaces and differentiable stacks 12:10 Fri 10 May, 2013 :: Ingkarni Wardli B19 :: Dr David Roberts :: University of Adelaide
The category of finitedimensional smooth manifolds gives rise to interesting structures outside of itself, two examples being mapping spaces and classifying spaces. Diffeological spaces are a notion of generalised smooth space which form a cartesian closed category, so all fibre products and all mapping spaces of smooth manifolds exist as diffeological spaces. Differentiable stacks are a further generalisation that can also deal with moduli spaces (including classifying spaces) for objects with automorphisms. This talk will give an introduction to this circle of ideas. 

Crystallographic groups II: generalisations 12:10 Fri 24 May, 2013 :: Ingkarni Wardli B19 :: Dr Wolfgang Globke :: University of Adelaide
The theory of crystallographic groups acting cocompactly on Euclidean space
can be extended and generalised in many different ways.
For example, instead of studying discrete groups of Euclidean isometries, one
can consider groups of isometries for indefinite inner products.
These are the fundamental groups of compact flat pseudoRiemannian manifolds.
Still more generally, one might study group of affine transformation on nspace
that are not required to preserve any bilinear form.
Also, the condition of cocompactness can be dropped.
In this talk, I will present some of the results obtained for these generalisations,
and also discuss some of my own work on flat homogeneous pseudoRiemannian
spaces. 

Heat kernel estimates on noncompact Riemannian manifolds: why and how? 15:10 Fri 7 Jun, 2013 :: B.18 Ingkarni Wardli :: Prof Thierry Coulhon :: Australian National University
Media...We will describe what is known and remains to be known about the connection between the large scale geometry of noncompact Riemannian manifolds
(and more general metric measure spaces) and large time estimates of their heat kernel. We will show how some of these estimates can be characterised in terms of Sobolev inequalities and give applications to the boundedness of Riesz transforms. 

Group meeting 15:10 Fri 13 Sep, 2013 :: 5.58 (Ingkarni Wardli) :: Dr Sanjeeva Balasuriya and Dr Michael Chen :: University of Adelaide
Talks:
Nonautonomous control of invariant manifolds  Dr Sanjeeva Balasuriya ::
Interface problems in viscous flow  Dr Michael Chen 

Symmetry gaps for geometric structures 15:10 Fri 20 Sep, 2013 :: B.18 Ingkarni Wardli :: Dr Dennis The :: Australian National University
Media...Klein's Erlangen program classified geometries based on their (transitive) groups of symmetries, e.g. Euclidean geometry is the quotient of the rigid motion group by the subgroup of rotations. While this perspective is homogeneous, Riemann's generalization of Euclidean geometry is in general very "lumpy"  i.e. there exist Riemannian manifolds that have no symmetries at all. A common generalization where a group still plays a dominant role is Cartan geometry, which first arose in Cartan's solution to the equivalence problem for geometric structures, and which articulates what a "curved version" of a flat (homogeneous) model means. Parabolic geometries are Cartan geometries modelled on (generalized) flag varieties (e.g. projective space, isotropic Grassmannians) which are wellknown objects from the representation theory of semisimple Lie groups. These curved versions encompass a zoo of interesting geometries, including conformal, projective, CR, systems of 2nd order ODE, etc. This interaction between differential geometry and representation theory has proved extremely fruitful in recent years. My talk will be an examplebased tour of various types of parabolic geometries, which I'll use to outline some of the main aspects of the theory (suppressing technical details). The main thread throughout the talk will be the symmetry gap problem: For a given type of Cartan geometry, the maximal symmetry dimension is realized by the flat model, but what is the next possible ("submaximal") symmetry dimension? I'll sketch a recent solution (in joint work with Boris Kruglikov) for a wide class of parabolic geometries which gives a combinatorial recipe for reading the submaximal symmetry dimension from a Dynkin diagram. 

Geodesic completeness of compact ppwaves 12:10 Fri 18 Oct, 2013 :: Ingkarni Wardli B19 :: Dr Thomas Leistner :: University of Adelaide
A semiRiemannian manifold is geodesically complete (or for short, complete) if all its maximal geodesics are defined on the real line. Whereas for Riemannian metrics the compactness of the manifold implies completeness, there are compact Lorentzian manifolds that are not complete (e.g. the CliftonPohl torus). Several rather strong conditions have been found in the literature under which a compact Lorentzian manifold is complete, including being homogeneous (Marsden) or of constant curvature (Carriere, Klingler), or admitting a timelike Killing vector field (Romero, Sanchez). We will consider ppwaves, which are Lorentzian manifold with a parallel null vector field and a highly degenerate curvature tensor, but which do not satisfy any of the above conditions. We will show that a compact ppwave is universally covered by a vector space, determine the metric on the universal cover and consequently show that they are geodesically complete. 

IGA Lectures on Finsler geometry 13:30 Thu 31 Oct, 2013 :: Ingkarni Wardli 7.15 :: Prof Robert Bryant :: Duke University
Media...13:30 Refreshments.
14:00 Lecture 1: The origins of Finsler geometry in the calculus of variations.
15:00 Lecture 2: Finsler manifolds of constant flag curvature. 

Recent developments in special holonomy manifolds 12:10 Fri 1 Nov, 2013 :: Ingkarni Wardli 7.15 :: Prof Robert Bryant :: Duke University
One of the big classification results in differential geometry from the past century has been the classification of the possible holonomies of affine manifolds, with the major first step having been taken by Marcel Berger in his 1954 thesis. However, Berger's classification was only partial, and, in the past 20 years, an extensive research effort has been expended to complete this classification and extend it in a number of ways. In this talk, after recounting the major parts of the history of the subject, I will discuss some of the recent results and surprising new examples discovered as a byproduct of research into Finsler geometry. If time permits, I will also discuss some of the open problems in the subject. 

The density property for complex manifolds: a strong form of holomorphic flexibility 12:10 Fri 24 Jan, 2014 :: Ingkarni Wardli B20 :: Prof Frank Kutzschebauch :: University of Bern
Compared with the real differentiable case, complex manifolds in general are more rigid, their groups of holomorphic diffeomorphisms are rather small (in general trivial). A long known exception to this behavior is affine nspace C^n for n at least 2. Its group of holomorphic diffeomorphisms is infinite dimensional. In the late 1980s Andersen and Lempert proved a remarkable
theorem which stated in its generalized version due to Forstneric and Rosay that any local holomorphic phase flow given on a Runge subset of C^n can be locally uniformly approximated by a global holomorphic diffeomorphism. The main ingredient in the proof was formalized by Varolin and called the density property: The Lie algebra generated by complete holomorphic vector fields is dense in the Lie algebra of all holomorphic vector fields. In these manifolds a similar local to global approximation of AndersenLempert type holds. It is a precise way of saying that the group of holomorphic diffeomorphisms is large.
In the talk we will explain how this notion is related to other more recent flexibility notions in complex geometry, in particular to the notion of a OkaForstneric manifold. We will give examples of manifolds with the density property and sketch applications of the density property. If time permits we will explain criteria for the density property developed by Kaliman and the speaker.


The structuring role of chaotic stirring on pelagic ecosystems 11:10 Fri 28 Feb, 2014 :: B19 Ingkarni Wardli :: Dr Francesco d'Ovidio :: Universite Pierre et Marie Curie (Paris VI)
The open ocean upper layer is characterized by a complex transport dynamics occuring over different spatiotemporal scales. At the scale of 10100 km  which covers the so called mesoscale and part of the submesoscale  in situ and remote sensing observations detect strong variability in physical and biogeochemical fields like sea surface temperature, salinity, and chlorophyll concentration. The calculation of Lyapunov exponent and other nonlinear diagnostics applied to the surface currents have allowed to show that an important part of this tracer variability is due to chaotic stirring. Here I will extend this analysis to marine ecosystems. For primary producers, I will show that stable and unstable manifolds of hyperbolic points embedded in the surface velocity field are able to structure the phytoplanktonic community in fluid dynamical niches of dominant types, where competition can locally occur during bloom events. By using data from tagged whales, frigatebirds, and elephant seals, I will also show that chaotic stirring affects the behaviour of higher trophic levels. In perspective, these relations between transport structures and marine ecosystems can be the base for a biodiversity index constructued from satellite information, and therefore able to monitor key aspects of the marine biodiversity and its temporal variability at the global scale. 

Geometric quantisation in the noncompact setting 12:10 Fri 7 Mar, 2014 :: Ingkarni Wardli B20 :: Peter Hochs :: University of Adelaide
Geometric quantisation is a way to construct quantum mechanical phase spaces (Hilbert spaces) from classical mechanical phase spaces (symplectic manifolds). In the presence of a group action, the quantisation commutes with reduction principle states that geometric quantisation should be compatible with the ways the group action can be used to simplify (reduce) the classical and quantum phase spaces. This has deep consequences for the link between symplectic geometry and representation theory.
The quantisation commutes with reduction principle has been given explicit meaning, and been proved, in cases where the symplectic manifold and the group acting on it are compact. There have also been results where just the group, or the orbit space of the action, is assumed to be compact. These are important and difficult, but it is somewhat frustrating that they do not even apply to the simplest example from the physics point of view: a free particle in Rn. This talk is about a joint result with Mathai Varghese where the group, manifold and orbit space may all be noncompact. 

Moduli spaces of contact instantons 12:10 Fri 28 Mar, 2014 :: Ingkarni Wardli B20 :: David Baraglia :: University of Adelaide
In dimensions greater than four there are several notions of higher YangMills instantons. This talk concerns one such case, contact instantons, defined for 5dimensional contact manifolds. The geometry transverse to the Reeb foliation turns out to be important in understanding the moduli space. For example, we show the dimension of the moduli space is the index of a transverse elliptic complex. This is joint work with Pedram Hekmati. 

Flow barriers and flux in unsteady flows 15:10 Fri 4 Apr, 2014 :: B.21 Ingkarni Wardli :: Dr Sanjeeva Balasuriya :: The University of Adelaide
Media...How does one define the boundary of the ozone hole, an oceanic eddy, or Jupiter's Great Red Spot? These occur in flows which are unsteady (nonautonomous), that is, which change with time, and therefore any boundary must as well. In steady (autonomous) flows, defining flow boundaries is straightforward: one first finds fixed points of the flow, and then determines entities in space which are attracted to or repelled from these points as time progresses. These are respectively the stable and unstable manifolds of the fixed points, and can be shown to partition space into regions of different types of flow. This talk will focus on the required modifications to this idea for determining flow barriers in the more realistic unsteady context. An application to maximising mixing in microfluidic devices will also be presented. 

TDuality and its Generalizations 12:10 Fri 11 Apr, 2014 :: Ingkarni Wardli B20 :: Jarah Evslin :: Theoretical Physics Center for Science Facilities, CAS
Given a manifold M with a torus action and a choice of integral 3cocycle H, Tduality yields another manifold with a torus action and integral 3cocyle. It induces a number of surprising automorphisms between structures on these manifolds. In this talk I will review Tduality and describe some work on two generalizations which are realized in string theory: NS5branes and heterotic strings. These respectively correspond to nonclosed 3classes H and to principal bundles fibered over M. 

Estimates for eigenfunctions of the Laplacian on compact Riemannian manifolds 12:10 Fri 1 Aug, 2014 :: Ingkarni Wardli B20 :: Andrew Hassell :: Australian National University
I am interested in estimates on eigenfunctions, accurate in the higheigenvalue limit. I will discuss estimates on the size (as measured by L^p norms) of eigenfunctions, on the whole Riemannian manifold, at the boundary, or at an interior hypersurface. The link between higheigenvalue estimates, geometry, and the dynamics of geodesic flow will be emphasized. 

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. 

Quasimodes that do not Equidistribute 13:10 Tue 19 Aug, 2014 :: Ingkarni Wardli B17 :: Shimon Brooks :: BarIlan University
The QUE Conjecture of RudnickSarnak asserts that eigenfunctions of the Laplacian on Riemannian manifolds of negative curvature should equidistribute in the large eigenvalue limit. For a number of reasons, it is expected that this property may be related to the (conjectured) small multiplicities in the spectrum. One way to study this relationship is to ask about equidistribution for "quasimodes"or approximate eigenfunctions in place of highlydegenerate eigenspaces. We will discuss the case of surfaces of constant negative curvature; in particular, we will explain how to construct some examples of sufficiently weak quasimodes that do not satisfy QUE, and show how they fit into the larger theory. 

To Complex Analysis... and beyond! 12:10 Mon 29 Sep, 2014 :: B.19 Ingkarni Wardli :: Brett Chenoweth :: University of Adelaide
Media...In the undergraduate complex analysis course students learn about complex valued functions on domains in C (the complex plane). Several interesting and surprising results come about from this study. In my talk I will introduce a more general setting where complex analysis can be done, namely Riemann surfaces (complex manifolds of dimension 1). I will then prove that all noncompact Riemann surfaces are Stein; which loosely speaking means that their function theory is similar to that of C. 

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. 

Extending holomorphic maps from Stein manifolds into affine toric varieties 12:10 Fri 14 Nov, 2014 :: Ingkarni Wardli B20 :: Richard Larkang :: University of Adelaide
One way of defining socalled Oka manifolds is by saying that they satisfy the following interpolation property (IP): Y satisfies the IP if any holomorphic map from a closed submanifold S of a Stein manifold X into Y which has a continuous extension to X also has a holomorphic extension. An ostensibly weaker property is the convex interpolation property (CIP), where S is assumed to be a contractible submanifold of X = C^n. By a deep theorem of Forstneric, these (and several other) properties are in fact equivalent.
I will discuss a joint work with Finnur Larusson, where we consider the interpolation property when the target Y is a singular affine toric variety. We show that all affine toric varieties satisfy an interpolation property stronger than CIP, but that only in very special situations do they satisfy the full IP. 

Nonlinear analysis over infinite dimensional spaces and its applications 12:10 Fri 6 Feb, 2015 :: Ingkarni Wardli B20 :: Tsuyoshi Kato :: Kyoto University
In this talk we develop moduli theory of holomorphic curves over
infinite dimensional manifolds consisted by sequences of almost Kaehler manifolds.
Under the assumption of high symmetry, we verify that many mechanisms of
the standard moduli theory over closed symplectic manifolds also work over these
infinite dimensional spaces.
As an application, we study deformation theory of discrete groups acting
on trees. There is a canonical way, up to conjugacy to embed such groups
into the automorphism group over the infinite projective space.
We verify that for some class of Hamiltonian functions,
the deformed groups must be always asymptotically infinite. 

Boundary behaviour of Hitchin and hypo flows with leftinvariant initial data 12:10 Fri 27 Feb, 2015 :: Ingkarni Wardli B20 :: Vicente Cortes :: University of Hamburg
Hitchin and hypo flows constitute a system of first order pdes for the construction of
Ricciflat Riemannian mertrics of special holonomy in dimensions 6, 7 and 8.
Assuming that the initial geometric structure is leftinvariant, we study whether the resulting Ricciflat manifolds can be extended in a natural way to complete Ricciflat manifolds. This talk is based on joint work with Florin Belgun, Marco Freibert and Oliver Goertsches, see arXiv:1405.1866 (math.DG). 

Indefinite spectral triples and foliations of spacetime 12:10 Fri 8 May, 2015 :: Napier 144 :: Koen van den Dungen :: Australian National University
Motivated by Dirac operators on Lorentzian manifolds, we propose a new framework to deal with nonsymmetric and nonelliptic operators in noncommutative geometry. We provide a definition for indefinite spectral triples, which correspond bijectively with certain pairs of spectral triples.
Next, we will show how a special case of indefinite spectral triples can be constructed from a family of spectral triples. In particular, this construction provides a convenient setting to study the Dirac operator on a spacetime with a foliation by spacelike hypersurfaces.
This talk is based on joint work with Adam Rennie (arXiv:1503.06916). 

The twistor equation on Lorentzian Spin^c manifolds 12:10 Fri 15 May, 2015 :: Napier 144 :: Andree Lischewski :: University of Adelaide
In this talk I consider a conformally covariant spinor field equation, called the twistor equation, which can be formulated on any Lorentzian Spin^c manifold. Its solutions have become of importance in the study of supersymmetric field theories in recent years and were named "charged conformal Killing spinors". After a short review of conformal Spin^c geometry in Lorentzian signature, I will briefly discuss the emergence of charged conformal Killing spinors in supergravity. I will then focus on special geometric structures related to the twistor equation and use charged conformal Killing spinors in order to establish a link between conformal and CR geometry. 

Dirac operators and Hamiltonian loop group action 12:10 Fri 24 Jul, 2015 :: Engineering and Maths EM212 :: Yanli Song :: University of Toronto
A definition to the geometric quantization for compact Hamiltonian Gspaces is given by Bott, defined as the index of the SpincDirac operator on the manifold. In this talk, I will explain how to generalize this idea to the Hamiltonian LGspaces. Instead of quantizing infinitedimensional manifolds directly, we use its equivalent finitedimensional model, the quasiHamiltonian Gspaces. By constructing twisted spinor bundle and twisted prequantum bundle on the quasiHamiltonian Gspace, we define a Dirac operator whose index are given by positive energy representation of loop groups. A key role in the construction will be played by the algebraic cubic Dirac operator for loop algebra. If time permitted, I will also explain how to prove the quantization commutes with reduction theorem for Hamiltonian LGspaces under this framework. 

Quantising proper actions on Spinc manifolds 11:00 Fri 31 Jul, 2015 :: Ingkarni Wardli Level 7 Room 7.15 :: Peter Hochs :: The University of Adelaide
Media...For a proper action by a Lie group on a Spinc manifold (both of which may be noncompact), we study an index of deformations of the Spinc Dirac operator, acting on the space of spinors invariant under the group action. When applied to spinors that are square integrable transversally to orbits in a suitable sense, the kernel of this operator turns out to be finitedimensional, under certain hypotheses of the deformation. This also allows one to show that the index has the quantisation commutes with reduction property (as proved by Meinrenken in the compact symplectic case, and by ParadanVergne in the compact Spinc case), for sufficiently large powers of the determinant line bundle. Furthermore, this result extends to Spinc Dirac operators twisted by vector bundles. A key ingredient of the arguments is the use of a family of inner products on the Lie algebra, depending on a point in the manifold. This is joint work with Mathai Varghese. 

Real Lie Groups and Complex Flag Manifolds 12:10 Fri 9 Oct, 2015 :: Ingkarni Wardli B17 :: Joseph A. Wolf :: University of California, Berkeley
Media...Let G be a complex simple direct limit group. Let G_R be a real form of G that corresponds to an hermitian symmetric space. I'll describe the corresponding bounded symmetric domain in the context of the Borel embedding, Cayley transforms, and the BergmanShilov boundary. Let Q be a parabolic subgroup of G. In finite dimensions this means that G/Q is a complex projective variety, or equivalently has a Kaehler metric invariant under a maximal compact subgroup of G. Then I'll show just how the bounded symmetric domains describe cycle spaces for open G_R orbits on G/Q. These cycle spaces include the complex bounded symmetric domains. In finite dimensions they are tightly related to moduli spaces for compact Kaehler manifolds and to representations of semisimple Lie groups; in infinite dimensions there are more problems than answers. Finally, time permitting, I'll indicate how some of this goes over to real and to quaternionic bounded symmetric domains.


ChernSimons classes on loop spaces and diffeomorphism groups 12:10 Fri 16 Oct, 2015 :: Ingkarni Wardli B17 :: Steve Rosenberg :: Boston University
Media...Not much is known about the topology of the diffeomorphism group Diff(M) of manifolds M of dimension four and higher. We'll show that for a class of manifolds of dimension 4k+1, Diff(M) has infinite fundamental group. This is proved by translating the problem into a question about ChernSimons classes on the tangent bundle to the loop space LM. To build the CS classes, we use a family of metrics on LM associated to a Riemannian metric on M. The curvature of these metrics takes values in an algebra of pseudodifferential operators. The main technical step in the CS construction is to replace the ordinary matrix trace in finite dimensions with the Wodzicki residue, the unique trace on this algebra. The moral is that some techniques in finite dimensional Riemannian geometry can be extended to some examples in infinite dimensional geometry.


Locally homogeneous ppwaves 12:10 Fri 6 Nov, 2015 :: Ingkarni Wardli B17 :: Thomas Leistner :: The University of Adelaide
Media...For a certain type of Lorentzian manifolds, the socalled ppwaves, we study the conditions implied on the curvature by local homogeneity of the metric. We show that under some mild genericity assumptions, these conditions are quite strong, forcing the ppwave to be a plane wave, and yielding a classification of homogeneous ppwaves. This also leads to a generalisation of a classical
result by Jordan, Ehlers and Kundt about vacuum ppwaves in dimension 4 to arbitrary dimensions. Several examples show that our genericity assumptions are essential.
This is joint work with W. Globke.


Oka principles and the linearization problem 12:10 Fri 8 Jan, 2016 :: Engineering North N132 :: Gerald Schwarz :: Brandeis University
Media...Let G be a reductive complex Lie group (e.g., SL(n,C)) and let X and Y be Stein manifolds (closed complex submanifolds of some C^n). Suppose that G acts freely on X and Y. Then there are quotient Stein manifolds X/G and Y/G and quotient mappings p_X:X> X/G and p_Y: Y> Y/G such that X and Y are principal Gbundles over X/G and Y/G. Let us suppose that Q=X/G ~= Y/G so that X and Y have the same quotient Q. A map Phi: X\to Y of principal bundles (over Q) is simply an equivariant continuous map commuting with the projections. That is, Phi(gx)=g Phi(x) for all g in G and x in X, and p_X=p_Y o Phi. The famous Oka Principle of Grauert says that any Phi as above embeds in a continuous family Phi_t: X > Y, t in [0,1], where Phi_0=Phi, all the Phi_t satisfy the same conditions as Phi does and Phi_1 is holomorphic.
This is rather amazing.
We consider the case where G does not necessarily act freely on X and Y. There is still a notion of quotient and quotient mappings p_X: X> X//G and p_Y: Y> Y//G where X//G and Y//G are now Stein spaces and parameterize the closed Gorbits in X and Y. We assume that Q~= X//G~= Y//G and that we have a continuous equivariant Phi such that p_X=p_Y o Phi. We find conditions under which Phi embeds into a continuous family Phi_t such that Phi_1 is holomorphic.
We give an application to the Linearization Problem. Let G act holomorphically on C^n. When is there a biholomorphic map Phi:C^n > C^n such that Phi^{1} o g o Phi in GL(n,C) for all g in G? We find a condition which is necessary and sufficient for "most" Gactions.
This is joint work with F. Kutzschebauch and F. Larusson.


A fixed point theorem on noncompact manifolds 12:10 Fri 12 Feb, 2016 :: Ingkarni Wardli B21 :: Peter Hochs :: University of Adelaide / Radboud University
Media...For an elliptic operator on a compact manifold acted on by a compact Lie group, the AtiyahSegalSinger fixed point formula expresses its equivariant index in terms of data on fixed point sets of group elements. This can for example be used to prove Weylâs character formula. We extend the definition of the equivariant index to noncompact manifolds, and prove a generalisation of the AtiyahSegalSinger formula, for group elements with compact fixed point sets. In one example, this leads to a relation with characters of discrete series representations of semisimple Lie groups. (This is joint work with Hang Wang.) 

Expanding maps 12:10 Fri 18 Mar, 2016 :: Eng & Maths EM205 :: Andy Hammerlindl :: Monash University
Media...Consider a function from the circle to itself such that the derivative is
greater than one at every point. Examples are maps of the form f(x) = mx for
integers m > 1. In some sense, these are the only possible examples. This
fact and the corresponding question for maps on higher dimensional manifolds
was a major motivation for Gromov to develop pioneering results in the field
of geometric group theory.
In this talk, I'll give an overview of this and other results relating
dynamical systems to the geometry of the manifolds on which they act and
(time permitting) talk about my own work in the area.


Sard Theorem for the endpoint map in subRiemannian manifolds 12:10 Fri 29 Apr, 2016 :: Eng & Maths EM205 :: Alessandro Ottazzi :: University of New South Wales
Media...SubRiemannian geometries occur in several areas of pure and applied mathematics, including harmonic analysis, PDEs, control theory, metric geometry, geometric group theory, and neurobiology. We introduce subRiemannian manifolds and give some examples. Therefore we discuss some of the open problems, and in particular we focus on the Sard Theorem for the endpoint map, which is related to the study of length minimizers. Finally, we consider some recent results obtained in collaboration with E. Le Donne, R. Montgomery, P. Pansu and D. Vittone. 

Algebraic structures associated to Brownian motion on Lie groups 13:10 Thu 16 Jun, 2016 :: Ingkarni Wardli B17 :: Steve Rosenberg :: University of Adelaide / Boston University
Media...In (1+1)d TQFT, products and coproducts are associated to pairs of pants decompositions of Riemann surfaces. We consider a toy model in dimension (0+1) consisting of specific broken paths in a Lie group. The products and coproducts are constructed by a Brownian motion average of holonomy along these paths with respect to a connection on an auxiliary bundle. In the trivial case over the torus, we (seem to) recover the Hopf algebra structure on the symmetric algebra. In the general case, we (seem to) get deformations of this Hopf algebra. This is a preliminary report on joint work with Michael Murray and Raymond Vozzo. 

ChernSimons invariants of Seifert manifolds via Loop spaces 14:10 Tue 28 Jun, 2016 :: Ingkarni Wardli B17 :: Ryan Mickler :: Northeastern University
Over the past 30 years the ChernSimons functional for connections on Gbundles over threemanfolds has lead to a deep understanding of the geometry of threemanfiolds, as well as knot invariants such as the Jones polynomial. Here we study this functional for threemanfolds that are topologically given as the total space of a principal circle bundle over a compact Riemann surface base, which are known as Seifert manifolds. We show that on such manifolds the ChernSimons functional reduces to a particular gaugetheoretic functional on the 2d base, that describes a gauge theory of connections on an infinite dimensional bundle over this base with structure group given by the levelk affine central extension of the loop group LG. We show that this formulation gives a new understanding of results of BeasleyWitten on the computability of quantum ChernSimons invariants of these manifolds as well as knot invariants for knots that wrap a single fiber of the circle bundle. A central tool in our analysis is the Caloron correspondence of MurrayStevensonVozzo.


Calculus on symplectic manifolds 12:10 Fri 12 Aug, 2016 :: Ingkarni Wardli B18 :: Mike Eastwood :: University of Adelaide
Media...One can use the symplectic form to construct an elliptic complex replacing the de Rham complex. Then, under suitable curvature conditions, one can form coupled versions of this complex. Finally, on complex projective space, these constructions give rise to a series of elliptic complexes with geometric consequences for the FubiniStudy metric and its Xray transform. This talk, which will start from scratch, is based on the work of many authors but, especially, current joint work with Jan Slovak. 

Toroidal Soap Bubbles: Constant Mean Curvature Tori in S ^ 3 and R ^3 12:10 Fri 28 Oct, 2016 :: Ingkarni Wardli B18 :: Emma Carberry :: University of Sydney
Media...Constant mean curvature (CMC) tori in S ^ 3, R ^ 3 or H ^ 3 are in bijective correspondence with spectral curve data, consisting of a hyperelliptic curve, a line bundle on this curve and some additional data, which in particular determines the relevant space form. This point of view is particularly relevant for considering modulispace questions, such as the prevalence of tori amongst CMC planes and whether tori can be deformed. I will address these questions for the spherical and Euclidean cases, using Whitham deformations.


Diffeomorphisms of discs, harmonic spinors and positive scalar curvature 11:10 Fri 17 Mar, 2017 :: Engineering Nth N218 :: Diarmuid Crowley :: University of Melbourne
Media...Let Diff(D^k) be the space of diffeomorphisms of the kdisc fixing the boundary point wise. In this talk I will show for k > 5, that the homotopy groups \pi_*Diff(D^k) have nonzero 8periodic 2torsion detected in real Ktheory. I will then discuss applications for spin manifolds M of dimension 6 or greater: 1) Our results input to arguments of Hitchin which now show that M admits a metric with a harmonic spinor. 2) If nonempty, space of positive scalar curvature metrics on M has nonzero 8periodic 2torsion in its homotopy groups which is detected in real Ktheory. This is part of joint work with Thomas Schick and Wolfgang Steimle. 

Geometric structures on moduli spaces 12:10 Fri 31 Mar, 2017 :: Napier 209 :: Nicholas Buchdahl :: University of Adelaide
Media...Moduli spaces are used to classify various kinds of objects,
often arising from solutions of certain differential equations on
manifolds; for example, the complex structures on a compact
surface or the antiselfdual YangMills equations on an oriented
smooth 4manifold. Sometimes these moduli spaces carry important
information about the underlying manifold, manifested most
clearly in the results of Donaldson and others on the topology of
smooth 4manifolds. It is also the case that these moduli spaces
themselves carry interesting geometric structures; for example,
the WeilPetersson metric on moduli spaces of compact Riemann
surfaces, exploited to great effect by Maryam Mirzakhani. In this
talk, I shall elaborate on the theme of geometric structures on
moduli spaces, with particular focus on some recentish work done
in conjunction with Georg Schumacher. 

Ktypes of tempered representations 12:10 Fri 7 Apr, 2017 :: Napier 209 :: Peter Hochs :: University of Adelaide
Media...Tempered representations of a reductive Lie group G are the irreducible unitary representations one needs in the Plancherel decomposition of L^2(G). They are relevant to harmonic analysis because of this, and also occur in the Langlands classification of the larger class of admissible representations. If K in G is a maximal compact subgroup, then there is a considerable amount of information in the restriction of a tempered representation to K. In joint work with Yanli Song and Shilin Yu, we give a geometric expression for the decomposition of such a restriction into irreducibles. The multiplicities of these irreducibles are expressed as indices of Dirac operators on reduced spaces of a coadjoint orbit of G corresponding to the representation. These reduced spaces are Spinc analogues of reduced spaces in symplectic geometry, defined in terms of moment maps that represent conserved quantities. This result involves a Spinc version of the quantisation commutes with reduction principle for noncompact manifolds. For discrete series representations, this was done by Paradan in 2003. 

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. 

Holomorphic Legendrian curves 12:10 Fri 26 May, 2017 :: Napier 209 :: Franc Forstneric :: University of Ljubljana, Slovenia
Media...I will present recent results on the existence and behaviour of noncompact holomorphic
Legendrian curves in complex contact manifolds.
We show that these curves are ubiquitous in \C^{2n+1} with the
standard holomorphic contact form \alpha=dz+\sum_{j=1}^n x_jdy_j;
in particular, every open Riemann surface embeds into \C^3 as a proper
holomorphic Legendrian curves. On the other hand, for any integer n>= 1 there
exist Kobayashi hyperbolic complex contact structures on \C^{2n+1}
which do not admit any nonconstant Legendrian complex lines. Furthermore,
we construct a holomorphic Darboux chart around any noncompact holomorphic
Legendrian curve in an arbitrary complex contact manifold.
As an application, we show that every bordered holomorphic Legendrian curve
can be uniformly approximated by complete bounded Legendrian curves. 

Quaternionic Kaehler manifolds of cohomogeneity one 12:10 Fri 16 Jun, 2017 :: Ligertwood 231 :: Vicente Cortes :: Universitat Hamburg
Media...Quaternionic Kaehler manifolds form an important class of Riemannian manifolds of special holonomy. They provide examples of Einstein manifolds of nonzero scalar curvature. I will show how to construct explicit examples of complete quaternionic Kaehler manifolds of negative scalar curvature beyond homogeneous spaces. In particular, I will present a series of examples of cohomogeneity one, based on arXiv:1701.07882. 

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. 

Endperiodic Khomology and spin bordism 12:10 Fri 20 Oct, 2017 :: Engineering Sth S111 :: Michael Hallam :: University of Adelaide
This talk introduces new "endperiodic" variants of geometric Khomology and spin bordism theories that are tailored to a recent index theorem for evendimensional manifolds with periodic ends. This index theorem, due to Mrowka, Ruberman and Saveliev, is a generalisation of the AtiyahPatodiSinger index theorem for manifolds with odddimensional boundary. As in the APS index theorem, there is an (endperiodic) eta invariant that appears as a correction term for the periodic end. Invariance properties of the standard relative eta invariants are elegantly expressed using Khomology and spin bordism, and this continues to hold in the endperiodic case. In fact, there are natural isomorphisms between the standard Khomology/bordism theories and their endperiodic versions, and moreover these isomorphisms preserve relative eta invariants. The study is motivated by results on positive scalar curvature, namely obstructions and distinct path components of the moduli space of PSC metrics. Our isomorphisms provide a systematic method for transferring certain results on PSC from the odddimensional case to the evendimensional case. This work is joint with Mathai Varghese. 

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). 

Family gauge theory and characteristic classes of bundles of 4manifolds 13:10 Fri 16 Mar, 2018 :: Barr Smith South Polygon Lecture theatre :: Hokuto Konno :: University of Tokyo
Media...I will define a nontrivial characteristic class of bundles of
4manifolds using families of SeibergWitten equations. The basic idea
of the construction is to consider an infinite dimensional
analogue of the Euler class used in the usual theory of characteristic
classes. I will also explain how to prove the nontriviality of this
characteristic class. If time permits, I will mention a relation between
our characteristic class and positive scalar curvature metrics. 

Computing trisections of 4manifolds 13:10 Fri 23 Mar, 2018 :: Barr Smith South Polygon Lecture theatre :: Stephen Tillmann :: University of Sydney
Media...Gay and Kirby recently generalised Heegaard splittings of 3manifolds to
trisections of 4manifolds. A trisection describes a 4Ã¢ÂÂdimensional manifold
as a union of three 4Ã¢ÂÂdimensional handlebodies. The complexity of the
4Ã¢ÂÂmanifold is captured in a collection of curves on a surface, which guide
the gluing of the handelbodies. The minimal genus of such a surface is the
trisection genus of the 4manifold.
After defining trisections and giving key examples and applications, I will
describe an algorithm to compute trisections of 4Ã¢ÂÂmanifolds using arbitrary
triangulations as input. This results in the first explicit complexity
bounds for the trisection genus of a 4Ã¢ÂÂmanifold in terms of the number of
pentachora (4Ã¢ÂÂsimplices) in a triangulation. This is joint work with Mark
Bell, Joel Hass and Hyam Rubinstein. I will also describe joint work with
Jonathan Spreer that determines the trisection genus for each of the
standard simply connected PL 4manifolds. 

Complexity of 3Manifolds 15:10 Fri 23 Mar, 2018 :: Horace Lamb 1022 :: A/Prof Stephan Tillmann :: University of Sydney
In this talk, I will give a general introduction to complexity of
3manifolds and explain the connections between combinatorics, algebra,
geometry, and topology that arise in its study.
The complexity of a 3manifold is the minimum number of tetrahedra in a
triangulation of the manifold. It was defined and first studied by Matveev
in 1990. The complexity is generally difficult to compute, and various
upper and lower bounds have been derived during the last decades using
fundamental group, homology or hyperbolic volume.
Effective bounds have only been found in joint work with Jaco, Rubinstein
and, more recently, Spreer. Our bounds not only allowed us to determine the
first infinite classes of minimal triangulations of closed 3manifolds, but
they also lead to a structure theory of minimal triangulations of
3manifolds. 

Chaos in higherdimensional complex dynamics 13:10 Fri 20 Apr, 2018 :: Barr Smith South Polygon Lecture theatre :: Finnur Larusson :: University of Adelaide
Media... I will report on new joint work with Leandro Arosio (University of Rome, Tor Vergata). Complex manifolds can be thought of as laid out across a spectrum characterised by rigidity at one end and flexibility at the other. On the rigid side, Kobayashihyperbolic manifolds have at most a finitedimensional group of symmetries. On the flexible side, there are manifolds with an extremely large group of holomorphic automorphisms, the prototypes being the affine spaces $\mathbb C^n$ for $n \geq 2$. From a dynamical point of view, hyperbolicity does not permit chaos. An endomorphism of a Kobayashihyperbolic manifold is nonexpansive with respect to the Kobayashi distance, so every family of endomorphisms is equicontinuous. We show that not only does flexibility allow chaos: under a strong antihyperbolicity assumption, chaotic automorphisms are generic. A special case of our main result is that if $G$ is a connected complex linear algebraic group of dimension at least 2, not semisimple, then chaotic automorphisms are generic among all holomorphic automorphisms of $G$ that preserve a left or rightinvariant Haar form. For $G=\mathbb C^n$, this result was proved (although not explicitly stated) some 20 years ago by Fornaess and Sibony. Our generalisation follows their approach. I will give plenty of context and background, as well as some details of the proof of the main result. 

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. 

The mass of Riemannian manifolds 13:10 Fri 1 Jun, 2018 :: Barr Smith South Polygon Lecture theatre :: Matthias Ludewig :: MPIM Bonn
We will define the mass of differential operators L on compact Riemannian manifolds. In odd dimensions, if L is a conformally covariant differential operator, then its mass is also conformally covariant, while in even dimensions, one has a more complicated transformation rule. In the special case that L is the Yamabe operator, its mass is related to the ADM mass of an associated asymptotically flat spacetime. In particular, one expects positive mass theorems in various settings. Here we highlight some recent results. 

Hitchin's Projectively Flat Connection for the Moduli Space of Higgs Bundles 13:10 Fri 15 Jun, 2018 :: Barr Smith South Polygon Lecture theatre :: John McCarthy :: University of Adelaide
In this talk I will discuss the problem of geometrically quantizing the moduli space of Higgs bundles on a compact Riemann surface using Kahler polarisations. I will begin by introducing geometric quantization via Kahler polarisations for compact manifolds, leading up to the definition of a Hitchin connection as stated by Andersen. I will then describe the moduli spaces of stable bundles and Higgs bundles over a compact Riemann surface, and discuss their properties. The problem of geometrically quantizing the moduli space of stables bundles, a compact space, was solved independently by Hitchin and Axelrod, Del PIetra, and Witten. The Higgs moduli space is noncompact and therefore the techniques used do not apply, but carries an action of C*. I will finish the talk by discussing the problem of finding a Hitchin connection that preserves this C* action. Such a connection exists in the case of Higgs line bundles, and I will comment on the difficulties in higher rank. 

Carleman approximation of maps into Oka manifolds. 11:10 Fri 3 Aug, 2018 :: Barr Smith South Polygon Lecture theatre :: Brett Chenoweth :: University of Ljubljana
In 1927 Torsten Carleman proved a remarkable extension of the StoneWeierstrass theorem. Carlemanâs theorem is ostensibly the first result concerning the approximation of functions on unbounded closed subsets of C by entire functions. In this talk we introduce Carlemanâs theorem and several of its recent generalisations including the titled generalisation which was proved by the speaker in arXiv:1804.10680. 
News matching "Deformations of Oka manifolds" 
New Fellow of the Australian Academy of Science Professor Mathai Varghese, Professor of Pure Mathematics and ARC Professorial Fellow within the School of Mathematical Sciences, was elected to the Australian Academy of Science. Professor Varghese's citation read "for his distinguished for his work in geometric analysis involving the topology of manifolds, including the MathaiQuillen formalism in topological field theory.". Posted Tue 30 Nov 10. 
Publications matching "Deformations of Oka manifolds"Publications 

Algebraic deformations of compact kahler surfaces II Buchdahl, Nicholas, Mathematische Zeitschrift 258 (493–498) 2008  Dbranes, RRfields and duality on noncommutative manifolds Brodzki, J; Varghese, Mathai; Rosenberg, J; Szabo, R, Communications in Mathematical Physics 277 (643–706) 2008  Nonlinear dynamics on centre manifolds describing turbulent floods: komega model Georgiev, D; Roberts, Anthony John; Strunin, D, Discrete and Continuous Dynamical Systems Supplement (419–428) 2007  Algebraic deformations of compact Khler surfaces Buchdahl, Nicholas, Mathematische Zeitschrift 253 (453–459) 2006  Conformal holonomy of Cspaces, Ricciflat, and Lorentzian manifolds Leistner, Thomas, Differential Geometry and its Applications 24 (458–478) 2006  Screen bundles of Lorentzian manifolds and some generalisations of ppwaves Leistner, Thomas, Journal of Geometry and Physics 56 (2117–2134) 2006  Prolongations of linear overdetermined systems on affine and riemannian manifolds Eastwood, Michael, Circolo Matmeatico di Palermo. Rendiconti 75 (89–108) 2005  Smoothly parameterized ech cohomology of complex manifolds Bailey, T; Eastwood, Michael; Gindikin, S, Journal of Geometric Analysis 15 (9–23) 2005  Smoothly parameterized Cech cohomology of complex manifolds Bailey, T; Eastwood, Michael; Gindikin, S, Journal of Geometric Analysis 15 (9–23) 2005  Topology and Hflux of Tdual manifolds Bouwknegt, Pier; Evslin, J; Varghese, Mathai, Physical Review Letters 92 (1816011–1816013) 2004  Twozone model of shear dispersion in a channel using centre manifolds Roberts, Anthony John; Strunin, D, Quarterly Journal of Mechanics and Applied Mathematics 57 (363–378) 2004  Edge of the wedge theory in hypoanalytic manifolds Eastwood, Michael; Graham, C, Communications in Partial Differential Equations 28 (2003–2028) 2003  Lorentzian manifolds with special holonomy and parallel spinors Leistner, Thomas, Supplemento ai Rendiconti del Circolo Matematico di Palermo II 69 (131–159) 2002  Commutative geometries are spin manifolds Rennie, Adam, Reviews in Mathematical Physics 13 (409–464) 2001  NonSchlesinger deformations of ordinary differential equations with rational coefficients Kitaev, Alexandre, Journal of Physics A: Mathematical and Theoretical (Print Edition) 34 (2259–2272) 2001  Poisson manifolds in generalised Hamiltonian biomechanics Ivancevic, V; Pearce, Charles, Bulletin of the Australian Mathematical Society 64 (515–526) 2001  Complex Quaternionic Kahler Manifolds Eastwood, Michael, chapter in Further advances in twistor theory. Vol. III, Curved twistor spaces (Chapman & Hall/CRC) 31–34, 2001  Introduction to ChernSimons gauge theory on general 3manifolds Adams, David, chapter in Mathematical methods in physics (World Scientific Publishing) 1–43, 2000  A gerbe obstruction to quantization of fermions on odddimensional manifolds with boundary Carey, Alan; Mickelsson, J, Letters in Mathematical Physics 51 (145–160) 2000  Deformations of carbonfiberreinforced yacht masts Clements, David; Cooke, Tristrom, Journal of Engineering Mathematics 37 (11–25) 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. 
