Epónimos relacionados con las matemáticas

 teoría de Donaldson-Thomas es la teoría de los invariantes Donaldson-Thomas. Dado un espacio modular compacto de haces en una variedad de Calabi-Yau triple, su invariante Donaldson-Thomas es el número virtual de sus puntos, es decir, la integral de la cohomología clase 1 contra la clase fundamental virtual. El invariante Donaldson-Thomas es un equivalente holomorfo de la invariante Casson. Los invariantes fueron introducidos por Simon Donaldson y Richard Thomas en 1998. Los invariantes Donaldson-Thomas tienen estrechas relaciones con los invariantes Gromov-Witten de los triples algebraicos y con la teoría de las parejas estables debida a Pandharipande y Thomas.

La teoría de Donaldson-Thomas está motivada físicamente por ciertos estados BPS que se producen en la teoría de cuerdas y en la teoría de campo de gauge.

Definición y ejemplos

La idea básica de los invariantes Gromov-Witten es sondear la geometría de un espacio mediante el estudio de mapas de superficies de Riemann a un objetivo suave. La pila de módulos de todos estos mapas admite una clase fundamental virtual, y la teoría de intersección en esta pila produce invariantes numéricos que a menudo pueden contener información enumerativa. En el mismo espíritu, el enfoque de la teoría de Donaldson-Thomas es el estudio de las curvas en un triple algebraico por sus ecuaciones. Más exactamente, mediante el estudio de haces ideales en un espacio. Este espacio de módulos también admite una clase fundamental virtual y produce ciertos invariantes numéricos que son enumerativos.

Mientras que en la teoría de Gromov-Witten, los mapas pueden ser múltiples cubiertas y componentes colapsados de la curva de dominio, la teoría de Donaldson-Thomas permite la información nilpotente contenida en los haces, sin embargo, estos son invariantes de valor entero. Hay conjeturas profundas debidas a Maulik, Okounkov, Nekrasov y Pandharipande, probadas con creciente generalidad, que las teorias Gromov-Witten y Donaldson-Thomas de triples algebraicos son en realidad equivalentes. Más concretamente, sus funciones generadoras son iguales después de un cambio apropiado de variables. Para triples Calabi-Yau, los invariantes Donaldson-Thomas se pueden formular como características ponderadas de Euler en el espacio de los módulos. También ha habido conexiones recientes entre estos invariantes, el álgebra motívica Hall y el anillo de funciones en el toro cuántico.

• El espacio de los módulos de las líneas en el quintico triple es un conjunto discreto de 2875 puntos. El número virtual de puntos es el número real de puntos y por lo tanto el invariante Donaldson-Thomas de este espacio de los módulos es el número entero 2875.
• Del mismo modo, el invariante Donaldson-Thomas del espacio módulos de cónicas en la ecuación del quíntico es 609 250.

Hechos

• El invariante Donaldson-Thomas del espacio de los módulos M es igual a la característica de Euler ponderada de M. La función de peso asociados a cada punto en M un análogo del número de Milnor de una singularidad hiperplana.

Generalizaciones

• En lugar de espacios modulares de haces, se tienen en cuenta los espacios módulares de objetos de categoría derivada. Eso da los invariantes Pandharipande-Thomas que cuentan parejas estables de un Calabi-Yau triple.
• En lugar de invariantes de valores enteros, se tienen en cuenta invariantes motívicas.

 dualidad de Pontryagin explica las propiedades generales de la transformada de Fourier. Pone en un contexto unificado un número de observaciones sobre funciones en la recta real o en grupos abelianos finitos, vg.

• Las funciones periódicas convenientemente regulares en la recta real tienen serie de Fourier y estas funciones se pueden recuperar de su serie de Fourier;
• Las funciones complejo-valoradas convenientemente regulares en la recta real tienen transformación de Fourier que son también funciones en la recta real y, lo mismo que las funciones periódicas, estas funciones se pueden recuperar de su transformación de Fourier; y

• las funciones complejo-valoradas en un grupo abeliano finito tienen transformación de Fourier discreta que son funciones en el grupo dual, que es grupo isomorfo (no canónicamente). Más aún cualquier función en un grupo finito se puede recuperar de su transformación de Fourier discreta.

La teoría, introducida por Lev Pontryagin y combinada con la medida de Haar introducida por John von Neumann, André Weil y otros depende de la teoría del grupo dual de un grupo abeliano localmente compacto.

La medida de Haar

Un grupo topológico es localmente compacto si y solamente si la identidad e del grupo tiene una vecindad compacta. Esto significa que hay un cierto conjunto abierto V que contiene a e que es relativamente compacto en la topología de G. Uno de los hechos más notables sobre un grupo localmente compacto G es que lleva una medida natural esencialmente única, la medida de Haar, que permite medir consistentemente el "tamaño" de subconjuntos suficientemente regulares de G. En este sentido, la medida de Haar es una función de "área" o de "volumen" generalizada definida en subconjuntos de G. Más precisamente, una medida derecha de Haar en un grupo localmente compacto G es una medida contablemente aditiva:

${\displaystyle A\mapsto \mu (A)\quad A\subseteq G}$ un conjunto de Borel

