arxiv: v1 [math.sg] 12 May 2016

Transcription

1 POISSON COHOMOLOGY OF A CLASS OF LOG SYMPLECTIC MANIFOLDS arxiv: v1 [math.sg] 12 May 2016 MELINDA LANIUS Abstract. We compute the Poisson cohomology of a class of Poisson manifolds that are symplectic away from a collection D of hypersurfaces. These Poisson structures induce a generalization of symplectic and cosymplectic structures, which we call a k-cosymplectic structure, on the intersection of hypersurfaces in D. 1. Introduction Poisson cohomology, a way of parametrizing the deformations of a Poisson structure, is an important invariant in Poisson geometry. However, the computation of Poisson cohomology is quite difficult in general and few explicit results are known ([4], p.43). One class of manifolds where the Poisson cohomology is known is the case of b-symplectic manifolds. A b-symplectic manifold, defined by Victor Guillemin, Eva Miranda, and Ana Rita Pires [7], is a 2n-dimensional manifold M equipped with a Poisson bi-vector π that is nondegenerate except on a hypersurface Z where there exist coordinates such that locally Z = {x 1 = 0} and π = x 1 x 1 y 1 + n i=2 x i y i. Recently, much work has been done studying the various facets of b-symplectic structures (a few select examples include [5, 8, 11]). In particular, Ioan Mărcut and Boris Osorno Torres ([10], Prop.1) and Guillemin, Miranda, and Pires ([7], Thm. 30) showed that the Poisson cohomology H p π(m) is isomorphic to the de Rham cohomology of a specific Lie algebroid, the b-tangent bundle, and hence, H p π (M) Hp (M) H p 1 (Z). In [9], we introduced an approach to computing Poisson cohomology using the de Rham cohomology of a Lie algebroid, called the rigged algebroid. We will employ this method to study a class of log symplectic manifolds, a generalization of the b-symplectic case as formulated by Marco Gualtieri, Songhao Li, Alvaro Pelayo, and Tudor Ratiu [6] Mathematics Subject Classification. 53D05, 53D17. Key words and phrases. log symplectic, b-symplectic, Poisson cohomology, cosymplectic. 1

2 2 MELINDA LANIUS We will consider smooth manifolds M together with a finite set D of smooth hypersurfaces Z i M that intersect transversely. In other words, D is a smooth normal crossing divisor on M. The b-tangent bundle over (M, D), called the log tangent bundle log TM in [6], is the vector bundle whose smooth sections are the vector fields tangent to D, that is {u C (M;TM) : u Z C (Z,TZ) for all Z D}. This vector bundle is a Lie algebroid with anchor map the inclusion into TM and with bracket induced by the standard Lie bracket on TM. Let τ denote a nonempty subset of {1,..., D }. In [6], they point out that the Lie algebroid cohomology of the b-tangent bundle over (M,D) is H p τ ( ) Z t. (1.1) b H p (M) H p (M) τ p In the case when D is a single hypersurface Z M, we recover the de Rham cohomology of the b-tangent bundle originally computed by Rafe Mazzeo and Richard Melrose ([12], Prop. 2.49). Definition 1. [6] A log symplectic structure on(m, D) is a closed non-degenerate 2-form ω in the de Rham complex of the b-tangent bundle. In other words, ω b Ω 2 (M) = C ( M; 2(b T M )) satisfying dω = 0 and ω n 0. The form ω induces a map ω between the b-tangent and b-cotangent bundles. b TM ω π =(ω ) 1 b T M The inverse map is induced by a bi-vector π C (M; 2 ( b TM)). This bi-vector is called a log Poisson structure on (M,D). Log symplectic manifolds are a broad generalization of b-symplectic manifolds as developed in [7]. We restrict our attention to a class of structures that satisfy some nice geometric features of b-symplectic structures that are lost in the whole of the log symplectic category. In particular, Victor Guillemin, Eva Miranda, and Ana Rita Pires [7] showed that every b-symplectic form induces a cosymplectic structure (θ,η) Ω 1 (Z) Ω 2 (Z) on its singular hypersurface Z. That is, there exists a pair of closed forms θ, η on Z such that θ η n 1 0 t τ

3 POISSON COHOMOLOGY OF A CLASS OF LOG SYMPLECTIC MANIFOLDS 3 where the dimension of Z is 2n 1. We will consider certain log symplectic structures that induce a generalization of cosymplectic structures on the intersection of any subset of hypersurfaces in D. In particular we would like the induced cosymplectic structures on each Z D to intersect nicely. Example 1.1. As a motivating example, let us examine some cases on the 4-torus T 4 identified as T 2 T 2 with angular coordinates (a 1,a 2 ) and (b 1,b 2 ) respectively. Let D = {Z 1,Z 2 } where Z 1 is the zero set of sin(a 1 ) and Z 2 is the zero set of sin(a 2 ). The b-tangent bundle is generated by the vector fields sin(a 1 ) a 1, sin(a 2 ) a 2, b 1, b 2. We will look at three symplectic forms on this bundle. As an example of the behavior we desire, consider the log symplectic forms and ω I = da 1 sin(a 1 ) da 2 sin(a 2 ) +db 1 db 2 ω II = da 1 sin(a 1 ) db 1 da 2 sin(a 2 ) db 2. The corresponding bi-vectors are respectively given by and π I = sin(a 2 )sin(a 1 ) a 2 a 1 + b 2 b 1 π II = sin(a 1 ) b 1 a 1 sin(a 2 ) b 2 a 2. In the symplectic foliation induced by π I, the submanifold{a 1 = 0,a 2 = 0} is a symplectic leaf with symplectic formdb 1 db 2. On the other hand, π II induces a foliation on{a 1 = 0,a 2 = 0} of points. To see this, note that the leaves associated to π II on {a 1 = 0,a 2 = 0} are given by the distribution kerdb 1 kerdb 2 = {0}. Thus we say ω I induces the symplectic form db 1 db 2 on {a 1 = 0,a 2 = 0} and that ω II induces the closed 1-forms db 1 and db 2 satisfying db 1 db 2 0. We call the pair (db 1,db 2 ) a 2- cosymplectic structure (see Definition 1.2). π I symplectic foliation on {a 1 = 0,a 2 = 0} We are interested in studying log symplectic forms that induce structures like these at the intersection of elements in D. Not all log symplectic forms on π II

