Mostrar código-fonte de K3 (geometria)

[[File:K3 surface.png|thumb|Uma superfície quártica suave no espaço tridimensional. A figura mostra parte dos pontos reais (de dimensão real 2) em uma certa superfície complexa K3 (de dimensão complexa 2, portanto, dimensão real 4).]]
{{quote box
|quote=Dans la seconde partie de mon rapport, il s'agit des variétés kählériennes dites K3, ainsi nommées en l'honneur de Kummer, Kähler, Kodaira et de la belle montagne K2 au Cachemire.<br><br>
''Na segunda parte do meu relatório, tratamos das variedades de Kähler conhecidas como K3, nomeadas em homenagem a [[Ernst Kummer|Kummer]], [[Erich Kähler|Kähler]], [[Kunihiko Kodaira|Kodaira]] e à bela montanha [[K2]] na [[Caxemira]].''
|source=André {{harvtxt|Weil|1958|loc=p.&nbsp;546}}, descrevendo a razão para o nome "superfície K3"
|width=30%}}
A superfície de Kummer se refere à contribuição dada pelo matemático alemão Ernest Kummer para a geometria. Foi muito mais tarde encontrada por Eddington relacionada com a teoria de Dirac sobre o elétron.
Em [[matemática]], uma '''superfície complexa K3''' analítica é uma [[variedade complexa]] compacta e conexa de dimensão 2 com [[Feixe (matemática)|feixe]] canônico trivial e irregularidade zero. Uma superfície K3 (algébrica) sobre qualquer [[corpo (matemática)|corpo]] significa uma [[Suave (matemática)|suave]] própria, [[variedade algébrica|variedade algébrica]] geometricamente conexa que satisfaz as mesmas condições. Na classificação de Enriques–Kodaira de superfícies, as superfícies K3 formam uma das quatro classes de superfícies mínimas de dimensão de Kodaira zero. Um exemplo simples é a superfície quártica de Fermat
:<math>x^4+y^4+z^4+w^4=0</math>
no [[espaço projetivo]] complexo 3-dimensional.

Junto com toros complexos compactos de duas dimensões, as superfícies K3 são [[Variedade de Calabi-Yau|variedades de Calabi–Yau]] (e também variedades hiper-Kähler) de dimensão dois. Como tal, estão no centro da classificação de superfícies algébricas, entre as superfícies de curvatura positiva de del Pezzo (que são fáceis de classificar) e as superfícies de curvatura negativa de tipo geral (que são essencialmente não classificáveis). As superfícies K3 podem ser consideradas as variedades algébricas mais simples cuja estrutura não se reduz a [[curva algébrica|curvas]] ou variedades abelianas, e ainda assim é possível um entendimento substancial. Uma superfície K3 complexa tem dimensão real 4 e desempenha um papel importante no estudo de variedades suaves de dimensão 4. As superfícies K3 foram aplicadas a [[Álgebra de Kac-Moody|álgebra de Kac–Moody]], simetria espelhada e [[teoria das cordas]].

Pode ser útil pensar nas superfícies K3 algébricas complexas como parte da família mais ampla de superfícies K3 analíticas complexas. Muitos outros tipos de variedades algébricas não possuem tais deformações não algébricas.

==Definição==
Existem várias maneiras equivalentes de definir superfícies K3. As únicas superfícies complexas compactas com feixe canônico trivial são as superfícies K3 e os toros complexos compactos, e assim, pode-se adicionar qualquer condição que exclua este último para definir superfícies K3. Por exemplo, é equivalente definir uma superfície K3 analítica complexa como uma [[variedade complexa]] compacta, [[simplesmente conexa]], de dimensão 2 com uma [[forma diferencial|2-forma]] holomorfa que não se anula em lugar algum. (Essa última condição diz exatamente que o feixe canônico é trivial.)

Existem também algumas variantes da definição. Sobre os [[Número complexo|números complexos]], alguns autores consideram apenas as superfícies K3 algébricas. (Uma superfície K3 algébrica é automaticamente uma variedade projetiva.<ref>Huybrechts (2016), Observação 1.1.2</ref>) Ou pode-se permitir que as superfícies K3 tenham singularidades de du Val (as singularidades canônicas de dimensão 2), em vez de serem suaves.

==Cálculo dos números de Betti==
Os números de Betti de uma superfície K3 complexa analítica são calculados da seguinte forma.<ref>Huybrechts (2016), seção 2.3.</ref> (Um argumento semelhante fornece a mesma resposta para os números de Betti de uma superfície K3 algébrica sobre qualquer [[corpo (matemática)|campo]], definida usando [[cohomologia]] ℓ-ádica.) Por definição, o feixe canônico <math>K_X = \Omega^2_X</math> é trivial, e a irregularidade ''q''(''X'') (a dimensão <math>h^1(X,O_X)</math> do grupo de cohomologia de feixe coerente <math>H^1(X,O_X)</math>) é zero. Pela dualidade de Serre,
:<math>h^2(X,\mathcal{O}_X)=h^0(X,K_X)=1.</math>