definido en los conjuntos de Borel de G que es invariante derecho en el sentido que

${\displaystyle \mu (Ax)=\mu (A)\quad {\mbox{para }}x\in G}$

es finita para subconjuntos compactos A y distinta a cero y positiva para los conjuntos abiertos. A excepción de factores de escala positivos, las medidas de Haar son únicas. Observe que es imposible definir una medida invariante derecha contablemente aditiva en todos los subconjuntos ' ' de G si se asume el axioma de elección. Ver conjunto no medible. Observe que uno puede definir semejantemente la medida izquierda de Haar. Las medidas derechas e izquierdas de Haar están relacionadas por la función modular.

La medida de Haar permite definir la noción de Integral para funciones Borelianas tomando valores complejos definidas en el grupo. En particular, uno puede considerar varios L^p espacios asociados a la medida de Haar. Específicamente,

${\displaystyle L_{\mu }^{p}(G)=\{f:G\rightarrow \mathbb {C} :\int _{G}|f(x)|^{p}d\mu (x)<\infty \}}$

Ejemplos de grupos abelianos localmente son:

• Rⁿ, para n un número entero positivo, con la adición de vectores como operación del grupo.

• Los números reales positivos con la multiplicación como operación. Este grupo se ve claramente es isomorfo a R. De hecho, la función exponencial implementa ese isomorfismo.

• Cualquier grupo abeliano finito. Por el teorema de estructura para los grupos abelianos finitos, todos estos grupos son productos de grupos cíclicos.

• Los números enteros Z bajo la adición.

• El grupo de la circunferencia unitaria, denotado T (es decir, T¹ toro unidimensional). Este es el grupo de los números complejos de módulo 1. T es isomorfo como grupo topológico grupo cociente a R/Z.

El grupo dual

Si G es un grupo localmente compacto abeliano, definimos un carácter de G como un homomorfismo continuo de grupo φ : G → T. El conjunto de todos los caracteres en G es otro grupo abeliano localmente compacto, llamado el grupo dual de G y denotado como G^. Con más detalle, se define al grupo dual como sigue: Si G es un grupo localmente compacto abeliano, dos tales caracteres se pueden multiplicar punto a punto para formar un nuevo carácter, y el carácter trivial x → 1 es la identidad de G^. La topología de G^ es la de la convergencia uniforme sobre compactos. Se puede demostrar que el grupo G^ con la topología así definida es un grupo abeliano localmente compacto. Nota: Aquí T es el grupo de la circunferencia unitaria, que se puede ver como los números complejos de módulo 1 o el grupo cociente R/Z como se crea conveniente. Esta dualidad, como todas, es una función involutiva, puesto que el grupo dual de un grupo dual es el grupo original. El grupo dual está presentado como el espacio subyacente para una versión abstracta de la transformada de Fourier. En este contexto, las funciones sobre el grupo G (e.g. funciones en L¹(G) o L²(G)) se transforman en las funciones con dominio en el grupo dual G^. Esto se implementa vía la integral

${\displaystyle {\hat {f}}(\phi )=\int _{G}f(x)\phi (-x)\;dx}$

donde la integral utiliza la medida de Haar.

Transformada de Fourier en general

La generalización de la transformada de Fourier más natural viene dada, entonces, por el operador ${\displaystyle F:L^{2}(G)\mapsto L^{2}(G^{\wedge })}$ definido por

(Ff)(φ) = ∫ f(x)φ(x) dx

para cada f en L²(G) y φ en G^. F es un isomorfismo isométrico entre espacios de Hilbert. El f*g de la convolución de dos elementos f, g en L²(G) se puede definir

${\displaystyle (f*g)(t)=\int f(x)g(t-x)\,dx}$

