Poincaré series of degree-two Chow varieties

Let $C_{p, 2}(\mathbb{P}^{n})$ denote the Chow variety parametrizing effective algebraic $p$-cycles of degree two on $\mathbb{P}^{n}$. We show that its rational cohomology is pure Tate and concentrated in even degrees. An anti-invariant Chern class identity yields a presentation of the cohomology ring as a fiber product, which in turn determines the cohomology over $\mathbb{Z}[1/2]$. We identify the ordinary Poincaré polynomial with the known virtual formula, determine the optimal ranges over which the coefficients stabilize, and compute the nonrational Poincaré series of the stable space $D(2)$. For the Lawson--Michelsohn map $D(2)\longrightarrow D(\infty)$, the first nonzero rational homotopy kernel occurs in degree eight and is one-dimensional, while the integral kernel has rank one. Finally, we compute the relative homology of the pair $(D(2),BU)$ over $\mathbb{Z}[1/2]$ and show that additional cohomology generators and nonzero rational homotopy kernels arise in unbounded degrees.

Authors

Publication Details

Journal
arXiv (Cornell University)
Published
2026-10-29
DOI
https://doi.org/10.48550/arxiv.2610.39498
Primary Topic
Homotopy and Cohomology in Algebraic Topology
Type
preprint
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
preprint

Poincaré series of degree-two Chow varieties

Wenchuan Hu, Youming Chen, Deyuan Ma
arXiv (Cornell University)
Homotopy and Cohomology in Algebraic Topology
preprint

Poincaré series of degree-two Chow varieties

Wenchuan Hu, Youming Chen, Deyuan Ma
preprint en

Abstract

Let $C_{p, 2}(\mathbb{P}^{n})$ denote the Chow variety parametrizing effective algebraic $p$-cycles of degree two on $\mathbb{P}^{n}$. We show that its rational cohomology is pure Tate and concentrated in even degrees. An anti-invariant Chern class identity yields a presentation of the cohomology ring as a fiber product, which in turn determines the cohomology over $\mathbb{Z}[1/2]$. We identify the ordinary Poincaré polynomial with the known virtual formula, determine the optimal ranges over which the coefficients stabilize, and compute the nonrational Poincaré series of the stable space $D(2)$. For the Lawson--Michelsohn map $D(2)\longrightarrow D(\infty)$, the first nonzero rational homotopy kernel occurs in degree eight and is one-dimensional, while the integral kernel has rank one. Finally, we compute the relative homology of the pair $(D(2),BU)$ over $\mathbb{Z}[1/2]$ and show that additional cohomology generators and nonzero rational homotopy kernels arise in unbounded degrees.

arXiv (Cornell University)
Homotopy and Cohomology in Algebraic Topology
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

Laika access coming soon
Poincaré series of degree-two Chow varieties — Wenchuan Hu, Youming Chen, et al. · arXiv (Cornell University) (2026) | TGRS Research Map | TGRS