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...
Guardado en:
Autor principal: | |
---|---|
Otros Autores: | |
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 |