Como resultado, o gênero aritmético (ou característica de Euler holomorfa) de ''X'' é:
:<math>\chi(X,\mathcal{O}_X):=\sum_i (-1)^i h^i(X,\mathcal{O}_X)=1-0+1=2.</math>
Por outro lado, o teorema de Riemann–Roch para superfícies (fórmula de Noether) diz:
:<math>\chi(X,\mathcal{O}_X) = \frac{1}{12} \left(c_1(X)^2+c_2(X)\right),</math>
onde <math>c_i(X)</math> é a ''i''-ésima [[classe de Chern]] do feixe tangente. Como <math>K_X</math> é trivial, sua primeira classe de Chern <math>c_1(K_X)=-c_1(X)</math> é zero, então <math>c_2(X)=24</math>.

A sequência sequência exponencial <math>0\to \Z_X\to O_X\to O_X^*\to 0</math> gera uma sequência exata de grupos de cohomologia <math>0\to H^1(X,\Z) \to H^1(X,O_X)</math>, e portanto <math>H^1(X,\Z)=0</math>. Assim, o número de Betti <math>b_1(X)</math> é zero e, pela [[dualidade de Poincaré]], <math>b_3(X)</math> também é zero. Finalmente, <math>c_2(X)=24</math> é igual à [[característica de Euler]] topológica
:<math>\chi(X)=\sum_i (-1)^ib_i(X).</math>
Como <math>b_0(X)=b_4(X)=1</math> e <math>b_1(X)=b_3(X)=0</math>, segue-se que <math>b_2(X)=22</math>.<ref>Huybrechts (2016), seção 2.4.</ref>

==Propriedades==
* Qualquer duas superfícies K3 complexas analíticas são [[difeomorfismo|difeomorfas]] como 4-variedades suaves, segundo [[Kunihiko Kodaira]].<ref>Huybrechts (2016), Teorema 7.1.1.</ref>
* Toda superfície K3 complexa analítica possui uma métrica de Kähler, segundo [[Yum-Tong Siu]].<ref>Barth et al. (2004), seção IV.3.</ref> (Analogamente, mas de forma mais simples: toda superfície K3 algébrica sobre um campo é projetiva.) Pela solução de [[Shing-Tung Yau]] para a conjectura de Calabi, segue-se que toda superfície K3 complexa analítica possui uma métrica de Kähler com curvatura de Ricci nula.
* Para uma superfície K3 complexa analítica ''X'', a forma de interseção (ou produto em copo) em <math>H^2(X,\Z)\cong\Z^{22}</math> é uma [[forma bilinear simétrica]] com valores nos inteiros, conhecida como '''reticulado K3'''. Isto é isomorfo ao reticulado unimodular par <math>\operatorname{II}_{3,19}</math>, ou equivalentemente <math>E_8(-1)^{\oplus 2}\oplus U^{\oplus 3}</math>, onde ''U'' é o reticulado hiperbólico de posto 2 e <math>E_8</math> é o reticulado E8.<ref>Huybrechts (2016), Proposição 3.3.5.</ref>
* A conjectura 11/8 de Yukio Matsumoto prevê que toda 4-variedade suave [[orientável]] ''X'' com forma de interseção par possui o segundo número de Betti ao menos 11/8 vezes o valor absoluto da assinatura. Isso seria ótimo se verdadeiro, pois a igualdade é válida para uma superfície K3 complexa, que possui assinatura 3−19 = −16. A conjectura implicaria que toda 4-variedade suave simplesmente conexa com forma de interseção par é [[homeomorfismo|homeomorfa]] a uma soma conexa de cópias da superfície K3 e de <math>S^2\times S^2</math>.<ref>Scorpan (2005), seção 5.3.</ref>
* Toda superfície complexa que é difeomorfa a uma superfície K3 é uma superfície K3, segundo Robert Friedman e John Morgan. Por outro lado, existem superfícies complexas suaves (algumas delas projetivas) que são homeomorfas, mas não difeomorfas, a uma superfície K3, segundo Kodaira e [[Michael Freedman]].<ref>Huybrechts (2016), Observação 1.3.6(ii).</ref> Essas "superfícies K3 de homotopia" possuem todas dimensão de Kodaira 1.

==Ligações externas==

*[http://arxiv.org/abs/hep-th/9611137 K3 Surfaces and String Duality, por Paul Aspinwall]
*[https://web.archive.org/web/20070612114625/http://www.cgtp.duke.edu/ITP99/morrison/cortona.pdf The Geometry of K3 surfaces, por David Morrison]
[[Categoria:Superfícies algébricas]]
[[Categoria:Geometria diferencial]]
[[Categoria:Teoria das cordas]]