Chow groups are finite dimensional,in some sense

When S is a surface with p_g(S)>0, Mumford proved that its Chow group A_*S is not finite dimensional in some sense. In this paper, we propose another definition of finite dimensionality for the Chow groups. Using this new definition, at least the Chow group of some surface S with p_g(S)>0 (for example, the product of two curves) becomes finite dimensional. The finite dimensionality of the Chow groups follows from the finite dimensionality of the Chow motives. It turns out that the finite dimensionality of the Chow motives is a very strong property. For example, we can prove Blochs conjecture (representability of the Chow groups of surfaces with p_g(S)=0) under the assumption that the Chow motive of S is finite dimensional.Mathematics Subject Classification (2000): 14C     

On the class numbers of certain Hilbert class fields

LetL/k be a finite Galois extension with Galois groupG, and a group extension. We study the existence of the Galois extensionM/L/k such that the canonical projection Gal(M/k)→Gal(L/k) coincides with the given homomorphismj:E→G and thatM/L is unramified.     

Independent sets,cliques and hamiltonian graphs

LetG be ak-connected (k 2) graph onn vertices. LetS be an independent set ofG. S is called essential if there exist two distinct vertices inS which have a common neighbor inG. LetV _r, be a clique which is a complete subgraph ofG. In this paper it is proven that if every essential independent setS ofk + 1 vertices satisfiesS V _r , thenG is hamiltonian, orG{u} is hamiltonian for someu V _r, orG is one of three classes of exceptional graphs. Our theorem generalizes several well-known theorems.     

On the structure ofp-zero-sum free sequences and its application to a variant of Erdös-Ginzburg-Ziv theorem

Letp be any odd prime number. Letk be any positive integer such that . LetS = (a ₁,a ₂,...,a _2p−k ) be any sequence in ℤ_p such that there is no subsequence of lengthp of S whose sum is zero in ℤ_p. Then we prove that we can arrange the sequence S as follows:

Random orders

Letk andn be positive integers and fix a setS of cardinalityn; letP _k (n) be the (partial) order onS given by the intersection ofk randomly and independently chosen linear orders onS. We begin study of the basic parameters ofP _k (n) (e.g., height, width, number of extremal elements) for fixedk and largen. Our object is to illustrate some techniques for dealing with these random orders and to lay the groundwork for future research, hoping that they will be found to have useful properties not obtainable by known constructions.Supported by NSF grant MCS 84-02054.     

Farthest points of sets in uniformly convex banach spaces

LetS be a closed and bounded set in a uniformly convex Banach spaceX. It is shown that the set of all points inX which have a farthest point inS is dense. Letb(S) denote the set of all farthest points ofS, then a sufficient condition for to hold is thatX have the following property (I): Every closed and bounded convex set is the intersection of a family of closed balls.     

Regular simplices, symmetric polynomials and the mean value property

LetP be ann-dimensional regular simplex in ℝⁿ centered at the origin, and let P(k) be thek-skeleton ofP fork = 0, 1,…,n. Then the set of all continuous functions in ℝⁿ satisfying the mean value property with respect to P(k) forms a finite-dimensional linear space of harmonic polynomials. In this paper the function space is explicitly determined by group theoretic and combinatorial arguments for symmetric polynomials.     

Action on flag varieties: 2-Dimensional case

LetA be a finite dimensional commutative semisimple algebra over a fieldk and letV be a finitely generatedA-module. We examine the action of the general linear group GL _A (V) on the set of flags ofk-subspaces ofV. Also, let (V, B) be a finitely generated symplectic module overA. We also investigate the action of the symplectic group Sp _A (V, B) on the set of flags ofB-isotropick-subspaces ofV, whereB=°B is thek-symplectic form induced by a nonzerok-linear map :A k. In both cases, the orbits are completely classified in terms of certain integer invariants provided that dim _{k A}=2.This work is partially supported by a KOSEF research grant.     

Covering abelian groups with cyclic subsets

Summary Letk andm be positive integers. An abelian groupG is said to have ann-cover if there is a subsetS ofG consisting ofn elements such that every non-zero element ofG can be expressed in the formig for some elementg inS and integeri, 1 i k. Lets _n (k) be the largest order of abelian groups that have ann-cover. We investigate the behavior ofs _n (k)/k ask andn is fixed.     

TC semigroups and inflations

An algebraA satisfiesTC (the term condition) if for any and anyn + 1-ary termp.TC algebras have been extensively studied. We previously determined the structure of allTC semigroups. We use this result to show that ifS is aTC semigroup thenS _E = {a ε S | ax is an idempotent for somex ε S} is an inflation ofS _Reg (the set of regular elements ofS) andS _Reg ≅H × A × B whereH is an abelian group,A is a left zero semigroup, andB is a right zero semigroup. As a corollary of this result, we show thatS is a semisimpleTC semigroup iffS ≅H × A × B whereH is an abelian group,A is a left zero semigroup, andB is a right zero semigroup.     

