Notes of Journee francilienne d’accueil des post-doctorants en mathematiques

Journee francilienne d’accueil des post-doctorants en mathematiques

1. Eleonora di Nezza: Special metrics in Kähler geometry

I work in Kähler geometry. It has to do with complex manifolds.

Let us start with the uniformization theorem. It implies that compact Riemann surfaces (complex 1-manifolds) admits metrics of constant curvature, the sign of which is determined by the sign of Euler characteristic. This is tremendously useful in the study of the space of Riemann surfaces.

In higher dimensions, do complex manifolds admit special metrics? Kähler metrics are Hermitian metrics which satisfy an extra first order intergability condition: they osculate a flat metric one order more that a general hermitian metric. This is expressed via the imaginary part of the Hermitian metric, which is a differential 2-form {\omega}: {\omega} has to be closed. Alternatively, two connections are associated to a Hermitian metrics, the Riemannian Levi-Civita connection, and the Chern connection. The metric is Kähler iff these two connections coincide.

Nevertheless, a given complex manifold admits many Kähler metrics. To single a preferred one, we require that its Ricci curvature be constant. We call them Kähler-Einstein metrics, since constancy of Ricci curvature is the content of Einstein’s equations for vacuum with a cosmological consant.

Not every complex manifold admits KE metrics. Indeed, Ricci curvature, viewed a differential 2-form, is a representative of the first Chern class of the (complex) tangent bundle. In the KE case, Ricci curvature is proportional to the Kähler form. For a complex manifold, the fact that the first Chern class can be represented by a closed {(1,1)}-form which is positive definite (resp. zero, resp. negative definite) is rather restrictive. Let us assume that this condition is satisfied. Then Calabi showed that KE equations are equivalent to a scalar second order nonlinear PDE of complex Monge-Ampère type. The problem splits into 3 different cases. The negative and zero cases were solved in the late 1970’s. The positive case is very recent (Chen-Donaldson-Sun, Tian), after decades of co siderable work by a large community.

The present trend is to extend the theory to singular varieties. Indeed, the classification program (“Minimal Model Program”) requires to handle singular varieties. The unknown in the complex Monge-Ampère equation is then a real function defined on the complement of a fixed divisor (i.e. complex mildly singular hypersurface).

Guedj-Zeriahi 2007: existence and uniqueness (up to an additive constant) of a weak solution. With Lu (then in Orsay), I proved in 2014 that their solution is smooth in the complement of the divisor. This is analysis, dealing with a degenerate equation. The french school (Boucksom, Essidieux, Guedj, Zeriahi) has introduced a pluripotential theory which is very efficient for this problem.

2. Claudio Llosa Isenrich : Kähler groups from branched covers of elliptic curves

A complex manifold is a real manifold with a preferred atlas ro open subsets of {{\mathbb C}^n} where changes of charts are holomorphic diffeomorphisms. A Kähler manifold is a complex mnifol with a Hermitian metric whose imaginary part, a differential 2-form, is closed.

The most important examples are smooth complex submanifolds of complex projective space (the space of lines in {{\mathbb C}^{n+1}}). They are defined as zero sets of homogeneous polynomials in {n+1} variables.

The fundamental group of a topological space is the set of homotopy classes of based loops. Loops can be concatenated, which gives rise to a group structure. This is the most ancient, and still the most important, algebraic invariant of topology.

Say a group is Kähler if it is isomorphic to the fundamental group of a compact Kähler manifold. In the 1950’s, Serre raised the question of which groups are Ka\”hler. Notes that every (finitely presented) groups is isomorphic to the fundamental group of a compact complex manifold.

Here are examples. Even rank free abelian groups {{\mathbb Z}^{2n}} are Kähler. Surface groups (fundamental groups of compact surfaces) are Kähler. Serre showed that all finite groups are Kähler. The class of Kähler groups is able under taking direct products and finite index subgroups.

Here are restrictions. The first Betti number of a Kähler is even (this rules out even rank free abelian groups, free groups).

