<?xml version="1.0" encoding="UTF-8"?>
<html xmlns="http://www.w3.org/1999/xhtml" xmlns:wx="http://ilps.science.uva.nl/WikiXML/wx" xml:lang="it" lang="it">
<head>
<title>Congettura di Hodge</title>
<meta name="wx_namespace" content="0"/>
<meta name="wx_pagename" content="Congettura_di_Hodge"/>
<meta name="wx_page_id" content="72408"/>
</head>
<body>
<div id="wx_article">
<wx:section level="1" title="Congettura di Hodge" id="wxsec1"><h1 class="pagetitle" id="wx1">Congettura di Hodge</h1>

<p id="wx2">La <b id="wx3">congettura di Hodge</b> è un importante problema irrisolto della <a href="/wit/Geometria_algebrica" title="Geometria algebrica" wx:linktype="known" wx:pagename="Geometria_algebrica" wx:page_id="12004" id="wx4">geometria algebrica</a>. Si tratta di una descrizione congetturale del collegamento tra la <a href="/wit/Topologia_algebrica" title="Topologia algebrica" wx:linktype="known" wx:pagename="Topologia_algebrica" wx:page_id="178438" id="wx5">topologia algebrica</a> di una <a href="/wit/Variet%C3%A0_algebrica" title="Varietà algebrica" wx:linktype="known" wx:pagename="Varietà_algebrica" wx:page_id="636375" id="wx6">varietà algebrica</a> complessa non singolare, e la sua geometria per come viene rappresentata da equazioni polinomiali che definiscono le sotto-varietà. La congettura nasce dai risultati del lavoro di <a href="/wit/William_Vallance_Douglas_Hodge" class="new" title="William Vallance Douglas Hodge" wx:linktype="unknown" wx:pagename="William_Vallance_Douglas_Hodge" id="wx7">William Vallance Douglas Hodge</a>, che tra il <a href="/wit/1930" title="1930" wx:linktype="known" wx:pagename="1930" wx:page_id="4739" id="wx8">1930</a> e il <a href="/wit/1940" title="1940" wx:linktype="known" wx:pagename="1940" wx:page_id="4747" id="wx9">1940</a> arricchì la descrizione della <a href="/wit/Coomologia_di_De_Rham" class="new" title="Coomologia di De Rham" wx:linktype="unknown" wx:pagename="Coomologia_di_De_Rham" id="wx10">coomologia di De Rham</a>, includendovi l'ulteriore struttura presente nel caso delle varietà algebriche (anche se non limitatamente a quel caso).</p>

<div id="wx_toc"/>

<a id="Formulazione_della_congettura" name="Formulazione_della_congettura"/>
<wx:section level="2" title="Formulazione della congettura" id="wxsec2"><h2 id="wx11">Formulazione della congettura</h2>

<p id="wx12">Sia <i id="wx13">V</i> una varietà algebrica non singolare di dimensione <i id="wx14">n</i> sopra i <a href="/wit/Numeri_complessi" title="Numeri complessi" wx:linktype="known" wx:pagename="Numeri_complessi" wx:page_id="41162" id="wx15">numeri complessi</a>. <i id="wx16">V</i> si può anche pensare come <a href="/wit/Variet%C3%A0" title="Varietà" wx:linktype="known" wx:pagename="Varietà" wx:page_id="305446" id="wx17">varietà</a> di dimensione 2<i id="wx18">n</i> e come tale possiede gruppi di coomologia che sono spazi vettoriali finito-dimensionali sui complessi le cui dimensioni sono individuabili con un indice <i id="wx19">d</i> che varia da 0 a 2<i id="wx20">n</i>. Fissiamo un valore pari <i id="wx21">d</i> = 2<i id="wx22">k</i> e denotiamo con <i id="wx23">H</i> il <i id="wx24">d</i>-esimo gruppo di coomologia: vi sono da descrivere altre due strutture su <i id="wx25">H</i>.</p>

<p id="wx26">La prima è la <b id="wx27">decomposizione di Hodge</b> di <i id="wx28">H</i>. Questa sappiamo che decompone <i id="wx29">H</i> in una somma diretta di 2<i id="wx30">k</i>+1 sottospazi che si usa denotare con</p>

<dl id="wx31">
<dd id="wx32"><i id="wx33">H(0,2k)</i>
<p id="wx34">, <i id="wx35">H(1, 2k-1)</i>, ..., <i id="wx36">H(2k,0)</i>.</p>
</dd>
</dl>

<p id="wx37">Il sommando rilevante per la congettura quello 'centrale',</p>

<dl id="wx38">
<dd id="wx39"><i id="wx40">H(k,k)</i>
<p id="wx41">.</p>
</dd>
</dl>

<p id="wx42">Per le basi di queste considerazioni v. <a href="/wit/Teoria_di_Hodge" class="new" title="Teoria di Hodge" wx:linktype="unknown" wx:pagename="Teoria_di_Hodge" id="wx43">teoria di Hodge</a>.</p>

