Hamiltonian group actions on symplectic Deligne–Mumford stacks and toric orbifolds

We develop differential and symplectic geometry of differentiable Deligne–Mumford stacks (orbifolds) including Hamiltonian group actions and symplectic reduction. As an application we construct new examples of symplectic toric DM stacks.     

Tangential Quantum Cohomology of Arbitrary Order

Kock has previously defined a tangency quantum product on formal power series with coefficients in the cohomology ring of any smooth projective variety, and thus a ring that generalizes the quantum cohomology ring. We further generalize Kock's construction by defining a dth-order contact product and establishing its associativity.     

Towards Bounded Negativity of Self-Intersection on General Blown-up Projective Planes

We address the problem of bounding from below the self-intersection of integral curves on the projective plane blown-up at general points. In particular, by applying classical deformation theory, we obtain the expected bound in the case of either high ramification or low multiplicity.     

A Characterization of Projective Spaces by a Set of Planes

This note deals with the following question: How many planes of a linear space (P, $\mathfrak{L}$ ) must be known as projective planes to ensure that (P, $\mathfrak{L}$ ) is a projective space? The following answer is given: If for any subset M of a linear space (P, $\mathfrak{L}$ ) the restriction (M, $\mathfrak{L}$ )(M)) is locally complete, and if for every plane E of (M, $\mathfrak{L}$ (M)) the plane $\bar E$ generated by E is a projective plane, then (P, $\mathfrak{L}$ ) is a projective space (cf. 5.6). Or more generally: If for any subset M of P the restriction (M, $\mathfrak{L}$ (M)) is locally complete, and if for any two distinct coplanar lines G1, G2 ∈ $\mathfrak{L}$ (M) the lines $\bar G_1 ,\bar G_2 \varepsilon \mathfrak{L}$ generated by G1, G2 have a nonempty intersection and $\overline {G_1 \cup {\text{ }}G_2 }$ satisfies the exchange condition, then (P, $\mathfrak{L}$ ) is a generalized projective space.     

A Characterization of Quasi-Homogeneous Purely Elliptic Complete Intersection Singularities

It is well-known that quasi-homogeneity is characterized by equality of the Milnor and Tjurina numbers for isolated complex analytic hypersurface singularities and for certain low-dimensional singularities. In this paper we prove that this characterization extends to isolated purely elliptic complete intersection singularities, with bounds on neither the embedding codimension nor the dimension of the singularity.     

A Filtration on the Chow Groups of a Complex Projective Variety

Let X/ _C be a projective algebraic manifold, and further let CH ^k (X) _Q be the Chow group of codimension k algebraic cycles on X, modulo rational equivalence. By considering Q-spreads of cycles on X and the corresponding cycle map into absolute Hodge cohomology, we construct a filtration {F ^l}_{l 0} on CH ^k (X) _Q of Bloch-Beilinson type. In the event that a certain conjecture of Jannsen holds (related to the Bloch-Beilinson conjecture on the injectivity, modulo torsion, of the Abel–Jacobi map for smooth proper varieties over Q), this filtration truncates. In particular, his conjecture implies that F ^k+1 = 0.     

Some Remarks on Borel Type Ideals

We give new equivalent characterizations for ideals of Borel type. Also, we prove that the regularity of a product of ideals of Borel type is bounded by the sum of the regularities of those ideals.     

Orbit Spaces of Free Involutions on the Product of Two Projective Spaces

Let X be a finitistic space having the mod 2 cohomology algebra of the product of two projective spaces. We study free involutions on X and determine the possible mod 2 cohomology algebra of orbit space of any free involution, using the Leray spectral sequence associated to the Borel fibration ${X \hookrightarrow X_{\mathbb{Z}_2} \longrightarrow B_{\mathbb{Z}_2}}$ . We also give an application of our result to show that if X has the mod 2 cohomology algebra of the product of two real projective spaces (respectively, complex projective spaces), then there does not exist any ${\mathbb{Z}_2}$ -equivariant map from ${\mathbb{S}^k \to X}$ for k ≥ 2 (respectively, k ≥ 3), where ${\mathbb{S}^k}$ is equipped with the antipodal involution.     

Involutions Fixing Products of Projective Spaces

