pith. sign in

arxiv: 2502.02039 · v3 · submitted 2025-02-04 · 🧮 math.OA · math.DS· math.GR· math.GT

Boundary actions of Bass-Serre Trees and the applications to C^*-algebras

Xin Ma , Daxun Wang , Wenyuan Yang This is my paper

Pith reviewed 2026-05-23 04:39 UTC · model grok-4.3

classification 🧮 math.OA math.DSmath.GRmath.GT
keywords Bass-Serre treesC*-simplicitygraphs of groupsBaumslag-Solitar groupsGBS groupscrossed-product C*-algebrastopological dynamicstubular groups
0
0 comments X

The pith

Boundary actions of fundamental groups of graphs of groups on Bass-Serre tree boundaries produce new families of C*-simple groups and purely infinite crossed-product C*-algebras.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper examines actions of fundamental groups of graphs of groups on the boundaries of their Bass-Serre trees. These actions meet dynamical conditions that imply C*-simplicity for the groups, yielding new examples among tubular groups, certain graphs with acylindrically hyperbolic vertex groups, Out(BS(p,q)), and GBS_n groups such as the Leary-Minasyan group. The same actions produce new purely infinite crossed-product C*-algebras. The work recovers the known characterization of C*-simplicity for GBS_1 groups and notes that the resulting groups are also C*-selfless and highly transitive. A sympathetic reader would care because the results enlarge the catalog of groups whose reduced C*-algebras are simple while supplying fresh examples of purely infinite algebras.

Core claim

Natural boundary actions of certain fundamental groups of graphs of groups give rise to new families of C*-simple groups including certain tubular groups, fundamental groups of certain graphs of groups with one vertex group acylindrically hyperbolic, outer automorphism groups Out(BS(p,q)) of Baumslag-Solitar groups, and new C*-simple GBS_n groups including the Leary-Minasyan group. These C*-simple groups also provide new examples of C*-selfless groups and highly transitive groups. Moreover, natural boundary actions of these groups give rise to new purely infinite crossed-product C*-algebras, while recovering the characterization of C*-simplicity for GBS_1 groups.

What carries the argument

The natural boundary actions of the fundamental groups on the boundaries of their Bass-Serre trees, which supply the freeness, minimality, or topological freeness needed to invoke existing C*-simplicity criteria.

If this is right

  • Certain tubular groups are C*-simple.
  • Out(BS(p,q)) is C*-simple for the parameters considered.
  • New GBS_n groups, including the Leary-Minasyan group, are C*-simple.
  • The boundary actions produce new purely infinite crossed-product C*-algebras.
  • The identified groups furnish new examples of C*-selfless groups and highly transitive groups.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • If the verification of the required dynamical conditions generalizes, the method could identify C*-simplicity for additional families of graphs of groups.
  • The link between acylindrical hyperbolicity of a vertex group and the resulting boundary action may extend to other geometric properties of the groups.
  • These examples could serve as test cases for open questions on the relationship between C*-simplicity and other group invariants such as exactness or the Haagerup property.
  • The construction of purely infinite crossed products from boundary actions might apply to actions on other boundaries arising in geometric group theory.

Load-bearing premise

The boundary actions must satisfy the dynamical conditions of freeness, minimality, or topological freeness required by the C*-simplicity criteria applied from prior literature.

What would settle it

An explicit verification that the boundary action of one specific new example, such as a particular tubular group or the Leary-Minasyan group, fails to be topologically free would show that the C*-simplicity conclusion does not hold for that family.

Figures

Figures reproduced from arXiv: 2502.02039 by Daxun Wang, Wenyuan Yang, Xin Ma.

