On the cohomology of highly connected covers of finite Hopf spaces

Relying on the computation of the André-Quillen homology groups for unstable Hopf algebras, we prove that if the mod p cohomology of both the fiber and the base in an H-fibration is finitely generated as algebra over the Steenrod algebra, then so is the mod p cohomology of the total space. In particular, the mod p cohomology of the n-connected cover of a finite H-space is always finitely generated as algebra over the Steenrod algebra.     

Intersection numbers of cycles on locally symmetric spaces and fourier coefficients of holomorphic modular forms in several complex variables

Using the theta correspondence we construct liftings from the cohomology with compact supports of locally symmetric spaces associated to O(p, q) (resp. U(p, q)) of degreenq (resp. Hodge typenq, nq) to the space of classical holomorphic Siegel modular forms of weight (p +q)/2 and genusn (resp. holomorphic hermitian modular forms of weightp +q and genusn). It is important to note that the cohomology with compact supports contains the cuspidal harmonic forms by Borel [3]. We can express the Fourier coefficients of the lift of η in terms of periods of η over certain totally geodesic cycles—generalizing Shintani’s solution [21] of a conjecture of Shimura. We then choose η to be the Poincaré dual of a (finite) cycle and obtain a collection of formulas analogous to those of Hirzebruch-Zagier [8]. In our previous work we constructed the above lifting but we were unable to prove that it took values in theholomorphic forms. Moreover, we were unable to compute the indefinite Fourier coefficients of a lifted class. By Koecher’s Theorem we may now conclude that all such coefficients are zero. Partially supported by NSF Grant # MCS-82-01660. Partially supported by NSF Grant # DMS-85-01742.     

On a generalization of the Hadwiger–Nelson problem

For a field F and a quadratic form Q defined on an n-dimensional vector space V over F, let QG _Q , called the quadratic graph associated to Q, be the graph with the vertex set V where vertices u,w ∈ V form an edge if and only if Q(v ? w) = 1. Quadratic graphs can be viewed as natural generalizations of the unit-distance graph featuring in the famous Hadwiger–Nelson problem. In the present paper, we will prove that for a local field F of characteristic zero, the Borel chromatic number of QG _Q is infinite if and only if Q represents zero non-trivially over F. The proof employs a recent spectral bound for the Borel chromatic number of Cayley graphs, combined with an analysis of certain oscillatory integrals over local fields. As an application, we will also answer a variant of question 525 proposed in the 22nd British Combinatorics Conference 2009 [6].     

The cohomology of the cotangent bundle of Heisenberg groups

Given a parabolic subalgebra g₁×n of a semisimple Lie algebra, Kostant (Ann. Math. 1963) and Griffiths (Acta Math. 1963) independently computed the g₁ invariants in the cohomology group of n with exterior adjoint coefficients. By a theorem of Bott (Ann. Math. 1957), this is the cohomology of the associated compact homogeneous space with coefficients in the sheaf of local holomorphic forms. In this paper we determine explicitly the full module structure, over the symplectic group, of the cohomology group of the Heisenberg Lie algebra with exterior adjoint coefficients. This is the cohomology of the cotangent bundle of the Heisenberg group.     

Equidistribution of signs for modular eigenforms of half integral weight

Let f be a cusp form of weight k + 1/2 and at most quadratic nebentype character whose Fourier coefficients a(n) are all real. We study an equidistribution conjecture of Bruinier and Kohnen for the signs of a(n). We prove this conjecture for certain subfamilies of coefficients that are accessible via the Shimura lift by using the Sato–Tate equidistribution theorem for integral weight modular forms. Firstly, an unconditional proof is given for the family {a(tp ²)} _p , where t is a squarefree number and p runs through the primes. In this case, the result is in terms of natural density. To prove it for the family {a(tn ²)} _n where t is a squarefree number and n runs through all natural numbers, we assume the existence of a suitable error term for the convergence of the Sato–Tate distribution, which is weaker than one conjectured by Akiyama and Tanigawa. In this case, the results are in terms of Dedekind–Dirichlet density.     

Hausdorff operators defined by measures on <Emphasis Type="Italic">p</Emphasis>-adic linear spaces and their norms

For Hausdorff operator defined by a measure on p-adic linear space Q _p ⁿ we give the exact values for its norms in power type Morrey space,BMO(Q _p ⁿ ) and BLO(Q _p ⁿ ). Also we prove the sharp two-sided estimate for its norm in Herz space. These results generalize some previous results of the author.     

Normal connections induced by a framed hypersurface in the conformal space

