Combinatorics of the K-theory of affine Grassmannians

We introduce a family of tableaux that simultaneously generalizes the tableaux used to characterize Grothendieck polynomials and k-Schur functions. We prove that the polynomials drawn from these tableaux are the affine Grothendieck polynomials and k-K-Schur functions – Schubert representatives for the K-theory of affine Grassmannians and their dual in the nil Hecke ring. We prove a number of combinatorial properties including Pieri rules.     

Stable Grothendieck polynomials and <Emphasis Type="Italic">K</Emphasis>-theoretic factor sequences

We formulate a nonrecursive combinatorial rule for the expansion of the stable Grothendieck polynomials of Fomin and Kirillov (Proc Formal Power Series Alg Comb, 1994) in the basis of stable Grothendieck polynomials for partitions. This gives a common generalization, as well as new proofs of the rule of Fomin and Greene (Discret Math 193:565–596, 1998) for the expansion of the stable Schubert polynomials into Schur polynomials, and the K-theoretic Grassmannian Littlewood–Richardson rule of Buch (Acta Math 189(1):37–78, 2002). The proof is based on a generalization of the Robinson–Schensted and Edelman–Greene insertion algorithms. Our results are applied to prove a number of new formulas and properties for K-theoretic quiver polynomials, and the Grothendieck polynomials of Lascoux and Schützenberger (C R Acad Sci Paris Ser I Math 294(13):447–450, 1982). In particular, we provide the first K-theoretic analogue of the factor sequence formula of Buch and Fulton (Invent Math 135(3):665–687, 1999) for the cohomological quiver polynomials.     

Duality and deformations of stable Grothendieck polynomials

Stable Grothendieck polynomials can be viewed as a K-theory analog of Schur polynomials. We extend stable Grothendieck polynomials to a two-parameter version, which we call canonical stable Grothendieck functions. These functions have the same structure constants (with scaling) as stable Grothendieck polynomials and (composing with parameter switching) are self-dual under the standard involutive ring automorphism. We study various properties of these functions, including combinatorial formulas, Schur expansions, Jacobi–Trudi-type identities, and associated Fomin–Greene operators.     

Combinatorial Aspects of the K-Theory of Grassmannians

In this paper we study Grothendieck polynomials indexed by Grassmannian permutations, which are representatives for the classes corresponding to the structure sheaves of Schubert varieties in the K-theory of Grassmannians. These Grothendieck polynomials are nonhomogeneous symmetric polynomials whose lowest homogeneous component is a Schur polynomial. Our treatment, which is closely related to the theory of Schur functions, gives new information about these polynomials. Our main results are concerned with the transition matrices between Grothendieck polynomials indexed by Grassmannian permutations and Schur polynomials on the one hand and a Pieri formula for these Grothendieck polynomials on the other.     

The differential analytic index in Simons–Sullivan differential K-theory

We define the Simons–Sullivan differential analytic index by translating the Freed–Lott differential analytic index via explicit ring isomorphisms between Freed–Lott differential K-theory and Simons–Sullivan differential K-theory. We prove the differential Grothendieck–Riemann–Roch theorem in Simons–Sullivan differential K-theory using a theorem of Bismut.     

Un raffinement du caractère hilbertien du corps K(X)

Given an infinite field K. We will show that for the elements of a hilbertian set of K(X) associated to a family of polynomials with coefficients in K, the specialized polynomials remain also primitive knowing that the starting polynomials are it. This result refines the hilbertian character of the field K(X). Moreover, by an application of this result, one obtains an analog of the famous arithmetic progression theorem.     

Group completion in the K-theory and Grothendieck–Witt theory of proto-exact categories

We study the algebraic K-theory and Grothendieck–Witt theory of proto-exact categories, with a particular focus on classes of examples of ${\mathbb{F}}_1$-linear nature. Our main results are analogues of theorems of Quillen and Schlichting, relating the K-theory or Grothendieck–Witt theory spaces of proto-exact categories defined using the (hermitian) Q-construction and group completion.     

K-Theory and the Quantization Commutes with Reduction Problem

