Representability of Hilbert Schemes and Hilbert Stacks of Points

We show that the Hilbert functor of points on an arbitrary separated algebraic stack is an algebraic space. We also show the algebraicity of the Hilbert stack of points on an algebraic stack and the algebraicity of the Weil restriction of an algebraic stack along a finite flat morphism. For the latter two results, no separation assumptions are necessary.     

Strictly pseudoconvex domains and algebraic varieties

In the paper, we consider applications of strictly pseudoconvex domains to the problems of algebraicity and rationality. We give a new proof of the Kodaira theorem on the algebraicity of a surface and we also prove a multidimensional version of this theorem. Theorems analogous to the Hodge index theorem and the Lefschetz theorem about (1, 1)-classes are obtained for strictly pseudoconvex domains. Conjectures on the geometry of strictly pseudoconvex domains on algebraic surfaces are formulated. Translated fromMatematicheskie Zametki, Vol. 60, No. 3, pp. 414–422, September, 1996. This research was supported by the Russian Foundation for Basic Research under grant No. 93-01-00225 and by the International Science Foundation under grant No. 508.     

Higher Intersection Theory on Algebraic Stacks: I

In this paper and the sequel we establish a theory of Chow groups and higher Chow groups on algebraic stacks locally of finite type over a field and establish their basic properties. This includes algebraic stacks in the sense of Deligne–Mumford as well as Artin. An intrinsic difference between our approach and earlier approaches is that the higher Chow groups of Bloch enter into our theory early on and depends heavily on his fundamental work. Our theory may be more appropriately called the (Lichtenbaum) motivic homology and cohomology of algebraic stacks. One of the main themes of these papers is that such a motivic homology does provide a reasonable intersection theory for algebraic stacks (of finite type over a field), with several key properties holding integrally and extending to stacks locally of finite type. While several important properties of our higher Chow groups, like covariance for projective representable maps (that factor as the composition of a closed immersion into the projective space associated to a locally free coherent sheaf and the obvious projection), an intersection pairing and contravariant functoriality for all smooth algebraic stacks, are shown to hold integrally, our theory works best with rational coefficients.The main results of Part I are the following. The higher Chow groups are defined in general with respect to an atlas, but are shown to be independent of the choice of the atlas for smooth stacks if one uses finite coefficients with torsion prime to the characteristics or in general for Deligne–Mumford stacks. (Using some results on motivic cohomology, we extend this integrally to all smooth algebraic stacks in Part II.) Using cohomological descent, we extend Bloch's fundamental localization sequence for quasi-projective schemes to long exact localization sequences of the higher Chow groups modulo torsion for all Artin stacks: this is one of the main results of the paper. We show that these higher Chow groups modulo torsion are covariant for all proper representable maps between stacks of finite type while being contravariant for all representable flat maps and, in Part II, that they are independent of the choice of an atlas for all stacks of finite type over the given field k. The comparison with motivic cohomology, as is worked out in Part II, enables us to provide an explicit comparison of our theory for quotient stacks associated to actions of linear algebraic groups on quasi-projective schemes with the corresponding Totaro–Edidin–Graham equivariant intersection theory. As an application of our theory we compute the higher Chow groups of Deligne–Mumford stacks and show that they are isomorphic modulo torsion to the higher Chow groups of their coarse moduli spaces. As a by-product of our theory we also produce localization sequences in (integral) higher Chow groups for all schemes locally of finite type over a field: these higher Chow groups are defined as the Zariski hypercohomology with respect to the cycle complex.     

Complexification of real cycles and the Lawson suspension theorem

The space of totally real r-cycles of a totally real projectivevariety is embedded into the space of complex r-cycles by complexification.The holomorphic taffy argument in the proof of Lawson's suspensiontheorem is proved by using Chow forms, and this proof givesan analogous result for totally real cycle spaces. The Sturmtheorem is used to derive a criterion for a real polynomialsof degree d to have d distinct real roots, and this criterionis used to prove the openness of some subsets of real divisors.This enables us to prove that the suspension map induces a weakhomotopy equivalence between two enlarged spaces of totallyreal cycle spaces.     

Algebraicity of formal varieties and positivity of vector bundles

We propose a positivity condition for vector bundles on a projective variety and prove an algebraicity criterion for formal schemes. Then we apply the algebraicity criterion to the study of formal principle in algebraic geometry.     

Algebraic modules and the Auslander-Reiten quiver

