The t-singular homology of orbifolds

For an orbifold M we define a new homology group, called t-singular homology group t-Hq(M) by using singular simplicies intersecting ‘transversely’ with ΣM. The rightness of this homology group is ensured by the facts that the 1-dimensional homology group t-H₁(M) is isomorphic to the abelianization of the orbifold fundamental group π₁(M,x₀). If M is a manifold, t-Hq(M) coincides with the usual singular homology group. We prove that it is a ‘b-homotopy’ invariant of orbifolds and develop many algebraic tools for the calculations. Consequently we calculate the t-singular homology groups of several orbifolds.     

The loop orbifold of the symmetric product

Using the loop orbifold of the symmetric product, we give a formula for the Poincaré polynomial of the free loop space of the Borel construction of the symmetric product. We also show that the Chas-Sullivan orbifold product structure in the homology of the free loop space of the Borel construction of the symmetric product induces a ring structure in the homology of the inertia orbifold of the symmetric product. For a general almost complex orbifold, we define a new ring structure on the cohomology of its inertia orbifold which we call the virtual intersection ring. Finally we show that under Poincaré duality in the case of the symmetric product orbifold, both ring structures are isomorphic.     

The ws-singular cohomology of orbifolds

We define a cohomology with integral coefficients of an orbifold M, which we call the ws-singular cohomology ws-Hq(M) of M.     

Some superconvergence results of high-degree finite element method for a second order elliptic equation with variable coefficients

In this paper, some superconvergence results of high-degree finite element method are obtained for solving a second order elliptic equation with variable coefficients on the inner locally symmetric mesh with respect to a point x ₀ for triangular meshes. By using of the weak estimates and local symmetric technique, we obtain improved discretization errors of O(h ^p+1 |ln h|²) and O(h ^p+2 |ln h|²) when p (≥ 3) is odd and p (≥ 4) is even, respectively. Meanwhile, the results show that the combination of the weak estimates and local symmetric technique is also effective for superconvergence analysis of the second order elliptic equation with variable coefficients.     

Calabi's diastasis function for Hermitian symmetric spaces

In this paper we study the Calabi diastasis function of Hermitian symmetric spaces. This allows us to prove that if a complete Hermitian locally symmetric space (M,g) admits a Kähler immersion into a globally symmetric space (S,G) then it is globally symmetric and the immersion is injective. Moreover, if (S,G) is symmetric of a specified type (Euclidean, noncompact, compact), then (M,g) is of the same type. We also give a characterization of Hermitian globally symmetric spaces in terms of their diastasis function. Finally, we apply our analysis to study the balanced metrics, introduced by Donaldson, in the case of locally Hermitian symmetric spaces.     

An index product formula for the study of elliptic resonance problems

Let $\text{(P)}\text{u}\text{?}\text{+ Au = f(u)}$ be a semilinear parabolic equation. If f(0) = 0 and f is of class C¹ in a neighborhood of 0, then there exists a local center manifold M near zero containing all small invariant sets of (P). The purpose of this paper is to prove an index product formula relating the homotopy index h(K) of a small isolated invariant set K relative to (P) to the homotopy index h_M(K) of the same set with respect to the equation induced by (P) on the center manifold M. This formula can be applied to elliptic BVP with resonance at zero. In particular, earlier results of Amann and Zehnder (Ann. Scuola Norm. Sup. Pisa IV7 (1980), 534–603) can be obtained under less restrictive assumptions than those used in that paper. Further-more, the formula permits applications to cases not discussed in Amann and Zehnder's paper. The applications of the index product formula are given in K. P. Rybakowski (Nontrivial solutions of elliptic boundary value problems with resonance at zero, Ann. Mat. Pura Appl., to appear).     

Rational homotopy of the (homotopy) fixed point sets of circle actions

In this paper, when G is the circle S¹ and M is a G-space, we study the rational homotopy type of the fixed point set MG, the homotopy fixed point set MhG, and the natural injection MG→MhG.     

Symmetries on almost symmetric numerical semigroups

The notion of an almost symmetric numerical semigroup was given by V. Barucci and R. Fröberg in J. Algebra, 188, 418–442 (1997). We characterize almost symmetric numerical semigroups by symmetry of pseudo-Frobenius numbers. We give a criterion for H ^? (the dual of M) to be an almost symmetric numerical semigroup. Using these results we give a formula for the multiplicity of an opened modular numerical semigroup. Finally, we show that if H ₁ or H ₂ is not symmetric, then the gluing of H ₁ and H ₂ is not almost symmetric.     

Covariant and equivariant formality theorems

We give a proof of Kontsevich's formality theorem for a general manifold using Fedosov resolutions of algebras of polydifferential operators and polyvector fields. The main advantage of our construction of the formality quasi-isomorphism is that it is based on the use of covariant tensors unlike Kontsevich's original proof, which is based on ∞-jets of polydifferential operators and polyvector fields. Using our construction we prove that if a group G acts smoothly on a manifold M and M admits a G-invariant affine connection then there exists a G-equivariant quasi-isomorphism of formality. This result implies that if a manifold M is equipped with a smooth action of a finite or compact group G or equipped with a free action of a Lie group G then M admits a G-equivariant formality quasi-isomorphism. In particular, this gives a solution of the deformation quantization problem for an arbitrary Poisson orbifold.     

Semiclassical Spectral Asymptotics on Foliated Manifolds

