Chen-Ruan Cohomology and Stringy Orbifold K-Theory for Stable Almost Complex Orbifolds

Comparing to the construction of stringy cohomology ring of equivariant stable almost complex manifolds and its relation with the Chen-Ruan cohomology ring of the quotient almost complex orbifolds, the authors construct in this note a Chen-Ruan cohomology ring for a stable almost complex orbifold. The authors show that for a finite group G and a G-equivariant stable almost complex manifold X, the G-invariant part of the stringy cohomology ring of (X, G) is isomorphic to the Chen-Ruan cohomology ring of the global quotient stable almost complex orbifold [X/G]. Similar result holds when G is a torus and the action is locally free. Moreover, for a compact presentable stable almost complex orbifold, they study the stringy orbifold K-theory and its relation with Chen-Ruan cohomology ring.     

A Quantum Modification of Relative Chen–Ruan Cohomology

In this paper, by using the de Rham model of Chen–Ruan cohomology, we define the relative Chen–Ruan cohomology ring for a pair of almost complex orbifold(G, H) with H being an almost sub-orbifold of G. Then we use the Gromov–Witten invariants ofG, the blow-up of G along H,to give a quantum modification of the relative Chen–Ruan cohomology ring H*CR(G, H) when H is a compact symplectic sub-orbifold of the compact symplectic orbifold G.     

Two Gauss-Bonnet and Poincaré-Hopf theorems for orbifolds with boundary

We generalize the Gauss-Bonnet and Poincaré-Hopf theorems to the case of orbifolds with boundary. We present two such generalizations, the first in the spirit of Satake, in which the local data (i.e. integral of the curvature in the case of the Gauss-Bonnet theorem and the index of the vector field in the case of the Poincaré-Hopf theorem) is related to Satake's orbifold Euler-Satake characteristic, a rational number which depends on the orbifold structure.For the second pair of generalizations, we use the Chen-Ruan orbifold cohomology to express the local data in a way which can be related to the Euler characteristic of the underlying space of the orbifold.     

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 quantum orbifold cohomology of weighted projective spaces

We calculate the small quantum orbifold cohomology of arbitrary weighted projective spaces. We generalize Givental’s heuristic argument, which relates small quantum cohomology to S ¹-equivariant Floer cohomology of loop space, to weighted projective spaces and use this to conjecture an explicit formula for the small J-function, a generating function for certain genus-zero Gromov–Witten invariants. We prove this conjecture using a method due to Bertram. This provides the first non-trivial example of a family of orbifolds of arbitrary dimension for which the small quantum orbifold cohomology is known. In addition we obtain formulas for the small J-functions of weighted projective complete intersections satisfying a combinatorial condition; this condition naturally singles out the class of orbifolds with terminal singularities.     

Equivariant Cobordism of Torus Orbifolds

Torus orbifolds are topological generalizations of symplectic toric orbifolds.The authours give a construction of smooth orbifolds with torus actions whose boundary is a disjoint union of torus orbifolds using a toric topological method. As a result, they show that any orientable locally standard torus orbifold is equivariantly cobordant to some copies of orbifold complex projective spaces. They also discuss some further equivariant cobordism results including the cases when torus orbifolds are actually torus manifolds.     

Orbifold homeomorphism finiteness based on geometric constraints

We show that any collection of n-dimensional orbifolds with sectional curvature and volume uniformly bounded below, diameter bounded above, and with only isolated singular points contains orbifolds of only finitely many orbifold homeomorphism types. This is a generalization to the orbifold category of a similar result for manifolds proven by Grove, Petersen, and Wu. It follows that any Laplace isospectral collection of orbifolds with sectional curvature uniformly bounded below and having only isolated singular points also contains only finitely many orbifold homeomorphism types. The main steps of the argument are to show that any sequence from the collection has subsequence that converges to an orbifold, and then to show that the homeomorphism between the underlying spaces of the limit orbifold and an orbifold from the subsequence that is guaranteed by Perelman’s stability theorem must preserve orbifold structure.     