<p id="wx44">Seconda struttura è la cosiddetta struttura razionale su <i id="wx45">H</i>. Abbiamo assunto che <i id="wx46">H</i> sia il gruppo di coomologia con coefficienti complessi (a cui si applica la decomposizione di Hodge). Partendo con il gruppo di coomologia con coefficienti razionali, giungiamo ad una nozione di classe di coomologia razionale in <i id="wx47">H</i>: ad esempio, si può usare come base per <i id="wx48">H</i> una base con coefficienti razionali per le classi di coomologia e quindi si possono cercare le combinsazioni lineari con coefficienti razionali di questi vettori di base.</p>

<p id="wx49">In termini di quelle strutture, possiamo definire lo spazio vettoriale <i id="wx50">H*</i> che interessa la congettura di Hodge. Esso è costituito dai vettori in <i id="wx51">H(k,k)</i> che sono classi di coomologia razionali. Si tratta dunque di uno spazio vettoriale finito-dimensionale sopra i numeri razionali.</p>

<a id="La_nozione_di_ciclo_algebrico" name="La_nozione_di_ciclo_algebrico"/>
</wx:section><wx:section level="2" title="La nozione di ciclo algebrico" id="wxsec3"><h2 id="wx52">La nozione di ciclo algebrico</h2>

<p id="wx53">Qualche meccanismo standard spiega i collegamenti con la geometria di <i id="wx54">V</i>. Se <i id="wx55">W</i> è una sottovarietà di dimensione <i id="wx56">n - k</i> in <i id="wx57">V</i>, che chiamiamo codimensione <i id="wx58">k</i>, essa dà origine a un elemento del gruppo di coomologia <i id="wx59">H</i>. Per esempio in codimensione 1, che è il caso più accessibile geometricamente usando le sezioni mediante iperpiani, la classe corrispondente si trova nel secondo gruppo di coomologia e può essere calcolato mediante la prima <a href="/wit/Classe_di_Chern" class="new" title="Classe di Chern" wx:linktype="unknown" wx:pagename="Classe_di_Chern" id="wx60">classe di Chern</a> del <a href="/wit/Fascio_di_linee" class="new" title="Fascio di linee" wx:linktype="unknown" wx:pagename="Fascio_di_linee" id="wx61">fascio di linee</a>.</p>

