Anmerkungen:
Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
Beschreibung:
La L-théorie classique d'un anneau commutatif est construite à partir des formes quadratiques sur cet anneau modulo une relation d'équivalence lagrangienne. Nous construisons la L-théorie dérivée, à partir des formes quadratiques n-décalées sur un anneau commutatif dérivé. Nous montrons que les formes n-décalées qui admettent un lagrangien possèdent une forme standard. Nous montrons des résultats de chirurgie pour la L-théorie dérivée, qui permettent de réduire une forme quadratique décalée en une forme plus simple équivalente. On compare la L-théorie dérivée avec la L-théorie classique. On définit un champ dérivé des formes quadratiques dérivées, et un champ dérivé des lagrangiens dans une forme, qui sont localement algébriques de présentation finie. On calcule les complexes tangents, et on trouve des points lisses. On montre un résultat de rigidité pour la L-théorie : la L-théorie d'un anneau commutatif est isomorphe à celle d'un voisinage hensélien de cet anneau. Enfin, on définit l'algèbre de Clifford d'une forme quadratique n-décalée, qui est une déformation d'une algèbre symétrique en tant qu'E_k-algèbre. On montre un affaiblissement de la propriété d'Azumaya pour ces algèbres, dans le cas d'un décalage nul n=0, qu'on appelle semi-Azumaya. Cette propriété exprime la trivialité de l'homologie de Hochschild du bimodule de Serre. ; The classical L-theory of a commutative ring is built from the quadratic forms over this ring modulo a lagrangian equivalence relation.We build the derived L-theory from the n-shifted quadratic forms on a derived commutative ring. We show that forms which admit a lagrangian have a standard form. We prove surgery results for this derived L-theory, which allows to reduce shifted quadratic forms to equivalent simpler forms. We compare classical and derived L-theory.We define a derived stack of shifted quadratic forms and a derived stack of lagrangians in a form, which are locally algebraic of finite presentation. We compute tangent complexes and find smooth points. We prove a rigidity ...