My contribution is a construction of new examples of Kähler groups, insped by Dimca-Papadima-Suciu 2009. Let {E={\mathbb C}/{\mathbb Z}^2} be a complex torus (also called a complex elliptic curve). For {r\geq 3}, consider branched covers of {E}, {f_i:S_i\rightarrow E}, {1\leq i\leq r}, where {S_i} is a Riemann surface. For instance, cut {E} open along several slits, take several copies and glue them together along slits in a suitable combinatorial pattern. Since {E} has a commutative group structure, one can take the sum of these maps, and get a map

\displaystyle  \begin{array}{rcl}  h=\sum_{i=1}^r f_i:\prod_{i=1}^r S_i \rightarrow E. \end{array}

This is a holomorphic map. A generic fiber {f^{-1}(p)} is smooth, its fundamental group is Kähler, by construction. It is the kernel of the homomorphism induced by {h} on fundamental groups. I show that if {h} is surjective on fundamental groups, the group enjoys an interesting finiteness property (which I will not define today): it is {\mathcal{F}_{r-1}} but not {\mathcal{F}_{r}}. No previous example was known.

Peng: higher dimensions? Unclear.

3. Cyril Marzouk: Scaling limits of large random combinatorial structures: Brownian objects

Motivation from quantum gravity: how to sample a random metric on the 2-sphere? Possibly easier: how to sample a random function?

Approximate answer: look at random walks on {{\mathbb Z}}. The endpoints obeys a binomial law, which converges to a Gaussian law. In fact (Donsker), the whole path converges in law to Brownian motion, a probability measure on real functions on {{\mathbb R}_+}.

Closer to random metrics: random quadrangulations, also known as planar maps. The graph distance is thought of as a metric on the sphere. The Gromov-Hausdorff distance makes such planar maps into a Polish topological space.

Le Gall and Miermont (independantly): a uniformly random quadrangulation with {n} faces, renormalized by {n^{1/4}}, converges to a random metric space in Gromov-Hausdorff distance. It is homeomorphic to the 2-sphere, but it has Hausdorff dimension 4.

Enrich the model by admitting faces with variable (even) number of edges, and specifiy the number {n_i} of faces of degree {2i}. Assume {n_i/n} converges to {p(i)}, {\sum_i in_i/n} converges to {\sum_i ip(i)}, and {\sum_i i^2 n_i/n} converges to {\sum_i i^2p(i)}. Then I show that a uniformly random such map converges to the same random metric space (slightly rescaled).

Le Gall’s method relies on Schaeffer’s encoding of quadrangulations with rooted trees carrying integers at vertices. It was known earlier (Aldous) that the uniformly random tree with {n+1} vertices, rescaled by {n^{1/2}}, converges to the Brownian tree. I merely explain where the constants come from. A finite tree can be viewed as a walk on {{\mathbb Z}}. The depth of the tree is the maximal distance reached by the walk. Since random walks are well understood, depths of random trees are known.

4. Jie Lin: Special values of {L}-functions and a conjecture of Deligne

Considering sums of inverse squares, cubes,… leads to Riemann’s zeta function. Euler showed that {\zeta(2)=\pi^2/6}. More generally, {\zeta(2m)} is commensurable to {\pi^{2m}}. To show this, one extends {\zeta} meromorphically to {{\mathbb C}}, and gets a functional equation, which relates {\zeta(2m)} to {\zeta(1-2m)}, which is a rational number (one says that {2m} is critical, since {\zeta} is holomorphic both at {2m} and {1-2m}).

For odd integers, one must compute residues, which is much harder.

A Dirichlet {L}-function is a weighted inverse power sums, where weights are characters mod {N}. The above theorem extends to {L}-functions. Example: {N}

Adèles. Euler’s product formula for {\zeta} suggests formulae involving all prime numbers, i.e. all absolute values on {{\mathbb Q}}. The ring of adeles is the (restricted) product of all {p}-adic fields (completion of {{\mathbb Q}} for the {p}-adic absolute value), and the reals. The idèles are the units of adele ring. The idea of a {L}-function extends to Hecker characters, i.e. continuous characters of {{\mathbb Q}^\times \setminus\mathbb{A}^\times}.