§１．ＩｎｔｒｏｄｕｃｔｉｏｎＬｅｔ（Ｍｎ,Ｔ）ｂｅａｓｍｏｏｔｈｉｎｖｏｌｕｔｉｏｎｏｎａｃｌｏｓｅｄｎ－ｄｉｍｅｎｓｉｏｎａｌｍａｎｉｆｏｌｄ．ＷｅｕｓｅＦｔｏｄｅｎｏｔｅｔｈｅｓｅｔｏｆｐｏｉｎｔｓｆｉｘｅｄｂｙＴ．Ｔｈｅｆｏｌｏｗｉｎｇｑｕｅ...     

Lax Projective Embeddings of Polar Spaces

Let be a non-degenerate polar space of rank n 3 where all of its lines have at least three points. We prove that, if admits a lax embedding e : in a projective space defined over a skewfield K, then is a classical and defined over a sub-skewfield K₀ of K. Accordingly, admits a full embedding e₀ in a K₀-projective space ₀. We also prove that, under suitable hypotheses on e and e₀, there exists an embedding such that and preserves dimensions.Received: March, 2004     

Deformation of isolated hypersurface singularities and their moduli algebras

By the using of determinantal varieties from moduli algebras of hypersurface singularites the relation of the deformation of hypersurface singularities and the deformation of their moduli algebras is studied. For a type of hypersurface singularities a weak Torelli type result is proved. This weak Torelli type result showes that for families of hypersurface singularities the moduli algebras can be used to distinguish the complex structures of singularities at least in some weak sence. Research supported by NNSF     

Embedding the Linear Structure of Planar Spaces into Projective Spaces

We show that every non-degenerate planar space with v points and planes can be embedded as a linear space into PG(3,q) for some prime power q provided that 1000( - v) v^5/6;     

Remarks on Projective Algebraic Fiber Spaces Over Curves

Let f:X → C be a fibration over curve C with general fiber F. Some numerical characteristics of h ⁱ ( _X ) in terms of h ⁱ ( _F ), the genus g(C) and the degree of direct image sheaves R ⁱ f _? (ω _X/C ) are given. If f is the derived fibration induced by m-canonical map, further numerical characterizations of m-plurigenus of F are given.     

关于sn度量空间的注记

The main purpose of this paper is to establish the mapping relation between metric spaces and sn-metric spaces.     

复射影空间和四元数射影空间中广义赤道的一个新特征

本文研究复射影空间ＣＰ＾ｎ和四元数射影空间ＱＰ＾ｎ中的紧致极小超曲面，对其上Ｊａｃｏｂｉ算子的最小特征值给出了一个最佳上界估计，由此给出了ＣＰ＾ｎ和ＱＰ＾ｎ中广义赤道的一个新的特征。     

Quantization of the Geodesic Flow on Quaternion Projective Spaces

We study a problem of the geometric quantization for the quaternionprojective space. First we explain a Kähler structure on the punctured cotangent bundleof the quaternion projective space, whose Kähler form coincides withthe natural symplectic form on the cotangent bundle and show thatthe canonical line bundle of this complex structure is holomorphicallytrivial by explicitly constructing a nowhere vanishing holomorphicglobal section. Then we construct a Hilbert space consisting of acertain class of holomorphic functions on the punctured cotangentbundle by the method ofpairing polarization and incidentally we construct an operatorfrom this Hilbert space to the L ₂ space of the quaternionprojective space. Also we construct a similar operator between thesetwo Hilbert spaces through the Hopf fiberation.We prove that these operators quantizethe geodesic flow of the quaternion projective space tothe one parameter group of the unitary Fourier integral operatorsgenerated by the square root of the Laplacian plus suitable constant.Finally we remark that the Hilbert space above has the reproducing kernel.     

Phase Spaces and Deformation Theory

In the papers (Laudal in Contemporary Mathematics, vol. 391, [2005]; Geometry of time-spaces, Report No. 03, [2006/2007]), we introduced the notion of (non-commutative) phase algebras (spaces) Ph ⁿ (A), n=0,1,…,∞ associated to any associative algebra A (space), defined over a field k. The purpose of this paper is to study this construction in some more detail. This seems to give us a possible framework for the study of non-commutative partial differential equations. We refer to the paper (Laudal in Phase spaces and deformation theory, Report No. 09, [2006/2007]), for the applications to non-commutative deformation theory, Massey products and for the construction of the versal family of families of modules. See also (Laudal in Homology, Homotopy, Appl. 4:357–396, [2002]; Proceedings of NATO Advanced Research Workshop, Computational Commutative and Non-Commutative Algebraic Geometry, [2004]).