The operational-to-primarily-strong Chow isomorphism conjecture

Let X\mathcal{X} be a smooth connected properly stable Artin stack with good moduli space π ⁣:XX\pi\colon\mathcal{X}\to X. Let Aop(X)QA^*_{\operatorname{op}}(X)_\mathbb Q be the operational Chow ring of XX, let Atst(X/X)QA^*_{\operatorname{tst}}(\mathcal{X}/X)_\mathbb Q be the relative topologically strong Chow group, and let Apst(X/X)QA^*_{\operatorname{pst}}(\mathcal{X}/X)_\mathbb Q be generated by primarily strong integral substacks, meaning topologically strong integral substacks whose inverse images under π\pi have no embedded components. The injection

π ⁣:Aop(X)QAtst(X/X)Q\pi^*\colon A^*_{\operatorname{op}}(X)_\mathbb Q\to A^*_{\operatorname{tst}}(\mathcal{X}/X)_\mathbb Q

induces an isomorphism Operational-to-primarily-strong Chow isomorphism conjecture.

Aop(X)QApst(X/X)Q.A^*_{\operatorname{op}}(X)_\mathbb Q\simeq A^*_{\operatorname{pst}}(\mathcal{X}/X)_\mathbb Q.

The conjecture proposes an intrinsic description of the image of operational Chow classes under pullback, refining the fact that the pullback is injective but need not surject onto all topologically strong classes. Its status is not resolved in the supplied text.

Sources & referencesView supporting material

Primary source

Dan Edidin and Matthew Satriano, “Towards an Intersection Chow Cohomology Theory for GIT Quotients”, arXiv:1707.05890 (2019).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.