Recall that an algebraic module is a KG-module that satisfies a polynomial with integer coefficients, with addition and multiplication given by the direct sum and tensor product. In this article we prove that non-periodic algebraic modules are very rare, and that if the complexity of an algebraic module is at least 3, then it is the only algebraic module on its component of the (stable) Auslander-Reiten quiver. For dihedral 2-groups, we also show that there is at most one algebraic module on each component of the (stable) Auslander-Reiten quiver. We include a strong conjecture on the relationship between periodicity and algebraicity.     

On -mappings between algebraic Cauchy-Riemann manifolds and separate algebraicity for holomorphic functions

We prove the algebraicity of smooth -mappings between algebraic Cauchy-Riemann manifolds. A generalization of separate algebraicity principle is established.

     

On differentiable compactifications of the hyperbolic plane and algebraic actions of $${\rm SL}_2(\mathbb{R})$$ on surfaces

Real-analytic actions of SL(2;R) on surfaces have been classified, up to analytic change of coordinates. In particular it is known that there exists countably many analytic equivariant compactification of the isometric action on the hyperbolic plane. In this paper we study the algebraicity of these actions. We get a classification of the algebraic actions of SL(2;R) on surfaces. In particular, we classify the algebraic equivariant compactifications of the hyperbolic plane. The online version of the original article can be found under doi: .     

Higher Intersection Theory on Algebraic Stacks: II

This is the second part of our work on the intersection theory of algebraic stacks. The main results here are the following. We provide an intersection pairing for all smooth Artin stacks (locally of finite type over a field) which we show reduces to the known intersection pairing on the Chow groups of smooth Deligne–Mumford stacks of finite type over a field as well as on the Chow groups of quotient stacks associated to actions of linear algebraic groups on smooth quasi-projective schemes modulo torsion. The former involves also showing the existence of Adams operations on the rational étale K-theory of all smooth Deligne–Mumford stacks of finite type over a field. In addition, we show that our definition of the higher Chow groups is intrinsic to the stack for all smooth stacks and also stacks of finite type over the given field. Next we establish the existence of Chern classes and Chern character for Artin stacks with values in our Chow groups and extend these to higher Chern classes and a higher Chern character for perfect complexes on an algebraic stack, taking values in cohomology theories of algebraic stacks that are defined with respect to complexes of sheaves on a big smooth site. As a by-product of our techniques we also provide an extension of higher intersection theory to all schemes locally of finite type over a field. As the higher cycle complex, by itself, is a bit difficult to handle, the stronger results like contravariance for arbitrary maps between smooth stacks and the intersection pairing for smooth stacks are established by comparison with motivic cohomology.     

On Differentiable Compactifications of the Hyperbolic Plane and Algebraic Actions of SL2(\mathbb R) on Surfaces

Real-analytic actions of SL(2;R) on surfaces have been classified, up to analytic change of coordinates. In particular it is known that there exists countably many analytic equivariant compactification of the isometric action on the hyperbolic plane. In this paper we study the algebraicity of these actions. We get a classification of the algebraic actions of SL(2,R) on surfaces. In particular, we classify the algebraic equivariant compactifications of the hyperbolic plane. An erratum to this article can be found at     

On gap rigidity problems for compact Hermitian symmetric spaces

We prove a gap rigidity theorem for diagonal curves in maximal polyspheres of irreducible compact Hermitian symmetric spaces of tube type, which is a dual analog to a theorem obtained by Mok. Motivated by the proof we show that the Chow space of certain totally geodesic submanifolds is affine algebraic, which gives a weaker version of gap rigidity for a class of higher dimensional submanifolds.     

Some computations of algebraic cycle homology

We compute the algebraic cycle homology for codimension 1 cycles on a variety over a perfect field; our computation agrees with Nart's computation of Bloch's higher Chow groups for codimension 1 cycles. We interpret algebraic cycle homology in terms of sheaves for Voevodsky's h-topology and use this to adapt a recent result of Suslin-Voevodsky: we establish for a complex variety that algebraic cycle homology with Z/n coefficients is naturally isomorphic to singular homology with Z/n coefficients.Partially supported by the NSF and NSA Grant #MDA904-90-H-4006.     

Réduction de la conjecture de Hodge à une continuité

