En matemáticas, la norma de Thurston es una función del segundo grupo de homología de una variedad 3 orientada introducida por William Thurston , que mide de forma natural la complejidad topológica de las clases de homología representadas por superficies.
Sea una variedad diferenciable y . Entonces se puede representar mediante una incrustación suave , donde hay una superficie (no necesariamente conectada) que es compacta y sin límites. La norma de Thurston se define entonces como [1]
donde el mínimo se toma sobre todas las superficies incrustadas ( siendo los componentes conectados) que representan lo anterior, y es el valor absoluto de la característica de Euler para superficies que no son esferas (y 0 para esferas).
Esta función satisface las siguientes propiedades:
Estas propiedades implican que se extiende a una función que luego puede extenderse por continuidad a una seminorma de . [2] Por dualidad de Poincaré , se puede definir la norma de Thurston en .
Cuando es compacto con límite, la norma de Thurston se define de manera similar sobre el grupo de homología relativa y su dual de Poincaré .
Del trabajo posterior de David Gabai [3] se desprende que también se puede definir la norma Thurston utilizando únicamente superficies sumergidas . Esto implica que la norma de Thurston también es igual a la mitad de la norma de Gromov en homología.
La norma Thurston se introdujo en vista de sus aplicaciones a las fibras y foliaciones de 3 variedades.
La bola unitaria de la norma de Thurston de una variedad 3 es un politopo con vértices enteros. Se puede utilizar para describir la estructura del conjunto de fibras sobre el círculo: si se puede escribir como el toro de mapeo de un difeomorfismo de una superficie, entonces la incrustación representa una clase en una cara de dimensión superior (o abierta) de : además, todos los demás puntos enteros de la misma cara también son fibras en dicha fibración. [4]
Las superficies incrustadas que minimizan la norma de Thurston en su clase de homología son exactamente las hojas cerradas de las foliaciones de . [3]