We consider a (hypo)elliptic pseudodifferential operator A_h on a closed foliated manifold (M,ℱ), depending on a parameterh > 0, of the form A_h = A+h^mB, where A is a formally self–adjoint tangentially elliptic operator of orderμ > 0 with the nonnegative principal symbol and B is a formally self–adjoint classical pseudodi.erential operator of orderm > 0 on M with the holonomy invariant transversal principal symbol such that its principal symbol is positive, if μ < m, and its transversal principal symbol is positive, if μ ≥ m. We prove an asymptotic formula for the eigenvalue distribution function N_h(λ) of the operator A_h when h tends to 0 and λ is constant.     

Generators for the tautological algebra of the moduli space of curves

In this paper, we prove that the tautological algebra in cohomology of the moduli space M_g of smooth projective curves of genus g is generated by the first [g/3] Mumford-Morita-Miller classes. This solves a part of Faber's conjecture (Moduli of Curves and Abelian Varieties Vieweg, Braunschweig, 1999) concerning the structure of the tautological algebra affirmatively. More precisely, for any k we express the kth Mumford-Morita-Miller class e_k as an explicit polynomial in the lower classes for all genera g=3k−1,3k−2,…,2.     

Asymptotics of characters of symmetric groups, genus expansion and free probability

The convolution of indicators of two conjugacy classes on the symmetric group S_q is usually a complicated linear combination of indicators of many conjugacy classes. Similarly, a product of the moments of the Jucys-Murphy element involves many conjugacy classes with complicated coefficients. In this article, we consider a combinatorial setup which allows us to manipulate such products easily: to each conjugacy class we associate a two-dimensional surface and the asymptotic properties of the conjugacy class depend only on the genus of the resulting surface. This construction closely resembles the genus expansion from the random matrix theory. As the main application we study irreducible representations of symmetric groups S_q for large q. We find the asymptotic behavior of characters when the corresponding Young diagram rescaled by a factor q^-1/2 converge to a prescribed shape. The character formula (known as the Kerov polynomial) can be viewed as a power series, the terms of which correspond to two-dimensional surfaces with prescribed genus and we compute explicitly the first two terms, thus we prove a conjecture of Biane.     

L2-index and the Selberg trace formula

A method is developed for computing the L²-index of a “locally symmetric” elliptic differential operator D_Γ, acting on a locally symmetric manifold $\text{M}{}_{\mathrm{\Gamma }}\text{=}\text{ΓβG}\text{K}$ with G semisimple of real-rank one and Γ of finite co-volume, based on applying the Selberg trace formula to the difference of the two heat kernels associated to D_Γ. The applications include an extension of the Osborne-Warner multiplicity formula to certain non-integrable discrete series—derived from the L²-spinor formula, and showing the existence, in some cases, of non-invariant L²-cohomology classes in the middle dimension—via the L²-signature formula.     

Linear maps on matrices: the invariance of symmetric polynomials

Let L be a linear map on the space M_n of all n by n complex matrices. Let h(x₁,…,x_n) be a symmetric polynomial. If X is a matrix in M_n with eigenvalues λ₁,…,λ_n, denote h(λ₁,…,λ_n) by h(X). For a large class of polynomials h, we determine the structure of the linear maps L for which h(X)=h(L(X)), for all X in M_n.     

Curvature and mechanics

Classical or Newtonian Mechanics is put in the setting of Riemannian Geometry as a simple mechanical system (M, K, V), where M is a manifold which represents a configuration space, K and V are the kinetic and potential energies respectively of the system. To study the geometry of a simple mechanical system, we study the curvatures of the mechanical manifold (M_h, g_h) relative to a total energy value h, where M_h is an admissible configuration space and g_h the Jacobi metric relative to the energy value h. We call these curvatures h-mechanical curvatures of the simple mechanical system.Results are obtained on the signs of h-mechanical curvature for a general simple mechanical system in a neighborhood of the boundary ?M_h = {xεM: V(x) = h} and in a neighborhood of a critical point of the potential function V. Also we construct $\text{m = (}\text{n}\text{2}\text{) (n =}\text{dim}\text{M)}$ functions defined globally on M_h, called curvature functions which characterize the sign of the h-mechanical curvature. Applications are made to the Kepler problem and the three-body problem.     

Equivariant homotopical homology with coefficients in a Mackey functor

Let M be a Mackey functor for a finite group G. In this paper, generalizing the Dold-Thom construction, we construct an ordinary equivariant homotopical homology theory with coefficients in M, whose values on the category of finite G-sets realize the bifunctor M, both covariantly and contravariantly. Furthermore, we extend the contravariant functor to define a transfer in the theory for G-equivariant covering maps. This transfer is given by a continuous homomorphism between topological abelian groups.We prove a formula for the composite of the transfer and the projection of a G-equivariant covering map and characterize those Mackey functors M for which that formula has an expression analogous to the classical one.     

Hearing the weights of weighted projective planes

Which properties of an orbifold can we “hear,” i.e., which topological and geometric properties of an orbifold are determined by its Laplace spectrum? We consider this question for a class of four-dimensional Kähler orbifolds: weighted projective planes \(M := {\mathbb{C}}P^2(N_1, N_2, N_3)\) with three isolated singularities. We show that the spectra of the Laplacian acting on 0- and 1-forms on M determine the weights N ₁, N ₂, and N ₃. The proof involves analysis of the heat invariants using several techniques, including localization in equivariant cohomology. We show that we can replace knowledge of the spectrum on 1-forms by knowledge of the Euler characteristic and obtain the same result. Finally, after determining the values of N ₁, N ₂, and N ₃, we can hear whether M is endowed with an extremal Kähler metric.