Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userVanishing Theorems for Real Algebraic Cycles
234
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
We establish the analogue of the Friedlander-Mazur conjecture for Tehs reduced Lawson homology groups of real varieties, which says that the reduced Lawson homology of a real quasi-projective variety $X$ vanishes in homological degrees larger than the dimension of $X$ in all weights. As an application we obtain a vanishing of homotopy groups of the mod-2 topological groups of averaged cycles and a characterization in a range of indices of the motivic cohomology of a real variety as homotopy groups of the complex of averaged equidimensional cycles. We also establish an equivariant Poincare duality between equivariant Friedlander-Walker real morphic cohomology and dos Santos real Lawson homology. We use this together with an equivariant extension of the mod-2 Beilinson-Lichtenbaum conjecture to compute some real Lawson homology groups in terms of Bredon cohomology.
rate research
Read More
In this short note, we simply collect some known results about representing algebraic cycles by various kind of nice (e.g. smooth, local complete intersection, products of local complete intersection) algebraic cycles, up to rational equivalence. We also add a few elementary and easy observations on these representation problems that we were not able to locate in the literature.
This is a sequel to Kodaira-Saito vanishing via Higgs bundles in positive characteristic (arXiv:1611.09880). However, unlike the previous paper, all the arguments here are in characteristic zero. The main result is a Kodaira vanishing theorem for semistable parabolic Higgs bundles with trivial parabolic Chern classes. This implies a general semipositivity theorem. This also implies a Kodaira-Saito vanishing theorem for complex variations of Hodge structure.
We establish an Atiyah-Hirzebruch type spectral sequence relating real morphic cohomology and real semi-topological K-theory and prove it to be compatible with the Atiyah-Hirzebruch spectral sequence relating Bredon cohomology and Atiyahs KR-theory constructed by Dugger. An equivariant and a real version of Suslins conjecture on morphic cohomology are formulated, proved to come from the complex version of Suslin conjecture and verified for certain real varieties. In conjunction with the spectral sequences constructed here this allows the computation of the real semi-topological K-theory of some real varieties. As another application of this spectral sequence we give an alternate proof of the Lichtenbaum-Quillen conjecture over $R$, extending an earlier proof of Karoubi and Weibel.
The paper is suspended. The reason: as was noted by prof. H. Esnault, Theorem 2.1.1 of the previous version (as well as the related Theorem 6.1.1 of http://arxiv.org/PS_cache/math/pdf/9908/9908037v2.pdf of D. Arapura and P. Sastry) is wrong unless one assumes H to be a generic hyperplane section. Hence the proofs of all results starting from 2.3 contain gaps. The author hopes to correct this (somehow) in a future version. At least, most of the results follow from certain standard motivic conjectures (see part 1 of Remark 3.2.4 in the previous version). If the author would not find a way to prove Theorems 2.3.1 and 2.3.2 (without 2.1.1), then in the next version of the preprint the results of section 4 will be deduced from certain conjectures; certainly this is not a very exiting result.
Real algebraic geometry adapts the methods and ideas from (complex) algebraic geometry to study the real solutions to systems of polynomial equations and polynomial inequalities. As it is the real solutions to such systems modeling geometric constraints that are physically meaningful, real algebraic geometry is a core mathematical input for geometric constraint systems.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