The authors examine the quantization commutes with reduction phenomenon for Hamiltonian actions of compact Lie groups on closed symplectic manifolds from the point of view of topological K-theory and K-homology. They develop the machinery of K-theory wrong-way maps in the context of orbifolds and use it to relate the quantization commutes with reduction phenomenon to Bott periodicity and the K-theory formulation of the Weyl character formula.     

A Quillen-type spectral sequence for the K-theory of varieties with isolated singularities

We construct a spectral sequence to compute the algebraic K-theory of any quasiprojective scheme X, when X has isolated singularities, using an explicit flasque resolution of the K-theory sheaves. This is a generalization of Quillen's construction for nonsingular varieties. The explicit resolution makes it possible to relate K-theory to intersection theory on singular schemes.Partially supported by NSF grants.Dedicated to A. Grothendieck on his sixtieth birthday     

On uniqueness of characteristic classes

We give an axiomatic characterization of maps from algebraic K-theory. The results apply to a large class of maps from algebraic K-theory to any suitable cohomology theory or to algebraic K-theory. In particular, we obtain comparison theorems for the Chern character and Chern classes and for the Adams operations and λ-operations on higher algebraic K-theory. We show that the Adams operations and λ-operations defined by Grayson agree with the ones defined by Gillet and Soulé.     

Algebraic K-theory of special groups

Following the introduction of an algebraic K-theory of special groups in [Dickmann and Miraglia, Algebra Colloq. 10 (2003) 149-176], generalizing Milnor's mod 2 K-theory for fields, the aim of this paper is to compute the K-theory of Boolean algebras, inductive limits, finite products, extensions, SG-sums and (finitely) filtered Boolean powers of special groups. A parallel theme is the preservation by these constructions of property [SMC], an analog for the K-theory of special groups of the property “multiplication by l(-1) is injective” in Milnor's mod 2 K-theory (see [Milnor, Invent. Math. 9 (1970) 318-344]).     

Finiteness theorems for the shifted Witt and higher Grothendieck–Witt groups of arithmetic schemes

For smooth varieties over finite fields, we prove that the shifted (aka derived) Witt groups of surfaces are finite and the higher Grothendieck–Witt groups (aka Hermitian K-theory) of curves are finitely generated. For more general arithmetic schemes, we give conditional results, for example, finite generation of the motivic cohomology groups implies finite generation of the Grothendieck–Witt groups.     

Periodic Cyclic Homology as Sheaf Cohomology Dedicated to Daniel Quillen on his 60th Birthday

We study a noncommutative version of the infinitesimal site of Grothendieck. A theorem of Grothendieck establishes that the cohomology of the structure sheaf on the infinitesimal topology of a scheme of characteristic zero is de Rham cohomology. We prove that, for the noncommutative infinitesimal topology of an associative algebra over a field of characteristic zero, the cohomology of the structure sheaf modulo commutators is periodic cyclic cohomology. We also compute the noncommutative infinitesimal cohomology of other sheaves. For example, we show that infinitesimal hypercohomology with coefficients in K-theory gives the fiber of the Jones–Goodwillie character which goes from K-theory to negative cyclic homology.     

Symplectic resolutions for nilpotent orbits (III)

We prove that two symplectic resolutions of a nilpotent orbit closures in a simple complex Lie algebra of classical type are related by Mukai flops in codimension 2. To cite this article: B. Fu, C. R. Acad. Sci. Paris, Ser. I 342 (2006).     

Weyl quantization for semidirect products

Let G be the semidirect product V?K where K is a connected semisimple non-compact Lie group acting linearily on a finite-dimensional real vector space V. Let O be a coadjoint orbit of G associated by the Kirillov-Kostant method of orbits with a unitary irreducible representation π of G. We consider the case when the corresponding little group K₀ is a maximal compact subgroup of K. We realize the representation π on a Hilbert space of functions on Rn where n=dim(K)−dim(K₀). By dequantizing π we then construct a symplectomorphism between the orbit O and the product R2n×O^′ where O^′ is a little group coadjoint orbit. This allows us to obtain a Weyl correspondence on O which is adapted to the representation π in the sense of [B. Cahen, Quantification d'une orbite massive d'un groupe de Poincaré généralisé, C. R. Acad. Sci. Paris Série I 325 (1997) 803-806]. In particular we recover well-known results for the Poincaré group.     