Figure 1
Figure 1. Figure 1: A non-singular but not reduced graph of groups The following is a standard well-known observation. Remark 2.23. We note that if an edge e (not a loop) has Gt(e) = αe¯(Ge), then e contributes to a free amalgamated product Go(e) ∗Ge Ge in the fundamental group of G. Note that Go(e) ∗Ge Ge ∼= Go(e) holds if e is collapsible. Thus collapsing such an edge in Γ will not change the fundamental group. See [PITH_F… view at source ↗
Figure 2
Figure 2. Figure 2: Example of collapse and expansion moves. We say an action α : G y Z is minimal if all orbits are dense in Z. An action is said to be topologically free provided that the set {z ∈ Z : StabG(z) = {e}}, is dense in Z. Equivalently, this is amount to saying that the fixed point set FixZ(g) = {z ∈ Z : gz = z} is nowhere dense for any g ∈ G\ {1G}. Since we will also discuss actions on non-compact spaces in this … view at source ↗
Figure 3
Figure 3. Figure 3: Tubular 2-Rose graph: Gv ∼= Z × Z ∼= ha, b | [a, b] = 1i, Ge = hxi ∼= Z where the monomorphism αe : x 7→ a m1 b n1 and αe¯ : x 7→ a m2 b n2 and Gf = hyi ∼= Z where αf : y 7→ a k1 b l1 and αf¯ : y 7→ a k2 b l2 . Denote by Ct,2 the following class of groups G = ha, b, x, y | [a, b] = 1, x−1 a m1 b n1x = a m2 b n2 , y−1 a k1b l1 y = a k2 b l2 i, in which (mi , ni) 6= (0, 0) and (ki , li) 6= (0, 0) for any i =… view at source ↗
Figure 4
Figure 4. Figure 4: The graph of groups G for Out(BS(p, q)). We record the known information on vertex and edge groups of G shown in [17, Section 4]. First, Gv0 is isomorphic to Zp|n−1| ⋊ Z2, generated by the following automorphisms ψ and ι on BS(p, q) = hx, t | txp t −1 = x q i defined by: ψ : x 7→ x ι : x 7→ x −1 t 7→ xt t 7→ t [PITH_FULL_IMAGE:figures/full_fig_p028_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: The new graph of groups G1 for Out(BS(p, q)). Denote by G1 = (Γ1, G) the new graph of groups. Compared to the original graph of groups G, the new G1 has the same vertex groups Gvk and Gek and monomor￾phisms αek and αe¯k for k = 0, 2, 3 . . . except the only changed monomorphism is that now αe¯0 : Ge0 → Gv2 is determined by x0 7→ φ n 2 2 and y0 7→ ι and thus |Σe¯0 | = n 2 > 2 as |n| > 1. We next recall C ∗ … view at source ↗
Figure 6
Figure 6. Figure 6: Octopus graph Proposition 6.7. Let G = (Γ, G) be a GBS octopus graph of groups as in [PITH_FULL_IMAGE:figures/full_fig_p034_6.png] view at source ↗
read the original abstract

In this paper, we study Bass-Serre theory from the perspectives of $C^*$-algebras and topological dynamics. In particular, we investigate the actions of fundamental groups of graphs of groups on their Bass-Serre trees and the associated boundaries, through which we identify new families of $C^*$-simple groups including certain tubular groups, fundamental groups of certain graphs of groups with one vertex group acylindrically hyperbolic and outer automorphism groups $\operatorname{Out}(BS(p, q))$ of Baumslag-Solitar groups. In addition, we study $n$-dimensional Generalized Baumslag-Solitar ($\text{GBS}_n$) groups. We first recover a result by Minasyan and Valiunas on the characterization of $C^*$-simplicity for $\text{GBS}_1$ groups and identify new $C^*$-simple $\text{GBS}_n$ groups including the Leary-Minasyan group. These $C^*$-simple groups also provide new examples of $C^*$-selfless groups and highly transitive groups. Moreover, we demonstrate that natural boundary actions of these $C^*$-simple fundamental groups of graphs of groups give rise to the new purely infinite crossed product $C^*$-algebras.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript studies boundary actions of fundamental groups of graphs of groups on their Bass-Serre trees and associated boundaries. It uses these to identify new families of C*-simple groups (certain tubular groups, Out(BS(p,q)), and GBS_n groups including the Leary-Minasyan group), recovers the Minasyan-Valiunas characterization of C*-simplicity for GBS_1 groups, establishes that these groups are C*-selfless and highly transitive, and shows that the natural boundary actions yield new examples of purely infinite crossed-product C*-algebras.

Significance. If the dynamical hypotheses hold, the work supplies concrete new examples of C*-simple groups realized via boundary actions of Bass-Serre trees and links them to purely infinite C*-algebras. The explicit recovery of the GBS_1 result provides a useful consistency check with prior literature. The approach extends the scope of existing C*-simplicity criteria to additional classes arising from graphs of groups.

major comments (2)
  1. [GBS_n groups section] The section identifying new C*-simple GBS_n groups (including the Leary-Minasyan group): the manuscript must supply an explicit, self-contained verification that the boundary action satisfies the precise dynamical hypotheses (topological freeness or the relevant condition from the invoked C*-simplicity theorem such as Kalantar-Kennedy) required for the conclusion; recovery of the GBS_1 case is noted but does not substitute for independent checks on the new families, which are load-bearing for the central claim.
  2. [tubular groups and Out(BS(p,q)) sections] The sections treating tubular groups and Out(BS(p,q)): the application of prior C*-simplicity criteria to these families likewise requires explicit confirmation that the boundary actions meet the freeness/minimality/topological freeness conditions; without this, the claim that these yield new C*-simple groups and purely infinite crossed products rests on an unverified step.
minor comments (2)
  1. [Abstract] The abstract states that the groups 'provide new examples of C*-selfless groups and highly transitive groups' but does not indicate where these additional properties are proved; a brief pointer would improve readability.
  2. [Introduction / Bass-Serre theory section] Notation for the boundary of the Bass-Serre tree should be introduced consistently in the first section where the action is defined, to avoid later ambiguity when discussing topological freeness.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the constructive major comments. The points raised concern the need for explicit verifications of dynamical hypotheses in the applications to new families of groups. We address each comment below and will incorporate the requested details in a revised version.

read point-by-point responses

  1. Referee: [GBS_n groups section] The section identifying new C*-simple GBS_n groups (including the Leary-Minasyan group): the manuscript must supply an explicit, self-contained verification that the boundary action satisfies the precise dynamical hypotheses (topological freeness or the relevant condition from the invoked C*-simplicity theorem such as Kalantar-Kennedy) required for the conclusion; recovery of the GBS_1 case is noted but does not substitute for independent checks on the new families, which are load-bearing for the central claim.

    Authors: We agree that independent, explicit verification is required for the new GBS_n families. The recovery of the GBS_1 characterization illustrates the method but does not replace direct checks. In the revised manuscript we will add a self-contained subsection that verifies the boundary actions of the new GBS_n groups (including the Leary-Minasyan group) satisfy topological freeness and minimality, thereby meeting the hypotheses of the Kalantar-Kennedy theorem. The verification will use the acylindrical hyperbolicity of the relevant vertex groups and the structure of the associated Bass-Serre trees. revision: yes

  2. Referee: [tubular groups and Out(BS(p,q)) sections] The sections treating tubular groups and Out(BS(p,q)): the application of prior C*-simplicity criteria to these families likewise requires explicit confirmation that the boundary actions meet the freeness/minimality/topological freeness conditions; without this, the claim that these yield new C*-simple groups and purely infinite crossed products rests on an unverified step.

    Authors: We accept the referee's observation that explicit confirmation of the dynamical conditions is necessary. Although the manuscript invokes the general properties of Bass-Serre boundary actions for these families, we will strengthen the tubular groups and Out(BS(p,q)) sections by adding direct arguments establishing minimality, topological freeness, and the remaining hypotheses of the invoked C*-simplicity criteria. These additions will also clarify the passage to purely infinite crossed products and will be placed immediately before the statements of the main theorems in each section. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivations rely on external criteria and independent verifications

full rationale

The paper applies standard C*-simplicity criteria (from Kalantar-Kennedy and related works) to boundary actions on Bass-Serre trees, recovers the GBS_1 characterization from Minasyan-Valiunas (distinct authors), and claims new examples after verifying dynamical hypotheses such as freeness/minimality/topological freeness. No equations, fitted parameters, or self-citation chains appear in the abstract or described structure; the central claims do not reduce to inputs by definition or construction. The verification steps for new families (tubular groups, Out(BS(p,q)), Leary-Minasyan group) are presented as independent checks rather than tautological renamings or self-referential fits, rendering the derivation self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review supplies no explicit free parameters, axioms, or invented entities; ledger left empty.

pith-pipeline@v0.9.0 · 5762 in / 1166 out tokens · 38188 ms · 2026-05-23T04:39:15.965536+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

56 extracted references · 56 canonical work pages · 2 internal anchors

  1. [1]

    C. R. Abbott and F. Dahmani. Property Pnaive for cylindrically hyperbolic groups. Math. Z. 291 (2019), 555-568

    work page 2019

  2. [2]

    Anantharaman-Delaroche

    C. Anantharaman-Delaroche. Purely infinite C ∗ -algebras arising from dynamical systems. Bull. Soc. Math. France 125 (1997), 199-225

    work page 1997

  3. [3]

    P. Ara, F. Perera and A. S. Toms. K-theory for operator algebras. Classification of C ∗ -algebras, page 1-71 in: Aspects of Operator Algebras and Applications . P. Ara, F. Lled´ o, and F. Perera (eds.). Contemporary Mathematics vol.534, Amer. Math. Soc ., Providence RI, 2011

    work page 2011

  4. [4]

    R. J. Archbold and J. S. Spielberg. Topologically free ac tions and ideals in discrete C ∗ - dynmaical systems. Proc. Edinburgh Math. Soc. (2) 37 (1994), 119-124

    work page 1994

  5. [5]

    H. Bass. Covering theory for graphs of groups. J. Pure Appl. Algebra 89 (1991), 3-47

    work page 1991

  6. [6]

    Brady and M

    N. Brady and M. R. Bridson. There is only one gap in the isop erimetric spectrum. Geom. Func. Anal. 10 (2000), 1053-1070

    work page 2000

  7. [7]

    Breuillard, M

    E. Breuillard, M. Kalantar, M. Kennedy and N. Ozawa. C ∗ -simplicity and the unique trace property for discrete groups. Publ. Math. Inst. Hautes ´Etud. Sci. 126(1) (2017), 35-71

    work page 2017

  8. [8]

    M. R. Bridson and A. H¨ afliger. Metric Spaces of Non-Positive Curvature . Springer, 2009

    work page 2009

  9. [9]

    Brown and N

    N. Brown and N. Ozawa. C ∗ -algebras and Finite Dimensional Approximations , Graduate Stud- ies in Mathematics, vol. 88, American Math. Soc., Providenc e, 2008

    work page 2008

  10. [10]

    Brownlowe, A

    N. Brownlowe, A. Mundey, D. Pask, J. Spielberg, A. Thoma s. C ∗ -algebras associated to graphs of groups. Adv. Math. 316 (2017), 114-186

    work page 2017

  11. [11]

    R. S. Bryder, N. A. Ivanov and T. Omland. C ∗ -simplicity of HNN extensions and groups acting on tress. Ann. Inst. Fourier (Grenoble) 70 (2020), 1497-1543

    work page 2020

  12. [12]

    J. O. Button. Balanced groups and graphs of groups with i nfinite cyclic edge groups. arXiv: 1509.05688

    work page internal anchor Pith review Pith/arXiv arXiv

  13. [13]

    J. O. Button. Tubular free by cyclic groups and the stron gest Tits alternative. arXiv: 1510.05842

    work page internal anchor Pith review Pith/arXiv arXiv

  14. [14]

    J. O. Button. Generalized Baumslag-Solitar groups and Hierarchically hyperbolic groups. arXiv: 2208.12688

    work page arXiv

  15. [15]

    Casals-Ruiz, I

    M. Casals-Ruiz, I. Kazachkov and A. Zakharov. Commensu rability of Baumslag-Solitar groups. Indiana Univ. Math. J. 70 (2021) 2527-2555

    work page 2021

  16. [16]

    C. H. Cashen. Quasi-isometries between tubular groups . Groups Geom. Dyn. 4 (2010) 473-516

    work page 2010

  17. [17]

    M. Clay. Deformation spaces of G-trees and automorphisms of Baumslag–Solitar groups. Groups Geom. Dyn. 3 (2009), 39-69

    work page 2009

  18. [18]

    D. J. Collins. The automorphism towers of some one-rela tor groups. Proc. Lond. Math. Soc. 36 (1978), 480-493. 38 XIN MA, DAXUN W ANG, AND WENYUAN YANG

    work page 1978

  19. [19]

    Cornulier and A

    Y. Cornulier and A. Valette. On equivalent embeddings o f generalized Baumslag-Solitar groups. Geom. Dedicata 175 (2015), 385-401

    work page 2015

  20. [20]

    Dahmani, V

    F. Dahmani, V. Guirardel and D. Osin. Hyperbolically em bedded subgroups and rotating fam- ilies in groups acting on hyperbolic spaces. Mem. Amer. Math. Soc. 245(1156), v+152(2017)

    work page 2017

  21. [21]

    P. Fima, F. Le Ma ˆ ıtre, S. Moon and Y. Stalder. A characte rization of high transitivity for groups acting on trees. Discrete Anal. , 2022:8, 63pp

    work page 2022

  22. [22]

    Forester

    M. Forester. On uniqueness of JSJ decompositions of fini tely generated groups. Comment. Math. Helv. 78 (2003), 740-751

    work page 2003

  23. [23]

    Forester

    M. Forester. Splittings of generalized Baumslag-Soli tar groups. Geom. Dedicata. 121 (2006), 43-59

    work page 2006

  24. [24]

    Furstenberg

    H. Furstenberg. A Poisson formula for semi-simple Lie g roups. Ann. of Math. (2) 77 (1963), 335-386

    work page 1963

  25. [25]

    Gardella, S

    E. Gardella, S. Geffen, J. Kranz and P. Naryshkin. Classi fiability of crossed products by non- amenable groups. J. Reine. Angew. Math. 797 (2023), 285-312

    work page 2023

  26. [26]

    N. D. Gilbert, J. Howie, V. Metaftsis and E. Raptis. Tree actions of automorphism groups. J. Group Theory 3 (2000), 213-223

    work page 2000

  27. [27]

    S. Glasner. Topological dynamics and group theory. Trans. Amer. Math. Soc. 187 (1974), 327-334

    work page 1974

  28. [28]

    S. Glasner. Proximal flows , Lecture Notes in Mathematics, vol. 517, Springer-Verlag, Berlin- New York, 1976

    work page 1976

  29. [29]

    Hall and D

    M. Hall and D. Osin. Transitivity degrees of countable g roups and Acylindrical hyperbolicity. Isr. J. Math. 216(2016), 307-353

    work page 2016

  30. [30]

    de La Harpe

    P. de La Harpe. On simplicity of reduced C ∗ -algebras of groups. Bull. London Math. Soc. 39 (2007), 1-26

    work page 2007

  31. [31]

    de La Harpe and J.-P

    P. de La Harpe and J.-P. Pr´ eaux. C ∗ -simple groups: amalgamated free products, HNN exten- sions, and fundamental groups of 3-manifolds. J. Topol. Anal. 3 (2011), 451-489

    work page 2011

  32. [32]

    N. A. Ivanov and T. Omland. C ∗ -simplicity of free products with amalgamation and radical classes of groups. J. Funct. Anal. 272 (2017), 3712-3741

    work page 2017

  33. [33]

    Jolissaint and G

    P. Jolissaint and G. Robertson. Simple purely infinite C ∗ -algebras and n-filling actions. J. Funct. Anal. 175 (2000), 197-213

    work page 2000

  34. [34]

    Kalantar and M

    M. Kalantar and M. Kennedy. Boundaries of reduced C ∗ -algebras of discrete groups. J. Reine. Angew. Math. 727 (2017), 247-267

    work page 2017

  35. [35]

    Kirchberg

    E. Kirchberg. The classification of purely infinite C ∗ -algebras using Kasparov’s theory. Preprint

    work page

  36. [36]

    Kirchberg and M

    E. Kirchberg and M. Rørdam. Non-simple purely infinite C ∗ -algebras. Amer. J. Math. 122(3) (2000), 637-666

    work page 2000

  37. [37]

    Kirchberg and M

    E. Kirchberg and M. Rørdam. Infinite non-simple C ∗ -algebras: Absorbing the Cuntz algebra O∞ . Adv. Math. 167 (2002), 195-264

    work page 2002

  38. [38]

    Laca and J

    M. Laca and J. Spielberg. Purely infinite C ∗ -algebras from boundary actions of discrete groups. J. Reine. Angew. Math. 480(1996), 125-139

    work page 1996

  39. [39]

    Le Boudec and N

    A. Le Boudec and N. Matt Bon. Subgroup dynamics and C ∗ -simplicity of groups of homeo- morphisms. Ann. Sci. ´Ec. Norm. Sup´ er.51 (2018), 557-602

    work page 2018

  40. [40]

    I. J. Leary and A. Minasyan. Commensurating HNN extensi ons: nonpositive curvature and biautomaticicty. Geom. Topol.25 (2021), 1819-1860

    work page 2021

  41. [41]

    G. Levitt. Characterizing rigid simplicial actions on trees. In Geometric methods in group theory 372 of Contemp. Math. (2005), 27-33

    work page 2005

  42. [42]

    G. Levitt. Generalized Baumslag-Solitar groups: rank and finite index subgroups. Ann. Inst. Fourier (Grenoble) 65 (2015), 725-762

    work page 2015

  43. [43]

    X. Ma. Comparison and pure infiniteness of crossed produ cts. Trans. Amer. Math. Soc. 372 (2019), 7497-7520

    work page 2019

  44. [44]

    X. Ma, D. Wang and W. Yang. Boundary actions of CAT(0) spa ces and their C ∗ -algebras. In preparation

    work page

  45. [45]

    Minasyan and D

    A. Minasyan and D. Osin. Acylindrical hyperbolicity of groups acting on trees. Math. Ann. 362(2015), 1055-1105

    work page 2015

  46. [46]

    Minasyan and M

    A. Minasyan and M. Valiunas. Right-angled Artin subgro ups and free products in one-relator groups. arXiv: 2404.15479

    work page arXiv

  47. [47]

    Monod and Y

    N. Monod and Y. Shalom. Cocycle superrigity and bounded cohomology for negatively curved spaces. J. Differ. Geom. 67(2004), 395-455

    work page 2004

  48. [48]

    D. Osin. Acylindrically hyperbolic groups. Trans. Amer. Math. Soc. 368 (2016), 851-888

    work page 2016

  49. [49]

    N. C. Phillips. A classification theorem for nuclear pur ely infinite simple C ∗ -algebras. Doc. Math. 5 (2000), 49-114

    work page 2000

  50. [50]

    R. T. Powers. Simplicity of the C ∗ -algebra associated with the free group on two generators. Duke Math. J. 42 (1975), 151-156

    work page 1975

  51. [51]

    J.-P. Serre. Trees. Springer-Verlag, Berlin-Heidelberg-New York, 1980

    work page 1980

  52. [52]

    J. Tits. Sur le groupe des automorphismes d’un arbre, in M´ emories d´ edi´ es a Georges de Rham, publi´ es par Andre Haefliger et Raghavan Narasimhan (Spring er, 1970), pp. 188-211. BOUNDARY ACTIONS 39

    work page 1970

  53. [53]

    J.-L. Tu. La conjecture de Baum-Connes pour les feuille tages moyennables, K-theory 17(1999), 215-264

    work page 1999

  54. [54]

    D. Wang. The isomorphism problem for small-rose genera lized Baumslag-Solitar groups. To appear in J. Algebra, doi:10.1016/j.jalgebra.2024.07.038

    work page doi:10.1016/j.jalgebra.2024.07.038 2024

  55. [55]

    D. T. Wise. A non-Hopfian automatic group. J. Algebra 180 (1996), 845-847

    work page 1996

  56. [56]

    D. T. Wise. Cubular Tubular groups. Trans. Amer. Math. Soc. 366 (2014), no. 10, 5503-5521. X. Ma: Institute for Advanced Study in Mathematics, Harbin I nstitute of Tech- nology, Harbin, China, 150001 Email address : xma17@hit.edu.cn D. W ang: Yau Mathematical Sciences Center, Tsinghua Univer sity, Beijing, China Email address : wangdaxun@mail.tsinghua.edu...

    work page 2014