Convergence of Kähler-Einstein orbifolds

We proved the convergence of a sequence of two-dimensional compact Kähler-Einstein orbifolds with rational quotient singularities and with some uniform bounds on the volumes and on the Euler characteristics of our orbifolds, to a Kähler-Einstein two-dimensional orbifold. Our limit orbifold can have worse singularities than the orbifolds in our sequence. We will also derive some estimates on the norms of the sections of plurianticanonical bundles of our orbifolds in the sequence that we are considering and our limit orbifold.     

Mellin-Barnes integrals as Fourier-Mukai transforms

We study the generalized hypergeometric system introduced by Gelfand, Kapranov and Zelevinsky and its relationship with the toric Deligne-Mumford (DM) stacks recently studied by Borisov, Chen and Smith. We construct series solutions with values in a combinatorial version of the Chen-Ruan (orbifold) cohomology and in the K-theory of the associated DM stacks. In the spirit of the homological mirror symmetry conjecture of Kontsevich, we show that the K-theory action of the Fourier-Mukai functors associated to basic toric birational maps of DM stacks are mirrored by analytic continuation transformations of Mellin-Barnes type.     

Deformations of complex orbifolds and the period maps

We consider the deformations of complex orbifolds with the underlying smooth structures being fixed.As a corollary,we can prove that the deformations of a Calabi-Yau orbifold is unobstructed by using standard arguments.Then we consider the period map for a family of complex Kahler orbifolds.We prove that the period map is holomorphic,horizontal and consistent with our Kodaira-Spencer map.     

Function Spaces and Continuous Algebraic Pairings for Varieties

Given a quasi-projective complex variety X and a projective variety Y, one may endow the set of morphisms, Mor(X, Y), from X to Y with the natural structure of a topological space. We introduce a convenient technique (namely, the notion of a functor on the category of 'smooth curves') for studying these function complexes and for forming continuous pairings of such. Building on this technique, we establish several results, including (1) the existence of cap and join product pairings in topological cycle theory; (2) the agreement of cup product and intersection product for topological cycle theory; (3) the agreement of the motivic cohomology cup product with morphic cohomology cup product; and (4) the Whitney sum formula for the Chern classes in morphic cohomology of vector bundles.     

An integral structure in quantum cohomology and mirror symmetry for toric orbifolds

We introduce an integral structure in orbifold quantum cohomology associated to the K-group and the -class. In the case of compact toric orbifolds, we show that this integral structure matches with the natural integral structure for the Landau-Ginzburg model under mirror symmetry. By assuming the existence of an integral structure, we give a natural explanation for the specialization to a root of unity in Y. Ruan's crepant resolution conjecture [Yongbin Ruan, The cohomology ring of crepant resolutions of orbifolds, in: Contemp. Math., vol. 403, Amer. Math. Soc., Providence, RI, 2006, pp. 117-126].     

Representations of orbifold groupoids

Orbifold groupoids have been recently widely used to represent both effective and ineffective orbifolds. We show that every orbifold groupoid can be faithfully represented on a continuous family of finite dimensional Hilbert spaces. As a consequence we obtain the result that every orbifold groupoid is Morita equivalent to the translation groupoid of an almost free action of a proper bundle of topological groups.     

Exterior products of forms and the cohomology ring of a complex space

In recent publications, we have defined complexes of differential forms on analytic spaces which are resolutions of the constant sheaf. These complexes were used to prove the existence of a mixed Hodge structure on the cohomology of analytic spaces which possess kählerian hypercoverings, in particular, projective algebraic varieties. We define an exterior product on these forms, which induces the cup product on the cohomology of analytic spaces. The main difficulty is to prove that this exterior product is functorial with respect to morphisms of analytic spaces. This exterior product can be used to prove that the cup product is compatible with the mixed Hodge structure on the cohomology.     

Augmented Teichmüller spaces and orbifolds