We find two normal connections induced by the normal framing of a hypersurface V _{n ? 1} in the conformal space C _n , and establish relationship between these connections and a Weyl connection which is also induced by the normal framing of V _{n ? 1}. We study two normal connections induced by a complete framing of a hypersurface V _{n ? 1} in C _n . We establish relationship between geometries of a framed hypersurface V _{n ? 1} of the conformal space C _n and a quadratic hyperband of the projective space P _{n + 1} associated with V _{n ? 1}.     

Degrees of the Elliptic Teichmüller Lift

The purpose of this paper is to find upper bounds for the degrees, or equivalently, for the order of the poles at O, of the coordinate functions of the elliptic Teichmüller lift of an ordinary elliptic curve over a perfect field of characteristic p. We prove the following bounds:ord₀(x_n)?−(n+2)pⁿ+npⁿ⁻¹, ord₀(y_n)?−(n+3)pⁿ+npⁿ⁻¹. Also, we prove that the bound for x_n is not the exact order if, and only if, p divides (n+1), and the bound for y_n is not the exact order if, and only if, p divides (n+1)(n+2)/2. Finally, we give an algorithm to compute the reduction modulo p³ of the canonical lift for p≠2,3.     

Cheeger–Chern–Simons Theory and Differential String Classes

We construct new concrete examples of relative differential characters, which we call Cheeger–Chern–Simons characters. They combine the well-known Cheeger–Simons characters with Chern–Simons forms. In the same way as Cheeger–Simons characters generalize Chern–Simons invariants of oriented closed manifolds, Cheeger–Chern–Simons characters generalize Chern–Simons invariants of oriented manifolds with boundary. We study the differential cohomology of compact Lie groups G and their classifying spaces BG. We show that the even degree differential cohomology of BG canonically splits into Cheeger–Simons characters and topologically trivial characters. We discuss the transgression in principal G-bundles and in the universal bundle. We introduce two methods to lift the universal transgression to a differential cohomology valued map. They generalize the Dijkgraaf–Witten correspondence between 3-dimensional Chern–Simons theories and Wess–Zumino–Witten terms to fully extended higher-order Chern–Simons theories. Using these lifts, we also prove two versions of a differential Hopf theorem. Using Cheeger–Chern–Simons characters and transgression, we introduce the notion of differential trivializations of universal characteristic classes. It generalizes well-established notions of differential String classes to arbitrary degree. Specializing to the class \({\frac{1}{2} p_1 \in H^4(B{\rm Spin}_n;\mathbb{Z})}\), we recover isomorphism classes of geometric string structures on Spin _n -bundles with connection and the corresponding spin structures on the free loop space. The Cheeger–Chern–Simons character associated with the class \({\frac{1}{2} p_1}\) together with its transgressions to loop space and higher mapping spaces defines a Chern–Simons theory, extended down to points. Differential String classes provide trivializations of this extended Chern–Simons theory. This setting immediately generalizes to arbitrary degree: for any universal characteristic class of principal G-bundles, we have an associated Cheeger–Chern–Simons character and extended Chern–Simons theory. Differential trivialization classes yield trivializations of this extended Chern–Simons theory.     

Space of invariant bilinear forms

Let \({\mathbb {F}}\) be a field, V a vector space of dimension n over \({\mathbb {F}}\). Then the set of bilinear forms on V forms a vector space of dimension \(n^2\) over \({\mathbb {F}}\). For char \({\mathbb {F}}\ne 2\), if T is an invertible linear map from V onto V then the set of T-invariant bilinear forms, forms a subspace of this space of forms. In this paper, we compute the dimension of T-invariant bilinear forms over \({\mathbb {F}}\). Also we investigate similar type of questions for the infinitesimally T-invariant bilinear forms (T-skew symmetric forms). Moreover, we discuss the existence of nondegenerate invariant (resp. infinitesimally invariant) bilinear forms.     

On polyvectors of vector spaces and hyperplanes of projective Grassmannians

