You are here
 Text size: S | M | L
 January 2020 M T W T F S S 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31

# Search the School of Mathematical Sciences

 Find in People Courses Events News Publications

## Courses matching "Quantising proper actions on Spin-c 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 "Quantising proper actions on Spin-c manifolds"

 Learning to Satisfy Actuator and Camera Networks 15:10 Fri 25 May, 2007 :: G08 Mathematics Building University of Adelaide :: Assistant Prof Mark CoatesMedia...Abstract...Wireless sensor and actuator networks (SANETs) represent an important extension of sensor networks, allowing nodes within the network to make autonomous decisions and perform actions (actuation) in response to sensor measurements and shared information. SANETS combine aspects of sensor networks and multi-robot systems, and the merger gives rise to an array of challenges absent from conventional sensor networks. SANETs are active systems that must use the sensed information to modify the environment in order to elicit a desired response. This involves the development of an actuation strategy, a set of decision rules that specify how the network responds to sensed conditions. In this talk, I will discuss the challenges involved in using distributed algorithms to learn suitable actuation strategies. I will draw connections with the class of learning satisfiability problems, which includes a range of learning tasks involving multiple constraints.
 An Introduction to invariant differential pairings 14:10 Tue 24 Jul, 2007 :: Mathematics G08 :: Jens KroeskeAbstract...On homogeneous spaces G/P, where G is a semi-simple 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 1-grading 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.
 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 AdelaideAbstract...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 UniversityAbstract...A compact K{\"a}hler manifold $X$ is a holomorphic symplectic manifold if it admits a non-degenerate holomorphic two-form $\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.
 Chern-Simons classes on loop spaces and diffeomorphism groups 13:10 Fri 12 Jun, 2009 :: School Board Room :: Prof Steve Rosenberg :: Boston UniversityAbstract...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 Chern-Simons 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 UniversityAbstract...The Hilbert scheme ${\mathrm Hilb}^nS$ of points on a K3 surface $S$ is a well-known 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 Fourier-Mukai 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 UniversityAbstract...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.
 Another proof of Gaboriau-Popa 13:10 Fri 3 Jul, 2009 :: School Board Room :: Prof Greg Hjorth :: University of MelbourneAbstract...Gaboriau and Popa showed that a non-abelian free group on finitely many generators has continuum many measure preserving, free, ergodic, actions on standard Borel probability spaces. The original proof used the notion of property (T). I will sketch how this can be replaced by an elementary, and apparently new, dynamical property.
 Generalizations of the Stein-Tomas restriction theorem 13:10 Fri 7 Aug, 2009 :: School Board Room :: Prof Andrew Hassell :: Australian National UniversityAbstract...The Stein-Tomas 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 Laplace-Beltrami operator on certain complete Riemannian manifolds. It turns out that dynamical properties of the geodesic flow play a crucial role in determining whether a restriction-type 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, SydneyAbstract...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 low-dimensional 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.
 Spin-up in a torus 16:00 Thu 3 Sep, 2009 :: School Board Room :: Dr Richard Hewitt :: University of Manchester
 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, Clermont-Ferrand, FranceAbstract...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 "cut-off" 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 :: UCLAAbstract...In a series of three papers from 2002-2003, Grigori Perelman gave a spectacular proof of the Poincare Conjecture (every smooth compact simply connected three-dimensional 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 AdelaideAbstract...Berger's classification of irreducibly represented Lie groups that can occur as holonomy groups of semi-Riemannian 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 Karpelevich-Mostov 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 AdelaideAbstract...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 nano-fluidic devices in order to improve reactions, computing the speed of a flame front, and finding the spreading rate of bacterial colonies.
 Group actions in complex geometry, I and II 13:10 Fri 8 Jan, 2010 :: School Board Room :: Prof Frank Kutzschebauch, IGA Lecturer :: University of BerneMedia...
 Group actions in complex geometry, III and IV 10:10 Fri 15 Jan, 2010 :: School Board Room :: Prof Frank Kutzschebauch, IGA Lecturer :: University of BerneMedia...
 Group actions in complex geometry, V and VI 10:10 Fri 22 Jan, 2010 :: School Board Room :: Prof Frank Kutzschebauch, IGA Lecturer :: University of BerneMedia...
 Group actions in complex geometry, VII and VIII 10:10 Fri 29 Jan, 2010 :: Napier LG 23 :: Prof Frank Kutzschebauch, IGA Lecturer :: University of BerneMedia...
 Oka manifolds and Oka maps 13:10 Fri 29 Jan, 2010 :: Napier LG 23 :: Prof Franc Forstneric :: University of LjubljanaAbstract...In this survey lecture I will discuss a new class of complex manifolds and of holomorphic maps between them which I introduced in 2009 (F. Forstneric, Oka Manifolds, C. R. Acad. Sci. Paris, Ser. I, 347 (2009) 1017-1020). Roughly speaking, a complex manifold Y is said to be an Oka manifold if Y admits plenty of holomorphic maps from any Stein manifold (or Stein space) X to Y, in a certain precise sense. In particular, the inclusion of the space of holomorphic maps of X to Y into the space of continuous maps must be a weak homotopy equivalence. One of the main results is that this class of manifolds can be characterized by a simple Runge approximation property for holomorphic maps from complex Euclidean spaces C^n to Y, with approximation on compact convex subsets of C^n. This answers in the affirmative a question posed by M. Gromov in 1989. I will also discuss the Oka properties of holomorphic maps and their characterization by approximation properties.
 Proper holomorphic maps from strongly pseudoconvex domains to q-convex manifolds 13:10 Fri 5 Feb, 2010 :: School Board Room :: Prof Franc Forstneric :: University of LjubljanaAbstract...(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 AdelaideAbstract...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 algebraic-geometric 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 AdelaideAbstract...The caloron transform is a fake' dimensional reduction which transforms a G-bundle 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 pseudo-isomorphisms 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 AdelaideAbstract...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 present-day 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 AdelaideAbstract...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 algebraic-geometric 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 2-connected covers 13:10 Fri 21 May, 2010 :: School Board Room :: David Roberts :: University of AdelaideAbstract...The Whitehead tower of a topological space seeks to resolve that space by successively removing homotopy groups from the 'bottom up'. For a path-connected space with no 1-dimensional local pathologies the first stage in the tower can be chosen to be the universal (=1-connected) covering space. This construction also works in the category Diff of manifolds. However, further stages in the two known constructions of the Whitehead tower do not work in Diff, being purely topological - and one of these is non-functorial, depending on a large number of choices. This talk will survey results from my thesis which constructs a new, functorial model for the 2-connected cover which will lift to a generalised (2-)category of smooth objects. This talk contains joint work with Andrew Stacey of the Norwegian University of Science and Technology.
 IGA-AMSI 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, AustinAbstract...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 K-theory 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 HamburgAbstract...We prove that the supergravity r- and c-maps 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 OntarioAbstract...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 OntarioAbstract...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, BerlinAbstract...A parallel lightlike vector field on a Lorentzian manifold X naturally defines a foliation of codimension 1 on X and a 1-dimensional 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.
 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 AdelaideAbstract...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 long-standing 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 AdelaideAbstract...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 long-standing 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 AdelaideAbstract...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 time-varying 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 nearly-steady compressible flows.
 Deformations of Oka manifolds 13:10 Fri 26 Aug, 2011 :: B.19 Ingkarni Wardli :: A/Prof Finnur Larusson :: University of AdelaideAbstract...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 AdelaideAbstract...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 non-algebraic 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 QueenslandAbstract...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 low-dimensional topology.
 Embedding circle domains into the affine plane C^2 13:10 Fri 10 Feb, 2012 :: B.20 Ingkarni Wardli :: Prof Franc Forstneric :: University of LjubljanaAbstract...We prove that every circle domain in the Riemann sphere admits a proper holomorphic embedding into the affine plane C^2. By a circle domain we mean a domain obtained by removing from the Riemann sphere a finite or countable family of pairwise disjoint closed round discs. Our proof also applies to some circle domains with punctures. The uniformization theorem of He and Schramm (1996) says that every domain in the Riemann sphere with at most countably many boundary components is conformally equivalent to a circle domain, so our theorem embeds all such domains properly holomorphically in C^2. (Joint work with Erlend F. Wold.)
 The Lorentzian conformal analogue of Calabi-Yau manifolds 13:10 Fri 16 Mar, 2012 :: B.20 Ingkarni Wardli :: Prof Helga Baum :: Humboldt UniversityAbstract...Calabi-Yau manifolds are Riemannian manifolds with holonomy group SU(m). They are Ricci-flat and Kahler and admit a 2-parameter 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 Calabi-Yau manifolds. Such Lorentzian metrics g, known as Fefferman metrics, appear on S^1-bundles over strictly pseudoconvex CR spin manifolds and admit a 2-parameter family of conformal Killing spinors.
 A Problem of Siegel 13:10 Fri 27 Apr, 2012 :: B.20 Ingkarni Wardli :: Dr Brent Everitt :: University of YorkAbstract...The first explicit examples of orientable hyperbolic 3-manifolds were constructed by Weber, Siefert, and Lobell in the early 1930's. In the subsequent decades the world of hyperbolic n-manifolds 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 n-dimensional hyperbolic manifolds, for fixed n, look like a well-ordered 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 n-manifold. 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 AdelaideAbstract...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 AdelaideAbstract...Atiyah-Patodi-Singer proved an index theorem for non-local 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 AdelaideAbstract...The holonomy group of a semi-Riemannian 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 so-called 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.
 K-theory and unbounded Fredholm operators 13:10 Mon 9 Jul, 2012 :: Ingkarni Wardli B19 :: Dr Jerry Kaminker :: University of California, DavisAbstract...There are several ways of viewing elements of K^1(X). One of these is via families of unbounded self-adjoint 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 low-dimensional 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.
 Geometry - algebraic to arithmetic to absolute 15:10 Fri 3 Aug, 2012 :: B.21 Ingkarni Wardli :: Dr James Borger :: Australian National UniversityMedia...Abstract...Classical algebraic geometry is about studying solutions to systems of polynomial equations with complex coefficients. In arithmetic algebraic geometry, one digs deeper and studies the arithmetic properties of the solutions when the coefficients are rational, or even integral. From the usual point of view, it's impossible to go deeper than this for the simple reason that no smaller rings are available - the integers have no proper subrings. In this talk, I will explain how an emerging subject, lambda-algebraic geometry, allows one to do just this and why one might care.
 Differential topology 101 13:10 Fri 17 Aug, 2012 :: Engineering North 218 :: Dr Nicholas Buchdahl :: University of AdelaideAbstract...Much of my recent research been directed at a problem in the theory of compact complex surfaces---trying to fill in a gap in the Enriques-Kodaira classification. Attempting to classify some collection of mathematical objects is a very common activity for pure mathematicians, and there are many well-known examples of successful classification schemes; for example, the classification of finite simple groups, and the classification of simply connected topological 4-manifolds. 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.
 Noncommutative geometry and conformal geometry 13:10 Fri 24 Aug, 2012 :: Engineering North 218 :: Dr Hang Wang :: Tsinghua UniversityAbstract...In this talk, we shall use noncommutative geometry to obtain an index theorem in conformal geometry. This index theorem follows from an explicit and geometric computation of the Connes-Chern character of the spectral triple in conformal geometry, which was introduced recently by Connes and Moscovici. This (twisted) spectral triple encodes the geometry of the group of conformal diffeomorphisms on a spin manifold. The crux of of this construction is the conformal invariance of the Dirac operator. As a result, the Connes-Chern character is intimately related to the CM cocycle of an equivariant Dirac spectral triple. We compute this equivariant CM cocycle by heat kernel techniques. On the way we obtain a new heat kernel proof of the equivariant index theorem for Dirac operators. (Joint work with Raphael Ponge.)
 Holomorphic flexibility properties of compact complex surfaces 13:10 Fri 31 Aug, 2012 :: Engineering North 218 :: A/Prof Finnur Larusson :: University of AdelaideAbstract...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 anti-hyperbolicity 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 anti-hyperbolicity 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 Enriques-Kodaira classification of surfaces.
 Geometric quantisation in the noncompact setting 13:10 Fri 14 Sep, 2012 :: Engineering North 218 :: Dr Peter Hochs :: Leibniz University, HannoverAbstract...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 well-defined formal difference of finite-dimensional 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 AdelaideAbstract...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 C-connectedness.
 Variation of Hodge structure for generalized complex manifolds 13:10 Fri 7 Dec, 2012 :: Ingkarni Wardli B20 :: Dr David Baraglia :: University of AdelaideAbstract...Generalized complex geometry combines complex and symplectic geometry into a single framework, incorporating also holomorphic Poisson and bi-Hermitian structures. The Dolbeault complex naturally extends to the generalized complex setting giving rise to Hodge structures in twisted cohomology. We consider the variations of Hodge structure and period mappings that arise from families of generalized complex manifolds. As an application we prove a local Torelli theorem for generalized Calabi-Yau manifolds.
 Hyperplane arrangements and tropicalization of linear spaces 10:10 Mon 17 Dec, 2012 :: Ingkarni Wardli B17 :: Dr Graham Denham :: University of Western OntarioAbstract...I will give an introduction to a sequence of ideas in tropical geometry, the tropicalization of linear spaces. In the beginning, a construction due to De Concini and Procesi (wonderful models, 1995) gave a combinatorially explicit description of various iterated blowups of projective spaces along (proper transforms of) linear subspaces. A decade later, Tevelev's notion of tropical compactifications led to, in particular, a new view of the wonderful models and their intersection theory in terms of the theory of toric varieties (via work of Feichtner-Sturmfels, Feichtner-Yuzvinsky, Ardila-Klivans, and others). Recently, these ideas have played a role in Huh and Katz's proof of a long-standing conjecture in combinatorics.
 Conformally Fedosov manifolds 12:10 Fri 8 Mar, 2013 :: Ingkarni Wardli B19 :: Prof Michael Eastwood :: Australian National UniversityAbstract...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 ConnecticutMedia...Abstract...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 UniversityAbstract...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 AdelaideAbstract...I will discuss new joint work with Frank Kutzschebauch (Bern) and Gerald Schwarz (Brandeis). Let $G$ be a reductive complex Lie group acting holomorphically on Stein manifolds $X$ and $Y$, which are locally $G$-biholomorphic over a common categorical quotient $Q$. When is there a global $G$-biholomorphism $X\to Y$? In a situation that we describe, with some justification, as generic, we prove that the obstruction to solving this local-to-global problem is topological and provide sufficient conditions for it to vanish. Our main tool is the equivariant version of Grauert's Oka principle due to Heinzner and Kutzschebauch. We prove that $X$ and $Y$ are $G$-biholomorphic if $X$ is $K$-contractible, where $K$ is a maximal compact subgroup of $G$, or if there is a $G$-diffeomorphism $X\to Y$ over $Q$, which is holomorphic when restricted to each fibre of the quotient map $X\to Q$. When $G$ is abelian, we obtain stronger theorems. Our results can be interpreted as instances of the Oka principle for sections of the sheaf of $G$-biholomorphisms from $X$ to $Y$ over $Q$. This sheaf can be badly singular, even in simply defined examples. Our work is in part motivated by the linearisation problem for actions on $\C^n$. It follows from one of our main results that a holomorphic $G$-action on $\C^n$, which is locally $G$-biholomorphic over a common quotient to a generic linear action, is linearisable.
 Diffeological spaces and differentiable stacks 12:10 Fri 10 May, 2013 :: Ingkarni Wardli B19 :: Dr David Roberts :: University of AdelaideAbstract...The category of finite-dimensional 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 AdelaideAbstract...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 pseudo-Riemannian manifolds. Still more generally, one might study group of affine transformation on n-space 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 pseudo-Riemannian spaces.
 A strong Oka principle for proper immersions of finitely connected planar domains into CxC* 12:10 Fri 31 May, 2013 :: Ingkarni Wardli B19 :: Dr Tyson Ritter :: University of AdelaideAbstract...Gromov, in his seminal 1989 paper on the Oka principle, proved that every continuous map from a Stein manifold into an elliptic manifold is homotopic to a holomorphic map. In previous work we showed that, given a continuous map from X to the elliptic manifold CxC*, where X is a finitely connected planar domain without isolated boundary points, a stronger Oka property holds whereby the map is homotopic to a proper holomorphic embedding. If the planar domain is additionally permitted to have isolated boundary points the problem becomes more difficult, and it is not yet clear whether a strong Oka property for embeddings into CxC* continues to hold. We will discuss recent results showing that every continuous map from a finitely connected planar domain into CxC* is homotopic to a proper immersion that, in most cases, identifies at most finitely many pairs of distinct points. This is joint work with Finnur Larusson.
 Heat kernel estimates on non-compact Riemannian manifolds: why and how? 15:10 Fri 7 Jun, 2013 :: B.18 Ingkarni Wardli :: Prof Thierry Coulhon :: Australian National UniversityMedia...Abstract...We will describe what is known and remains to be known about the connection between the large scale geometry of non-compact 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.
 K-homology and the quantization commutes with reduction problem 12:10 Fri 5 Jul, 2013 :: 7.15 Ingkarni Wardli :: Prof Nigel Higson :: Pennsylvania State UniversityAbstract...The quantization commutes with reduction problem for Hamiltonian actions of compact Lie groups was solved by Meinrenken in the mid-1990s using geometric techniques, and solved again shortly afterwards by Tian and Zhang using analytic methods. In this talk I shall outline some of the close links that exist between the problem, the two solutions, and the geometric and analytic versions of K-homology theory that are studied in noncommutative geometry. I shall try to make the case for K-homology as a useful conceptual framework for the solutions and (at least some of) their various generalizations.
 Group meeting 15:10 Fri 13 Sep, 2013 :: 5.58 (Ingkarni Wardli) :: Dr Sanjeeva Balasuriya and Dr Michael Chen :: University of AdelaideAbstract...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 UniversityMedia...Abstract...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 well-known 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 example-based 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 pp-waves 12:10 Fri 18 Oct, 2013 :: Ingkarni Wardli B19 :: Dr Thomas Leistner :: University of AdelaideAbstract...A semi-Riemannian 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 Clifton-Pohl 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 pp-waves, 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 pp-wave 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 UniversityMedia...Abstract...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 UniversityAbstract...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 by-product of research into Finsler geometry. If time permits, I will also discuss some of the open problems in the subject.
 Reductive group actions and some problems concerning their quotients 12:10 Fri 17 Jan, 2014 :: Ingkarni Wardli B20 :: Prof Gerald Schwarz :: Brandeis UniversityMedia...Abstract...We will gently introduce the concept of a complex reductive group and the notion of the quotient Z of a complex vector space V on which our complex reductive group G acts linearly. There is the quotient mapping p from V to Z. The quotient is an affine variety with a stratification coming from the group action. Let f be an automorphism of Z. We consider the following questions (and give some answers). 1) Does f preserve the stratification of Z, i.e., does it permute the strata? 2) Is there a lift F of f? This means that F maps V to V and p(F(v))=f(p(v)) for all v in V. 3) Can we arrange that F is equivariant? We show that 1) is almost always true, that 2) is true in a lot of cases and that a twisted version of 3) then holds.
 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 BernAbstract...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 n-space 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 Andersen-Lempert 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 Oka-Forstneric 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.
 Holomorphic null curves and the conformal Calabi-Yau problem 12:10 Tue 28 Jan, 2014 :: Ingkarni Wardli B20 :: Prof Franc Forstneric :: University of LjubljanaMedia...Abstract...I shall describe how methods of complex analysis can be used to give new results on the conformal Calabi-Yau problem concerning the existence of bounded metrically complete minimal surfaces in real Euclidean 3-space R^3. We shall see in particular that every bordered Riemann surface admits a proper complete holomorphic immersion into the ball of C^2, and a proper complete embedding as a holomorphic null curve into the ball of C^3. Since the real and the imaginary parts of a holomorphic null curve in C^3 are conformally immersed minimal surfaces in R^3, we obtain a bounded complete conformal minimal immersion of any bordered Riemann surface into R^3. The main advantage of our methods, when compared to the existing ones in the literature, is that we do not need to change the conformal type of the Riemann surface. (Joint work with A. Alarcon, University of Granada.)
 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)Abstract...The open ocean upper layer is characterized by a complex transport dynamics occuring over different spatiotemporal scales. At the scale of 10-100 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 AdelaideAbstract...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 AdelaideAbstract...In dimensions greater than four there are several notions of higher Yang-Mills instantons. This talk concerns one such case, contact instantons, defined for 5-dimensional 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 AdelaideMedia...Abstract...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.
 T-Duality and its Generalizations 12:10 Fri 11 Apr, 2014 :: Ingkarni Wardli B20 :: Jarah Evslin :: Theoretical Physics Center for Science Facilities, CASAbstract...Given a manifold M with a torus action and a choice of integral 3-cocycle H, T-duality yields another manifold with a torus action and integral 3-cocyle. It induces a number of surprising automorphisms between structures on these manifolds. In this talk I will review T-duality and describe some work on two generalizations which are realized in string theory: NS5-branes and heterotic strings. These respectively correspond to non-closed 3-classes H and to principal bundles fibered over M.
 A generalised Kac-Peterson cocycle 11:10 Thu 17 Apr, 2014 :: Ingkarni Wardli B20 :: Pedram Hekmati :: University of AdelaideAbstract...The Kac-Peterson cocycle appears in the study of highest weight modules of infinite dimensional Lie algebras and determines a central extension. The vanishing of its cohomology class is tied to the existence of a cubic Dirac operator whose square is a quadratic Casimir element. I will introduce a closely related Lie algebra cocycle that comes about when constructing spin representations and gives rise to a Banach Lie group with a highly nontrivial topology. I will also explain how to make sense of the cubic Dirac operator in this setting and discuss its relation to twisted K-theory. This is joint work with Jouko Mickelsson.
 Estimates for eigenfunctions of the Laplacian on compact Riemannian manifolds 12:10 Fri 1 Aug, 2014 :: Ingkarni Wardli B20 :: Andrew Hassell :: Australian National UniversityAbstract...I am interested in estimates on eigenfunctions, accurate in the high-eigenvalue 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 high-eigenvalue estimates, geometry, and the dynamics of geodesic flow will be emphasized.
 Boundary-value problems for the Ricci flow 15:10 Fri 15 Aug, 2014 :: B.18 Ingkarni Wardli :: Dr Artem Pulemotov :: The University of QueenslandMedia...Abstract...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 :: Bar-Ilan UniversityAbstract...The QUE Conjecture of Rudnick-Sarnak 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 highly-degenerate 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 AdelaideMedia...Abstract...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 non-compact Riemann surfaces are Stein; which loosely speaking means that their function theory is similar to that of C.
 The Serre-Grothendieck theorem by geometric means 12:10 Fri 24 Oct, 2014 :: Ingkarni Wardli B20 :: David Roberts :: University of AdelaideAbstract...The Serre-Grothendieck theorem implies that every torsion integral 3rd cohomology class on a finite CW-complex is the invariant of some projective bundle. It was originally proved in a letter by Serre, used homotopical methods, most notably a Postnikov decomposition of a certain classifying space with divisible homotopy groups. In this talk I will outline, using work of the algebraic geometer Offer Gabber, a proof for compact smooth manifolds using geometric means and a little K-theory.
 Extending holomorphic maps from Stein manifolds into affine toric varieties 12:10 Fri 14 Nov, 2014 :: Ingkarni Wardli B20 :: Richard Larkang :: University of AdelaideAbstract...One way of defining so-called 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 UniversityAbstract...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 left-invariant initial data 12:10 Fri 27 Feb, 2015 :: Ingkarni Wardli B20 :: Vicente Cortes :: University of HamburgAbstract...Hitchin and hypo flows constitute a system of first order pdes for the construction of Ricci-flat Riemannian mertrics of special holonomy in dimensions 6, 7 and 8. Assuming that the initial geometric structure is left-invariant, we study whether the resulting Ricci-flat manifolds can be extended in a natural way to complete Ricci-flat 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 UniversityAbstract...Motivated by Dirac operators on Lorentzian manifolds, we propose a new framework to deal with non-symmetric and non-elliptic 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 AdelaideAbstract...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 TorontoAbstract...A definition to the geometric quantization for compact Hamiltonian G-spaces is given by Bott, defined as the index of the Spinc-Dirac operator on the manifold. In this talk, I will explain how to generalize this idea to the Hamiltonian LG-spaces. Instead of quantizing infinite-dimensional manifolds directly, we use its equivalent finite-dimensional model, the quasi-Hamiltonian G-spaces. By constructing twisted spinor bundle and twisted pre-quantum bundle on the quasi-Hamiltonian G-space, 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 LG-spaces under this framework.
 Quantising proper actions on Spin-c manifolds 11:00 Fri 31 Jul, 2015 :: Ingkarni Wardli Level 7 Room 7.15 :: Peter Hochs :: The University of AdelaideMedia...Abstract...For a proper action by a Lie group on a Spin-c manifold (both of which may be noncompact), we study an index of deformations of the Spin-c 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 finite-dimensional, 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 Paradan-Vergne in the compact Spin-c case), for sufficiently large powers of the determinant line bundle. Furthermore, this result extends to Spin-c 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.
 Equivariant bundle gerbes 12:10 Fri 21 Aug, 2015 :: Ingkarni Wardli B17 :: Michael Murray :: The University of AdelaideMedia...Abstract...I will present the definitions of strong and weak group actions on a bundle gerbe and calculate the strongly equivariant class of the basic bundle gerbe on a unitary group. This is joint work with David Roberts, Danny Stevenson and Raymond Vozzo and forms part of arXiv:1506.07931.
 Real Lie Groups and Complex Flag Manifolds 12:10 Fri 9 Oct, 2015 :: Ingkarni Wardli B17 :: Joseph A. Wolf :: University of California, BerkeleyMedia...Abstract...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 Bergman-Shilov 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.
 Chern-Simons classes on loop spaces and diffeomorphism groups 12:10 Fri 16 Oct, 2015 :: Ingkarni Wardli B17 :: Steve Rosenberg :: Boston UniversityMedia...Abstract...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 Chern-Simons 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 pp-waves 12:10 Fri 6 Nov, 2015 :: Ingkarni Wardli B17 :: Thomas Leistner :: The University of AdelaideMedia...Abstract...For a certain type of Lorentzian manifolds, the so-called pp-waves, 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 pp-wave to be a plane wave, and yielding a classification of homogeneous pp-waves. This also leads to a generalisation of a classical result by Jordan, Ehlers and Kundt about vacuum pp-waves 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 UniversityMedia...Abstract...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 G-bundles 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 G-orbits 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" G-actions. 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 UniversityMedia...Abstract...For an elliptic operator on a compact manifold acted on by a compact Lie group, the Atiyah-Segal-Singer 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 Atiyah-Segal-Singer 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 UniversityMedia...Abstract...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.
 Counting periodic points of plane Cremona maps 12:10 Fri 1 Apr, 2016 :: Eng & Maths EM205 :: Tuyen Truong :: University of AdelaideMedia...Abstract...In this talk, I will present recent results, join with Tien-Cuong Dinh and Viet-Anh Nguyen, on counting periodic points of plane Cremona maps (i.e. birational maps of P^2). The tools used include a Lefschetz fixed point formula of Saito, Iwasaki and Uehara for birational maps of surface whose fixed point set may contain curves; a bound on the arithmetic genus of curves of periodic points by Diller, Jackson and Sommerse; a result by Diller, Dujardin and Guedj on invariant (1,1) currents of meromorphic maps of compact Kahler surfaces; and a theory developed recently by Dinh and Sibony for non proper intersections of varieties. Among new results in the paper, we give a complete characterisation of when two positive closed (1,1) currents on a compact Kahler surface behave nicely in the view of Dinh and SibonyÃÂ¢ÃÂÃÂs theory, even if their wedge intersection may not be well-defined with respect to the classical pluripotential theory. Time allows, I will present some generalisations to meromorphic maps (including an upper bound for the number of isolated periodic points which is sometimes overlooked in the literature) and open questions.
 Sard Theorem for the endpoint map in sub-Riemannian manifolds 12:10 Fri 29 Apr, 2016 :: Eng & Maths EM205 :: Alessandro Ottazzi :: University of New South WalesMedia...Abstract...Sub-Riemannian 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 sub-Riemannian 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.
 Smooth mapping orbifolds 12:10 Fri 20 May, 2016 :: Eng & Maths EM205 :: David Roberts :: University of AdelaideAbstract...It is well-known that orbifolds can be represented by a special kind of Lie groupoid, namely those that are Ã©tale and proper. Lie groupoids themselves are one way of presenting certain nice differentiable stacks. In joint work with Ray Vozzo we have constructed a presentation of the mapping stack Hom(disc(M),X), for M a compact manifold and X a differentiable stack, by a FrÃ©chet-Lie groupoid. This uses an apparently new result in global analysis about the map C^\infty(K_1,Y) \to C^\infty(K_2,Y) induced by restriction along the inclusion K_2 \to K_1, for certain compact K_1,K_2. We apply this to the case of X being an orbifold to show that the mapping stack is an infinite-dimensional orbifold groupoid. We also present results about mapping groupoids for bundle gerbes.
 On the Strong Novikov Conjecture for Locally Compact Groups in Low Degree Cohomology Classes 12:10 Fri 3 Jun, 2016 :: Eng & Maths EM205 :: Yoshiyasu Fukumoto :: Kyoto UniversityMedia...Abstract...The main result I will discuss is non-vanishing of the image of the index map from the G-equivariant K-homology of a G-manifold X to the K-theory of the C*-algebra of the group G. The action of G on X is assumed to be proper and cocompact. Under the assumption that the Kronecker pairing of a K-homology class with a low-dimensional cohomology class is non-zero, we prove that the image of this class under the index map is non-zero. Neither discreteness of the locally compact group G nor freeness of the action of G on X are required. The case of free actions of discrete groups was considered earlier by B. Hanke and T. Schick.
 Chern-Simons invariants of Seifert manifolds via Loop spaces 14:10 Tue 28 Jun, 2016 :: Ingkarni Wardli B17 :: Ryan Mickler :: Northeastern UniversityAbstract...Over the past 30 years the Chern-Simons functional for connections on G-bundles over three-manfolds has lead to a deep understanding of the geometry of three-manfiolds, as well as knot invariants such as the Jones polynomial. Here we study this functional for three-manfolds 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 Chern-Simons functional reduces to a particular gauge-theoretic 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 level-k affine central extension of the loop group LG. We show that this formulation gives a new understanding of results of Beasley-Witten on the computability of quantum Chern-Simons 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 Murray-Stevenson-Vozzo.
 Calculus on symplectic manifolds 12:10 Fri 12 Aug, 2016 :: Ingkarni Wardli B18 :: Mike Eastwood :: University of AdelaideMedia...Abstract...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 Fubini-Study metric and its X-ray transform. This talk, which will start from scratch, is based on the work of many authors but, especially, current joint work with Jan Slovak.
 Diffeomorphisms of discs, harmonic spinors and positive scalar curvature 11:10 Fri 17 Mar, 2017 :: Engineering Nth N218 :: Diarmuid Crowley :: University of MelbourneMedia...Abstract...Let Diff(D^k) be the space of diffeomorphisms of the k-disc fixing the boundary point wise. In this talk I will show for k > 5, that the homotopy groups \pi_*Diff(D^k) have non-zero 8-periodic 2-torsion detected in real K-theory. 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 non-empty, space of positive scalar curvature metrics on M has non-zero 8-periodic 2-torsion in its homotopy groups which is detected in real K-theory. 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 AdelaideMedia...Abstract...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 anti-self-dual Yang-Mills equations on an oriented smooth 4-manifold. 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 4-manifolds. It is also the case that these moduli spaces themselves carry interesting geometric structures; for example, the Weil-Petersson 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 recent-ish work done in conjunction with Georg Schumacher.
 K-types of tempered representations 12:10 Fri 7 Apr, 2017 :: Napier 209 :: Peter Hochs :: University of AdelaideMedia...Abstract...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 Spin-c analogues of reduced spaces in symplectic geometry, defined in terms of moment maps that represent conserved quantities. This result involves a Spin-c version of the quantisation commutes with reduction principle for noncompact manifolds. For discrete series representations, this was done by Paradan in 2003.
 Hodge theory on the moduli space of Riemann surfaces 12:10 Fri 5 May, 2017 :: Napier 209 :: Jesse Gell-Redman :: University of MelbourneMedia...Abstract...The Hodge theorem on a closed Riemannian manifold identifies the deRham cohomology with the space of harmonic differential forms. Although there are various extensions of the Hodge theorem to singular or complete but non-compact spaces, when there is an identification of L^2 Harmonic forms with a topological feature of the underlying space, it is highly dependent on the nature of infinity (in the non-compact case) or the locus of incompleteness; no unifying theorem treats all cases. We will discuss work toward extending the Hodge theorem to singular Riemannian manifolds where the singular locus is an incomplete cusp edge. These can be pictured locally as a bundle of horns, and they provide a model for the behavior of the Weil-Petersson metric on the compactified Riemann moduli space near the interior of a divisor. Joint with J. Swoboda and R. Melrose.
 Holomorphic Legendrian curves 12:10 Fri 26 May, 2017 :: Napier 209 :: Franc Forstneric :: University of Ljubljana, SloveniaMedia...Abstract...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.
 Constructing differential string structures 14:10 Wed 7 Jun, 2017 :: EM213 :: David Roberts :: University of AdelaideMedia...Abstract...String structures on a manifold are analogous to spin structures, except instead of lifting the structure group through the extension Spin(n)\to SO(n) of Lie groups, we need to lift through the extension String(n)\to Spin(n) of Lie *2-groups*. Such a thing exists if the first fractional Pontryagin class (1/2)p_1 vanishes in cohomology. A differential string structure also lifts connection data, but this is rather complicated, involving a number of locally defined differential forms satisfying cocycle-like conditions. This is an expansion of the geometric string structures of Stolz and Redden, which is, for a given connection A, merely a 3-form R on the frame bundle such that dR = tr(F^2) for F the curvature of A; in other words a trivialisation of the de Rham class of (1/2)p_1. I will present work in progress on a framework (and specific results) that allows explicit calculation of the differential string structure for a large class of homogeneous spaces, which also yields formulas for the Stolz-Redden form. I will comment on the application to verifying the refined Stolz conjecture for our particular class of homogeneous spaces. Joint work with Ray Vozzo.
 Quaternionic Kaehler manifolds of co-homogeneity one 12:10 Fri 16 Jun, 2017 :: Ligertwood 231 :: Vicente Cortes :: Universitat HamburgMedia...Abstract...Quaternionic Kaehler manifolds form an important class of Riemannian manifolds of special holonomy. They provide examples of Einstein manifolds of non-zero 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 co-homogeneity one, based on arXiv:1701.07882.
 Equivariant formality of homogeneous spaces 12:10 Fri 29 Sep, 2017 :: Engineering Sth S111 :: Alex Chi-Kwong Fok :: University of AdelaideAbstract...Equivariant formality, a notion in equivariant topology introduced by Goresky-Kottwitz-Macpherson, is a desirable property of spaces with group actions, which allows the application of localisation formula to evaluate integrals of any top closed forms and enables one to compute easily the equivariant cohomology. Broad classes of spaces of especial interest are well-known to be equivariantly formal, e.g., compact symplectic manifolds equipped with Hamiltonian compact Lie group actions and projective varieties equipped with linear algebraic torus actions, of which flag varieties are examples. Less is known about compact homogeneous spaces G/K equipped with the isotropy action of K, which is not necessarily of maximal rank. In this talk we will review previous attempts of characterizing equivariant formality of G/K, and present our recent results on this problem using an analogue of equivariant formality in K-theory. Part of the work presented in this talk is joint with Jeffrey Carlson.
 End-periodic K-homology and spin bordism 12:10 Fri 20 Oct, 2017 :: Engineering Sth S111 :: Michael Hallam :: University of AdelaideAbstract...This talk introduces new "end-periodic" variants of geometric K-homology and spin bordism theories that are tailored to a recent index theorem for even-dimensional manifolds with periodic ends. This index theorem, due to Mrowka, Ruberman and Saveliev, is a generalisation of the Atiyah-Patodi-Singer index theorem for manifolds with odd-dimensional boundary. As in the APS index theorem, there is an (end-periodic) eta invariant that appears as a correction term for the periodic end. Invariance properties of the standard relative eta invariants are elegantly expressed using K-homology and spin bordism, and this continues to hold in the end-periodic case. In fact, there are natural isomorphisms between the standard K-homology/bordism theories and their end-periodic 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 odd-dimensional case to the even-dimensional case. This work is joint with Mathai Varghese.
 Stochastic Modelling of Urban Structure 11:10 Mon 20 Nov, 2017 :: Engineering Nth N132 :: Mark Girolami :: Imperial College London, and The Alan Turing InstituteMedia...Abstract...Urban systems are complex in nature and comprise of a large number of individuals that act according to utility, a measure of net benefit pertaining to preferences. The actions of individuals give rise to an emergent behaviour, creating the so-called urban structure that we observe. In this talk, I develop a stochastic model of urban structure to formally account for uncertainty arising from the complex behaviour. We further use this stochastic model to infer the components of a utility function from observed urban structure. This is a more powerful modelling framework in comparison to the ubiquitous discrete choice models that are of limited use for complex systems, in which the overall preferences of individuals are difficult to ascertain. We model urban structure as a realization of a Boltzmann distribution that is the invariant distribution of a related stochastic differential equation (SDE) that describes the dynamics of the urban system. Our specification of Boltzmann distribution assigns higher probability to stable configurations, in the sense that consumer surplus (demand) is balanced with running costs (supply), as characterized by a potential function. We specify a Bayesian hierarchical model to infer the components of a utility function from observed structure. Our model is doubly-intractable and poses significant computational challenges that we overcome using recent advances in Markov chain Monte Carlo (MCMC) methods. We demonstrate our methodology with case studies on the London retail system and airports in England.
 A Hecke module structure on the KK-theory of arithmetic groups 13:10 Fri 2 Mar, 2018 :: Barr Smith South Polygon Lecture theatre :: Bram Mesland :: University of BonnMedia...Abstract...Let $G$ be a locally compact group, $\Gamma$ a discrete subgroup and $C_{G}(\Gamma)$ the commensurator of $\Gamma$ in $G$. The cohomology of $\Gamma$ is a module over the Shimura Hecke ring of the pair $(\Gamma,C_G(\Gamma))$. This construction recovers the action of the Hecke operators on modular forms for $SL(2,\mathbb{Z})$ as a particular case. In this talk I will discuss how the Shimura Hecke ring of a pair $(\Gamma, C_{G}(\Gamma))$ maps into the $KK$-ring associated to an arbitrary $\Gamma$-C*-algebra. From this we obtain a variety of $K$-theoretic Hecke modules. In the case of manifolds the Chern character provides a Hecke equivariant transformation into cohomology, which is an isomorphism in low dimensions. We discuss Hecke equivariant exact sequences arising from possibly noncommutative compactifications of $\Gamma$-spaces. Examples include the Borel-Serre and geodesic compactifications of the universal cover of an arithmetic manifold, and the totally disconnected boundary of the Bruhat-Tits tree of $SL(2,\mathbb{Z})$. This is joint work with M.H. Sengun (Sheffield).
 Family gauge theory and characteristic classes of bundles of 4-manifolds 13:10 Fri 16 Mar, 2018 :: Barr Smith South Polygon Lecture theatre :: Hokuto Konno :: University of TokyoMedia...Abstract...I will define a non-trivial characteristic class of bundles of 4-manifolds using families of Seiberg-Witten 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 non-triviality of this characteristic class. If time permits, I will mention a relation between our characteristic class and positive scalar curvature metrics.
 Computing trisections of 4-manifolds 13:10 Fri 23 Mar, 2018 :: Barr Smith South Polygon Lecture theatre :: Stephen Tillmann :: University of SydneyMedia...Abstract...Gay and Kirby recently generalised Heegaard splittings of 3-manifolds to trisections of 4-manifolds. 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 4-manifold. 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 4-manifolds.
 Complexity of 3-Manifolds 15:10 Fri 23 Mar, 2018 :: Horace Lamb 1022 :: A/Prof Stephan Tillmann :: University of SydneyAbstract...In this talk, I will give a general introduction to complexity of 3-manifolds and explain the connections between combinatorics, algebra, geometry, and topology that arise in its study. The complexity of a 3-manifold 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 3-manifolds, but they also lead to a structure theory of minimal triangulations of 3-manifolds.
 Chaos in higher-dimensional complex dynamics 13:10 Fri 20 Apr, 2018 :: Barr Smith South Polygon Lecture theatre :: Finnur Larusson :: University of AdelaideMedia...Abstract... 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, Kobayashi-hyperbolic manifolds have at most a finite-dimensional 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 Kobayashi-hyperbolic manifold is non-expansive 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 anti-hyperbolicity 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 right-invariant 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 4-manifolds from families Seiberg-Witten theory 13:10 Fri 25 May, 2018 :: Barr Smith South Polygon Lecture theatre :: David Baraglia :: University of AdelaideMedia...Abstract...Let X be a smooth, compact, oriented 4-manifold and consider the following problem. Let G be a group which acts on the second cohomology of X preserving the intersection form. Can this action of G on H^2(X) be lifted to an action of G on X by diffeomorphisms? We study a parametrised version of Seiberg-Witten theory for smooth families of 4-manifolds and obtain obstructions to the existence of such lifts. For example, we construct compact simply-connected 4-manifolds X and involutions on H^2(X) that can be realised by a continuous involution on X, or by a diffeomorphism, but not by an involutive diffeomorphism for any smooth structure on X.
 The mass of Riemannian manifolds 13:10 Fri 1 Jun, 2018 :: Barr Smith South Polygon Lecture theatre :: Matthias Ludewig :: MPIM BonnAbstract...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 AdelaideAbstract...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 non-compact 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 LjubljanaAbstract...In 1927 Torsten Carleman proved a remarkable extension of the Stone-Weierstrass 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.
 Local Ricci flow and limits of non-collapsed regions whose Ricci curvature is bounded from below 11:10 Fri 26 Oct, 2018 :: Barr Smith South Polygon Lecture theatre :: Miles Simon :: University of MagdeburgAbstract...We use a local Ricci flow to obtain a bi-Holder correspondence between non-collapsed (possibly non-complete) 3-manifolds with Ricci curvature bounded from below and Gromov-Hausdorff limits of sequences thereof. This is joint work with Peter Topping and the proofs build on results and ideas from recent papers of Hochard and Topping+Simon.

