Showing 1–31 of 31 results for author: Mare, A

Connectivity properties of the Schur-Horn map for real Grassmannians

Authors: Augustin-Liviu Mare

Abstract: To any $V$ in the Grassmannian ${\rm Gr}_k({\mathbb R}^n)$ of $k$-dimensional vector subspaces in ${\mathbb R}^n$ one can associate the diagonal entries of the ($n\times n$) matrix corresponding to the orthogonal projection of ${\mathbb R}^n$ to $V$. One obtains a map ${\rm Gr}_k({\mathbb R}^n)\to {\mathbb R}^n$ (the Schur-Horn map). The main result of this paper is a criterion for pre-images of v… ▽ More To any $V$ in the Grassmannian ${\rm Gr}_k({\mathbb R}^n)$ of $k$-dimensional vector subspaces in ${\mathbb R}^n$ one can associate the diagonal entries of the ($n\times n$) matrix corresponding to the orthogonal projection of ${\mathbb R}^n$ to $V$. One obtains a map ${\rm Gr}_k({\mathbb R}^n)\to {\mathbb R}^n$ (the Schur-Horn map). The main result of this paper is a criterion for pre-images of vectors in ${\mathbb R}^n$ to be connected. This will allow us to deduce connectivity criteria for a certain class of subspaces of the real Stiefel manifold which arise naturally in frame theory. We extend in this way results of Cahill, Mixon, and Strawn. △ Less

Submitted 16 February, 2024; v1 submitted 20 September, 2023; originally announced September 2023.

Comments: 25 pages; v2: exposition improved

MSC Class: 14M15; 53C42; 53D20

On the equivariant cohomology of hyperpolar actions on symmetric spaces

Authors: Oliver Goertsches, Sam Hagh Shenas Noshari, Augustin-Liviu Mare

Abstract: We show that the equivariant cohomology of any hyperpolar action of a compact and connected Lie group on a symmetric space of compact type is a Cohen-Macaulay ring. This generalizes some results previously obtained by the authors. We show that the equivariant cohomology of any hyperpolar action of a compact and connected Lie group on a symmetric space of compact type is a Cohen-Macaulay ring. This generalizes some results previously obtained by the authors. △ Less

Submitted 19 September, 2019; v1 submitted 31 August, 2018; originally announced August 2018.

Comments: 18 pages. To appear in Documenta Mathematica

MSC Class: 53C35; 55N91; 57S15

The equivariant cohomology ring of a cohomogeneity-one action

Authors: Jeffrey D. Carlson, Oliver Goertsches, Chen He, Augustin-Liviu Mare

Abstract: We compute the rational Borel equivariant cohomology ring of a cohomogeneity-one action of a compact Lie group. We compute the rational Borel equivariant cohomology ring of a cohomogeneity-one action of a compact Lie group. △ Less

Submitted 26 February, 2019; v1 submitted 6 February, 2018; originally announced February 2018.

Comments: 20 pages, one figure. Minor corrections and referee suggestions and additional references included. To appear in Geometriae Dedicata

MSC Class: 55N91; 57S15; 57R91

Journal ref: Geometriae Dedicata 203 (2019), 205-223

Equivariant cohomology of cohomogeneity one actions: the topological case

Authors: Oliver Goertsches, Augustin-Liviu Mare

Abstract: We show that for any cohomogeneity one continuous action of a compact connected Lie group $G$ on a closed topological manifold the equivariant cohomology equipped with its canonical $H^*(BG)$-module structure is Cohen-Macaulay. The proof relies on the structure theorem for these actions recently obtained by Galaz-Garcia and Zarei. We generalize in this way our previous result concerning smooth act… ▽ More We show that for any cohomogeneity one continuous action of a compact connected Lie group $G$ on a closed topological manifold the equivariant cohomology equipped with its canonical $H^*(BG)$-module structure is Cohen-Macaulay. The proof relies on the structure theorem for these actions recently obtained by Galaz-Garcia and Zarei. We generalize in this way our previous result concerning smooth actions. △ Less

Submitted 6 January, 2017; v1 submitted 23 September, 2016; originally announced September 2016.

Comments: 3 pages; final version, to appear in Topology Appl

MSC Class: 57S10; 55N91; 57R91

Journal ref: Topology Appl. 218 (2017), 93-96

On the complete integrability of the periodic quantum Toda lattice

Authors: Augustin-Liviu Mare

Abstract: We prove that the periodic quantum Toda lattice corresponding to any extended Dynkin diagram is completely integrable. This has been conjectured and proved in all classical cases and $E_6$ by Goodman and Wallach at the beginning of the 1980's. As a direct application, in the context of quantum cohomology of affine flag manifolds, results that were known to hold only for some particular Lie types c… ▽ More We prove that the periodic quantum Toda lattice corresponding to any extended Dynkin diagram is completely integrable. This has been conjectured and proved in all classical cases and $E_6$ by Goodman and Wallach at the beginning of the 1980's. As a direct application, in the context of quantum cohomology of affine flag manifolds, results that were known to hold only for some particular Lie types can now be extended to all types. △ Less

Submitted 30 November, 2016; v1 submitted 29 April, 2016; originally announced April 2016.

Comments: 19 pages; 2 figures. Final version, to appear in Forum Mathematicum

MSC Class: 37K10; 17B35

Assignments for topological group actions

Authors: Oliver Goertsches, Augustin-Liviu Mare

