No Arabic abstract
We produce a Grothendieck transformation from bivariant operational $K$-theory to Chow, with a Riemann-Roch formula that generalizes classical Grothendieck-Verdier-Riemann-Roch. We also produce Grothendieck transformations and Riemann-Roch formulas that generalize the classical Adams-Riemann-Roch and equivariant localization theorems. As applications, we exhibit a projective toric variety $X$ whose equivariant $K$-theory of vector bundles does not surject onto its ordinary $K$-theory, and describe the operational $K$-theory of spherical varieties in terms of fixed-point data. In an appendix, Vezzosi studies operational $K$-theory of derived schemes and constructs a Grothendieck transformation from bivariant algebraic $K$-theory of relatively perfect complexes to bivariant operational $K$-theory.
We extend the Boutet de Monvel Toeplitz index theorem to complex manifold with isolated singularities following the relative $K$-homology theory of Baum, Douglas, and Taylor for manifold with boundary. We apply this index theorem to study the Arveson-Douglas conjecture. Let $ball^m$ be the unit ball in $mathbb{C}^m$, and $I$ an ideal in the polynomial algebra $mathbb{C}[z_1, cdots, z_m]$. We prove that when the zero variety $Z_I$ is a complete intersection space with only isolated singularities and intersects with the unit sphere $mathbb{S}^{2m-1}$ transversely, the representations of $mathbb{C}[z_1, cdots, z_m]$ on the closure of $I$ in $L^2_a(ball^m)$ and also the corresponding quotient space $Q_I$ are essentially normal. Furthermore, we prove an index theorem for Toeplitz operators on $Q_I$ by showing that the representation of $mathbb{C}[z_1, cdots, z_m]$ on the quotient space $Q_I$ gives the fundamental class of the boundary $Z_Icap mathbb{S}^{2m-1}$. In the appendix, we prove with Kai Wang that if $fin L^2_a(ball^m)$ vanishes on $Z_Icap ball ^m$, then $f$ is contained inside the closure of the ideal $I$ in $L^2_a(ball^m)$.
Let G be a torus and M a G-Hamiltonian manifold with Kostant line bundle L and proper moment map. Let P be the weight lattice of G. We consider a parameter k and the multiplicity $m(lambda,k)$ of the quantized representation associated to M and the k-th power of L . We prove that the weighted sum $sum m(lambda,k) f(lambda/k)$ of the value of a test function f on points of the lattice $P/k$ has an asymptotic development in terms of the twisted Duistermaat-Heckman distributions associated to the graded Todd class of M. When M is compact, and f polynomial, the asymptotic series is finite and exact.
In [MT2] the Vafa-Witten theory of complex projective surfaces is lifted to oriented $mathbb C^*$-equivariant cohomology theories. Here we study the K-theoretic refinement. It gives rational functions in $t^{1/2}$ invariant under $t^{1/2}leftrightarrow t^{-1/2}$ which specialise to numerical Vafa-Witten invariants at $t=1$. On the instanton branch the invariants give the virtual $chi_{-t}^{}$-genus refinement of Gottsche-Kool. Applying modularity to their calculations gives predictions for the contribution of the monopole branch. We calculate some cases and find perfect agreement. We also do calculations on K3 surfaces, finding Jacobi forms refining the usual modular forms, proving a conjecture of Gottsche-Kool. We determine the K-theoretic virtual classes of degeneracy loci using Eagon-Northcott complexes, and show they calculate refined Vafa-Witten invariants. Using this Laarakker [Laa] proves universality results for the invariants.
We prove the conjectures of Graham-Kumar and Griffeth-Ram concerning the alternation of signs in the structure constants for torus-equivariant K-theory of generalized flag varieties G/P. These results are immediate consequences of an equivariant homological Kleiman transversality principle for the Borel mixing spaces of homogeneous spaces, and their subvarieties, under a natural group action with finitely many orbits. The computation of the coefficients in the expansion of the equivariant K-class of a subvariety in terms of Schubert classes is reduced to an Euler characteristic using the homological transversality theorem for non-transitive group actions due to S. Sierra. A vanishing theorem, when the subvariety has rational singularities, shows that the Euler characteristic is a sum of at most one term--the top one--with a well-defined sign. The vanishing is proved by suitably modifying a geometric argument due to M. Brion in ordinary K-theory that brings Kawamata-Viehweg vanishing to bear.
In this work we study the generalized Weierstrass semigroup $widehat{H} (mathbf{P}_m)$ at an $m$-tuple $mathbf{P}_m = (P_{1}, ldots , P_{m})$ of rational points on certain curves admitting a plane model of the form $f(y) = g(x)$ over $mathbb{F}_{q}$, where ${f(T),g(T)in mathbb{F}_q[T]}$. In particular, we compute the generating set $widehat{Gamma}(mathbf{P}_m)$ of $widehat{H} (mathbf{P}_m)$ and, as a consequence, we explicit a basis for Riemann-Roch spaces of divisors with support in ${P_{1}, ldots , P_{m}}$ on these curves, generalizing results of Maharaj, Matthews, and Pirsic.