Formal loops II: A local Riemann–Roch theorem for determinantal gerbes

Given a scheme S and a locally free sheaf of OS((t))-modules, we construct a determinantal -gerbe over S whose class is computed via a local Riemann–Roch theorem of a new kind.

RésuméÀ un schéma S et un faisceau localement libre de OS((t))-modules, on associe une gerbe déterminantale sur S de lien . La classe de cette gerbe se calcule par le biais d'un théorème « à la Riemann–Roch » d'un nouveau type.