On Chow Groups of G-Graded Rings

Abstract

Let A be a Noetherian ring graded by a finitely generated Abelian group G. It is shown that a Chow group A _?(A) of A is determined by cycles and a rational equivalence with respect to certain G-graded ideals of A. In particular, A _?(A) is isomorphic to the equivariant Chow group of A if G is torsion free.     

The Chow ring of a singular surface

We construct the Chow ringCH*(X) =CH ⁰ (X)⊕CH ¹ (X)⊕CH ² (X) of a reduced, quasi-projective surfaceX, together with Chern class mapsc _i :K ₀ (X) → CH ⁱ (X), with the usual properties. As a consequence, we show that the cycle mapCH ² (X)→ F ₀ K ₀ (X) is an isomorphism. Our treatment is greatly influenced by an unpublished 1983 preprint of Levine’s, but is much simpler, since we deal only with surfaces.     

The Primality of the Steenrod Algebra

We prove that the mod 2 Steenrod algebra is a prime ring.     

Differential Operators and the Steenrod Algebra

The Novikov-Landweber algebra and the Steenrod algebra are setup in terms of the primitive differential operators acting in the usual way on the integralpolynomial ring Z[x₁,... ,x_n,...]. A commutative wedge productV for differential operators is introduced and it is shown thatthe iterated wedge product is divisible by r! as an integral operator. The divided differentialoperator algebra D is generated over the integers by thedividedoperators under the wedge product. D is additively isomorphic to the abelian group ofsymmetric functions in the variables x_i. Furthermore D is closedunder composition of operators and admits a natural coproductwhich makes it a Hopf algebra in two ways, with respect to thecomposition and wedge products. Under composition D is isomorphicto the Landweber-Novikov algebra. A Hopf sub-algebra is generatedunder composition by the integral Steenrod squares and reduces mod 2 to the Steenrod algebra. An explicitproduct formula for two wedge expressions is developed and usedto derive Milnor's product formula for his basis elements inthe Steenrod algebra. The hit problem in the Steenrod algebrais reformulated in terms of partial differential operators.1991 Mathematics Subject Classification: 55S10.     

Divided powers in Chow rings and integral Fourier transforms

We prove that for any monoid scheme M over a field with proper multiplication maps M×M→M, we have a natural PD-structure on the ideal CH>0(M)⊂CH_∗(M) with regard to the Pontryagin ring structure. Further we investigate to what extent it is possible to define a Fourier transform on the motive with integral coefficients of the Jacobian of a curve. For a hyperelliptic curve of genus g with sufficiently many k-rational Weierstrass points, we construct such an integral Fourier transform with all the usual properties up to N²-torsion, where N=1+⌊log₂(3g)⌋. As a consequence we obtain, over , a PD-structure (for the intersection product) on N²⋅a, where a⊂CH(J) is the augmentation ideal. We show that a factor 2 in the properties of an integral Fourier transform cannot be eliminated even for elliptic curves over an algebraically closed field.     

The orbifold Chow ring of toric Deligne-Mumford stacks

Generalizing toric varieties, we introduce toric Deligne-Mumford stacks. The main result in this paper is an explicit calculation of the orbifold Chow ring of a toric Deligne-Mumford stack. As an application, we prove that the orbifold Chow ring of the toric Deligne-Mumford stack associated to a simplicial toric variety is a flat deformation of (but is not necessarily isomorphic to) the Chow ring of a crepant resolution.

     

Chow group of 1-cycles on the moduli space of vector bundles of rank 2 over a curve

Let X be a non-singular complex projective curve of genus ≥3. Choose a point x ∈ X. Let M_x be the moduli space of stable bundles of rank 2 with determinant We prove that the Chow group CH^Q₁(M_x) of 1-cycles on M_x with rational coefficients is isomorphic to CH^Q₀(X). By studying the rational curves on M_x, it is not difficult to see that there exits a natural homomorphism CH₀(J)→CH₁(M_x) where J denotes the Jacobian of X. The crucial point is to show that this homomorphism induces a homomorphism CH₀(X)→CH₁(M_x), namely, to go from the infinite dimensional object CH₀(J) to the finite dimensional object CH₀(X). This is proved by relating the degeneration of Hecke curves on M_x to the second term I^*2 of Bloch's filtration on CH₀(J). Insong Choe was supported by KOSEF (R01-2003-000-11634-0).     