Semigroups of quasi-compact operators

LetT ₁ andT ₂ be two quasi-compact operators on a complex Banach spaceX, whereX is the Banach space of all complex valued and continuous functions on a compact Hausdorff spaceY. LetS(I, T ₁,T ₂) denote the semigroup generated byT ₁,T ₂ and the identity operatorI. We show that under certain conditions the kernel of the semigroup is a finite group. I am grateful to Professor C. T. Taam, my advisor at The George Washington University. His support and his valuable contributions made this research possible. I am also very thankful to the referee for many important suggestions which improved the results and quality of the paper. In particular, the proof in Theorem 4 which shows the kernel of is a finite group, has been suggested by the referee.     

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.     

Counting the relatively finite factors of a Bernoulli shift

LetT acting on (Ω, ℱ, μ) be afinite entropy Bernoulli shift. AT invariant factor is “relatively finite” if a.e. fiber of has a finite, hence constantk, number of points. We say two factors , “sit the same” if there is a measurable measure preserving map ϕ with and . We show here that up to sitting the same there are only finitely many relatively finite factors withk point fibers in a Bernoulli shift, and that they are classified by a certain algebraic structure in the symmetric group onk-points. This work was supported in part by the Miller Institute for Basic Research, U. C. Berkeley.     

Linear gradings of polynomial algebras

Let k be a field, let be a finite group. We describe linear -gradings of the polynomial algebra k[x ₁, ..., x _m ] such that the unit component is a polynomial k-algebra.      

On empty convex polytopes

Letn andd be integers,n>d 2. We examine the smallest integerg(n,d) such that any setS of at leastg(n,d) points, in general position in E^d, containsn points which are the vertices of an empty convexd-polytopeP, that is, SintP = 0. In particular we show thatg(d+k, d) = d+2k–1 for 1 k iLd/2rL+1.     

The radius of convergence of Poincaré series of loop spaces

LetR _S (resp.R _A) be the radius of convergence of the Poincaré series of a loop space (S) (resp. of the Betti-Poincaré series of a noetherian connected graded commutative algebraA over a field of characteristic zero).IfS is a finite 1-connected CW-complex, the rational homotopy Lie algebra ofS is finite dimensional if and only ifR _S-1. OtherwiseR _S<1.There is an easily computable upper bound (usually less than 1) forR _S ifS is formal or coformal.On the other handR _A=+ if and only ifA is a polynomial algebra andR _A=1 if and only ifA is a complete intersection (Golod and Gulliksen conjecture). OtherwiseR _A<1 and the sequence dim Tor _p ^H grows exponentially withp.     

Division algebras with a projective basis

Letk be any field andG a finite group. Given a cohomology class α∈H ²(G,k ^*), whereG acts trivially onk ^*, one constructs the twisted group algebrak ^αG. Unlike the group algebrakG, the twisted group algebra may be a division algebra (e.g. symbol algebras, whereG⋞Z _n×Z_n). This paper has two main results: First we prove that ifD=k ^α G is a division algebra central overk (equivalentyD has a projectivek-basis) thenG is nilpotent andG’ the commutator subgroup ofG, is cyclic. Next we show that unless char(k)=0 and , the division algebraD=k ^α G is a product of cyclic algebras. Furthermore, ifD _p is ap-primary factor ofD, thenD _p is a product of cyclic algebras where all but possibly one are symbol algebras. If char(k)=0 and , the same result holds forD _p, p odd. Ifp=2 we show thatD ₂ is a product of quaternion algebras with (possibly) a crossed product algebra (L/k,β), Gal(L/k)⋞Z ₂×Z₂n.     

Local-global principle for étale cohomology

Letk be a field of characteristic different from 2 and ø be a galoisian cohomological class ofk, with values in /2. J. K. Arason proved that ø is killed by a cup-product power of (–1) if and only if the restriction of ø is zero in all the real closedk-extensions. In this paper, we extend such a local-global principle to semilocal rings with 2 a unit, étale cohomology replacing Galois cohomology.     

A new recursive theorem onn-extendibility

A graphG having a 1-factor is calledn-extendible if every matching of sizen extends to a 1-factor. LetG be a 2-connected graph of order 2p. Letr0 andn>0 be integers such thatp–rn+1. It is shown that ifG/S isn-extendible for every connected subgraphS of order 2r for whichG/S is connected, thenG isn-extendible.