Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userK-theory of line bundles and smooth varieties
154
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
We give a $K$-theoretic criterion for a quasi-projective variety to be smooth. If $mathbb{L}$ is a line bundle corresponding to an ample invertible sheaf on $X$, it suffices that $K_q(X) = K_q(mathbb{L})$ for all $qledim(X)+1$.
rate research
Read More
Let $R$ be the homogeneous coordinate ring of a smooth projective variety $X$ over a field $k$ of characteristic~0. We calculate the $K$-theory of $R$ in terms of the geometry of the projective embedding of $X$. In particular, if $X$ is a curve then we calculate $K_0(R)$ and $K_1(R)$, and prove that $K_{-1}(R)=oplus H^1(C,cO(n))$. The formula for $K_0(R)$ involves the Zariski cohomology of twisted Kahler differentials on the variety.
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.
We show that if X is a toric scheme over a regular ring containing a field then the direct limit of the K-groups of X taken over any infinite sequence of nontrivial dilations is homotopy invariant. This theorem was known in characteristic 0. The affine case of our result was conjectured by Gubeladze.
We construct a semi-orthogonal decomposition on the category of perfect complexes on the blow-up of a derived Artin stack in a quasi-smooth centre. This gives a generalization of Thomasons blow-up formula in algebraic K-theory to derived stacks. We also provide a new criterion for descent in Voevodskys cdh topology, which we use to give a direct proof of Cisinskis theorem that Weibels homotopy invariant K-theory satisfies cdh descent.
We prove that the kernel bundle of the evaluation morphism of global sections, namely the syzygy bundle, of a sufficiently ample line bundle on a smooth projective variety is slope stable with respect to any polarization. This settles a conjecture of Ein-Lazarsfeld-Mustopa.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