4 4 MELINDA LANIUS the 4-torus will induce a symplectic or 2-cosymplectic structure. For instance, consider the log symplectic form The inverse is given by ω III = cos(b 1 )ω I +sin(b 1 )ω II. π III = cos(b 1 )π I +sin(b 1 )π II. In the case of π III, the induced folitation on {a 1 = 0,a 2 = 0} is not regular. There are two open leaves {a 1 = 0,a 2 = 0}\{b 1 = π/2,3π/2}. At {b 1 = π/2,3π/2}, the foliation is given by the distribution kerdb 1 kerdb 2 and its leaves are points. Because cos(b 1 )db 1 db 2 vanishes at b 1 = π/2 and 3π/2, the form ω III does not induce a global symplectic structure on {a 1 = 0,a 2 = 0}. symplectic foliation on {a 1 = 0,a 2 = 0} Because sin(b 1 ) vanishes at b 1 = 0 and π, the pair (sin(b 1 )db 1,sin(b 1 )db 2 ) is not a 2-cosymplectic structure on {a 1 = 0,a 2 = 0}. Since the foliation on ω III does not arise from a global structure, such as symplectic or 2-cosymplectic, on {a 1 = 0,a 2 = 0}, we will exclude forms such as this from our discussion. Definition 1.2. A k-cosymplectic structure 1 on a k+2l dimensional manifold M is a family (α i,β) of k closed one forms α i Ω 1 (M) and a closed two form β Ω 2 (M) such that ( i α i ) β l 0. By restricting our attention to log forms satisfying certain cohomological restrictions, we guarantee the existence of such a structure at the intersection of any subset of D. To any log symplectic form ω we can associate a decomposition of its cohomology class [ω] b H 2 (M) in terms of the isomorphism (1.1): (a,b 1,...,b }{{ k,c } 1,2,...,c k 1,k ) H 2 (M) }{{} b i H 1 (Z i ) c i,j H 0 i (Z i Z j ) π III H 1 (Z i ) i j H 0 (Z i Z j ). Definition 1.3. Let ω be a log symplectic form on a manifold (M,D). The structure ω is partitionable if its b-de Rham cohomology class decomposition satisfies the following conditions. (1) If b s 0, then c i,s = 0 for all i. (a,b 1,...,b k,c 1,2,...,c k 1,k ) 1 The term k-cosymplectic has also been used in classical field theories, with a different meaning, see e.g. [3] for details.

5 POISSON COHOMOLOGY OF A CLASS OF LOG SYMPLECTIC MANIFOLDS 5 (2) Consider the inclusions Z s Z t i s Z s If c s,t 0, then i s b s = i t b t = 0, and c s,j = c i,t = 0 for all j t, i s. Remark 1.4. Every partitionable type form ω determines a partition Λ D of the set D. By the definition of partitionable, if b j = 0 for Z j D, then there must exist exactly one element Z j D such that c j,j 0. The tuple Z j,z j forms a pair which we can label Z xi,z yi. We call this a pair of type x and type y. If b j 0 for Z j D, then we will label Z j in the form Z zi. We call these hypersurfaces of type z. Thus the set D admits a relabeling i t Z t Z x1,z y1,...,z xk,z yk, Z z1,...,z zl. Up to switching the labels x i and y i, and permuting the set {1,...,k} and {1,...,l}, this partition is unique. As we saw from ω I in Example 1.1, the intersection Z xi Z yi is a leaf of the induced symplectic foliation. The log symplectic form ω II showed that Z zi Z zj, when non-empty, has a codimension 2 foliation. Intuitively, intersections of pairs Z xi,z yi will be symplectic leaves. The symplectic leaves drop in dimension on intersections of hypersurfaces of type Z zj. This partition Λ D of D is vital in our computation and statement of the Poisson cohomology. Similar to the b-symplectic case, the Poisson cohomology of partitionable log symplectic structures will involve the de Rham cohomology of the b-tangent bundle, however the two will not always be isomorphic. Theorem 1.5. Let (M,π) be a partitionable log symplectic structure for D = {Z x1,z y1,...,z xk,z yk,z z1,...,z zl }. Let M denote all collections of sets I,J,K,L satisfying Set I,J,K {1,...,k},L {1,...,l} such that I and I J = I K =. m = 2 I + J + K + L and let v i denote Z xi Z yi. Then the Poisson cohomology Hπ p (M) of (M,π) is. b H p (M) M for m p. H p m ( Z xi Z yi Z xj Z yk Z zl ; N }{{} v i Z xi 1 Nv i Z yi 1 ) }{{} i I, j J, k K, l L i I

6 6 MELINDA LANIUS Remark 1.6. The factor of b H p (M) appearing in the cohomology is encoding purely topological information about the b-tangent bundle over the manifold M and the set D. The remaining factors appearing in the cohomology are encoding specific information about the bi-vector π. The proof of Theorem 1.5 appears in Section 3. In Section 2 we discuss aspects of the geometry of partitionable log symplectic structures and provide examples. Acknowledgements: I greatly benefited from attending the 2016 Poisson geometry meeting Gone Fishing held at the University of Colorado at Boulder. Travel support was provided by NSF Grant DMS for the Gone Fishing 2016 Conference. I am particularly grateful to Ioan Mărcut for inspiring this project with his suggestion that I apply my approach for computing Poisson cohomology to other settings. I am grateful to Pierre Albin for carefully reading several versions of this paper. Travel support was provided by Pierre Albin s Simon s Foundation grant # Partitionable log symplectic structures In this section we will discuss various features of partitionable log Poisson structures Local normal forms and k-cosymplectic structures. Definition 2.1. A map φ : (M 1,D 1 ) (M 2,D 2 ) is a b-map if extends to a map φ : b Ω 1 (M 2 ) M2 \D 2 b Ω 1 (M 1 ) M1 \D 1 φ : b Ω 1 (M 2 ) b Ω 1 (M 1 ). Given two log symplectic forms ω 1, ω 2 on (M,D), a log-symplectomorphism is a b-map φ : M M such that φ ω 2 = ω 1. As noted in Remark 1.4, given a partitionable log symplectic form ω on a manifold (M, D), the cohomological decomposition of [ω] gives us a partition Λ D of the set D as Z x1,z y1,...,z xk,z yk,z z1,...,z zl. Given a subset S of a divisor D, we call X S = Z SZ a maximal intersection if X is non-empty and if Z X S = for all Z D \S. We can assign a subpartition Λ S to the subset S according to the decomposition (a,b 1,...,b k,c 1,2,...,c k 1,k ) of [ω] b H 2 (M) XS. In particular, hypersurfaces of type n Λ D will remain type n the subpartition Λ S. However if

7 POISSON COHOMOLOGY OF A CLASS OF LOG SYMPLECTIC MANIFOLDS 7 there is a hypersurface Z xi of type x in S and its type y counterpart Z yi is not in S, then Z xi will have a type z designation in the subpartition Λ S. We will show that there are hypersurface defining functions, i.e. x C (M) such that Z x = {x = 0} and dx(p) 0 for all p Z, so we can express ω near X S as ω 0 = k i=1 dx i x i dy i y i + m j=1 dz j z j α j +δ. (2.1) where α j Ω 1 (X S ) is a closed form representing b zj, and δ Ω 2 (X S ) is a closed form representing a. Proposition 2.2. Let ω by a partitionable log symplectic form on a manifold (M,D). Let S be any subset of D such that X S = Z SZ is a maximal intersection and let Λ S be a subpartition of S. If (a,b 1,...,b k,c 1,2,...,c k 1,k ) is a decomposition of [ω] b H 2 (M) XS, then there exist hypersurface defining functions x i, y i, partitioned according to Λ S, a tubular neighborhood U X S, and α j Ω 1 (X S ) a closed form representing b zj and δ Ω 2 (X S ) a closed form representing a, such that on U there is a log-symplectomorphism pulling ω back to (2.1). Proof. Letω be a partitionable log symplectic form on(m,d). Given a maximal intersection X S given by S D, let (a,b 1,...,b k,c 1,2,...,c k 1,k ) be a decomposition of [ω] b H 2 (M) XS. Let x i, y i, be hypersurface defining functions partitioned according to Λ S. By the isomorphism from equation (1.1), in these coordinates ω XS = ( ( ) dxi dx j dy j dz j a ij +b ij +c ij + dy ( )) i dy j dz j d ij +e ij x i x j y j z j y i y j z j i,j + i,j f ij d dz j z j + k ( dxk A k + dy y B k + dz ) k C k +δ. x k y k z k From dω = 0, it follows that a ij,b ij,c ij,d ij,e ij,f ij are all closed 0-forms and thus are real numbers. By the definition of partitionable, the only non-zero numbers among these areb ii. Further, by the definition of partitionable, the oneformsa k andb k satisfya k Zxk Z yk = B k Zxk Z yk = 0. ThusA k XS = B k XS = 0. Thus under an appropriate relabeling and change of X S defining functions ω XS = k i=1 dx i x i dy i y i + m j=1 dz j z j α j +δ.

8 8 MELINDA LANIUS Now we will proceed by the standard relative Moser argument (See [2] Sec. 7.3 for the smooth setting, and [13] Thm 6.4 for the b-symplectic version). Pick a tubular neighborhood U 0 of X S. Define ω 0 to be ω XS pulled back to U. Then ω ω 0 = m j=1 dz j z j (α j α j )+δ δ. Since the form ω ω 0 is closed on U 0, and (ω ω 0 ) Xs = 0 and δ δ = 0, by the relative Poincaré Lemma, there exist primitives µ j of α j α j and a primitive σ of δ δ such that µ j Xs = σ XS = 0. Define µ = m j=1 dz j z j µ j +σ. Then ω ω 0 = dµ. Let ω t = (1 t)ω 0 + tω. Then dω t = ω ω 0 = dµ. dt Because µ is a log one form, the vector field defined by i vt ω t = µ is a log vector field and its flow fixes the divisor D. Further, v t = 0 on X s. Thus we can integrate v t to an isotopy that is the identity on X S and fixes D. This isotopy is the desired log-symplectomorphism. This proposition gives us k-cosymplectic structures on every intersection of subsets of D: Proposition 2.3. Let ω be a partitionable log symplectic form ω on a manifold (M,D). For any set S D such that Z is nonempty, let X = away z S z SZ from higher order intersections. The form ω induces a l-cosymplectic structure on X where l is the number of type z forms in Λ S. Proof. For any S D such that z S Z is nonempty, let X = z SZ away from higher order intersections. By equation (2.1), k dr i ω X = ds m i + r i s i i=1 i j=1 dt j t j θ j +β for closed θ j Ω 1 (X) and closed β Ω 2 (X). By the non-degeneracy of ω, 0 n ω X = ( dr i ds i) ( dt j ) θ j β n k m. r i s i t j Thus ( ) θ j β n k m 0 and (θ j,β) is an l-cosymplectic structure on X. j j

9 POISSON COHOMOLOGY OF A CLASS OF LOG SYMPLECTIC MANIFOLDS 9 By the standard symplectic linear algebra argument (for instance see [2] Sec. 1.1) we can express ω at point p D as ω p = k i=1 dx i x i dy i y i + m j=1 dz j z j ds j + n dp k dq k. By the proof of Proposition 2.2, a relative Moser s argument gives an analogue of Darboux s theorem for partitionable log symplectic structures. Corollary 2.4. Let ω be a partitionable log symplectic form ω on a manifold (M,D). Let p D and let S be the subset of D of hypersurfaces containing p. Let Λ S be a subpartition of S. Then there exist local coordinates centered at p with local hypersurface defining functions x i, y i, partitioned according to Λ S such that ω = i=1 k i=1 dx i x i dy i y i + m j=1 dz j z j ds j + k=1 n dp k dq k and the Poisson bi-vector associated to ω has the form k π = x i y i m + z j n +. y i x i s j z j q k p k j=1 Remark 2.5. In general, A-symplectic structures for a Lie algebroid A can reduce showing the existence of Darboux coordinates for a variety of structures into a standard symplectic linear algebra and a symplectic relative Moser argument. Indeed we will next show that every k-cosymplectic structure (α j,β) can sit inside a larger manifold (M, D) such that a log symplectic form on M induces (α j,β) on W. Thus, given a k-cosymplectic manifold (W,α j,β), there exist local coordinates (s 1,...,s k,p 1,q 1,...,p n,q n ) such that k=1 α j = ds j and β = dp k dq k Examples from products. In Example 18 of [7], Guillemin, Miranda, and Pires explained how given any compact b-symplectic surface (M b,π b ) and any compact symplectic surface (M s,π s ), the product (M b M s,π b + π s ) is a b-poisson manifold. Similarly, the product of any partitionable log symplectic surfaces will produce a partitionable log symplectic manifold. For instance, the torus T 2 S 1 θ S1 ρ is a log symplectic surface with partitionable form ω = dθ sin(θ) dρ sin(ρ). k=1

10 10 MELINDA LANIUS In general, we have a product structure for partitionable log symplectic manifolds: Given two partitionable log symplectic manifolds (M 1,D 1,ω 1 ) and (M 2,D 2,ω 2 ), one can show that the product (M 1 M 2,(D 1 M 2 ) (D 2 M 1 ),ω 1 +ω 2 ) is also a partitionable log symplectic manifold. Further, this product respects the existing partitions of D 1 and D 2 : For instance, if Z D 1 was type x, then Z M 2 is type x in (D 1 M 2 ) (D 2 M 1 ). We can also explicitly construct partitionable log symplectic manifolds from a given k-cosymplectic structure by taking a product with a torus. Example 2.6. Let (M,β) be any symplectic manifold. Then T k T k M with θ 1,...,θ k,ρ 1,...,ρ k angular coordinates on T k T k is a partitionable log symplectic structure with the form ω = k i=1 dθ i sin(θ i ) dρ i sin(ρ i ) +β. Let(M,α j,β) be anyk-cosymplectic manifold. ThenT k M withθ i the angle coordinates on S 1 is a partitionable log symplectic structure with the form k dθ i ω = sin(θ i ) α i +β. i= Symplectic foliations. Next we will show that the class of partitionable log symplectic structures induce regular foliations on the intersection of hypersurfaces in D. By Propositions 2.2 and 2.3 there are exactly two types of behavior for a partitionable log symplectic form at the nonempty intersection of two hypersurfaces Z 1,Z 2 in divisor D away from D \{Z 1,Z 2 }. Type 1: In the first instance, we have a form of the type Type 1 Intersection ω = dx x dy y +δ where X = {x = 0} and Y = {y = 0}. Then X Y is a symplectic leaf in the foliation induced by ω. This leaf extends the foliation on X away from X Y and extends the foliation on Y away from X Y.

11 POISSON COHOMOLOGY OF A CLASS OF LOG SYMPLECTIC MANIFOLDS 11 Type 2: In the second instance, we have a form of the type Type 2 Intersection ω = dz z α+ dv v β +δ where Z = {z = 0} and V = {v = 0}. Then ω induces a codimension 2 symplectic foliation on Z V. For general intersections, let I,J,K {1,...,k} and L {1,...,m} such that I J = I K =. On W = (Z xi Z yi ) Z xj Z yk Z zl i I j J k K away from W (D\ { Z xi,z yi,z xj,z yk,z zl } ), ω induces a regular codimension J + K + L symplectic foliation. Further, the foliation is given by the k- cosymplectic structure provided in Proposition 2.3. l L 3. Proof of Theorem 1.5 Recall, given a Poisson manifold (M,π), the Poisson cohomology Hπ (M) is defined as the cohomology groups of the Lichnerowicz complex (see for instance [4], p. 39). Thek-th element in the sequence is made up of smoothk-multivector fields on M, V k (M) := C (M; k TM). The differential is defined as V k 1 (M) dπ V k (M) dπ V k+1 (M)... d π : V k (M) V k+1 (M) d π = [π, ], where [, ] is the Schouten bracket extending the standard Lie bracket on vector fields V 1 (M). Before delving into the details of the proof of Theorem 1.5, we will sketch the computation of Poisson cohomology for a partitionable log symplectic form on T 4 to motivate the constructions involved in the proof.

12 12 MELINDA LANIUS Motivating Computation. Consider T 4 identified as T 2 T 2 with angular coordinates (x, y) and (z, t) respectively. Let D be Z x = {sin(x) = 0},Z y = {sin(y) = 0}, and Z z = {sin(z) = 0}. We equip this manifold with the log symplectic form ω = dx sin(x) dy sin(y) + dz sin(z) dt. This symplectic form is the inverse to the Poisson bi-vector π = sin(x)sin(y) y x +sin(z) t z. The image ω (TM) is spanned by dx sin(x)sin(y), dy sin(x)sin(y), dz sin(z), dt sin(z). We can realize this image as the dual of the Lie algebroid, called R, spanned by sin(x)sin(y) x, sin(x)sin(y) y, sin(z) z, sin(z) t. This is a Lie algebroid with anchor map inclusion into TM and with Lie bracket induced by the standard Lie bracket. The Lichnerowicz Poisson complex of π is isomorphic to the Lie algebroid de Rham cohomology of R. We compute the de Rham cohomology of R in stages, by first computing the de Rham cohomology of a subcomplex A. Let A denote the Lie algebroid spanned by x, y, sin(z) z, sin(z) t. This vector bundle is a Lie algebroid with anchor map the inclusion into TM and with Lie bracket induced by smoothly extending the standard Lie bracket away from Z to Z. Because A R is a sub Lie algebroid, there is an inclusion of Lie algebroid de Rham complexes A Ω p (T 4 ) R Ω p (T 4 ). We will first compute A H p (T 4 ). A degree-p A form has an expression µ = dz sin(z) dt dz dt cos(z)a+ B + C +D sin(z) sin(z) sin(z) where A Ω p 2 (Z z ), B Ω p 1 (Z z ), C Ω p 1 (Z z ), and D Ω p (T 4 ). Then dµ = dz sin(z) dt dz cos(z)da sin(z) sin(z) db cos(z) dz dt sin 2 dt C (z) sin(z) dc+dd.

13 POISSON COHOMOLOGY OF A CLASS OF LOG SYMPLECTIC MANIFOLDS 13 Note that cos(z) = ±1 when sin(z) = 0. In particular, cos(z) = 1 when z = 0 and cos(z) = 1 when z = π. Thus kerd = {C = da, db = 0, dd = 0}. If µ is closed, then there is a degree-(p 1) A form such that µ = dz dt b+ sin(z) sin(z) A+δ µ+d µ = dz (B db)+(d +dδ). (3.1) sin(z) Thus [µ + d µ] A H p (T 4 ) has a representative as in equation (3.1). This computation also shows that if µ = dz sin(z) B + D d(a Ω p 1 (T 4 )), then µ = dν for some ν A Ω p 1 (T 4 ) where ν = dz sin(z) dt dz dt cos(z)α+ β + γ +δ sin(z) sin(z) sin(z) and B = dβ, D = dδ. Thus B and D are exact. Further, if two forms ν 1,ν 2 are representatives of the same cohomology class in A H p (T 4 ), this shows that the coefficients of the expression ν 1 ν 2 must be exact. Thus we have shown that A H p (T 4 ) = {B Ωp 1 (Z z ) : db = 0} {B : B = db,b Ω p 2 (Z z )} and A H p (T 4 ) H p (T 4 ) H p 1 (Z z ). {D Ω p (T 4 ) : dd = 0} {D : D = dδ,δ Ω p 1 (T 4 )} Now we can compute R H p (T 4 ) using A H p (T 4 ). A degree-p R form µ has an expression dx dy sin 2 (x)sin 2 (y) (A 00+A 10 cos(y)sin(x)+a 01 cos(x)sin(y)+a 20 cos(y)sin 2 (x)) + dx dy sin 2 (x)sin 2 (y) (A 02cos(x)sin 2 (y)+a 11 sin(x)sin(y)) dx + sin(x)sin(y) (B dy 0 +B 1 sin(x))+ sin(x)sin(y) (C 0 +C 1 sin(y)) + dx dy D + E +F sin(x) sin(y) where A i,j A Ω p 2 (Z x Z y ), C i,d A Ω p 1 (Z x ), B i,e A Ω p 1 (Z y ), and F A Ω p (T 4 ). Further, B 0 is independent of x and C 0 is independent of y.

14 14 MELINDA LANIUS Then dµ = dx dy sin 2 (x)sin 2 (y) (da 00 +da 10 cos(y)sin(x)+da 01 cos(x)sin(y)) + dx dy sin 2 (x)sin 2 (y) (da 20cos(y)sin 2 (x)+da 02 cos(x)sin 2 (y)+da 11 sin(x)sin(y)) dx +cos(y) sin(x) dy sin 2 (y) (B dx 0+B 1 sin(x)) sin(x)sin(y) (db 0+dB 1 sin(x)) dx cos(x) sin 2 (x) dy sin(y) (C dy 0+C 1 sin(y)) sin(x)sin(y) (dc 0+dC 1 sin(y)) dx dy dd de +df. sin(x) sin(y) Note that cos(x) = ±1 when sin(x) = 0 and cos(y) = ±1 when sin(y) = 0. Thus kerd is determined by the relations da 00 = 0, B 0 = da 10, B 1 = da 20, C 0 = da 01, C 1 = da 02, da 11 = 0, dd = 0, de = 0, df = 0 even though B 1 could depend on x and C 1 could depend on y above. If dµ = 0, then there is a degree-(p 1) R form µ of the form dx dy sin 2 (x)sin 2 (y) (a dx 00 +a 11 sin(x)sin(y))+ sin(x)sin(y) (A 10 +A 20 sin(x)) dy + sin(x)sin(y) (A 01 +A 02 sin(x))+ dx sin(x) such that [µ d µ] R H p (T 4 ) has a representative δ + dy sin(y) e+f dx dy sin 2 (x)sin 2 (y) ((A 00 da 00 )+(A 11 da 11 )sin(x)sin(y)) + dx dy (D +dδ)+ (E +de)+(f df). sin(x) sin(y) This computation also shows that if µ = dx dy sin 2 (x)sin 2 (y) (A 00 +A 11 sin(x)sin(y))+ dx dy D + E +F sin(x) sin(y) is in d( R Ω p 1 (M)), then µ = dν for some ν A Ω p 1 (M) where ν = dx dy sin 2 (x)sin 2 (y) (a 00 +a 10 cos(y)sin(x)+a 01 cos(x)sin(y)+a 20 cos(y)sin 2 (x)) + dx dy sin 2 (x)sin 2 (y) (a 02cos(x)sin 2 (y)+a 11 sin(x)sin(y))

15 POISSON COHOMOLOGY OF A CLASS OF LOG SYMPLECTIC MANIFOLDS 15 dx + sin(x)sin(y) (b dy 0 +b 1 sin(x))+ sin(x)sin(y) (c 0 +c 1 sin(y)) + dx dy δ + sin(x) sin(y) e+f and A 00 = da 00, A 11 = da 11, D = dδ, E = de, and F = df. Thus if two forms ν 1,ν 2 are representatives of the same cohomology class in R H p (T 4 ), then the coefficients of the expression ν 1 ν 2 must be exact. Thus, we have shown R H p (T 4 ) is { A00 A Ω p 2 (Z x Z y ) : da 00 = 0 } { A 11 A Ω p 2 (Z x Z y ) : da 11 = 0 } {A 00 = da 00,a 00 A Ω p 3 (Z x Z y )} {A 11 = da 11,a 11 A Ω p 3 (Z x Z y )} { D A Ω p 1 (Z x ) : dd = 0 } { E A Ω p 1 (Z y ) : de = 0 } {D = dδ,δ A Ω p 2 (Z x )} {E = de,e A Ω p 2 (Z y )} { F A Ω p (T 4 ) : df = 0 } {F = df,f A Ω p 1 (T 4 )}. Thus in fixed coordinates x,y,z,t, R H p (T 4 ) is computable as A H p (T 4 ) A H p 1 (Z y ) A H p 1 (Z x ) A H p 2 (Z x Z y ) A H p 2 (Z x Z y ) H p (T 4 ) H p 1 (Z z ) H p 1 (Z }{{} y ) H p 2 (Z y Z z ) H p 1 (Z x ) H p 2 (Z x Z z ) }{{}}{{} A H p (T 4 ) A H p 1 (Z y) A H p 1 (Z x) H p 2 (Z x Z y ) H p 3 (Z x Z y Z z ) H p 2 (Z }{{} x Z y ) H p 3 (Z x Z y Z z ). }{{} A H p 2 (Z x Z y) A H p 2 (Z x Z y) We will now discuss the details necessary to complete the computation for general partitionable log symplectic structures Good tubular neighborhoods. Consider a manifold M with a set D of smooth transversely intersecting hypersurfaces. For each point p D, there is a chart (U,f) of M centered at p such that f(d) is a union of a subset of the coordinate hyperplanes in R n intersected with f(d). A good tubular neighborhood τ = Z ( ε,ε) of Z D is a neighborhood that extends charts of the type U above at the intersection of Z (D \Z). In our computations below we will always use good tubular neighborhoods. For existence of such neighborhoods, see for instance section 5 of [1].

16 16 MELINDA LANIUS 3.2. Constructing the rigged algebroid. To compute the Poisson cohomology of a partitionable log symplectic manifold we will use rigged algebroids, see [9] for more details. Definition 3.1. Given a partitionable log symplectic manifold (M, D, ω), the dual rigged bundle log R is the extension to M of the image ω (TM) away from D. The log rigged forms are logr Ω p (M) = C (M; p ( log R )). The rigged Lie algebroid is isomorphic to the Poisson Lie algebroid T M with anchor map π = (ω ) 1. Because the log rigged anchor map ρ is given by inclusion into T M, this new setting translates the computation of Poisson cohomology into the familiar language of de Rham cohomology of T M. T M log R π TM ρ Next, we will identify the Lie algebroid log R. For the purposes of computing Poisson cohomology, it will be useful to construct log R through a sequence of rescalings The Lie algebroid A i. Consider an expression ofω as in equation (2.1): k dx i ω = dy m i dz j + α j +δ. x i y i z j i=1 We will begin by rescaling TM at Z z1 by the vector bundle kerα 1 Z z1. In order to employ Theorem 2.2 from [9], we must verify that Let X,Y kerα 1. Consider j=1 [kerα 1,kerα 1 ] kerα 1. dα 1 (X,Y) = Xα 1 (Y) Yα 1 (X) α 1 ([X,Y]). (3.2) Because dα 1 = 0 and X,Y kerα 1, this reduces to α 1 ([X,Y]) = 0. Thus [X,Y] kerα 1. Thus by Theorem 2.2 in [9], there is a Lie algebroida 1 whose space of sections is { u C (M;TM) : u Zz1 C (Z z1;kerα 1 ) }. Note that the cotangent bundle T M includes into A 1. Thus the one form α 2 Ω 1 (M) Zz2 can be lifted to a one form α 2 = i(α 2 ) A 1 Ω 1 (M) Zz2. A 1 Zz2 i α 2 T M Zz2 α 2 M

17 POISSON COHOMOLOGY OF A CLASS OF LOG SYMPLECTIC MANIFOLDS 17 Note that we can always lift forms in this way, however the lifted form may vanish at Z z1 Z z2 while the original does not. In order to employ Theorem 2.2 from [9], we must verify that ker α 2 is a subbundle of A 1 Zz2. Because α 2 is a closed one-form in a k-cosymplectic structure at Z z2, kerα 2 is a subbundle of TM Zz2. Away from Z z1 Z z2, the inclusion i gives us an isomorphism A 1 Z z2 T M Zz2 and it is clear that ker α 2 is a subbundle of A 1 Z z2. Let p Z z1 Z z2. Then, as described in Remark 2.5, there exist local coordinates z 1,s 1,z 2,s 2,p 1,...,p n of M at Z z1 Z z2 such that α 1 = ds 1 and α 2 = ds 2. Note that and T p M is spanned by dz 1,ds 1,dz 2,ds 2,dp 1,...,dp n A 1 p is spanned by dz 1 z 1, ds 1 z 1,dz 2,ds 2,dp 1,...,dp n. Note that the support ofα 2 is the image of the support of α 2 under the anchor map of A 1. Thus rank(kerα 2 )=rank(ker α 2 ) and ker α 2 is a subbundle of A 1 Zz2. We will form A 2 by rescaling A 1 by ker α 2 at Z 2. By the computation analogous to equation (3.2) with respect to α 2, there exists a Lie algebroid A 2 whose space of sections is { u C (M;A 1 ) : u Zz2 C (Z z2 ;ker α 2 ) }. To form A j we will rescale A j 1 at Z zj. As above, we lift the one form α j Ω 1 (Z zj ) to the one form α j = i(α j ) A j 1 Ω 1 (M) Zzj. Analogous to the argument above, one can verify in local coordinates that ker α j is a subbundle of A j 1 Zzj. By computation (3.2), there exists a Lie algebroid A j whose space of sections is { } u C (M;A j 1 ) : u Zzj C (Z zj ;ker α j ) The Lie algebroid B i. Next, we rescale A m at Z xi and Z yi. As previously described, we can lift the one form dx 1 Ω 1 (M) Zx1 to the one form dx 1 = i(dx 1 ) Am Ω 1 (M) Zx1 and we can lift dy 1 Ω 1 (M) Zy1 to the one form dy 1 = i(dy 1 ) Am Ω 1 (M) Zy1. The A m -one form dx 1 is non-zero at Z x1 and the A m -one form dy 1 is non-zero at Z y1. Further, by (3.2) above, [ker dx 1,ker dx 1 ] ker dx 1 and [ker dy 1,ker dy 1 ] ker dy 1. Additionally, since we are working in a good tubular neighborhood, Thus [ x1, y1 ] = 0. [ker dx 1 ker dy 1,ker dx 1 ker dy 1 ] ker dx 1 ker dy 1

18 18 MELINDA LANIUS and by Theorem 2.2 in [9], there exists a Lie algebroidb 1 whose space of sections is { } u C (M;A m ) u Z x1 C (Z x1,ker dx 1 ). u Zy1 C (Z y1,ker dy 1 ) We iteratively form B j by rescaling B j 1. First, we lift the one form dx j Ω 1 (M) Zxj to the one form dx j = i(dx j ) B j 1 Ω 1 (M) Zxj and we lift dy j Ω 1 (M) Zyj to the one form dy j = i(dy j ) B j 1 Ω 1 (M) Zyj. Similar to above, the algebroid B n is the vector bundle whose space of sections is { } u C (M;B j 1 ) u Zxj C (Z xj,ker dx j ). u Zyj C (Z yj,ker dy j ) By using our local expression for a partitionable log symplectic form ω, one can check that B k = log R as a vector bundle and, by the continuity of the standard Lie bracket off of D, these are in fact isomorphic as Lie algebroids. If W = Z is non-empty, then for all p W there exist local coordinates Z D (x 1,y 1,...,x k,y k, z 1,v 1,...,z l,v l, p 1,q 1...,p m,q m ) such that the sections of log R are smooth linear combinations of x 1 y 1 x 1,x 1 y 1 y 1,...,x k y k x k,x k y k y k, z 1 z 1,z 1 v 1,...,z l z l,z l v l, and p 1, We can locally identify log R as the span of The log rigged de-rham forms are dx i x i y i, dy i x i y i, z j z j, α j z j,dp n,dq n. q 1,..., logr Ω p (M) = C (M; p ( log R )), p m, q m. smooth sections of the p-th exterior power of log R. This complex has exterior derivative d given by extending the standard smooth differential on M \D to M Computing the de Rham cohomology of log R. Lemma 3.2. The Poisson cohomology of a partitionable log Poisson manifold (M,D,π) is isomorphic to the de Rham cohomology logr H (M) of the log rigged algebroid log R.

19 POISSON COHOMOLOGY OF A CLASS OF LOG SYMPLECTIC MANIFOLDS 19 The details of the proof of this lemma can be found in Section 5 of [9]. Note that we have inclusions of de Rham complexes: A 1 Ω (M) Am Ω (M) B 1 Ω (M) B k Ω (M) = logr Ω (M). Lemma 3.3. Let D be the subset of D consisting of hypersurfaces labeled Z zi. The Lie algebroid cohomology of A m is isomorphic to the de Rham cohomology of the log D tangent bundle. That is, H p τ ( ) Z zj A m H p (M) H p (M) τ T where T denotes all of the nonempty subsets of j τ { } 1,..., D. Proof. The bundle map i : A i A i 1 constructed in Theorem 2.2 of [9] is an inclusion of Lie algebroids and hence fits into a short exact sequence of complexes 0 A i 1 Ω p (M) A i Ω p (M) C p 0 where C p = A i Ω p (M)/ A i 1 Ω p (M). The differential on C d is induced by the differential A i d on A i Ω p (M): if P is the projection A i Ω p (M) A i Ω p (M)/ A i 1 Ω p (M), then C d(η) = P( A i d(θ)) where θ A i Ω p (M) is any form such that P(θ) = η. Hence ( C d) 2 = 0 and (C, C d) is in fact a complex. Given a good tubular neighborhood τ = Z zi ( ε,ε) zi of M near Z zi, note that defines a trivialization t zi : N Z zi R of N Z zi. We can write a degree-p A i form µ A i Ω p (M) as µ = θ + d α i z 2 i A+ d B + α i C and θ A i 1 Ω p (M), A,B,C A i 1 Ω (Z zi ) A i 1 Ω (Z zi ; N Z zi 1 ) by t zi. We write R(µ) = θ and S(µ) = µ R(µ) for regular and singular parts. It is easy to see that R(dµ) = d(r(µ)) and S(dµ) = d(s(µ)). Thus the trivialization τ induces a splitting A i Ω (M) = A i 1 Ω (M) C as complexes. As a consequence A i H p (M) = A i 1 H p (M) H p (C ) and we are left to compute the cohomology of the quotient complex. After identifying C p = { µ A i Ω p (M) : θ = 0 }, the differential is given by dµ = d α i (da C) d db α i dc. zi 2 Thus ker(d : C p C p+1 ) = {C = da, db = 0}. If dµ = 0, then there is µ = α i A d b C p 1

20 20 MELINDA LANIUS ( such that d α i A dz ) i b = d α i zi 2 [µ d µ] H p (C) has representative d (B db). A+ α i da d db. Then This computation also shows that if µ = d B d(c p 1 ), then µ = dν for some ν C p 1 where ν = d α i a+ d b+ α i c and B = db. Thus B is exact. Further, if two forms ν 1,ν 2 are representatives of the same cohomology class in H p (C), this shows that the coefficients of the expression ν 1 ν 2 must be exact. Let us consider the effect of changing thez zi -defining function. By the change of Z zi defining function computation found in Example 2.11 of [9], the cohomology class [B db] is unambiguous despite a representative being expressed using a particular{ Z zi defining function. B A i 1 Ω p 1 (M) : dd = 0 } Thus H p (C) = {B = db,b A i 1 Ω p 2 (M)} and A i H p (M) A i 1 H p (M) A i 1 H p 1 (Z zi ). Since A 1 H p (M) H p (M) H p 1 (Z z1 ), we have that H p τ ( ) Z zj A m H p (M) H p (M) τ T where T denotes all of the nonempty subsets of j τ { } 1,..., D. Lemma 3.4. The Lie algebroid cohomology of B m is isomorphic to b H p (M) M H p m ( Z xi Z yi Z xj Z yk Z zl ; N }{{} v i Z xi 1 Nv i Z yi 1 ) }{{} i I, j J, k K, l L i I where M denotes all collections of sets I,J,K,L satisfying I,J,K {1,...,k},L {1,...,n} such that I, and I J = I K = with m := 2 I + J + L + K and v i = Z xi Z yi. Proof. We set B 0 = A m. The bundle map i : B i B i 1 constructed in Theorem 2.2 of [9] is an inclusion of Lie algebroids and hence fits into a short exact sequence of complexes 0 B i 1 Ω p (M) B i Ω p (M) C p 0.

21 where POISSON COHOMOLOGY OF A CLASS OF LOG SYMPLECTIC MANIFOLDS 21 C p = B i Ω p (M)/ B i 1 Ω p (M). The differential on C d is induced by the differential B i d on B i Ω p (M): if P is the projection B i Ω p (M) B i Ω p (M)/ B i 1 Ω p (M), then C d(η) = P( B i d(θ)) where θ B i Ω p (M) is any form such that P(θ) = η. Hence ( C d) 2 = 0 and (C, C d) is in fact a complex. Given good tubular neighborhoods τ x = Z xi ( ε,ε) xi of M near Z xi and τ y = Z yi ( ε,ε) yi of M near Z yi, note that z xi defines a trivialization t xi : N Z xi R of N Z xi and z yi defines a trivialization t yi : N Z yi R of N Z yi. We can write a degree-p B i form µ B i Ω p (M) as µ = θ+ dx i dy i x 2 i y2 i (A 00 +A 10 x i +A 01 y i +A 20 x 2 +A 02 y 2 +A 11 x i y i ) + dx i x i y i (B 0 +B 1 x i )+ dy i x i y i (C 0 +C 1 y i )+ dx i x i D+ dy i y i E where θ B i 1 Ω p (M), A k,l B i 1 Ω (Z xi Z yi ) B i 1 Ω (Z xi Z yi ; N v i Z xi 1 N v i Z xi 1 ) by t xi, t yi where v i = Z xi Z yi, C i,d B i 1 Ω (Z xi ) B i 1 Ω (Z xi ; N Z xi 1 ) by t yi, and B i,e B i 1 Ω (Z yi ) B i 1 Ω (Z yi ; N Z yi 1 ) by t xi. Further, B 0 is independent of x and C 0 is independent of y. We write R(µ) = θ and S(µ) = µ R(µ) for regular and singular parts. It is easy to see that R(dµ) = d(r(µ)) and S(dµ) = d(s(µ)). Thus the trivializations τ xi,τ yi induce a splitting B i Ω (M) = B i 1 Ω (M) C as complexes. As a consequence B i H p (M) = B i 1 H p (M) H p (C ) and we are left to compute the cohomology of the quotient complex. After identifying C p = { µ B i Ω p (M) : θ = 0 }, the differential is given by dµ = dx i dy i x 2 i y2 i (da 00 +(da 10 +B 0 )x i +(da 01 C 0 )y i +(da 20 +B 1 )x 2 +(da 02 C 1 )y 2 ) + dx i dy i da x 2 11 x i y i dx i db dy i dc dx i dd dy i de. i y2 i x i y i x i y i x i y i Thus ker(d : C p C p+1 ) can be identified with the relations da 00 = 0, B 0 = da 10, B 1 = da 20, C 0 = da 01, C 1 = da 20, da 11 = 0, dd = 0, de = 0 even though B 1 could depend on x i and C 1 could depend on y i above.

22 22 MELINDA LANIUS If dµ = 0, then there is an element µ in C p 1, µ = dx i (A 10 +A 20 x i )+ dy i (A 01 +A 02 y i )+ dx i dy i (a 00 +a 11 x i y i ) x i y i x i y i such that µ d µ equals dx i dy i x 2 i y2 i + dx i x i δ + dy i y i e x 2 i y2 i ((A 00 da 00 )+(A 11 da 11 )x i y i ) + dx i x i (D+dδ)+ dy i y i (E+de). This computation also shows that if µ = dx i dy i (A x A 11 x i y i )+ dx i D+ dy i E i y2 i x i y i is in d(c p 1 ), then µ = dν for some ν C p 1 where ν = dx i dy i x 2 i y2 i (a 00 +a 10 x i +a 01 y i +a 20 x 2 i +a 02y 2 i +a 11x i y i ) + dx i (b 0 +b 1 x i )+ dy i (c 0 +c 1 y i )+ dx i δ + dy i e x i y i x i y i x i y i and A 00 = da 00, A 11 = da 11, D = dδ, and E = de. Thus if two forms ν 1,ν 2 are representatives of the same cohomology class in H p (C p ), then the coefficients of the expression ν 1 ν 2 must be exact. Note that dx i dy i (A 11 da 11 ) + dx i (D + dδ) + dy i (E + de) is a x i y i x i y i log D i symplectic form for D i = { } Z z1,...,z zl,z x1,z y1,...,z xj,z yj. Further, B i Ω p (M) splits as log D i Ω p (M) D p for the appropriate quotient complex D p. Thus we know that the representatives (A 11 da 11 ),(D+dδ), and (E+de) are invariant under change of Z xi and Z yi defining function. Thus we are left to compute what happens to dx i dy i (A x 2 00 da 00 ) i y2 i under change of Z xi and Z yi defining function. By this computation, which occurs at the conclusion of the proof of theorem 2.15 in [9], dx i dy i x 2 i y2 i can be identified as an element of (A 00 da 00 ) B i 1 H p 2 (Z xi Z yi ) B i 1 H p 2 (Z xi Z yi ; N v i Z xi 1 N v i Z yi 1 ) trivialized by t xi and t yi, and where v i = Z xi Z yi. Thus B i H p (M) B i 1 H p (M) B i 1 H p 1 (Z xi ) B i 1 H p 1 (Z yi ) B i 1 H p 2 (Z xi Z yi )

23 POISSON COHOMOLOGY OF A CLASS OF LOG SYMPLECTIC MANIFOLDS 23 B i 1 H p 2 (Z xi Z yi ; N Z xi 1 N Z yi 1 ). Since A m = B 0, by using Lemma 3.3 we can conclude that the cohomology B m H p (M) is b H p (M) M H p m ( Z xi Z yi Z xj Z yk Z zl ; N }{{} v i Z xi 1 Nv i Z yi 1 ) }{{} i I, j J, k K, l L i I where M denotes all collections of sets I,J,K,L satisfying I,J,K {1,...,k},L {1,...,n} such that I, and I J = I K = with m := 2 I + J + L + K and v i denotes Z xi Z yi. Since B m = log R, we have reached the conclusion of Theorem 1.5. References [1] Pierre Albin and Richard Melrose. Resolution of smooth group actions. Contemp. Math 535 (2011): [2] Ana Cannas da Silva. Lectures on Symplectic Geometry, Lecture Notes in Mathematics, no. 1764, Springer-Verlag, [3] Beniamino Cappelletti-Montano, Antonio De Nicola, and Ivan Yudin. A survey on cosymplectic geometry. Reviews in Mathematical Physics (2013): [4] Jean-Paul Dufour and Nguyen Tien Zung. Poisson Structures and Their Normal Forms. Progress in Mathematics, Volume 242, Birkhauser, [5] Pedro Frejlich, David Martínez Torres, and Eva Miranda. Symplectic topology of b- symplectic manifolds preprint arxiv: [6] Marco Gualtieri, Songhao Li, Alvaro Pelayo, and Tudor Ratiu. The tropical momentum map: a classification of toric log symplectic manifolds preprint arxiv: [7] Victor Guillemin, Eva Miranda, and Ana Rita Pires. Symplectic and Poisson geometry on b-manifolds. Adv. Math. 264 (2014), [8] Victor Guillemin, Eva Miranda, Ana Rita Pires, and Geoffrey Scott. Toric actions on b-symplectic manifolds. Int Math Res Notices. first published online July 8, [9] Melinda Lanius. Symplectic, Poisson, and contact geometry on scattering manifolds preprint arxiv: [10] Ioan Mărcut and Boris Osorno Torres. Deformations of log-symplectic structures. J. Lond. Math. Soc. (2) 90 (2014), no. 1, [11]. On cohomological obstructions for the existence of log-symplectic structures. Journal of Symplectic Geometry 12.4 (2014): [12] Richard Melrose. The Atiyah-Patodi-Singer Index Theorem. Research Notes in Mathematics, Book 4, A K Peters/CRC Press, [13] Geoffrey Scott. The Geometry of b k Manifolds preprint arxiv: v2. Department of Mathematics, University of Illinois, 1409 West Green Street, Urbana, IL 61801, USA. address: lanius2@illinois.edu