1 TODD GENUS AND Ak-GENUS OF UNITARY S -MANIFOLDS JIANBO WANG, ZHIWANG YU, YUYU WANG Abstract. Assume that M is a compact connected unitary 2n-dimensional manifold and admits a non-trivial circle action preserving the given complex structure. If the first Chern class of M equals to k0x for a certain 2nd integral cohomology class x with |k0| > n + 2, and its first integral cohomology group is zero, this short paper shows that the Todd genus and Ak-genus of M vanish. 1. Introduction A smooth manifold M is called a unitary manifold (sometimes being called stably almost complex manifold or weakly almost complex manifold), if the tangent bundle of M admits a stably complex structure. Namely, there exists a bundle map J : T M ⊕ Rl −→ T M ⊕ Rl such that J 2 = −1, where Rl denotes the trivial real l-plane bundle over M for some l. A stable complex structure induces an orientation, obtained as the “difference” of the complex orientation on T M ⊕ Rl and the standard orientation on Rl. Hereafter a unitary manifold is always oriented in such a way. If S1 acts smoothly on a unitary (respectively almost complex) manifold M and if the differential of each element of S1 preserves the given complex vector bundle structure then M will be called unitary (respectively almost complex) S1-manifold. Given some assumptions, there are many results about the existence of S1 actions on manifolds with the vanishing of Todd genus, Ak-genus or Aˆ-genus. Let’s list some related results. • Hattori proved that ([4, Proposition 3.21]): for a unitary S1-manifold M having arXiv:2012.10908v1 [math.AT] 20 Dec 2020 only isolated fixed points, if the first Chern class is a torsion element then the Todd genus Td(M) is zero. • Kriˇcever showed that ([7, Theorem 2.2]), for a unitary S1-manifold M, if the first Chern class c1(M) is divisible by k, the Ak-genera of M vanish, i.e., Ak(M) = 0,k > 2. • Atiyah and Hirzebruch [1] gave the result that if M is a connected 2n-dimensional spin manifold and S1 acts non-trivially on M, then the Aˆ-genus Aˆ(M) vanishes. Date: December 22, 2020. Key words and phrases. Unitary manifold; circle action; Todd genus; Ak-genus. This project was supported by the Natural Science Foundation of Tianjin City of China, No. 19JCYBJC30300. 1 2 JIANBOWANG,ZHIWANGYU,YUYUWANG • Using Hattori’s result ([4, Proposition 3.21]) and the celebrated theorem of Atiyah and Hirzebruch in [1], Li ([8, Proposition 4.1]) showed that: for an almost complex manifold admitting a non-trivial S1-action, if the first Chern class is a torsion element and is zero under mod 2 reduction, then the Todd genus is zero. • In [2, Theorem 1.1], Fang and Rong showed that: For a compact 2n-manifold M of finite fundamental group, if M admits a fixed point free S1-action, then for 2 Z 6 6 n n−2m all c ∈ H (M; ) and 0 m 2 , (c · Lm)[M] = 0, where L = L0 + L1 + n ··· + L n is the Hirzebruch L-polynomial of M. In particular, (c )[M] = 0. [ 2 ] • A generalization of Fang-Rong’s result is the [9, Example 3.2] proved by Li: Let 2m 1 M be a manifold with b1(M)=0. If M admits a fixed point free S -action, 2 Z 6 6 m m−2j then for all c ∈ H (M; ) and 0 j 2 , (c · Lj)[M] = 0, where Lj is any polynomial of degree j in the subalgebra of H∗(M) generated by Pontrjagin n classes pi(M) (deg (pi)= i). In particular, (c )[M] = 0. As a supplement to the above mentioned results, we prove the following theorem, which is the main theorem of this paper. Theorem 1.1. Let M be a compact connected unitary manifold of dimension 2n > 2 with H1(M; Z)=0. Suppose that M admits a non-trivial S1-action which preserves the complex structure of the stable tangent bundle of M. If the first Chern class c1(M)= k0x 2 for some x ∈ H (M; Z) and |k0| > n +2, then n−2j ˆ ˆ ˆ ˆ 6 6 n (1) x Aj =0, where Aj := Aj(p1,...,pj) are the A polynomials, 0 j 2 . (2) xn−iT = 0, where T := T (c ,...,c ) are the Todd polynomials, 0 6 i 6 n. In i i i 1 i particular, the Todd genus Td(M)= Tn[M]=0. (3) The Ak-genus Ak(M)=0, k > 2. The proof of Theorem 1.1 is mainly based on the following theorem of Hattori [3, Thoerem 3.13]. Theorem 1.2 (Hattori). Let M be a closed connected weakly almost complex manifold of dimension 2n > 2 with H1(X; Z)=0. Suppose that M admits a non-trivial S1- action which preserves the given complex structure of the stable tangent bundle of M. 2 If c1(M)= k0x, x ∈ H (M; Z), then we have kx exp · Aˆ(T M) [M]=0 2 for each integer k such that k ≡ k0 (mod 2) and |k| < |k0|. Remark 1.3. (1) In [10, Corollary 4.2], for an almost complex S1-manifold M of dimension 2n with only isolated fixed points, Sabatini showed that if c1(M)= k0x for 2 Z n−k some x ∈ H (M; ) and k0 > n + 2, then c1 Tk =0, 0 6 k 6 n. Although Sabatini’s conclusion is similar to our Theorem 1.1 (2), the condition of isolated fixed points is not necessary in Theorem 1.1. 1 TODD GENUS AND Ak-GENUS OF UNITARY S -MANIFOLDS 3 (2) The vanishing of Ak-genera in Theorem 1.1 (3) hold for any k > 2, and the vanishing of Ak-genera in [7, Theorem 2.2] hold for those k satisfying that the first Chern class is divisible by k. 2. Preliminaries Firstly, let’s briefly introduce the Todd genus, Ak-genus and Aˆ-genus. Let M be a connected, closed 2n-dimensional unitary manifold. Since the Chern classes are stable invariants, which means that they are unchanged if we add a trivial (complex) bundle, the structure one needs for defining the Todd genus is a stable almost complex structure. For abbreviation, the Chern classes of the unitary manifold M are l denoted as ci := ci(M) := ci(T M ⊕ R ). The Todd genus Td(M) of M is the evaluation of the Todd polynomial Tn(c1,c2,...,cn) in the Chern classes on the fundamental class [M] of M. The multiplicative sequence {T (c ,...,c )} is associated to the power series x k 1 k Q(x)= ([5, §1.7]). Define the Todd class of M by 1 − exp(−x) ∞ l td(T M ⊕ R )= Tk(c1,...,ck), Xk=0 then the Todd genus of M is the evaluation l Td(M) = td(T M ⊕ R )[M]= Tn(c1,...,cn)[M]. kx exp(x) Associated with the characteristic power series Q(x) = , k > 2, there is a exp(kx) − 1 l multiplicative Ak-class of M ([7]), which we denote it as Ak(T M ⊕R ), and the Ak-genus Ak(M) is the evaluation l Ak(M)= Ak(T M ⊕ R )[M]. Note that, if k = 1 is allowed in [7], A1(M) is exactly the Todd genus Td(M). If we l consider a formal factorization of the total Chern class as c(T M ⊕R ) =(1+x1) ··· (1+ xn), then by [6, §1.8], n x Td(M)= i [M], 1 − exp(−x ) i=1 i ! Y n kx exp(x ) A (M)= i i [M]. k exp(kx ) − 1 i=1 i ! Y For a compact oriented differentiable 2n-manifold M, Hirzebruch ([5, page 197]) defined the Aˆ-sequence of M as a certain polynomials in the Pontrjagin classes of M. More concretely, the even power series 1 2 4 6 8 2 x x 7x 31x 127x Q(x)= 1 =1 − + − + + ··· sinh 2 x 24 5760 967680 154828800 4 JIANBOWANG,ZHIWANGYU,YUYUWANG defines a multiplicative sequence Aˆj(p1,...,pj) (for abbreviation, pj := pj(T M)), where Aˆj(p1,...,pj) is a rational homogeneousn polynomialo of degree 4j in the Pontrjagin classes. The Aˆ-class Aˆ(T M) is defined as follows: ∞ Aˆ(T M)= Aˆj(p1,...,pj). j=0 X The Aˆ-genus of M is the evaluation Aˆ(M)= Aˆ(T M)[M]. 2 2 Let p(T M) = (1+ x1) ··· (1 + xn) be the formal factorization of the total Pontrjagin class, then by [6, §1.6], n 1 x Aˆ(M)= 2 i [M]. sinh 1 x i=1 2 i ! Y 3. Proof of the main Theorem 1.1 Proof of Theorem 1.1. (1) Under the assumptions of Theorem 1.1, by Theorem 1.2, kx exp · Aˆ(T M) [M] = 0 (3.1) 2 (2n) for each integer k such that |k| < |k0|,k ≡ k0 mod 2. Let u be the term of degree 2n 2n of an element u ∈ Hk(M; Z). By the Poincar´eduality, from (3.1) we can obtain k=0 L kx (2n) exp · Aˆ(T M) =0 ∈ H2n(M; Z). 2 Case 1: n is even. We have − kx (2n) 1 kx n 1 kx n 2 exp · Aˆ(T M) = + Aˆ + ··· 2 n! 2 (n − 2)! 2 1 1 kx 2 + Aˆ n − + Aˆ n . 2! 2 2 1 2 k > n k ,k ,...,k n When | 0| + 2, there exist integers 1 2 2 +1 such that k < k < < k n < k n < k , | 1| | 2| ··· | 2 | | 2 +1| | 0| k k k n k n k , 1 ≡ 2 ≡···≡ 2 ≡ 2 +1 ≡ 0 mod 2 k x (2n) n and exp i · Aˆ(T M) =0, i =1, 2,..., +1.