Abstract: A polynomial assignment for a continuous action of a compact torus $T$ on a topological space $X$ assigns to each $p\in X$ a polynomial function on the Lie algebra of the isotropy group at $p$ in such a way that a certain compatibility condition is satisfied. The space ${\mathcal{A}}_T(X)$ of all polynomial assignments has a natural structure of an algebra over the polynomial ring of… ▽ More A polynomial assignment for a continuous action of a compact torus $T$ on a topological space $X$ assigns to each $p\in X$ a polynomial function on the Lie algebra of the isotropy group at $p$ in such a way that a certain compatibility condition is satisfied. The space ${\mathcal{A}}_T(X)$ of all polynomial assignments has a natural structure of an algebra over the polynomial ring of ${\rm Lie}(T)$. It is an equivariant homotopy invariant, canonically related to the equivariant cohomology algebra. In this paper we prove various properties of ${\mathcal{A}}_T(X)$ such as Borel localization, a Chang-Skjelbred lemma, and a Goresky-Kottwitz-MacPherson presentation. In the special case of Hamiltonian torus actions on symplectic manifolds we prove a surjectivity criterion for the assignment equivariant Kirwan map corresponding to a circle in $T$. We then obtain a Tolman-Weitsman type presentation of the kernel of this map. △ Less

Submitted 27 September, 2017; v1 submitted 21 December, 2015; originally announced December 2015.

Comments: 26 pages; v3: Final version; to appear in Indag. Math

MSC Class: 55P91; 55N91; 53D20

Journal ref: Indag. Math. 28 (2017), no. 6, 1210-1232

An affine deformation of the quantum cohomology ring of flag manifolds and periodic Toda lattice

Authors: Augustin-Liviu Mare, Leonardo C. Mihalcea

Abstract: Consider the generalized flag manifold $G/B$ and the corresponding affine flag manifold $\mathcal{Fl}_G$. In this paper we use curve neighborhoods for Schubert varieties in $\mathcal{Fl}_G$ to construct certain affine Gromov-Witten invariants of $\mathcal{Fl}_G$, and to obtain a family of "affine quantum Chevalley" operators $Λ_0, \ldots, Λ_n$ indexed by the simple roots in the affine root system… ▽ More Consider the generalized flag manifold $G/B$ and the corresponding affine flag manifold $\mathcal{Fl}_G$. In this paper we use curve neighborhoods for Schubert varieties in $\mathcal{Fl}_G$ to construct certain affine Gromov-Witten invariants of $\mathcal{Fl}_G$, and to obtain a family of "affine quantum Chevalley" operators $Λ_0, \ldots, Λ_n$ indexed by the simple roots in the affine root system of $G$. These operators act on the cohomology ring $\mathrm{H}^*(\mathcal{Fl}_G)$ with coefficients in $\mathbb{Z}[q_0, \ldots,q_n]$. By analyzing commutativity and invariance properties of these operators we deduce the existence of two quantum cohomology rings, which satisfy properties conjectured earlier by Guest and Otofuji for $G= \mathrm{SL}_n(\mathbb{C})$. The first quantum ring is a deformation of the subalgebra of $\mathrm{H}^*(\mathcal{Fl}_G)$ generated by divisors. The second ring, denoted $\mathrm{QH}^*_{\mathrm{af}}(G/B)$, deforms the ordinary quantum cohomology ring $\mathrm{QH}^*(G/B)$ by adding an affine quantum parameter $q_0$. We prove that $\mathrm{QH}^*_{\mathrm{af}}(G/B)$ is a Frobenius algebra, and that the new quantum product determines a flat Dubrovin connection. Further, we develop an analogue of Givental and Kim formalism for this ring and we deduce a presentation of $\mathrm{QH}^*_{\mathrm{af}}(G/B)$ by generators and relations. The ideal of relations is generated by the integrals of motion for the periodic Toda lattice associated to the dual of the extended Dynkin diagram of $G$. △ Less

Submitted 23 June, 2016; v1 submitted 11 September, 2014; originally announced September 2014.

Comments: v3: we strengthen the main result so it holds across all Lie types

MSC Class: 14N35 (Primary); 14M15; 17B67; 37K10; 37N20 (Secondary)

Non-abelian GKM Theory

Authors: Oliver Goertsches, Augustin-Liviu Mare

Abstract: We describe a generalization of GKM theory for actions of arbitrary compact connected Lie groups. To an action satisfying the non-abelian GKM conditions we attach a graph encoding the structure of the non-abelian 1-skeleton, i.e., the subspace of points with isotopy rank at most one less than the rank of the acting group. We show that the algebra structure of the equivariant cohomology can be read… ▽ More We describe a generalization of GKM theory for actions of arbitrary compact connected Lie groups. To an action satisfying the non-abelian GKM conditions we attach a graph encoding the structure of the non-abelian 1-skeleton, i.e., the subspace of points with isotopy rank at most one less than the rank of the acting group. We show that the algebra structure of the equivariant cohomology can be read off from this graph. In comparison with ordinary abelian GKM theory, there are some special features due to the more complicated structure of the non-abelian 1-skeleton. △ Less

Submitted 28 August, 2012; originally announced August 2012.

Comments: 25 pages

MSC Class: 57S15; 55N91; 57R91

Journal ref: Math. Z. 277 (2014), no. 1, 1-27

Equivariant cohomology of cohomogeneity one actions

Authors: Oliver Goertsches, Augustin-Liviu Mare