(esto es una función en L²(G) y el teorema de la convolución F(f*g) = Ff·Fg que relaciona la transformada de Fourier de la convolución con el producto de los dos transformadas de Fourier permanece válido. En el caso de G = Rⁿ, tenemos G^ = Rⁿ y recuperamos la transformación continua de Fourier ordinaria, en el caso G = S¹, el grupo dual G^ es naturalmente isomorfo al grupo de los números enteros Z y el operador antedicho F se reduce al cómputo de coeficientes de las series de Fourier de funciones periódicas; si G es el grupo cíclico finito Z_n (véase aritmética modular), que coincide con su propio grupo dual, recuperamos la transformación de Fourier discreta.

Ejemplos

Por ejemplo, un carácter en el grupo cíclico infinito de los números enteros Z es determinado por su valor φ(1), puesto que φ(n) = (φ(1))ⁿda sus valores en el resto de los elementos de Z. Más aún, esta fórmula define un carácter para cualquier elección de φ(1) en S¹ y la topología de la convergencia uniforme sobre compactos (que aparece aquí como convergencia punto a punto) es la topología natural de S¹. Por lo tanto, el grupo dual de Z se identifica con S¹. ¿Inversamente, un carácter en S¹ es de la forma z |-> zⁿ para n ∈ Z. Puesto que S¹ es compacto, la topología en el grupo dual es la de la convergencia uniforme que resulta ser la topología discreta. Como consecuencia de esto, el dual de S¹ se identifica con Z. El otro ejemplo de "grupo clásico", el grupo de los números reales R, es su propio dual. Los caracteres en R son de la forma φ_y: x |-> e^ixy. Con estas dualidades, la versión de la transformada de Fourier a ser introducida después coincide con la transformada de Fourier en R, y la forma exponencial de la serie de Fourier en Z.

El punto de vista abstracto

Más precisamente, la construcción dual del grupo G^ de G es un funtor contravariante (.)^ : LCA -> LCA^op permitiendo que identifiquemos la categoría LCA de grupos topológicos abelianos localmente compactos con su propia categoría opuesta. Tenemos G^^ isomorfo a G, de un modo natural que es comparable al doble dual de los espacios vectoriales finito-dimensionales (un caso especial, para los espacios vectoriales reales y complejos). La dualidad intercambia las subcategorías de grupos discretos y de grupos compactos. Si R es un anillo y G es un R-módulo izquierdo, el grupo dual G^ se convertirá en un R-módulo derecho; de esta manera podemos también ver que los R-módulos izquierdos discretos serán dual de Pontryagin de los R-módulos derechos compactos. El anillo End(G) de endomorfismos en LCA es cambiado por la dualidad en su anillo opuesto (cambia la multiplicación al orden opuesto). Por ejemplo, si G es un grupo discreto cíclico infinito, G^ es un grupo del círculo: el primero tiene End(G) = Z por tanto también End(G^) = Z.

Compactificación de Bohr y casi-periodicidad

Un uso hecho de la dualidad de Pontryagin es dar una definición general de una función casi-periódica en un grupo no compacto G en LCA. Para esto, definimos la compactificación B(G) de Bohr de G como H^, donde H es como grupo G^, pero dándole la topología discreta. Puesto que H -> G^ es continuo y un homomorfismo, el morfismo dual G -> B(G) queda definido, y realiza G como subgrupo de un grupo compacto. La restricción a G de las funciones continuas en B(G) da una clase de funciones casi-periódicas; se puede imaginarlas como análogas a las restricciones a una copia de R enroscado alrededor de un toro.

La teoría no conmutativa

Tal teoría no puede existir en la misma forma para los grupos no conmutativos G, puesto que en ese caso el objeto dual apropiado G^ de las clases de isomorfismo de representaciones no puede contener solamente representaciones unidimensionales, y no podrá ser un grupo. La generalización que se ha encontrado útil en teoría de las categorías se llama dualidad de Tannaka-Krein; pero esto diverge de la conexión con el análisis armónico, que necesita abordar la cuestión de la medida de Plancherel en G^.

Historia

Los fundamentos de la teoría de grupos abelianos localmente compactos y de su dualidad fueron sentados por Lev Pontriagin en 1934. Su tratamiento se basó en grupos que eran segundo-contable y compactos o discretos. Esto fue mejorado para cubrir a los grupos abelianos localmente compactos en general por E.R. van Kampen en 1935 y André Weil en 1953.

Pontryagin dualidad implica la isomorfo relación de la función de espacio de C(G)$C(G)$ en un localmente compacto grupo de G$G$ a la función del espacio en doble grupo de G^=∼Hom(G,T)$\hat{G}\stackrel{\sim }{=}\text{Hom}(G,T)$ donde T$T$ es el círculo de grupo. (Este isomorfismo es la generalización de la transformada de Fourier en el caso G=R$G=\mathbb{R}$ de traducciones t↦t+Δt$t\mapsto t+\mathrm{\Delta }t$, e G^=∼{ω|t↦e2πi ω⋅t}=∼R$\hat{G}\stackrel{\sim }{=}\{\omega |t\mapsto {\text{e}}^{2\pi i\omega \cdot t}\}\stackrel{\sim }{=}\mathbb{R}$.) 

He leído aquí, que este resultado es relevante en la historia de la cohomology de la teoría. 

Pero yo realmente no sé cómo encajar en la imagen. De la dualidad resultado, parece que sólo se necesita la definición del grupo, el resto de la siguiente manera natural de las construcciones, mientras que el cohomology thoeries estoy consciente de que parecen ser más general. Ellos tienen un d$\text{d}$-operador, que echo de menos en el grupo topológico teorema caso, y también es una base del espacio en el último caso. 

Es quizás G$G$ a ser tomado como base el espacio? O es G$G$ sólo para ser visto como la fibra de objeto sin un complicado base? La segunda idea surge porque Hom(G,T)$\text{Hom}(G,T)$ mapas de grupos en el círculo pequeño grupo. En cierto modo esto es anologous a la cotangente del espacio que come vectores y mapas de los reales o los números complejos. Hay una relación sólo en la medida en que la gente en los años 30 dicovered el concepto de un personaje es relevante. El cohomology resultados no parecen atención directamente sobre la función de espacio de C$C$ sobre este objeto.

Fuente: https://www.i-ciencias.com/pregunta/35901/como-funciona-la-dualidad-de-pontryagin-ajuste-en-la-general-cohomology-de-la-teoria-de-marco