K-teoría hermitiana algebraica bivariante.

[fórmulas aproximadas, revisar las mismas en el original]Consideremos un anillo conmutativo l con involución con un elemento λ ∈ l tal que λ+λ∗ = 1; sea Alg∗l la categoría de l-algebras con involución compatible con la de l que llamamos ∗-algebras. En esta tesis desarrollamos una categoría triangula...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Vega, Santiago Javier
Otros Autores: Cortiñas, Guillermo Horacio
Formato: Tesis doctoral publishedVersion
Lenguaje:Español
Publicado: Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales 2021
Materias:
Acceso en línea:https://hdl.handle.net/20.500.12110/tesis_n6865_Vega
Aporte de:
id tesis:tesis_n6865_Vega
record_format dspace
spelling tesis:tesis_n6865_Vega2023-10-02T20:22:47Z K-teoría hermitiana algebraica bivariante. Hermitian bivariant algebraic K-theory Vega, Santiago Javier Cortiñas, Guillermo Horacio K-TEORIA HERMITIANA ALGEBRAICA TEOREMA FUNDAMENTAL DE KAROUBI K-TEORIA HERMITIANA HOMOTOPICA K-TEORIA ALGEBRAICA BIVARIANTE GRUPOS BIVARIANTES DE WITT HERMITIAN ALGEBRAIC K-THEORY KAROUBI'S FUNDAMENTAL THEOREM HOMOTOPY HERMITIAN K-THEORY BIVARIANT ALGEBRAIC K-THEORY BIVARIANT WITT GROUPS [fórmulas aproximadas, revisar las mismas en el original]Consideremos un anillo conmutativo l con involución con un elemento λ ∈ l tal que λ+λ∗ = 1; sea Alg∗l la categoría de l-algebras con involución compatible con la de l que llamamos ∗-algebras. En esta tesis desarrollamos una categoría triangulada kk^h y un funtor j^h : Alg∗l → kk^h que llamamos K-teoría hermitiana algebraica bivariante; el funtor j^h satisface invarianza homotopica, estabilidad matricial y hermitiana y es una teoría de homología escisiva para extensiones que se parten linealmente. También definimos una versión invariante homotopica estilo Weibel de la K-teoriıa hermitiana que notamos como K H^h∗. Mostramos que la categorıa kk^h recupera K H^h0 como funtor representable homkkh (l, A) ∼= K H^h0(A). Construimos funtores εU y εV que se corresponden con desuspensiones de los funtores U’ y V’ en el Teorema Fundamental de Karoubi: para R ∈ Alg∗l unital hay un elemento θ0 ∈ K^h2 ((U^r2)R) cuyo producto cup induce un isomorfismo εK^h∗ (V’(R)) ∼= −εK^h∗+1(U’(R)). Probamos una adjunción entre kk^h y la K-teoria algebraica bivariante kk definida por Cortiñas y Thom y la usamos para probar una versión del teorema de Karoubi en kk^h : el producto con la imagen de θ0 in KH^h0 (U^2 l) induce un isomorfismo en kk^h J^h (εV A) ∼= Ωj^h (−εUA) para todo A ∈ Alg∗l. Esto nos permite obtener una versión bivariante homotópica de la clásica sucesión de 12 términos de Karoubi para la K-teoría hermitiana.[fórmulas aproximadas, revisar las mismas en el original] [fórmulas aproximadas, revisar las mismas en el original]Consider a commutative ring l with involution with an element λ ∈ l such that λ+λ∗ = 1; write Alg∗l for the category of l-algebras with involution compatible with that of l, which we call ∗-algebras. In this thesis we develop a triangulated category kk^h and a functor j^h : Alg∗l → kk^h which we call bivariant algebraic hermitian K- theory; the functor j^h satisfies homotopy invariance, matrix and hermitian stability and is an excisive homology theory for extensions which are linearly split. We also define a Weibel style homotopy invariant hermitian K-theory which we denote as K H^h∗. We show that the category kk^h recovers K H^h0 as a representable functor homkkh (l, A) ∼= K H^h0(A). We construct functors εU and εV which correspond to desuspensions of the functors U’ and V’ in Karoubi’s Fundamental Theorem: for a unital R ∈ Alg∗l there is an element θ0 ∈ K^h2 (U^r2 R) which the cup product induces an isomorphism εK^h∗ (V’(R)) ∼= −εK^h∗+1(U’(R)). We prove an adjunction between kk^h and the bivariant algebraic K-theory kk as defined by Cortiñas and Thom and use it to prove a version of Karoubi’s theorem in kk^h : the product with the image of θ0 in KH^h0 (U^2 l) induces an isomorphism in kk^h J^h (εV A) ∼= Ωj^h (−εUA) for any A ∈ Alg∗l. This allows us to obtain a bivariant homotopic version of the classical 12-term exact sequence of Karoubi for hermitian K-theory.[fórmulas aproximadas, revisar las mismas en el original] Fil: Vega, Santiago Javier. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales 2021-07-21 info:eu-repo/semantics/doctoralThesis info:ar-repo/semantics/tesis doctoral info:eu-repo/semantics/publishedVersion application/pdf spa info:eu-repo/semantics/openAccess https://creativecommons.org/licenses/by-nc-sa/2.5/ar https://hdl.handle.net/20.500.12110/tesis_n6865_Vega
institution Universidad de Buenos Aires
institution_str I-28
repository_str R-134
collection Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
language Español
orig_language_str_mv spa
topic K-TEORIA HERMITIANA ALGEBRAICA
TEOREMA FUNDAMENTAL DE KAROUBI
K-TEORIA HERMITIANA HOMOTOPICA
K-TEORIA ALGEBRAICA BIVARIANTE
GRUPOS BIVARIANTES DE WITT
HERMITIAN ALGEBRAIC K-THEORY
KAROUBI'S FUNDAMENTAL THEOREM
HOMOTOPY HERMITIAN K-THEORY
BIVARIANT ALGEBRAIC K-THEORY
BIVARIANT WITT GROUPS
spellingShingle K-TEORIA HERMITIANA ALGEBRAICA
TEOREMA FUNDAMENTAL DE KAROUBI
K-TEORIA HERMITIANA HOMOTOPICA
K-TEORIA ALGEBRAICA BIVARIANTE
GRUPOS BIVARIANTES DE WITT
HERMITIAN ALGEBRAIC K-THEORY
KAROUBI'S FUNDAMENTAL THEOREM
HOMOTOPY HERMITIAN K-THEORY
BIVARIANT ALGEBRAIC K-THEORY
BIVARIANT WITT GROUPS
Vega, Santiago Javier
K-teoría hermitiana algebraica bivariante.
topic_facet K-TEORIA HERMITIANA ALGEBRAICA
TEOREMA FUNDAMENTAL DE KAROUBI
K-TEORIA HERMITIANA HOMOTOPICA
K-TEORIA ALGEBRAICA BIVARIANTE
GRUPOS BIVARIANTES DE WITT
HERMITIAN ALGEBRAIC K-THEORY
KAROUBI'S FUNDAMENTAL THEOREM
HOMOTOPY HERMITIAN K-THEORY
BIVARIANT ALGEBRAIC K-THEORY
BIVARIANT WITT GROUPS
description [fórmulas aproximadas, revisar las mismas en el original]Consideremos un anillo conmutativo l con involución con un elemento λ ∈ l tal que λ+λ∗ = 1; sea Alg∗l la categoría de l-algebras con involución compatible con la de l que llamamos ∗-algebras. En esta tesis desarrollamos una categoría triangulada kk^h y un funtor j^h : Alg∗l → kk^h que llamamos K-teoría hermitiana algebraica bivariante; el funtor j^h satisface invarianza homotopica, estabilidad matricial y hermitiana y es una teoría de homología escisiva para extensiones que se parten linealmente. También definimos una versión invariante homotopica estilo Weibel de la K-teoriıa hermitiana que notamos como K H^h∗. Mostramos que la categorıa kk^h recupera K H^h0 como funtor representable homkkh (l, A) ∼= K H^h0(A). Construimos funtores εU y εV que se corresponden con desuspensiones de los funtores U’ y V’ en el Teorema Fundamental de Karoubi: para R ∈ Alg∗l unital hay un elemento θ0 ∈ K^h2 ((U^r2)R) cuyo producto cup induce un isomorfismo εK^h∗ (V’(R)) ∼= −εK^h∗+1(U’(R)). Probamos una adjunción entre kk^h y la K-teoria algebraica bivariante kk definida por Cortiñas y Thom y la usamos para probar una versión del teorema de Karoubi en kk^h : el producto con la imagen de θ0 in KH^h0 (U^2 l) induce un isomorfismo en kk^h J^h (εV A) ∼= Ωj^h (−εUA) para todo A ∈ Alg∗l. Esto nos permite obtener una versión bivariante homotópica de la clásica sucesión de 12 términos de Karoubi para la K-teoría hermitiana.[fórmulas aproximadas, revisar las mismas en el original]
author2 Cortiñas, Guillermo Horacio
author_facet Cortiñas, Guillermo Horacio
Vega, Santiago Javier
format Tesis doctoral
Tesis doctoral
publishedVersion
author Vega, Santiago Javier
author_sort Vega, Santiago Javier
title K-teoría hermitiana algebraica bivariante.
title_short K-teoría hermitiana algebraica bivariante.
title_full K-teoría hermitiana algebraica bivariante.
title_fullStr K-teoría hermitiana algebraica bivariante.
title_full_unstemmed K-teoría hermitiana algebraica bivariante.
title_sort k-teoría hermitiana algebraica bivariante.
publisher Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales
publishDate 2021
url https://hdl.handle.net/20.500.12110/tesis_n6865_Vega
work_keys_str_mv AT vegasantiagojavier kteoriahermitianaalgebraicabivariante
AT vegasantiagojavier hermitianbivariantalgebraicktheory
_version_ 1782022574385922048