## News matching "Quantising proper actions on Spin-c 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 Mathai-Quillen formalism in topological field theory.". Posted Tue 30 Nov 10.

## Publications matching "Quantising proper actions on Spin-c manifolds"

Publications
D-branes, RR-fields and duality on noncommutative manifolds
Brodzki, J; Varghese, Mathai; Rosenberg, J; Szabo, R, Communications in Mathematical Physics 277 (643–706) 2008
Unsteady fronts in the spin-down of a fluid-filled torus
del Pino, C; Hewitt, R; Clarke, Richard; Mullin, T; Denier, James, Physics of Fluids 20 (124104-1–124104-5) 2008
Nonlinear dynamics on centre manifolds describing turbulent floods: k-omega model
Georgiev, D; Roberts, Anthony John; Strunin, D, Discrete and Continuous Dynamical Systems Supplement (419–428) 2007
Conformal holonomy of C-spaces, Ricci-flat, and Lorentzian manifolds
Leistner, Thomas, Differential Geometry and its Applications 24 (458–478) 2006
Screen bundles of Lorentzian manifolds and some generalisations of pp-waves
Leistner, Thomas, Journal of Geometry and Physics 56 (2117–2134) 2006
Actions of seminal plasma cytokines in priming female reproductive tract receptivity for embryo implantation
Robertson, Sarah; Bromfield, John; Glynn, David; Sharkey, David; Jasper, Melinda, chapter in Immunology of Pregnancy (Springer) 148–158, 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
Quantum discontinuity for massive spin-3/2 with a L term
Duff, M; Liu, J; Sati, Hicham, Nuclear Physics B 680 (117–130) 2004
Topology and H-flux of T-dual manifolds
Bouwknegt, Pier; Evslin, J; Varghese, Mathai, Physical Review Letters 92 (181601-1–181601-3) 2004
Two-zone 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 hypo-analytic 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
Hilbert C*-systems for actions of the circle group
Baumgaertel, H; Carey, Alan, Reports on Mathematical Physics 47 (349–361) 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
Conformally invariant differential operators on spin bundles
Eastwood, Michael, chapter in Further advances in twistor theory. Vol. III, Curved twistor spaces (Chapman & Hall/CRC) 72–74, 2001
Introduction to Chern-Simons gauge theory on general 3-manifolds
Adams, David, chapter in Mathematical methods in physics (World Scientific Publishing) 1–43, 2000
A gerbe obstruction to quantization of fermions on odd-dimensional manifolds with boundary
Carey, Alan; Mickelsson, J, Letters in Mathematical Physics 51 (145–160) 2000
Quantum group actions on the Cuntz algebra
Carey, Alan; Paolucci, A; Zhang, R, Annales Henri Poincare 1 (1097–1122) 2000