A geometric model for odd differential K-theory

Odd K-theory has the interesting property that it admits an infinite number of inequivalent differential refinements. In this paper we provide a bundle theoretic model for odd differential K-theory using the caloron correspondence and prove that this refinement is unique up to a unique natural isomorphism. We characterise the odd Chern character and its transgression form in terms of a connection and Higgs field and discuss some applications. Our model can be seen as the odd counterpart to the Simons–Sullivan construction of even differential K-theory. We use this model to prove a conjecture of Tradler–Wilson–Zeinalian [16], which states that the model developed there also defines the unique differential extension of odd K-theory.     

Additivity for derivator K-theory

We prove the additivity theorem for the K-theory of triangulated derivators. This solves one of the conjectures made by Maltsiniotis in [G. Maltsiniotis, La K-théorie d'un dérivateur triangulé, in: Alexei Davydov, Michael Batanin, Michael Johnson, Stephen Lack, Amnon Neeman (Eds.), Categories in Algebra, Geometry and Physics, Conference and Workshop in honor of Ross Street's 60th Birthday, in: Contemp. Math., vol. 431, Amer. Math. Soc., 2007, pp. 341-368]. We also review some basic definitions and results in the theory of derivators in the sense of Grothendieck.     

Hermitian <Emphasis Type="Italic">K</Emphasis>-theory and 2-regularity for totally real number fields

We completely determine the 2-primary torsion subgroups of the hermitian K-groups of rings of 2-integers in totally real 2-regular number fields. The result is almost periodic with period 8. Moreover, the 2-regular case is precisely the class of totally real number fields that have homotopy cartesian “Bökstedt square”, relating the K-theory of the 2-integers to that of the fields of real and complex numbers and finite fields. We also identify the homotopy fibers of the forgetful and hyperbolic maps relating hermitian and algebraic K-theory. The result is then exactly periodic of period 8 in the orthogonal case. In both the orthogonal and symplectic cases, we prove a 2-primary hermitian homotopy limit conjecture for these rings.     

Cyclic cocycles on deformation quantizations and higher index theorems

We construct a nontrivial cyclic cocycle on the Weyl algebra of a symplectic vector space. Using this cyclic cocycle we construct an explicit, local, quasi-isomorphism from the complex of differential forms on a symplectic manifold to the complex of cyclic cochains of any formal deformation quantization thereof. We give a new proof of Nest-Tsygan's algebraic higher index theorem by computing the pairing between such cyclic cocycles and the K-theory of the formal deformation quantization. Furthermore, we extend this approach to derive an algebraic higher index theorem on a symplectic orbifold. As an application, we obtain the analytic higher index theorem of Connes-Moscovici and its extension to orbifolds.     

Eulerian quasisymmetric functions

We introduce a family of quasisymmetric functions called Eulerian quasisymmetric functions, which specialize to enumerators for the joint distribution of the permutation statistics, major index and excedance number on permutations of fixed cycle type. This family is analogous to a family of quasisymmetric functions that Gessel and Reutenauer used to study the joint distribution of major index and descent number on permutations of fixed cycle type. Our central result is a formula for the generating function for the Eulerian quasisymmetric functions, which specializes to a new and surprising q-analog of a classical formula of Euler for the exponential generating function of the Eulerian polynomials. This q-analog computes the joint distribution of excedance number and major index, the only of the four important Euler-Mahonian distributions that had not yet been computed. Our study of the Eulerian quasisymmetric functions also yields results that include the descent statistic and refine results of Gessel and Reutenauer. We also obtain q-analogs, (q,p)-analogs and quasisymmetric function analogs of classical results on the symmetry and unimodality of the Eulerian polynomials. Our Eulerian quasisymmetric functions refine symmetric functions that have occurred in various representation theoretic and enumerative contexts including MacMahon's study of multiset derangements, work of Procesi and Stanley on toric varieties of Coxeter complexes, Stanley's work on chromatic symmetric functions, and the work of the authors on the homology of a certain poset introduced by Björner and Welker.