We investigate relationships between polyvectors of a vector space V, alternating multilinear forms on V, hyperplanes of projective Grassmannians and regular spreads of projective spaces. Suppose V is an n-dimensional vector space over a field F and that A_n-1,k(F) is the Grassmannian of the (k − 1)-dimensional subspaces of PG(V) (1  ? k ? n − 1). With each hyperplane H of A_n-1,k(F), we associate an (n − k)-vector of V (i.e., a vector of ∧^n−kV) which we will call a representative vector of H. One of the problems which we consider is the isomorphism problem of hyperplanes of A_n-1,k(F), i.e., how isomorphism of hyperplanes can be recognized in terms of their representative vectors. Special attention is paid here to the case n = 2k and to those isomorphisms which arise from dualities of PG(V). We also prove that with each regular spread of the projective space PG(2k-1,F), there is associated some class of isomorphic hyperplanes of the Grassmannian A_2k-1,k(F), and we study some properties of these hyperplanes. The above investigations allow us to obtain a new proof for the classification, up to equivalence, of the trivectors of a 6-dimensional vector space over an arbitrary field F, and to obtain a classification, up to isomorphism, of all hyperplanes of A_5,3(F).     

On the spectral expansion of hyperbolic Eisenstein series

In this article, we determine the spectral expansion, meromorphic continuation, and location of poles with identifiable singularities for the scalar-valued hyperbolic Eisenstein series. Similar to the form-valued hyperbolic Eisenstein series studied in Kudla and Millson (Invent Math 54:193–211, 1979), the scalar-valued hyperbolic Eisenstein series is defined for each primitive, hyperbolic conjugacy class within the uniformizing group associated to any finite volume hyperbolic Riemann surface. Going beyond the results in Kudla and Millson (Invent Math 54:193–211, 1979) and Risager (Int Math Res Not 41:2125–2146, 2004), we establish a precise spectral expansion for the hyperbolic Eisenstein series for any finite volume hyperbolic Riemann surface by first proving that the hyperbolic Eisenstein series is in L ². Our other results, such as meromorphic continuation and determination of singularities, are derived from the spectral expansion.     

Twisted inner products and contraction inequalities on spaces of contravariant and covariant tensors

Given positive integers n and p, and a complex finite dimensional vector space V, we let S_n,p(V) denote the set of all functions from V×V×?×V-(n+p copies) to C that are linear and symmetric in the first n positions, and conjugate linear symmetric in the last p positions. Letting κ=min{n,p} we introduce twisted inner products, [·,·]_s,t,1?s,t?κ, on S_n,p(V), and prove the monotonicity condition [F,F]_s,t?[F,F]_u,v is satisfied when s?u?κ,t?v?κ, and F∈S_n,p(V). Using the monotonicity condition, and the Cauchy-Schwartz inequality, we obtain as corollaries many known inequalities involving norms of symmetric multilinear functions, which in turn imply known inequalities involving permanents of positive semidefinite Hermitian matrices. New tensor and permanental inequalities are also presented. Applications to partial differential equations are indicated.     

Note on group distance magic complete bipartite graphs

A Γ-distance magic labeling of a graph G = (V, E) with |V| = n is a bijection ? from V to an Abelian group Γ of order n such that the weight $w(x) = \sum\nolimits_{y \in N_G (x)} {\ell (y)}$ of every vertex x ∈ V is equal to the same element µ ∈ Γ, called the magic constant. A graph G is called a group distance magic graph if there exists a Γ-distance magic labeling for every Abelian group Γ of order |V(G)|. In this paper we give necessary and sufficient conditions for complete k-partite graphs of odd order p to be ? _p -distance magic. Moreover we show that if p ≡ 2 (mod 4) and k is even, then there does not exist a group Γ of order p such that there exists a Γ-distance labeling for a k-partite complete graph of order p. We also prove that K _m,n is a group distance magic graph if and only if n + m ? 2 (mod 4).     

Action of Hecke operators on cohomology of modular curves of level two

We calculate the action of the p-th Hecke operator and the inertia group on the ?-adic cohomology of modular curve of level Γ₀(p ²) under the assumption p ≥ 13, using only a local geometrical method. We also calculate the action of the p-th Hecke operator and the inertia group on the ?-adic cohomology of the Lubin-Tate space of the same level over the maximal unramified extension of ${\mathbb{Q}_p}$ .     

Hochschild Cohomology of Deformation Quantizations over ℤ/<Emphasis Type="Italic">p</Emphasis><Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>ℤ

Let A ₁ be an Azumaya algebra over a smooth affine symplectic variety X over Spec F _p , where p is an odd prime. Let A be a deformation quantization of A ₁ over the p-adic integers. In this note we show that for all n ≥ 1, the Hochschild cohomology of A/p ⁿ A is isomorphic to the de Rham-Witt complex \(W_{n}{\Omega }^{\ast }_{X}\) of X over \(\mathbb {Z}/p^{n}\mathbb {Z}\). We also compute the center of deformations of certain affine Poisson varieties over F _p .