## Return to Question

4 added 1 characters in body

Let $X$ be a regular scheme over a field $k$ and $Δ^m$ be the algebraic $m$-simplex $\mathrm{Spec} k[t_0,...,t_m]/(1-\sum_jt_j)$. The group $z^i(X,m)$ is the free abelian group generated by all closed integral subvarieties on $X×Δ^m$ of codimension $i$ which intersect all faces $X×Δ^j$ properly for all $j < m$. Taking alternative sum of these intersections makes $z^i(X,*)$ a chain complex. Bloch's higher Chow groups is defined as homology groups of these complexes.

In Jinhyun Park's answer to the question What do higher Chow groups mean, he elaborates that one can see higher Chow groups as algebraic-geometric version of singular homology theory.

Since higher Chow groups are extensively studied. A natural question is

Can we define the algebro-geometric version of singular cohomology theory using above constructions？ Is this a good object to study？What about Chow cohomology(Sorry if this does not make sense, I am new to this stuff)？

3 added 59 characters in body

Let $X$ be a regular scheme over a field $k$ and $Δ^m$ be the algebraic $m$-simplex $\mathrm{Spec} k[t_0,...,t_m]/(1-\sum_jt_j)$. The group $z^i(X,m)$ is the free abelian group generated by all closed integral subvarieties on $X×Δ^m$ of codimension $i$ which intersect all faces $X×Δ^j$ properly for all $j < m$. Taking alternative sum of these intersections makes $z^i(X,*)$ a chain complex. Bloch's higher Chow groups is defined as homology groups of these complexes.

In Jinhyun Park's answer to the question What do higher Chow groups mean, he elaborates that one can see higher Chow groups as algebraic-geometric version of singular homology theory.

Since higher Chow groups are extensively studied. A natural question is

Can we define the algebro-geometric version of singular cohomology theory using above constructions？ Is this a good object to study？What about Chow cohomologycohomology(Sorry if this does not make sense, I am new to this stuff)？

2 added 25 characters in body

Let $X$ be a regular scheme over a field $k$ and $Δ^m$ be the algebraic $m$-simplex $\mathrm{Spec} k[t_0,...,t_m]/(1-\sum_jt_j)$. The group $z^i(X,m)$ is the free abelian group generated by all closed integral subvarieties on $X×Δ^m$ of codimension $i$ which intersect all faces $X×Δ^j$ properly for all $j < m$. Taking alternative sum of these intersections makes $z^i(X,*)$ a chain complex. Bloch's higher Chow groups is defined as homology groups of these complexes.

In Jinhyun Park's answer to the question What do higher Chow groups mean, he elaborates that one can see higher Chow groups as algebraic-geometric version of singular homology theory.

Since higher Chow groups are extensively studied. A natural question is

Can we define the algebraic-geometric algebro-geometric version of singular cohomology theory using above constructions？ Is this a good object to studystudy？What about Chow cohomology？

1

# Higer Chow groups and singular cohomology theory

Let $X$ be a regular scheme over a field $k$ and $Δ^m$ be the algebraic $m$-simplex $\mathrm{Spec} k[t_0,...,t_m]/(1-\sum_jt_j)$. The group $z^i(X,m)$ is the free abelian group generated by all closed integral subvarieties on $X×Δ^m$ of codimension $i$ which intersect all faces $X×Δ^j$ properly for all $j < m$. Taking alternative sum of these intersections makes $z^i(X,*)$ a chain complex. Bloch's higher Chow groups is defined as homology groups of these complexes.

In Jinhyun Park's answer to the question What do higher Chow groups mean, he elaborates that one can see higher Chow groups as algebraic-geometric version of singular homology theory.

Since higher Chow groups are extensively studied. A natural question is

Can we define the algebraic-geometric version of singular cohomology theory using above constructions？ Is this a good object to study？
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 44, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": false, "boilerplate_config": {"ratio_threshold": 0.3, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9135879874229431, "perplexity_flag": "head"}