We study complex analytic properties of the augmented Teichmüller spaces [`(T)]<sub>g,n</sub>{\overline{\mathcal{T}}_{g,n}} obtained by adding to the classical Teichmüller spaces T<sub>g,n</sub>{\mathcal{T}_{g,n}} points corresponding to Riemann surfaces with nodal singularities. Unlike T<sub>g,n</sub>{\mathcal{T}_{g,n}}, the space [`(T)]_g,n{\overline{\mathcal{T}}_{g,n}} is not a complex manifold (it is not even locally compact). We prove, however, that the quotient of the augmented Teichmüller space by any finite index subgroup of the Teichmüller modular group has a canonical structure of a complex orbifold. Using this structure, we construct natural maps from [`(T)]{\overline{\mathcal{T}}} to stacks of admissible coverings of stable Riemann surfaces. This result is important for understanding the cup-product in stringy orbifold cohomology. We also establish some new technical results from the general theory of orbifolds which may be of independent interest.     

一个Cluster-Tilted代数的Hochschild上同调环

基于Furuya构造的一个cluster-tilted代数的极小投射双模分解,定义了该投射分解的所谓"余乘"结构,从而证明了该代数的Hochschild上同调环的cup积本质上是平行路的毗连并由此得到了该代数的Hochschild上同调环的一个由生成元与关系给出的实现.     

Spectral Bounds on Orbifold Isotropy

We first show that a Laplace isospectral family of Riemannian orbifolds, satisfying a lower Ricci curvature bound, contains orbifolds with points of only finitely many isotropy types. If we restrict our attention to orbifolds with only isolated singularities, and assume a lower sectional curvature bound, then the number of singular points in an orbifold in such an isospectral family is universally bounded above. These proofs employ spectral theory methods of Brooks, Perry and Petersen, as well as comparison geometry techniques developed by Grove and Petersen.This research was partially supported by NSF grant DMS 0072534.     

A SURVEY OF THE ADDITIVE EIGENVALUE PROBLEM (WITH APPENDIX BY M. KAPOVICH)

The classical Hermitian eigenvalue problem addresses the following question: What are the possible eigenvalues of the sum A + B of two Hermitian matrices A and B, provided we fix the eigenvalues of A and B. A systematic study of this problem was initiated by H. Weyl (1912). By virtue of contributions from a long list of mathematicians, notably Weyl (1912), Horn (1962), Klyachko (1998) and Knutson–Tao (1999), the problem is finally settled. The solution asserts that the eigenvalues of A + B are given in terms of certain system of linear inequalities in the eigenvalues of A and B. These inequalities (called the Hom inequalities) are given explicitly in terms of certain triples of Schubert classes in the singular cohomology of Grassmannians and the standard cup product. Belkale (2001) gave a smaller set of inequalities for the problem in this case (which was shown to be optimal by Knutson–Tao–Woodward). The Hermitian eigenvalue problem has been extended by Berenstein–Sjamaar (2000) and Kapovich–Leeb–Millson (2009) for any semisimple complex algebraic group G. Their solution is again in terms of a system of linear inequalities obtained from certain triples of Schubert classes in the singular cohomology of the partial ag varieties G/P (P being a maximal parabolic subgroup) and the standard cup product. However, their solution is far from being optimal. In a joint work with P. Belkale, we define a deformation of the cup product in the cohomology of G/P and use this new product to generate our system of inequalities which solves the problem for any G optimally (as shown by Ressayre). This article is a survey (with more or less complete proofs) of this additive eigenvalue problem. The eigenvalue problem is equivalent to the saturated tensor product problem. We also give an extension of the saturated tensor product problem to the saturated restriction problem for any pair G ? ? of connected reductive algebraic groups. In the appendix by M. Kapovich, a connection between metric geometry and the representation theory of complex semisimple algebraic groups is explained. The connection runs through the theory of buildings. This connection is exploited to give a uniform (though not optimal) saturation factor for any G.