A Hecke character is a one-dimensional representation of {Gl_1(\mathbb{A})}, we must consider more generaly automorphic representations of {Gl_N(\mathbb{A})}. Motives are an even wider generalization introduced by Grothendieck. These are geometric objects, like elliptic curves. Analytic continuation of {L}-functions in this generality is a conjecture by Hasse-Weil. In 1979, Deligne conjectured the values of {L}-functions for critical integers.

Langlands’ program relates these 3 types of objects, motives, automorphic representations and Galois representations. This contains the Taniyama-Shimura-Weil conjecture whose solution is used in the solution of Fermat’s last problem.

With coauthors, I have translated Deligne conjecture in automorphic representation terms.

5. Dena Kazerani : Symmetry, from hyperbolic systems to Green-Naghdi models

I work in fluid mechanics of incompressible flows. When viscous forces are low, Navier-Stokes equations simplify to Euler equations. A difficulty arises since the domain occupied by the fluid evolves.

I focus today on shallow water, this is the Green-Naghdi model (1976): one assumes that the fluid is irrotational, that the ground is planar and horizontal, vertical velocity depends linearly on the vertical variable, horizontal velocity does not depend on vertical velocity. Then the unknown of the equation, defined on a fixed planar domain, are the horizontal velocity and the water height. One gets a hyperbolic Saint-Venant system with extra dispersive terms.

Hyperbolic systems often have symmetry: Lax-entropy pairs, Godunov structures. It is the case for the Saint-Venant system. The symmetry is expressed by changes of variables involving matrices

\displaystyle  \begin{array}{rcl}  \partial_t U+\partial_x F(U)=0. \end{array}

We need to generalize matrices to operators on Banach spaces. We give a general definition of Godunov structure, extend the classical results (equivalence with existence of Lax-entropy pairs). We show that Green-Naghdi’s model has this property.

We use this symmetry to establish well-posedness of the equations: global existence, asymptotic stability.

Di Nezza: the definitions make sense only for smooth solutions, is this a problem? Yes, singular solutions behave differently (shocks).

Advertisements
Posted in Uncategorized | Leave a comment

Notes of Gang Tian’s Orsay lecture 28-06-2017

Existence of conic Kaehler-Einstein metrics

Joint work with Feng Wang, Zhejiang university.

A log-Fano manifold is the date of a compact Kaehler manifold {M}, a divisor with normal crossings {D=\sum(1-\beta_i)D_i} such that the line bundle

\displaystyle  \begin{array}{rcl}  L=K_M^{-1}+\sum(1-\beta_i)D_i \end{array}

is positive.

A metric {\omega} is a conic Kaehler-Einstein metric if it is smooth Kaehler in {M\setminus |D|} and for every point {p\in|D|} where {D} is defined by {z_1\cdots z_d=0} in some coordinates, {\omega} is equivalent (between two multiplicative constants) to the model cone metric

\displaystyle  \begin{array}{rcl}  \omega_{cone}=i(\sum_{i\leq d} \frac{dz_i\wedge d\bar z_i}{|z_i|^{2(1-\beta_i)}}+\sum_{i>d} dz_i\wedge d\bar z_i). \end{array}

Say that {\omega} is conic Kaehler-Einstein if

\displaystyle  \begin{array}{rcl}  Ric(\omega)=\omega+2\pi\sum(1-\beta_i)[D_i]. \end{array}

1. Necessary conditions

Berman 2016: If {(M,D)} admits a conic KE metric with {[\omega]=2\pi c_1(L)}, then {(M,D)} is log-K-stable.

Log-K-stability is defined as follows.

A special degeneration {(\mathcal{X},\mathcal{D},\mathcal{L})} of {M,D,L)} is a 1-parameter family of log-pairs, consisting of

  1. A normal log-pair {(\mathcal{X},\mathcal{D})} with a {{\mathbb C}^*}-equivariant map {\pi:(\mathcal{X},\mathcal{D})\rightarrow{\mathbb C}},
  2. {\mathcal{L}} is an equivariant {\pi}-ample {{\mathbb Q}}-line bundle.
  3. {\mathcal{X}_t,\mathcal{D}_t,\mathcal{L}_t} is isomorphic to {(M,D,L)} for every {t\not=0}.