<p id="wx62">Quello che si sa è che tali classi, tradizionalmente chiamate <b id="wx63">cicli algebrici</b> (almeno se si parla in un modo un po' colloquiale), soddisfano le condizioni necessarie suggerite dalla costruzione di <i id="wx64">H*</i>. Si tratta di classi razionali <i id="wx65">classes</i> che inoltre giacciono nel sommando centrale <i id="wx66">H(k,k)</i>.</p>

<a id="Cosa_sostiene_la_congettura_di_Hodge" name="Cosa_sostiene_la_congettura_di_Hodge"/>
</wx:section><wx:section level="2" title="Cosa sostiene la congettura di Hodge" id="wxsec4"><h2 id="wx67">Cosa sostiene la congettura di Hodge</h2>

<p id="wx68">Essa dice che i cicli algebrici di <i id="wx69">V</i> sottendono l'intero spazio <i id="wx70">H*</i>. Da quanto è stato detto, questo significa che le condizioni stabilite, <i id="wx71">necessarie</i> perché si abbia una combinazione di cicli algebrici, sono anche <i id="wx72">sufficienti</i>.</p>

<a id="Le_implicazioni_geometriche" name="Le_implicazioni_geometriche"/>
</wx:section><wx:section level="2" title="Le implicazioni geometriche" id="wxsec5"><h2 id="wx73">Le implicazioni geometriche</h2>

<p id="wx74">La congettura è nota per <i id="wx75">k</i> = 1 e per molti casi speciali. Una codimensione maggiore di 1 è molto difficile da trattare, in quanto in generale non si riesce a 'trovare tutto' mediante ripetute sezioni con iperpiani.</p>

<p id="wx76">In quei casi l'esistenza di spazi <i id="wx77">H*</i> non ridotti a zero ha un valore predittivo per la parte della geometria di <i id="wx78">V</i> che risulta impegnativo rivelare. Negli esempi esaminati <i id="wx79">H*</i> è un oggetto che può essere discusso molto più facilmente.</p>

<p id="wx80">Accade anche che quando <i id="wx81">H*</i> ha dimensione elevata l'esempio scelto come <i id="wx82">V</i> può riguardarsi come qualcosa di speciale: quindi la congettura riguarda quelli che potremmo chiamare i casi interessanti e difficili da dimostrare, tanto più quanto più ci allontaniamo da un caso generico.</p>

<a id="Collegamenti_esterni" name="Collegamenti_esterni"/>
</wx:section><wx:section level="2" title="Collegamenti esterni" id="wxsec6"><h2 id="wx83">Collegamenti esterni</h2>

<ul id="wx84">
<li id="wx85"><a href="http://mathworld.wolfram.com/HodgeConjecture.html" class="external text" wx:linktype="external" rel="nofollow" id="wx86">Hodge Conjecture</a>
<p id="wx87">in <a href="/wit/MathWorld" title="MathWorld" wx:linktype="known" wx:pagename="MathWorld" wx:page_id="103768" id="wx88">MathWorld</a></p>
</li>

<li id="wx89"><a href="http://www.claymath.org/millennium/Hodge_Conjecture/Official_Problem_Description.pdf" class="external text" wx:linktype="external" rel="nofollow" id="wx90">The Hodge conjecture</a>
<p id="wx91">di P. Deligne</p>
</li>
</ul>

<p id="wx92"><br id="wx93"/>
</p>

<wx:template id="wx_t1" pagename="Template:Portale" page_id="949487"/>
<div style="margin-left:0; margin-right:0" id="wx94">
<ul style="display:block; clear:both; list-style-image:none; list-style-type:none; width:100%; vertical-align:middle; margin:0; margin-bottom:1em; padding:0; min-height:27px" id="wx95">
<li style="float:left; height:27px; line-height:25px; width:100%; margin:0; margin-top:.5em; margin-left:0; margin-right:0; padding:0; border:1px solid #CCF; background-color:#F0EEFF" title="Accedi alle voci di Wikipedia che parlano di matematica" id="wx96"><a href="/wit/Immagine:Stub_matematica.png" title="matematica" wx:linktype="image" wx:pagename="Immagine:Stub_matematica.png" wx:page_id="627197" id="wx97"><img src="/wit/Immagine:Stub_matematica.png" alt="matematica" width="25" height="25" id="wx98"/></a> <b id="wx99"><a href="/wit/Portale:matematica" class="new" title="Portale:matematica" wx:linktype="unknown" wx:pagename="Portale:matematica" id="wx100">Portale Matematica</a></b>
<p id="wx101">:  accedi alle voci di Wikipedia che parlano di matematica</p>
</li>
</ul>
</div>

<wx:templateend start="wx_t1"/>
</wx:section></wx:section></div>
<div id="wx_categorylinks">
<a href="/wit/index.php?title=Speciale:Categories&amp;article=Congettura_di_Hodge" title="Speciale:Categories" wx:linktype="known" wx:pagename="Speciale:Categories" id="wx102">Categorie</a>: <span dir="ltr" id="wx103"><a href="/wit/Categoria:Geometria_algebrica" title="Categoria:Geometria algebrica" wx:linktype="known" wx:pagename="Categoria:Geometria_algebrica" wx:page_id="43036" id="wx104">Geometria algebrica</a></span> | <span dir="ltr" id="wx105"><a href="/wit/Categoria:Congetture_matematiche" title="Categoria:Congetture matematiche" wx:linktype="known" wx:pagename="Categoria:Congetture_matematiche" wx:page_id="42416" id="wx106">Congetture matematiche</a></span></div>
<div id="wx_languagelinks">
Altre lingue: <a href="http://ar.wikipedia.org/wiki/%D8%AD%D8%AF%D8%B3%D9%8A%D8%A9_%D9%87%D9%88%D8%AF%D8%AC" class="external" wx:linktype="interwiki" wx:pagename="ar:حدسية_هودج" id="wx107">العربية</a> | <a href="http://de.wikipedia.org/wiki/Vermutung_von_Hodge" class="external" wx:linktype="interwiki" wx:pagename="de:Vermutung_von_Hodge" id="wx108">Deutsch</a> | <a href="http://en.wikipedia.org/wiki/Hodge_conjecture" class="external" wx:linktype="interwiki" wx:pagename="en:Hodge_conjecture" id="wx109">English</a> | <a href="http://fi.wikipedia.org/wiki/Hodgen_otaksuma" class="external" wx:linktype="interwiki" wx:pagename="fi:Hodgen_otaksuma" id="wx110">Suomi</a> | <a href="http://fr.wikipedia.org/wiki/Conjecture_de_Hodge" class="external" wx:linktype="interwiki" wx:pagename="fr:Conjecture_de_Hodge" id="wx111">Français</a> | <a href="http://ja.wikipedia.org/wiki/%E3%83%9B%E3%83%83%E3%82%B8%E4%BA%88%E6%83%B3" class="external" wx:linktype="interwiki" wx:pagename="ja:ホッジ予想" id="wx112">日本語</a> | <a href="http://ko.wikipedia.org/wiki/%ED%98%B8%EC%A7%80_%EC%B6%94%EC%B8%A1" class="external" wx:linktype="interwiki" wx:pagename="ko:호지_추측" id="wx113">한국어</a> | <a href="http://zh.wikipedia.org/wiki/%E9%9C%8D%E5%A5%87%E7%8C%9C%E6%83%B3" class="external" wx:linktype="interwiki" wx:pagename="zh:霍奇猜想" id="wx114">中文</a></div>
</body>
<wx:templatearguments for="wx_t1"><wx:argument name="1">
<p id="wx115">matematica</p>
</wx:argument></wx:templatearguments>
</html>