The obstructions, for a closed differential form on a projective manifold, to be cohomologous to an algebraic cycle with complex coefficients, are computed in terms of the Chow transformation. They can be expressed as an orthogonality condition, on the manifold itself, with families parametrized by the Grassmannian of currents which are completely determined. A parameter does not yield any obstruction if the associated projective subspace meets properly the manifold. The embedding of the manifold is degenerated, in view of applying the characterization of currents associated to algebraic cycles by the Chow transformation. We study the set of periods obtained when the parameter varies, in particular, we prove a continuity result, thanks to the constructibility of the Bernstein polynomial. When the cohomology class is rational, we conjecture that this set is connected.     

Chow points of $${\mathbb{C}}$$-orbits

We consider free algebraic actions of the additive group of complex numbers on a complex vector space X embedded in the complex projective space. We find an explicit formula for the map p that assigns to a generic point x ? X the Chow point of the closure of the orbit through x. The properties Hausdorff quotient topology and proper action are equivalently characterized by the closure of the image of p in the closed Chow variety.     

微分周形式与稀疏微分结式

代数周(Chow)形式和代数结式是代数几何的基本概念,同时还是消去理论的强大工具.一个自然的想法是在微分代数几何中发展相应的周形式和结式理论.但是由于微分结构的复杂性,在本文的研究工作之前,微分结式只有部分结果,而微分周形式与稀疏微分结式理论一直没有得到发展.本文的主要结果包括:第一,发展一般(generic)情形的微分相交理论,作为应用,证明一般情形的微分维数猜想.第二,初步建立微分周形式理论.对不可约微分代数簇定义微分周形式并证明其基本性质,特别地,给出微分周形式的Poisson分解公式,引入微分代数簇的主微分次数这一不变量并证明一类微分代数闭链的周簇和周坐标的存在性.作为应用,首次严格定义微分结式,证明其基本性质.第三,初步建立稀疏微分结式理论.引入Laurent微分本性系统的概念,定义稀疏微分结式,证明其基本性质,特别地,引入微分环面簇的概念,给出稀疏微分结式阶数和次数界的估计,并基于此给出计算稀疏微分结式的单指数时间算法.     

Prooving Identities with Computer-Algebra -- Example: Algebraic Time-Derivative Estimation

For the case of continuous–time systems, this note contributes a detailed proof relating the so–called algebraic approach to time–derivative estimation, as proposed by Fliess and co–workers, to classical results from linear estimation theory. The proof is based on a modern computer–algebra proof technique that, in the main, resorts to the celebrated algorithm by Wilf and Zeilberger in the multisum case. As a result of the proof, the algebraic approach to time–derivative estimation is traced back, equivalently, to state estimation using the reconstructibility Gramian of the dynamic system, here, with respect to a particular nilpotent time–invariant input–free linear system. Additionally, the close relationship of the algebraic approach with least–squares time–derivative estimation is pointed out. (© 2008 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)     

Diagonals of the laurent series of rational functions

We consider the problem of the algebraicity of diagonal series for the Laurent expansions of rational functions, geometrically identifiable using the amoeba of the denominator or an integer point in its Newton polyhedron. We give sufficient conditions for the algebraicity of diagonals basing on the theory of multidimensional residues and topological properties of the complements to collections of complex hypersurfaces in complex analytic varieties.     

Cyclic cocycles on deformation quantizations and higher index theorems

We construct a nontrivial cyclic cocycle on the Weyl algebra of a symplectic vector space. Using this cyclic cocycle we construct an explicit, local, quasi-isomorphism from the complex of differential forms on a symplectic manifold to the complex of cyclic cochains of any formal deformation quantization thereof. We give a new proof of Nest-Tsygan's algebraic higher index theorem by computing the pairing between such cyclic cocycles and the K-theory of the formal deformation quantization. Furthermore, we extend this approach to derive an algebraic higher index theorem on a symplectic orbifold. As an application, we obtain the analytic higher index theorem of Connes-Moscovici and its extension to orbifolds.     

Torsion cohomology classes and algebraic cycles on complex projective manifolds

Atiyah and Hirzebruch gave examples of even degree torsion classes in the singular cohomology of a smooth complex projective manifold, which are not Poincaré dual to an algebraic cycle. We notice that the order of these classes must be small compared to the dimension of the manifold. However, building upon a construction of Kollár, one can provide such examples with arbitrary high prime order, the dimension being fixed. This method also provides examples of torsion algebraic cycles, which are non trivial in the Griffiths group, and lie in a arbitrary high level of the H. Saito filtration on Chow groups.