There is a natural compactification {(\overline{\mathcal{X}},\overline{\mathcal{D}},\overline{\mathcal{L}})} of {(\mathcal{X},\mathcal{D},\mathcal{L})} that maps to {{\mathbb C} P^1}. Defined number

\displaystyle  \begin{array}{rcl}  w(\mathcal{X},\mathcal{D},\mathcal{L})=\frac{n\overline{\mathcal{L}}^{n+1}+(n+1)\overline{\mathcal{L}}^n(K_{\mathcal{X}|{\mathbb C} P^1}+\overline{\mathcal{D}})}{(n+1)L^n}. \end{array}

If the central fiber is a log-Fano variety {(M_0,D_0)} embedded in {{\mathbb C} P^N} by {H^0(M_0,L^\ell_{|M_0})}, then {w(\mathcal{X},\mathcal{D},\mathcal{L})} can be interpreted as a Futaki invariant.

Say that {(M,D)} is log-K-semistable if for any special degeneration {(\mathcal{X},\mathcal{D},\mathcal{L})} has {w(\mathcal{X},\mathcal{D},\mathcal{L})\geq 0}. Say that {(M,D)} is log-K-stable if for any special degeneration {(\mathcal{X},\mathcal{D},\mathcal{L})} has {w(\mathcal{X},\mathcal{D},\mathcal{L})\geq 0} and equality holds only for the trivial degeneration {(\mathcal{\mathcal{X},\mathcal{D},\mathcal{L}})=(M,D,L)\times{\mathbb C}}.

2. The result

Theorem 1 If {(M,D)} is log-K-stable, the there exists a conic KE metric {\omega} with {[\omega]=2\pi c_1(L)}.

Many special cases were known, as consequences of existence of KE metrics on smooth closed manifolds. For instance when {D} is a multiple of {K_M^{-1}}.

3. Motivation

We are interested in {{\mathbb Q}}-Fano varieties {X}. Assume {X} admits a resolution {\mu:M\rightarrow X} such that {K_M=\mu^* K_X+\sum a_i E_i}, {a_i\in(-1,0]}. For small enough {\epsilon\in{\mathbb Q}}, define

\displaystyle  \begin{array}{rcl}  L_\epsilon=\pi^*K_X-\sum \epsilon E_i. \end{array}

If there exists a KE metric {\omega} on {X}, then {\mu^*\omega} is a degenerate conic KE metric on {M} with conic angles {2\pi b_i} along {E_i}. We expect that there exist conic KE metrics {\omega_\epsilon} on {(M,\sum (1-b_i-\epsilon)E_i)} with {[\omega_\epsilon]=2\pi c_1(L_\epsilon)}, which Gromov-Hausdorff converge to {(X,\omega)} as {\epsilon\rightarrow 0}.

We think that we are now able to prove the following. If {X} is a K-stable {{\mathbb Q}}-Fano variety. Then it admits a generalized KE metric in the above sense.

4. Proof

Many steps are similar to the smooth case. Pick a large integer {\lambda} such that {\lambda L} has a smooth divisor {E}. We use a continuity method, solving

\displaystyle  \begin{array}{rcl}  Ric(\omega_t)=t\omega_t+\frac{1-t}{\lambda}[E]+\sum(1-\beta_i)[D_i], \end{array}

{t\in[0,1]}. The set {I} of {t} such that a solution exists is easily shown to be non-empty (it contains 0) and open. Is it closed? The key point is a {C^0} estimate. It follows from a “partial {C^0}-estimate” and log-K-stability. In turn, this follows from an {L^2}-estimate and compactness a la Cheeger-Colding-Tian.

4.1. Smoothing conical KE metrics

