Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userPrincipal ideals in mod-$ell$ Milnor $K$-theory
220
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
Fix a symbol $underline{a}$ in the mod-$ell$ Milnor $K$-theory of a field $k$, and a norm variety $X$ for $underline{a}$. We show that the ideal generated by $underline{a}$ is the kernel of the $K$-theory map induced by $ksubset k(X)$ and give generators for the annihilator of the ideal. When $ell=2$, this was done by Orlov, Vishik and Voevodsky.
rate research
Read More
We construct an analytic multiplicative model of smooth K-theory. We further introduce the notion of a smooth K-orientation of a proper submersion and define the associated push-forward which satisfies functoriality, compatibility with pull-back diagrams, and projection and bordism formulas. We construct a multiplicative lift of the Chern character from smooth K-theory to smooth rational cohomology and verify that the cohomological version of the Atiyah-Singer index theorem for families lifts to smooth cohomology.
In nature, one observes that a K-theory of an object is defined in two steps. First a structured category is associated to the object. Second, a K-theory machine is applied to the latter category to produce an infinite loop space. We develop a general framework that deals with the first step of this process. The K-theory of an object is defined via a category of locally trivial objects with respect to a pretopology. We study conditions ensuring an exact structure on such categories. We also consider morphisms in K-theory that such contexts naturally provide. We end by defining various K-theories of schemes and morphisms between them.
For G a finite group and X a G-space on which a normal subgroup A acts trivially, we show that the G-equivariant K-theory of X decomposes as a direct sum of twisted equivariant K-theories of X parametrized by the orbits of the conjugation action of G on the irreducible representations of A. The twists are group 2-cocycles which encode the obstruction of lifting an irreducible representation of A to the subgroup of G which fixes the isomorphism class of the irreducible representation.
We construct geometric models for classifying spaces of linear algebraic groups in G-equivariant motivic homotopy theory, where G is a tame group scheme. As a consequence, we show that the equivariant motivic spectrum representing the homotopy K-theory of G-schemes (which we construct as an E-infinity-ring) is stable under arbitrary base change, and we deduce that homotopy K-theory of G-schemes satisfies cdh descent.
In this work, we compute the $0$th cohomology group of a complex of groups of cobordism-framed correspondences, and prove the isomorphism to Milnor $K$-groups. An analogous result for common framed correspondences has been proved by A. Neshitov in his paper Framed correspondences and the Milnor---Witt $K$-theory. Neshitovs result is, at the same time, a computation of the homotopy groups $pi_{i,i}(S^0)(Spec(k)).$ This work could be used in the future as basis for computing homotopy groups $pi_{i,i}(MGL_{bullet})(Spec(k))$ of the spectrum $MGL_{bullet}.$
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