Abstract: We show that if $G\times M \to M$ is a cohomogeneity one action of a compact connected Lie group $G$ on a compact connected manifold $M$ then $H^*_G(M)$ is a Cohen-Macaulay module over $H^*(BG)$. Moreover, this module is free if and only if the rank of at least one isotropy group is equal to the rank of $G$. We deduce as corollaries several results concerning the usual (de Rham) cohomology of $M$,… ▽ More We show that if $G\times M \to M$ is a cohomogeneity one action of a compact connected Lie group $G$ on a compact connected manifold $M$ then $H^*_G(M)$ is a Cohen-Macaulay module over $H^*(BG)$. Moreover, this module is free if and only if the rank of at least one isotropy group is equal to the rank of $G$. We deduce as corollaries several results concerning the usual (de Rham) cohomology of $M$, such as the following obstruction to the existence of a cohomogeneity one action: if $M$ admits a cohomogeneity one action, then $χ(M)>0$ if and only if $H^{\rm odd}(M)=\{0\}$. △ Less

Submitted 29 November, 2011; v1 submitted 28 October, 2011; originally announced October 2011.

Comments: 18 pages. v2: exposition improved; Remark 5.4, Lemma 5.5, and references added

MSC Class: 57S15; 55N91; 57R91

Journal ref: Topology Appl. 167 (2014), 36-52

Bott periodicity for inclusions of symmetric spaces

Authors: Augustin-Liviu Mare, Peter Quast

Abstract: When looking at Bott's original proof of his periodicity theorem for the stable homotopy groups of the orthogonal and unitary groups, one sees in the background a differential geometric periodicity phenomenon. We show that this geometric phenomenon extends to the standard inclusion of the orthogonal group into the unitary group. Standard inclusions between other classical Riemannian symmetric spac… ▽ More When looking at Bott's original proof of his periodicity theorem for the stable homotopy groups of the orthogonal and unitary groups, one sees in the background a differential geometric periodicity phenomenon. We show that this geometric phenomenon extends to the standard inclusion of the orthogonal group into the unitary group. Standard inclusions between other classical Riemannian symmetric spaces are considered as well. An application to homotopy theory is also discussed. △ Less

Submitted 10 April, 2012; v1 submitted 3 August, 2011; originally announced August 2011.

Comments: Version 2: exposition improved; one reference added

MSC Class: 53C35; 53C40; 55R45

Phase transition and correlation decay in Coupled Map Lattices

Authors: Augustin de Maere

Abstract: For a Coupled Map Lattice with a specific strong coupling emulating Stavskaya's probabilistic cellular automata, we prove the existence of a phase transition using a Peierls argument, and exponential convergence to the invariant measures for a wide class of initial states using a technique of decoupling originally developed for weak coupling. This implies the exponential decay, in space and in t… ▽ More For a Coupled Map Lattice with a specific strong coupling emulating Stavskaya's probabilistic cellular automata, we prove the existence of a phase transition using a Peierls argument, and exponential convergence to the invariant measures for a wide class of initial states using a technique of decoupling originally developed for weak coupling. This implies the exponential decay, in space and in time, of the correlation functions of the invariant measures. △ Less

Submitted 8 January, 2010; v1 submitted 17 June, 2009; originally announced June 2009.

Report number: UCL-IPT-09-01 MSC Class: 82C26; 37D20; 37D35

Journal ref: Communications in Mathematical Physics: Volume 297, Issue 1 (2010), Page 229.

Real loci of based loop groups

Authors: Lisa C. Jeffrey, Augustin-Liviu Mare