Say that {\omega} has a K-approximation if there exist Kaehler metrics {\omega_i=\omega+i\partial\bar\partial\phi_i} in the same cohomology class such that

  • {\phi_i\rightarrow 0} uniformly on {M} and smoothly outside {|D|},
  • {Ric(\omega_i)\geq K\omega_i},
  • {(M,\omega_i)\rightarrow (M,\omega)} in Gromov-Hausdorff topology.

We show that if {Aut^0(M,D)=\{1\}} and if for all {i},

\displaystyle  \begin{array}{rcl}  (1-K_i)L+(1-\beta_i)D_i\geq 0 \end{array}

for some {K_i\leq 1}, then {\omega} has a K-approximation where {K=\sum(K_i-1)+1}.

We solve a modified equation with an extra term involving {K_i}‘s. For this, we use the variational approach by Boucksom-Eyssidieux-Guedj-Zeriahi and results of Darwan-Robinstein, Guenancia-Paun.

4.2. Extend B. Wang-Tian’s results to conic case

5. Work in progress

To handle {{\mathbb Q}}-Fano varieties, we need to extend Cheeger-Colding to conic cases.

Posted in Workshop lecture | Leave a comment

Notes of Oana Ivanovici’s Orsay lecture 28-06-2017

Geometry and analysis of waves in manifolds with boundary

The wave-front is a subset of the cotangent bundle, whose projection is the singular support. In all dimensions, in Euclidean space, it travels at constant speed along straight lines (Fermat,…, Hormander).

In general Riemannian manifolds without boundary, it travels along geodesics as long as time stays less than the injectivity radius (Duistermaat-Hormander).

We impose Dirichlet boundary conditions. Then transverse waves reflect according to Snell’s law of reflection (Chazarain). What about tangencies? Assume obstacle is convex. Do waves propagate in the shadow?

Melrose-Taylor 1975: if the boundary is {C^\infty}, no smooth singularities in the shadow region. However, analytic singularities occur.

Inside strictly convex domains, waves reflect a large number of times. The wave shrinks in size between two reflections, it refocusses, therefore its maximum increases. Caustics appear, together with swallowtail and cusp singularities.

In the non-convex case, especially if infinite order tangencies occur, one does not even know what the continuation of a ray should be (Taylor 1976).

1. Dispersive estimates

It is a measurement of the decay of amplitude of waves due to spreading out while energy is conserved.

In {{\mathbb R}^d}, after a high frequency cut-off around frequency {\lambda}, the maximum amplitude decays like {\lambda^{(d+1)/2}t^{-(d-1)/2}}. Indeed, the wave is concentrated in an annulus of width {1/\lambda}. The same holds in Riemannian manifolds without boundary.

In the presence of boundary, propagation of singularities has brought results in the 1980’s. Later on, people have tried a reduction to the boundary-less case with a Lipschitz metric: this requires no assumptions on the boundary, but ignores reflection and its refocussing effect.

1.1. Within convex domains

Theorem 1 (Ivanovici-Lascar-Lebeau-Planchon 2017) For strictly convex domains, dispersion is in

\displaystyle  \begin{array}{rcl}  \lambda^d\max\{1,(\lambda t)^{-\frac{d-1}{2}+\frac{1}{4}}\}. \end{array}

This follows from a detailed description of the wave-front, including swallow-tails. It takes into account infinitely many reflections. It is sharp.

1.2. Outside convex obstacles

The Poisson spot. This is a place where diffracted light waves interfere. It is in the shadow area, but much more light concentrates there. This was confirmed experimentally by Arago, following a debate launched by Fresnel who did not believe in the wave description of light. It should exist if one believes in Fermat’s principle that light rays follow geodesics, including those which creep along the boundary surface (Keller’s conjecture). In 1994, Hargé and Lebeau proved that, when light creeps along the bounday, it decays like {e^{-\lambda^{1/3}}}.

Theorem 2 (Ivanovici-Lebeau 2017) For strictly convex obstacles,

  1. if {d=3}, dispersion estimates hold like in {{\mathbb R}^3},
  2. if {d\geq 4}, they fail at the Poisson spot.

The reason is that a {d-2}-dimensional surface lits the Poisson point.

Posted in Workshop lecture | Leave a comment