Irrationality of Motivic series of Chow varieties

In this paper we extend the Euler–Chow series for Chow varieties to Chow motives. In both series it is very natural to ask when the series is rational. We give an example where the extended series is not rational. Partially supported by program JSPS-CONCYT.     

Hyperbolicity of unitary involutions

We prove the so-called Unitary Hyperbolicity Theorem,a result on hyperbolicity of unitary involutions.The analogous previously known results for the orthogonal and symplectic involutions are formal consequences of the unitary one.While the original proofs in the orthogonal and symplectic cases were based on the incompressibility of generalized Severi-Brauer varieties,the proof in the unitary case is based on the incompressibility of their Weil transfers.     

Generic representations of the finite general linear groups and the Steenrod algebra: II

The category of generic representations over the finite fieldF _q , used in PartI to study modules over the Steenrod algebra, is here related to the modular representation theory of the groups GL _n (F _q ). This leads to a simple and elegant approach to the classic objects of study: irreducible representations, extensions of modules, homology stability, etc. Connections to current research in algebraicK-theory involving stableK-theory and Topological Hochschild Homology are also explained.Partially funded by the NSF.     

Stable Vector Bundles as Generators of the Chow Ring

In this paper we show that the family of stable vector bundles gives a set of generators for the Chow ring, the K-theory and the derived category of any smooth projective variety.     

A Presentation for the Chow Ring of

We give a presentation for the Chow ring of the moduli space of degree 2 stable maps from 2-pointed rational curves to the projective line. Also, integrals of all degree 4 monomials in the hyperplane pullbacks and boundary divisors of this ring are computed using equivariant intersection theory. Finally, the presentation is used to give a new computation of the (previously known) values of the genus zero, degree 2, 2-pointed gravitational correlators of the projective line.     

The multiplicative group action on singular varieties and Chow varieties

We answer two questions of Carrell on a singular complex projective variety admitting the multiplicative group action, one positively and the other negatively. The results are applied to Chow varieties and we obtain Chow groups of 0-cycles and Lawson homology groups of 1-cycles for Chow varieties. A brief survey on the structure of Chow varieties is included for comparison and completeness. Moreover, we give counterexamples to Shafarevich's problem on the rationality of the irreducible components of Chow varieties.     

New relationships between steenrod operations for certain spaces

In this paper, we show that under a certain technical condition, if a space has no 2-torsion, then eitherS q ² n x≠0 or there exists somey withS q ² n y=S q ² n ⁺¹ x, if for somen≥3S q ² n ⁺¹ x≠0. The proof uses relations between Steenrod operations and operations in connective realK-Theory. This research was partially supported by NSERC.     

Involutions fixing the disjoint union of copies of even projective space

We show that for any differentiable involution on anr-dimensional manifold (M, T) whose fixed point setF is a disjoint union of real projective spaces of constant dimension 2n, we have: ifr=4n then (M,T) is bordant to (F×F, twist), if 2n<r4n then (M,T) bounds.     

The cohomology of the Steenrod algebra and representations of the general linear groups

Let be the algebraic transfer that maps from the coinvariants of certain -representations to the cohomology of the Steenrod algebra. This transfer was defined by W. Singer as an algebraic version of the geometrical transfer . It has been shown that the algebraic transfer is highly nontrivial, more precisely, that is an isomorphism for and that is a homomorphism of algebras.

In this paper, we first recognize the phenomenon that if we start from any degree and apply repeatedly at most times, then we get into the region in which all the iterated squaring operations are isomorphisms on the coinvariants of the -representations. As a consequence, every finite -family in the coinvariants has at most nonzero elements. Two applications are exploited.

The first main theorem is that is not an isomorphism for . Furthermore, for every 5$">, there are infinitely many degrees in which is not an isomorphism. We also show that if detects a nonzero element in certain degrees of , then it is not a monomorphism and further, for each \ell$">, is not a monomorphism in infinitely many degrees.

The second main theorem is that the elements of any -family in the cohomology of the Steenrod algebra, except at most its first elements, are either all detected or all not detected by , for every . Applications of this study to the cases and show that does not detect the three families , and , and that does not detect the family .