Chern Classes of Gauss–Manin Bundles of Weight 1 Vanish

We show that the Chern character of a variation of polarized Hodge structures of weight one with nilpotent residues at dies up to torsion in the Chow ring, except in codimension 0.     

Fuzzy半群中的极小Fuzzy理想

本文先给出Ｆｕｚｙ半群中极小Ｆｕｚｙ理想的一些代数性质,进而利用极小Ｆｕｚｙ理想刻划Ｆｕｚｚｙ单半群的一些代数性质     

A Duality Theorem for Étale p-Torsion Sheaves on Complete Varieties over a Finite Field

Let X be an arbitrary variety over a finite field k and p=char k,n N. We will construct a complex of étale sheaves on X together with trace isomorphism from the highest étale cohomology group of this complex onto Z/pⁿZ such that for every constructible Z/pⁿZ-sheaf on X the Yoneda pairing is a nondegenerate pairing of finite groups. If X is smooth, this complex is the Gersten resolution of the logarithmic de Rham–Witt sheaf introduced by Gros and Suwa. The proof is based on the special case proven by Milne when the sheaf is constant and X is smooth, as well as on a purity theorem which in turn follows from a theorem about the cohomological dimension of C_i-fields due to Kato and Kuzumaki. If the existence of the Lichtenbaum complex is proven, the theorem will be the p-part of a general duality theorem for varieties over finite fields.     

On the Infinitesimal Rigidity of Homogeneous Varieties

Let XP be a variety (respectively an open subset of an analytic submanifold) and let xX be a point where all integer valued differential invariants are locally constant. We show that if the projective second fundamental form of X at x is isomorphic to the second fundamental form of a point of a Segre P× P, n,m2, a Grassmaniann G(2,n+2), n4, or the Cayley plane OP², then X is the corresponding homogeneous variety (resp. an open subset of the corresponding homogeneous variety). The case of the Segre P²×P² had been conjectured by Griffiths and Harris in [GH]. If the projective second fundamental form of X at x is isomorphic to the second fundamental form of a point of a Veronese v₂(P) and the Fubini cubic form of X at x is zero, then X=v₂ (P) (resp. an open subset of v₂(P)). All these results are valid in the real or complex analytic categories and locally in the C category if one assumes the hypotheses hold in a neighborhood of any point x. As a byproduct, we show that the systems of quadrics I₂(P P) S²C, I₂(P¹× P) S²C and I₂(S₅) S²C¹⁶ are stable in the sense that if A S^* is an analytic family such that for t0,AA, then A₀A. We also make some observations related to the Fulton–:Hansen connectedness theorem.     

Complex multiplication of exactly solvable Calabi–Yau varieties

We propose a conceptual framework that leads to an abstract characterization for the exact solvability of Calabi–Yau varieties in terms of abelian varieties with complex multiplication. The abelian manifolds are derived from the cohomology of the Calabi–Yau manifold, and the conformal field theoretic quantities of the underlying string emerge from the number theoretic structure induced on the varieties by the complex multiplication symmetry. The geometric structure that provides a conceptual interpretation of the relation between geometry and conformal field theory is discrete, and turns out to be given by the torsion points on the abelian varieties.     

The Lattice of Interpretability Types of Cantor Varieties

For integers 1 m < n, a Cantor variety with m basic n-ary operations _i and n basic m-ary operations _k is a variety of algebras defined by identities _k(₁( ), ... , _m( )) = _k and i(₁( ), ... ,_n( )) = y _i, where = (x ₁., ... , x _n) and = (y ₁, ... , y _m). We prove that interpretability types of Cantor varieties form a distributive lattice, , which is dual to the direct product ₁ × ₂ of a lattice, ₁, of positive integers respecting the natural linear ordering and a lattice, ₂, of positive integers with divisibility. The lattice is an upper subsemilattice of the lattice of all interpretability types of varieties of algebras.     

Support Varieties for Selfinjective Algebras

Support varieties for any finite dimensional algebra over a field were introduced in (Proc. London Math. Soc. 88 (3) (2004) 705–732) using graded subalgebras of the Hochschild cohomology ring. We mainly study these varieties for selfinjective algebras under appropriate finite generation hypotheses. Then many of the standard results from the theory of support varieties for finite groups generalize to this situation. In particular, the complexity of the module equals the dimension of its corresponding variety, all closed homogeneous varieties occur as the variety of some module, the variety of an indecomposable module is connected, the variety of periodic modules are lines and for symmetric algebras a generalization of Webbs theorem is true. As a corollary of a more general result we show that Webbs theorem generalizes to finite dimensional cocommutative Hopf algebras.Received November 2003Mathematics Subject Classifications (2000) Primary: 16E40, 16G10, 16P10, 16P20; Secondary: 16G70.     

Infimum Properties Differ in the Weak Truth-table Degrees and the Turing Degrees

Abstract We prove that there are non-recursive r.e. sets A and C with A < _T C such that for every set . Both authors are supported by “863” and the National Science Foundation of China