Notes of Erlend Grong’s Orsay lecture 27-06-2017

Asymptotic expansions of holonomy

Joint with Pierre Pansu.

1. Motivation

Given a connection on a principal bundle {G\rightarrow P\rightarrow M}, holonomy along a based loop {\gamma} of {M} is an element of {G} resulting from lifting horizontally {\gamma} to {P}. We look for an expression {F(\gamma)\in\mathfrak{g}} such that {\exp(F(\gamma))} is a good approximation of holonomy when {\gamma} is short,

\displaystyle  \begin{array}{rcl}  hol(\gamma)=\exp(F+O(\ell^r)). \end{array}

We want that {F(\gamma)} be simpler to compute than holonomy, and be related to curvature.

Hatton-Choset: motion of a snake with two joins. {M=S^1\times S^1}, {G=SE(2)}. Experimentalists have been led to choose the Coulomb gauge, and for {F(\gamma)} the integral over a disk spanning {\gamma} of curvature expressed in Coulomb gauge.

In this practical example, motions are tangent to a sub-bundle of the tangent bundle of {M}. Hence our interest in expansions which are particularly efficient on such curves. We call this setting sub-Riemannian.

Sub-Riemannian curvature is not easy to define. The obvious approach of using adapted connections on the tangent bundle is not illuminating.

2. Results

  1. Asymptotic, gauge-free formula in Euclidean space.
  2. Riemannian case not that different.
  3. Sub-Riemannian case suggests a notion of curvature.
  4. For certain sub-Riemannian structures,

2.1. Euclidean case

Dilations define radial fillings {disk(\gamma)} of loops. Use radial gauge (frame is parallel along rays through the origin). They turn out to be optimal. Using radial gauge, integrate curvature over radial filling. This defines

\displaystyle F(\gamma)=\int_{\mathrm{disk}(\gamma)}\Omega.

Say a differential form {\omega} has weight {\geq m} if dilates {\delta_s^*\omega} are {O(t^m)}. Use radial gauge to define weight of forms on {P}.

Theorem 1 If the curvature has weight {m}, then