Abstract: Let $(G,K)$ be a Riemannian symmetric pair of maximal rank, where $G$ is a compact simply connected Lie group and $K$ the fixed point set of an involutive automorphism $σ$. This induces an involutive automorphism $τ$ of the based loop space $Ω(G)$. There exists a maximal torus $T\subset G$ such that the canonical action of $T\times S^1$ on $Ω(G)$ is compatible with $τ$ (in the sense of Duisterma… ▽ More Let $(G,K)$ be a Riemannian symmetric pair of maximal rank, where $G$ is a compact simply connected Lie group and $K$ the fixed point set of an involutive automorphism $σ$. This induces an involutive automorphism $τ$ of the based loop space $Ω(G)$. There exists a maximal torus $T\subset G$ such that the canonical action of $T\times S^1$ on $Ω(G)$ is compatible with $τ$ (in the sense of Duistermaat). This allows us to formulate and prove a version of Duistermaat's convexity theorem. Namely, the images of $Ω(G)$ and $Ω(G)^τ$ (fixed point set of $τ$) under the $T\times S^1$ moment map on $Ω(G)$ are equal. The space $Ω(G)^τ$ is homotopy equivalent to the loop space $Ω(G/K)$ of the Riemannian symmetric space $G/K$. We prove a stronger form of a result of Bott and Samelson which relates the cohomology rings with coefficients in $\mathbb{Z}_2$ of $Ω(G)$ and $Ω(G/K)$. Namely, the two cohomology rings are isomorphic, by a degree-halving isomorphism (Bott and Samelson had proved that the Betti numbers are equal). A version of this theorem involving equivariant cohomology is also proved. The proof uses the notion of conjugation space in the sense of Hausmann, Holm, and Puppe. △ Less

Submitted 11 September, 2009; v1 submitted 4 March, 2009; originally announced March 2009.

Comments: The new version concerns exclusively Riemannian symmetric pairs (G,K) of maximal rank. New section with (counter)examples added

MSC Class: 53D20; 57N20; 55N91; 53C35

Topology of the octonionic flag manifold

Authors: Augustin-Liviu Mare, Matthieu Willems

Abstract: The octonionic flag manifold $Fl(\mathbb{O})$ is the space of all pairs in $\mathbb{O}P^2\times \mathbb{O}P^2$ (where $\mathbb{O}P^2$ denotes the octonionic projective plane) which satisfy a certain "incidence" relation. It comes equipped with the projections $π_1,π_2 : Fl(\mathbb{O})\to \mathbb{O}P^2$, which are $\mathbb{O}P^1$ bundles, as well as with an action of the group $Spin(8)$. The first… ▽ More The octonionic flag manifold $Fl(\mathbb{O})$ is the space of all pairs in $\mathbb{O}P^2\times \mathbb{O}P^2$ (where $\mathbb{O}P^2$ denotes the octonionic projective plane) which satisfy a certain "incidence" relation. It comes equipped with the projections $π_1,π_2 : Fl(\mathbb{O})\to \mathbb{O}P^2$, which are $\mathbb{O}P^1$ bundles, as well as with an action of the group $Spin(8)$. The first two results of this paper give Borel type descriptions of the usual, respectively $Spin(8)$-equivariant cohomology of $Fl(\mathbb{O})$ in terms of $π_1$ and $π_2$ (actually the Euler classes of the tangent spaces to the fibers of $π_1$, respectively $π_2$, which are rank 8 vector bundles on $Fl(\mathbb{O})$). Then we obtain a Goresky-Kottwitz-MacPherson type description of the ring $H^*_{Spin(8)}(Fl(\mathbb{O}))$. Finally, we consider the $Spin(8)$-equivariant $K$-theory ring of $Fl(\mathbb{O})$ and obtain a Goresky-Kottwitz-MacPherson type description of this ring. △ Less

Submitted 25 March, 2013; v1 submitted 25 September, 2008; originally announced September 2008.

Comments: Version 3: exposition improved; proof of Theorem 1.4 simplified; 39 pages, 1 figure

MSC Class: 55N91; 19L47; 57T15; 57N65

Equivariant $K$-theory of quaternionic flag manifolds

Authors: Augustin-Liviu Mare, Matthieu Willems

Abstract: We consider the manifold $Fl_n(\mathbb{H})=Sp(n)/Sp(1)^n$ of all complete flags in $\mathbb{H}^n$, where $\mathbb{H}$ is the skew-field of quaternions. We study its equivariant $K$-theory rings with respect to the action of two groups: $Sp(1)^n$ and a certain canonical subgroup $T:=(S^1)^n\subset Sp(1)^n$ (a maximal torus). For the first group action we obtain a Goresky-Kottwitz-MacPherson type… ▽ More We consider the manifold $Fl_n(\mathbb{H})=Sp(n)/Sp(1)^n$ of all complete flags in $\mathbb{H}^n$, where $\mathbb{H}$ is the skew-field of quaternions. We study its equivariant $K$-theory rings with respect to the action of two groups: $Sp(1)^n$ and a certain canonical subgroup $T:=(S^1)^n\subset Sp(1)^n$ (a maximal torus). For the first group action we obtain a Goresky-Kottwitz-MacPherson type description. For the second one, we describe the ring $K_T(Fl_n(\mathbb{H}))$ as a subring of $K_T(Sp(n)/T)$. This ring is well known, since $Sp(n)/T$ is a complex flag variety. △ Less

Submitted 27 July, 2009; v1 submitted 19 October, 2007; originally announced October 2007.

Comments: Final version: 18 pages

MSC Class: 19L47; 57N65; 55N15; 14M17

Connectedness of levels for moment maps on various classes of loop groups

Authors: A. -L. Mare

Abstract: The space $Ω(G)$ of all based loops in a compact semisimple simply connected Lie group $G$ has an action of the maximal torus $T\subset G$ (by pointwise conjugation) and of the circle $S^1$ (by rotation of loops). Let $μ: Ω(G)\to (\t\times i\mathbb{R})^*$ be a moment map of the resulting $T\times S^1$ action. We show that all levels (that is, pre-images of points) of $μ$ are connected subspaces… ▽ More The space $Ω(G)$ of all based loops in a compact semisimple simply connected Lie group $G$ has an action of the maximal torus $T\subset G$ (by pointwise conjugation) and of the circle $S^1$ (by rotation of loops). Let $μ: Ω(G)\to (\t\times i\mathbb{R})^*$ be a moment map of the resulting $T\times S^1$ action. We show that all levels (that is, pre-images of points) of $μ$ are connected subspaces of $Ω(G)$ (or empty). The result holds if in the definition of $Ω(G)$ loops are of class $C^{\infty}$ or of any Sobolev class $H^s$, with $s\ge 1$ (for loops of class $H^1$, connectedness of regular levels has been proved by Harada, Holm, Jeffrey, and the author). △ Less

Submitted 30 September, 2009; v1 submitted 26 February, 2007; originally announced February 2007.

Comments: 15 pages; minor changes to the proof of Proposition 4.2; references added

MSC Class: 53D20; 57N20

A quantum type deformation of the cohomology ring of flag manifolds

Authors: Augustin-Liviu Mare

Abstract: Let q_1, ..., q_n be some variables and set K:=Z[q_1, ..., q_n]/(q_1q_2...q_n). We show that there exists a K-bilinear product \star on H^*(F_n;Z)\otimes K which is uniquely determined by some quantum cohomology like properties (most importantly, a degree two relation involving the generators and an analogue of the flatness of the Dubrovin connection). Then we prove that \star satisfies the Frob… ▽ More Let q_1, ..., q_n be some variables and set K:=Z[q_1, ..., q_n]/(q_1q_2...q_n). We show that there exists a K-bilinear product \star on H^*(F_n;Z)\otimes K which is uniquely determined by some quantum cohomology like properties (most importantly, a degree two relation involving the generators and an analogue of the flatness of the Dubrovin connection). Then we prove that \star satisfies the Frobenius property with respect to the Poincaré pairing of H^*(F_n;Z); this leads immediately to the orthogonality of the corresponding Schubert type polynomials. We also note that if we pick k\in {1,...,n} and we formally replace q_k by 0, the ring (H^*(F_n;Z)\otimes K,\star) becomes isomorphic to the usual small quantum cohomology ring of F_n, by an isomorphism which is described precisely. △ Less

Submitted 7 April, 2010; v1 submitted 9 October, 2006; originally announced October 2006.

Comments: 18 pages

MSC Class: 05E15; 14N35

On some symplectic quotients of Schubert varieties

Authors: Augustin-Liviu Mare

Abstract: Let $G/P$ be a generalized flag variety, where $G$ is a complex semisimple connected Lie group and $P\subset G$ a parabolic subgroup. Let also $X\subset G/P$ be a Schubert variety. We consider the canonical embedding of $X$ into a projective space, which is obtained by identifying $G/P$ with a coadjoint orbit of the compact Lie group $K$, where $G=K^{\mathbb C}$. The maximal torus $T$ of $K$ act… ▽ More Let $G/P$ be a generalized flag variety, where $G$ is a complex semisimple connected Lie group and $P\subset G$ a parabolic subgroup. Let also $X\subset G/P$ be a Schubert variety. We consider the canonical embedding of $X$ into a projective space, which is obtained by identifying $G/P$ with a coadjoint orbit of the compact Lie group $K$, where $G=K^{\mathbb C}$. The maximal torus $T$ of $K$ acts linearly on the projective space and it leaves $X$ invariant: let $Ψ: X \to {\rm Lie}(T)^*$ be the restriction of the moment map relative to the Fubini-Study symplectic form. By a theorem of Atiyah, $Ψ(X)$ is a convex polytope in ${\rm Lie}(T)^*$. In this paper we show that all pre-images $Ψ^{-1}(μ)$, $μ\in Ψ(X)$, are connected subspaces of $X$. We then consider a one-dimensional subtorus $S\subset T$, and the map $f: X\to {\mathbb R}$, which is the restriction of the $S$ moment map to $X$. We study quotients of the form $f^{-1}(r)/S$, where $r\in {\mathbb R}$. We show that under certain assumptions concerning $X$, $S$, and $r$, these symplectic quotients are (new) examples of spaces for which the Kirwan surjectivity theorem and Tolman and Weitsman's presentation of the kernel of the Kirwan map hold true (combined with a theorem of Goresky, Kottwitz, and MacPherson, these results lead to an explicit description of the cohomology ring of the quotient). The singular Schubert variety in the Grassmannian $G_2({\mathbb C}^4)$ of 2 planes in ${\mathbb C}^4$ is discussed in detail. △ Less

Submitted 28 May, 2009; v1 submitted 19 June, 2006; originally announced June 2006.

Comments: This is a substantially revised version of the paper initially called "On the cohomology of symplectic quotients of Schubert varieties by certain circle actions". It now has 20 pages and 1 figure

MSC Class: 53D20; 14L24

Equivariant cohomology of quaternionic flag manifolds

Authors: Augustin-Liviu Mare

Abstract: The main result of the paper is a Borel type description of the $Sp(1)^n$-equivariant cohomology ring of the manifold $Fl_n(\mathbb{H})$ of all complete flags in $\mathbb{H}^n$. To prove this, we obtain a Goresky-Kottwitz-MacPherson type description of that ring. The main result of the paper is a Borel type description of the $Sp(1)^n$-equivariant cohomology ring of the manifold $Fl_n(\mathbb{H})$ of all complete flags in $\mathbb{H}^n$. To prove this, we obtain a Goresky-Kottwitz-MacPherson type description of that ring. △ Less

Submitted 18 May, 2006; originally announced May 2006.

Comments: 12 pages

MSC Class: 57T15; 19L47

Connectivity and Kirwan surjectivity for isoparametric submanifolds

Authors: Augustin-Liviu Mare

Abstract: Atiyah's formulation of what is nowadays called the convexity theorem of Atiyah-Guillemin-Sternberg has two parts: (a) the image of the moment map arising from a Hamiltonian action of a torus on a symplectic manifold is a convex polytope, and (b) all preimages of the moment map are connected. Part (a) was generalized by Terng to the wider context of isoparametric submanifolds in euclidean space.… ▽ More Atiyah's formulation of what is nowadays called the convexity theorem of Atiyah-Guillemin-Sternberg has two parts: (a) the image of the moment map arising from a Hamiltonian action of a torus on a symplectic manifold is a convex polytope, and (b) all preimages of the moment map are connected. Part (a) was generalized by Terng to the wider context of isoparametric submanifolds in euclidean space. In this paper we prove a generalization of part (b) for a certain class of isoparametric submanifolds (more precisely, for those with all multiplicities strictly greater than 1). For generalized real flag manifolds, which are an important class of isoparametric submanifolds, we give a surjectivity criterium of a certain Kirwan map (involving equivariant cohomology with rational coefficients) which arises naturally in this context. Examples are also discussed. △ Less

Submitted 6 May, 2005; originally announced May 2005.

Comments: 12 pages

MSC Class: 53C42; 53D20

Connectivity properties of moment maps on based loop groups

Authors: Megumi Harada, Tara S Holm, Lisa C Jeffrey, Augustin-Liviu Mare

Abstract: For a compact, connected, simply-connected Lie group G, the loop group LG is the infinite-dimensional Hilbert Lie group consisting of H^1-Sobolev maps S^1-->G. The geometry of LG and its homogeneous spaces is related to representation theory and has been extensively studied. The space of based loops Omega(G) is an example of a homogeneous space of $LG$ and has a natural Hamiltonian T x S^1 actio… ▽ More For a compact, connected, simply-connected Lie group G, the loop group LG is the infinite-dimensional Hilbert Lie group consisting of H^1-Sobolev maps S^1-->G. The geometry of LG and its homogeneous spaces is related to representation theory and has been extensively studied. The space of based loops Omega(G) is an example of a homogeneous space of $LG$ and has a natural Hamiltonian T x S^1 action, where T is the maximal torus of G. We study the moment map mu for this action, and in particular prove that its regular level sets are connected. This result is as an infinite-dimensional analogue of a theorem of Atiyah that states that the preimage of a moment map for a Hamiltonian torus action on a compact symplectic manifold is connected. In the finite-dimensional case, this connectivity result is used to prove that the image of the moment map for a compact Hamiltonian T-space is convex. Thus our theorem can also be viewed as a companion result to a theorem of Atiyah and Pressley, which states that the image mu(Omega(G)) is convex. We also show that for the energy functional E, which is the moment map for the S^1 rotation action, each non-empty preimage is connected. △ Less

Submitted 2 March, 2009; v1 submitted 29 March, 2005; originally announced March 2005.

Comments: This is the version published by Geometry & Topology on 28 October 2006

MSC Class: 53D20; 22E65

Journal ref: Geom. Topol. 10 (2006) 1607-1634

Equivariant cohomology of real flag manifolds

Authors: Augustin-Liviu Mare

Abstract: Let $P=G/K$ be a semisimple non-compact Riemannian symmetric space, where $G=I_0(P)$ and $K=G_p$ is the stabilizer of $p\in P$. Let $X$ be an orbit of the (isotropy) representation of $K$ on $T_p(P)$ ($X$ is called a real flag manifold). Let $K_0\subset K$ be the stabilizer of a maximal flat, totally geodesic submanifold of $P$ which contains $p$. We show that if all the simple root multipliciti… ▽ More Let $P=G/K$ be a semisimple non-compact Riemannian symmetric space, where $G=I_0(P)$ and $K=G_p$ is the stabilizer of $p\in P$. Let $X$ be an orbit of the (isotropy) representation of $K$ on $T_p(P)$ ($X$ is called a real flag manifold). Let $K_0\subset K$ be the stabilizer of a maximal flat, totally geodesic submanifold of $P$ which contains $p$. We show that if all the simple root multiplicities of $G/K$ are at least 2 then $K_0$ is connected and the action of $K_0$ on $X$ is equivariantly formal. In the case when the multiplicities are equal and at least 2, we will give a purely geometric proof of a formula of Hsiang, Palais and Terng concerning $H^*(X)$. In particular, this gives a conceptually new proof of Borel's formula for the cohomology ring of an adjoint orbit of a compact Lie group. △ Less

Submitted 26 August, 2005; v1 submitted 20 April, 2004; originally announced April 2004.

Comments: 11 pages, revised version (with corrections to the proofs of Lemma 2.2 and Theorem 1.1)

MSC Class: 57T15; 53C35

A characterization of the quantum cohomology ring of G/B and applications

Authors: Augustin-Liviu Mare

Abstract: We show that the small quantum product of the generalized flag manifold $G/B$ is a product operation on $H^*(G/B)\otimes \bR[q_1,..., q_l]$ uniquely determined by the fact that it is a deformation of the cup product on $H^*(G/B)$, it is commutative, associative, graded with respect to $°(q_i)=4$, it satisfies a certain relation (of degree two), and the corresponding Dubrovin connection is flat.… ▽ More We show that the small quantum product of the generalized flag manifold $G/B$ is a product operation on $H^*(G/B)\otimes \bR[q_1,..., q_l]$ uniquely determined by the fact that it is a deformation of the cup product on $H^*(G/B)$, it is commutative, associative, graded with respect to $°(q_i)=4$, it satisfies a certain relation (of degree two), and the corresponding Dubrovin connection is flat. We deduce that it is again the flatness of the Dubrovin connection which characterizes essentially the solutions of the "quantum Giambelli problem" for $G/B$. This result gives new proofs of the quantum Chevalley formula (proved by Peterson and Fulton-Woodward), and of Fomin, Gelfand and Postnikov's description of the quantization map for $Fl_n$. △ Less

Submitted 7 September, 2005; v1 submitted 18 November, 2003; originally announced November 2003.

Comments: 19 pages; expanded version of "On the Dubrovin connection for G/B"

MSC Class: 14M15; 14N35

Journal ref: Canad. Jour. Math. 60 (2008) pp. 875-891

The combinatorial quantum cohomology ring of $G/B$

Authors: Augustin-Liviu Mare

Abstract: A purely combinatorial construction of the quantum cohomology ring of the flag manifold $G/B$ is presented. We show that the ring we construct is commutative, associative and satisfies the usual grading condition. By using results of two of our previous papers, we obtain a presentation of this ring in terms of generators and relations, as well as formulas for quantum Giambelli polynomials. We sh… ▽ More A purely combinatorial construction of the quantum cohomology ring of the flag manifold $G/B$ is presented. We show that the ring we construct is commutative, associative and satisfies the usual grading condition. By using results of two of our previous papers, we obtain a presentation of this ring in terms of generators and relations, as well as formulas for quantum Giambelli polynomials. We show that these polynomials satisfy a certain orthogonality property, which - for G=SL_n(C) - was proved previously by Fomin, Gelfand and Postnikov. △ Less

Submitted 17 November, 2003; v1 submitted 22 January, 2003; originally announced January 2003.

Comments: 18 pages

MSC Class: 05E15; 14N35

Products of conjugacy classes in SU(2)

Authors: Lisa C. Jeffrey, Augustin-Liviu Mare

Abstract: We obtain a complete description of collections of n conjugacy classes in SU(2) with the property that the multiplication map from the product of these n conjugacy classes to SU(2) is surjective. The basic instrument is a characterization of collections of n+1 conjugacy classes in SU(2) such that the image of the multiplication map from these conjugacy classes to SU(2) contains the identity matr… ▽ More We obtain a complete description of collections of n conjugacy classes in SU(2) with the property that the multiplication map from the product of these n conjugacy classes to SU(2) is surjective. The basic instrument is a characterization of collections of n+1 conjugacy classes in SU(2) such that the image of the multiplication map from these conjugacy classes to SU(2) contains the identity matrix, which generalizes a result of Jeffrey and Weitsman. △ Less

Submitted 27 November, 2002; originally announced November 2002.

Comments: 7 pages

MSC Class: 58F05

The Kirwan map, equivariant Kirwan maps, and their kernels

Authors: Lisa C. Jeffrey, Augustin-Liviu Mare, Jonathan M. Woolf

Abstract: Consider a Hamiltonian action of a compact Lie group K on a compact symplectic manifold. We find descriptions of the kernel of the Kirwan map corresponding to a regular value of the moment map $κ_K$. We start with the case when K is a torus T: we determine the kernel of the equivariant Kirwan map (defined by Goldin in [Go]) corresponding to a generic circle S in T, and show how to recover from t… ▽ More Consider a Hamiltonian action of a compact Lie group K on a compact symplectic manifold. We find descriptions of the kernel of the Kirwan map corresponding to a regular value of the moment map $κ_K$. We start with the case when K is a torus T: we determine the kernel of the equivariant Kirwan map (defined by Goldin in [Go]) corresponding to a generic circle S in T, and show how to recover from this the kernel of $κ_T$, as described by Tolman and Weitsman. (In the situation when the fixed point set of the torus action is finite, similar results have been obtained in our previous papers [Je], [Je-Ma]). For a compact nonabelian Lie group K we will use the ``non-abelian localization formula'' of [Je-Ki1] and [Je-Ki2] to establish relationships -- some of them obtained by Tolman and Weitsman in [To-We] -- between $\ker(κ_K)$ and $\ker(κ_T)$, where T is a maximal torus in K. An Appendix generalizes Theorem 1.8 to the case of singular values of $κ_T$. △ Less

Submitted 4 February, 2005; v1 submitted 19 November, 2002; originally announced November 2002.

Comments: 21 pages; appendix on generalization to reduction at singular values added To appear in J. Reine Angew. Math

MSC Class: 53D99

The Kernel of the Equivariant Kirwan Map and the Residue Formula

Authors: Lisa C. Jeffrey, Augustin-Liviu Mare

Abstract: Using the notion of equivariant Kirwan map, as defined by Goldin, we prove that -- in the case of Hamiltonian torus actions with isolated fixed points -- Tolman and Weitsman's description of the kernel of the Kirwan map can be deduced directly from the residue theorem of Jeffrey and Kirwan. A characterization of the kernel of the Kirwan map in terms of residues of one variable (i.e. associated t… ▽ More Using the notion of equivariant Kirwan map, as defined by Goldin, we prove that -- in the case of Hamiltonian torus actions with isolated fixed points -- Tolman and Weitsman's description of the kernel of the Kirwan map can be deduced directly from the residue theorem of Jeffrey and Kirwan. A characterization of the kernel of the Kirwan map in terms of residues of one variable (i.e. associated to Hamiltonian circle actions) is obtained. △ Less

Submitted 6 November, 2002; originally announced November 2002.

Comments: 11 pages

MSC Class: 58F05

Cohomology of symplectic reductions of generic coadjoint orbits

Authors: R. F. Goldin, A. -L. Mare

Abstract: Let mathcal{O}_lambda be a generic coadjoint orbit of a compact semi-simple Lie group K. Weight varieties are the symplectic reductions of mathcal{O}_lambda by the maximal torus T in K. We use a theorem of Tolman and Weitsman to compute the cohomology ring of these varieties. Our formula relies on a Schubert basis of the equivariant cohomology of \mathcal{O}_lambda and it makes explicit the depe… ▽ More Let mathcal{O}_lambda be a generic coadjoint orbit of a compact semi-simple Lie group K. Weight varieties are the symplectic reductions of mathcal{O}_lambda by the maximal torus T in K. We use a theorem of Tolman and Weitsman to compute the cohomology ring of these varieties. Our formula relies on a Schubert basis of the equivariant cohomology of \mathcal{O}_lambda and it makes explicit the dependence on λand a parameter in Lie(T)^*. △ Less

Submitted 28 October, 2002; originally announced October 2002.

Comments: 6 pages. This is a generalization of work done by the first author for SU(n), at math.SG/0201138 published Advances in Mathematics 160 (2001), no. 2, pp. 175-204

MSC Class: 53D20 {Primary) 14L24; 14N99 (Secondary)

Journal ref: Proc. Amer. Math. Soc. 132 (2004), no. 10, 3069--3074

Relations in the quantum cohomology ring of G/B

Authors: A. -L. Mare

Abstract: The ideal of relations in the (small) quantum cohomology ring of the generalized flag manifold $G/B$ has been determined by B. Kim. We are going to point out a limited number of properties that, if they are satisfied by an $R[q_1,...,q_l]$-bilinear product $\circ$ on $H^*(G/B)\otimes R[q_1,...,q_l$, then the ring $(H^*(G/B)\otimes R[q_1,...,q_l],\circ)$ is isomorphic to Kim's ring. The ideal of relations in the (small) quantum cohomology ring of the generalized flag manifold $G/B$ has been determined by B. Kim. We are going to point out a limited number of properties that, if they are satisfied by an $R[q_1,...,q_l]$-bilinear product $\circ$ on $H^*(G/B)\otimes R[q_1,...,q_l$, then the ring $(H^*(G/B)\otimes R[q_1,...,q_l],\circ)$ is isomorphic to Kim's ring. △ Less

Submitted 8 November, 2003; v1 submitted 2 October, 2002; originally announced October 2002.

Comments: Final version, substantially improved. To appear in Math. Res. Lett

MSC Class: 14N35; 57T15

Steepest descent on real flag manifolds

Authors: J. -H. Eschenburg, A. -L. Mare

Abstract: Real flag manifolds are the isotropy orbits of noncompact symmetric spaces $G/K$. Any such manifold $M$ enjoys two very peculiar geometric properties: It carries a transitive action of the (noncompact) Lie group $G$, and it is embedded in euclidean space as a taut submanifold. The aim of the paper is to link these two properties by showing that the gradient flow of any height function is a one-p… ▽ More Real flag manifolds are the isotropy orbits of noncompact symmetric spaces $G/K$. Any such manifold $M$ enjoys two very peculiar geometric properties: It carries a transitive action of the (noncompact) Lie group $G$, and it is embedded in euclidean space as a taut submanifold. The aim of the paper is to link these two properties by showing that the gradient flow of any height function is a one-parameter subgroup of $G$, where the gradient is defined with respect to a suitable homogeneous metric $s$ on $M$; this generalizes the Kaehler metric on adjoint orbits (the so-called complex flag manifolds). △ Less

Submitted 13 February, 2004; v1 submitted 2 August, 2002; originally announced August 2002.

Comments: This is a substantially revised version of the paper entitled initially "Flow lines on isotropy orbits". It has 8 pages

MSC Class: 53C30; 53C35

Polynomial representatives of Schubert classes in QH^*(G/B)

Authors: Augustin-Liviu Mare

Abstract: We show how the quantum Chevalley formula for G/B, as stated by Peterson and proved rigorously by Fulton and Woodward, combined with ideas of Fomin, S. Gelfand and Postnikov, leads to a formula which describes polynomial representatives of the Schubert cohomology classes in the canonical presentation of QH^*(G/B) in terms of generators and relations. We show how the quantum Chevalley formula for G/B, as stated by Peterson and proved rigorously by Fulton and Woodward, combined with ideas of Fomin, S. Gelfand and Postnikov, leads to a formula which describes polynomial representatives of the Schubert cohomology classes in the canonical presentation of QH^*(G/B) in terms of generators and relations. △ Less

Submitted 2 August, 2002; v1 submitted 29 May, 2002; originally announced May 2002.

Comments: Revised version of "Quantization map for G/B"

MSC Class: 05E15; 22E46

Quantum cohomology of the infinite dimensional generalized flag manifolds

Authors: Augustin-Liviu Mare

Abstract: Consider the infinite dimensional flag manifold $LK/T$ corresponding to the simple Lie group $K$ of rank $l$ and with maximal torus $T$. We show that, for $K$ of type $A$, $B$ or $C$, if we endow the space $H^*(LK/T)\otimes \bR[q_1,...,q_{l+1}]$ (where $q_1,...,q_{l+1}$ are multiplicative variables) with an $\bR[\{q_j\}]$-bilinear product satisfying some simple properties analogous to the quantu… ▽ More Consider the infinite dimensional flag manifold $LK/T$ corresponding to the simple Lie group $K$ of rank $l$ and with maximal torus $T$. We show that, for $K$ of type $A$, $B$ or $C$, if we endow the space $H^*(LK/T)\otimes \bR[q_1,...,q_{l+1}]$ (where $q_1,...,q_{l+1}$ are multiplicative variables) with an $\bR[\{q_j\}]$-bilinear product satisfying some simple properties analogous to the quantum product on $QH^*(K/T)$, then the isomorphism type of the resulting ring is determined by the integrals of motion of a certain periodic Toda lattice system, in exactly the same way as the isomorphism type of $QH^*(K/T)$ is determined by the integrals of motion of the non-periodic Toda lattice (see the theorem of Kim). This is a generalization of a theorem of Guest and Otofuji. △ Less

Submitted 9 July, 2003; v1 submitted 16 May, 2001; originally announced May 2001.

Comments: 25 pages

MSC Class: 37K30; 22E67; 53D45