\displaystyle  \begin{array}{rcl}  hol(\gamma)=\exp(F(\gamma)+O(\ell(\gamma)^2m). \end{array}

Furthermore, one can expand {F(\gamma)} in termes of Taylor’s expansion of curvature.

Since curvature has weight at least 2, one gets a 4-th order approximation.

2.2. Sub-Riemannian case

The flat sub-Riemannian case corresponds to Carnot groups, i.e. a Lie group whose Lie algebra has a gradation

\displaystyle  \begin{array}{rcl}  \mathfrak{n}=\mathfrak{n}_1\oplus\cdots\oplus \mathfrak{n}_r \end{array}

and is generated by {\mathfrak{n}_1}. Example: Heisenberg group.

Fix a norm on {\mathfrak{n}_1}. Left translates of {\mathfrak{n}_1} define a sub-Riemannian metric, for which dilations {\delta_t=t^i} on {\mathfrak{n}_i} are homothetic.

According to Le Donne, sub-Riemannian Carnot groups are characterized by being the only locally compact homogeneous geodesic metric spaces with homothetic homeos.

Carnot groups come with a left-invariant horizontal basis, we pick a connection on the tangent bundle which makes it parallel. It has torsion. We combine it with the principal bundle connection to define iterated covariant derivatives of curvature. We organize them according to weights adapted to the Lie algebra grading. The above theorem extends.

2.3. Horizontal holonomy

Since we are interested only in holonomy along horizontal loops, we have the freedon to change the connection outside the horizontal subbundle.

Chitour-Grong-Jean-Kokkonen: using this freedom, there are choices which minimize the curvature in the sense that as many components as possible vanish identically. This tends to increase the weight of curvature.

Example: on 3-dimensional Heisenberg group, the preferred connection has curvature which vanishes on the horizontal distribution, hence has weight {\geq 3} instead of 2. Above Theorem provides a 6-th order expansion, whose terms can be computed algebraically.

More generally, on free {k}-step nilpotent Lie groups, the curvature of a preferred connection has order at least {k+1}, whence a {2k+2}-th order expansion whose terms are linear in curvature (in fact, in the preferred curvature).

We expect to use it to refine the Euclidean expansion.

3. Question

What does this give in case of the two-joints snake? Requires to push computations further.

Posted in Workshop lecture | Tagged | Leave a comment

Notes of Karen Vogtmann’s second Cambridge lecture 23-06-2017

The borders of Outer Space

Joint work with Kai-Uwe Bux and Peter Smillie.

1. Duality groups

I am interested in Poincare duality. For a group, assume {M=B\pi} is a smooth {d}-manifold, then

\displaystyle  \begin{array}{rcl}  H^k_c(\tilde M)=H_{d-k}(\tilde M). \end{array}

Bieri-Eckmann observed that is suffices that {\Gamma} acts freely cocompactly on a contractible space {X} whose compactly supported cohomology vanishes in all degrees but {d}, and {H_c^d(X)} is torsion free. Then {\Gamma} is a duality group.

If the action is merely proper and cocompact, {\Gamma} is a virtual duality group. Borel-Serre used this for lattices. Bestvina-Feighn used this to show that $latex {Out(F_n) is a virtual duality group. Mapping class groups also act on a contractible space.

To achieve cocompactness, Borel-Serre added to the symmetric space copies of Euclidean space forming a rational Euclidean building. The resulting bordification of the quotient is a manifold, with boundary homotopy equivalent to a wedge of spheres (Solomon-Tits). Instead, Grayson constructed an invariant cocompact subset of symmetric space.

Grayson’s work was used by Bartels-Lueck-Reich-Ruping to prove Farrel-Jones for }&fg=000000$Sl(n,{\mathbb Z})$latex {.

For }&fg=000000$Out(F_n){, Bestvina-Feighn defined a bordification too. We proceed differently, like Grayson: we produce and invariant retract }J_n\subset X_n$latex {. It is much easier and gives more information on the boundary.

\section{Construction}

}&fg=000000$X_n{ is the space of metric graphs (without separating edges) with homotopy markings. It is made of simplices with edge-lengths as coordinates. }J_n$ is obtained by chopping off some of their corners.

A core graph is a subgraph such that, when one shrinks it, one gets out of Outer Space. Only corner facing core graphs need be chopped off.

The boundary appears as a union of contractible walls (every intersection of walls is contractible).

Posted in Workshop lecture | Tagged | Leave a comment

Notes of Grigori Avramidi’s Cambridge lecture 23-06-2017

Topology of ends of nonpositively curved manifolds

Joint work with T. Nguyen Pham.

I am interested in complete Riemannian manifolds with curvature in {[-1,0]}, and finite volume.

Example. Product of two hyperbolic surfaces. The end is homeomorphic to {N\times[0,+\infty)}, with some extra structure: {N} is made of two pieces.

More generally, for locally symmetric spaces of noncompact type, lifts of ends are homeomorphic to {N\times[0,+\infty)}, with {N} a wedge of spheres. This description goes back to Borel-Serre.

1. Thick-thin decomposition

Gromov-Schroeder: assume there are no arbitrarily small geodesic loops. Then the thin part is homeomorphic to {N\times[0,+\infty)}, with {N} a closed manifold.

The condition is necessary. Gromov gives an example of a nonpositively curved infinite type graph manifold of finite volume.

Theorem 1 (Avramidi-Nguyen Pham) Under the same assumptions, any map of a polyhedron to the thin part of the universal cover {\tilde M} can be homotoped within the thin part into a map to an {\lfloor \frac{n}{2}\rfloor}-dimensional complex, {n=dim(M)}.

Consequences:

  1. If {n\leq 5}, each component of the thin part is aspherical and has locally free fundamental group.
  2. {H^k(B\Gamma,{\mathbb Z} \Gamma)=0} for all {k<\frac{n}{2}}.
  3. {dim(B\Gamma)\geq \frac{n}{2}}.

2. Proof

Maximizing the angle under which two visual boundary points are seen gives Tits distance, and the corresponding path metric {Td}.

In the universal cover, the thin part is the set of points moved less than {\epsilon} away by some deck transformation {\Gamma}. Isometries are either hyperbolic (minimal displacement is achieved) or parabolic (infimal displacement is 0). Parabolic isometries have a nonempty fix-point set at infinity. At each point {x}, the subgroup generated by isometries moving {x} no more than {\epsilon} is virtually nilpotent, hence virtually has a common fixed point at infinity. This allows to define a discontinuous projection to infinity. The point is to show that the image has dimension {<\lfloor \frac{n}{2}\rfloor}.

2.1. Busemann simplices

If {h_0} and {h_1} are Busmeann functions, {t_0h_0+t_1h_1} need not be a Busemann function again, but on each sphere, there is a unique point where it achieves its minimum, and tis point depends in a Lipschitz manner on {t_0,t_1}. This defines an arc in Tits boundary, hence simplices {\sigma}. We claim that

\displaystyle  \begin{array}{rcl}  hom-dim(Stab(\sigma))+dim(image(\sigma))\leq n-1. \end{array}

Posted in Workshop lecture | Tagged | Leave a comment

Notes of Christopher Leininger’s Cambridge lecture 23-06-2017

Free-by-cyclic groups and trees

Joint work with S. Dowdall and I. Kapovich.

The Bieri-Neumann-Strebel invariant is an open subset {\sigma G} of {H^1(G)=Hom(G,{\mathbb R})}, it is the set of {u} such that {\omega_u^{-1}({\mathbb R}_+)\rightarrow \hat X} is surjective on {\pi_1}. Here, {\hat X} is the torsion free abelian cover of {X=BG} and {\omega_u} is an equivariant map {\hat X\rightarrow{\mathbb R}} representing {u}.

If {G} is free-by-cyclic, one can refine

\displaystyle  \begin{array}{rcl}  \Sigma_{\mathbb Z} G=\{u\in\Sigma G\,;\,u(G)={\mathbb Z}\}. \end{array}

Geoghegan-Mihalik-Sapir-Wise show that for every {u\in \Sigma_{\mathbb Z} G}, {ker(u)} is locally free and there exists an outer automorphism {\phi_u} and a finitely generated subgroup {Q_u<ker(u)} such that {G=Q_u *_{\phi_u}}. In particular, if {u\in \Sigma_{\mathbb Z} G\cap(-\Sigma_{\mathbb Z} G)}, then one can take {Q_u=ker(u)}.

From now on, we assume that {\phi} is atoroidal and fully irreducible. Then {G} is hyperbolic, and there exists an expanding irreducible train track representative (Bestvina-Handel). Let {X=X_f} be the mapping torus. It carries the suspension of {\phi}, which is a one-sided flow (action of semi-group {({\mathbb R}_+,+)}). The representative {\omega_u} of integral cohomology class {u} factors to a map {X\rightarrow S^1}. Let {S\subset H^1(G)} be the subset of cohomology classes {u} such that the representative can be chosen to be increasing along the flow. Then

Theorem 1

  1. {S} is a component of {\Sigma G}. It is a rational polyhedral cone.
  2. For {u\in S_{\mathbb Z}}, inverse images of points are cross-sections {\Gamma_u} of the flow. The first return map {f_u} is an expanding irreducible train track representative of {\phi_u:Q_u\rightarrow Q_u}, with {\lambda(f_u)=\lambda(\phi_u)}.

Stretch factors {\lambda(f_u)} form a nice function on {S}.

Theorem 2 (Algom-Kfir-Hironaka-Rafi) There exists an {{\mathbb R}}-analytic, convex function {h:S\rightarrow{\mathbb R}} such that for all {u\in S} such that for al {u\in S} and {t>0},

  1. {\lim_{u\rightarrow\partial S}h(u)=+\infty}.
  2. {h(tu)=\frac{1}{t}h(u)}.
  3. If {u\in S_Z}, then {h(u)=\log(\lambda(f_u))=\log(\lambda(\phi_u))}.

Posted in Workshop lecture | Tagged | Leave a comment