Universally defined cycles I

Resumo Técnico: Ciclos Definidos Universalmente I

Enunciado do Problema
O artigo aborda a generalização da conjectura de Franchetta para variedades algébricas de dimensões superiores. A conjectura clássica de Franchetta afirma que, para um feixe de linha sobre a curva universal sobre o espaço de módulos de curvas, a restrição a qualquer fibra é um múltiplo racional do feixe canônico. Estender isso para dimensões superiores enfrenta a obstrução fundamental de que um espaço de módulos universal para variedades de uma dimensão fixa não existe. Para contornar isso, o autor introduz e estuda a noção de "ciclos universalmente definidos". Estes são atribuições de ciclos algébricos a morfismos suaves que satisfazem axiomas de compatibilidade específicos em relação à mudança de base e restrições abertas, independentemente da existência de um espaço de módulos global.

A questão central é se tais ciclos universalmente definidos em variedades suaves de dimensão $d$ são necessariamente dados por polinômios universais nas classes de Chern da variedade. Embora isso seja conhecido para curvas, o caso de dimensões superiores apresenta dificuldades significativas devido à falta de um espaço de módulos e à complexidade dos grupos de Chow.

Metodologia
O artigo emprega uma abordagem geométrica centrada no estudo de famílias universais de interseções completas. A estratégia central envolve os seguintes passos:

1. Redução para Interseções Completas: O autor utiliza um resultado (Proposição 2.1) mostrando que, para uma variedade $X$ imersa em um Grassmanniano, o grupo de Chow de $X$ pode ser recuperado do grupo de Chow de uma família de interseções completas que contém $X$ como um componente, desde que a dimensão do espaço de parâmetros seja suficientemente grande. Isso baseia-se na injetividade do mapa de pull-back e restrição do espaço ambiente para o complemento de uma hipersuperfície determinante universal.
2. Famílias Universais: A prova constrói famílias universais de interseções completas suaves $X^0_{d,N,l}$ dentro de um Grassmanniano $G(d, N)$. Ao analisar os grupos de Chow dessas famílias universais, o autor demonstra que qualquer ciclo universalmente definido sobre elas deve ser expressável como um polinômio nas classes de Chern relativas.
3. Independência de Parâmetros: Um passo técnico crucial envolve provar que os coeficientes desses polinômios são independentes do grau $l$ das interseções completas e dependem apenas da dimensão $d$. Isso é alcançado construindo variedades de teste específicas (usando variedades abelianas e produtos de espaços projetivos) onde as classes de Chern satisfazem nenhuma relação polinomial não trivial até um certo grau ponderado.
4. Extensão para Produtos e Potências: A metodologia é estendida para produtos de variedades e potências de variedades ($X^k$). Para produtos, o autor prova que ciclos universalmente definidos são polinômios nas classes de Chern dos fatores individuais. Para potências, o autor introduz um arcabouço combinatório envolvendo partições do conjunto $\{1, \dots, k\}$ e morfismos diagonais $\Delta_I$.

Principais Contribuições e Resultados

• Teorema 1.4 (Resultado Principal para Variedades): O artigo prova que qualquer ciclo universalmente definido em variedades complexas suaves de dimensão $d$ é dado por um polinômio único com coeficientes racionais nas classes de Chern $c_1, \dots, c_d$ da variedade. Isso estabelece um análogo da conjectura de Franchetta para dimensões superiores, mostrando que o ciclo é um múltiplo universal de um polinômio nas classes de Chern, independente da variedade específica ou do corpo de definição.
• Teorema 1.7 (Resultado Principal para Produtos): O resultado é generalizado para produtos de $r$ variedades suaves de dimensões $d_1, \dots, d_r$. Mostra-se que um ciclo universalmente definido em tais produtos é unicamente determinado por um polinômio nas classes de Chern dos fatores individuais, com restrições de grau ponderado.
• Conjectura 1.8 (Forma Padrão para Potências): O artigo formula uma conjectura para ciclos universalmente definidos em potências $k$-ésimas de variedades ($X^k$). Ela postula que qualquer tal ciclo pode ser unicamente expresso como uma soma sobre partições $I$ de $\{1, \dots, k\}$, onde cada termo envolve um morfismo diagonal $\Delta_I$ e um polinômio nas classes de Chern dos fatores.
• Teorema 1.9 (Unicidade para Ciclos Padrão): O autor prova que se um ciclo "padrão" universalmente definido (um que satisfaz a forma da Conjectura 1.8) for cohomologicamente trivial para todas as variedades suaves, então o próprio ciclo é zero no grupo de Chow. Isso estabelece a unicidade da representação para ciclos padrão.
• Teorema 3.4: Um resultado de unicidade é provado para a coleção de polinômios que definem um ciclo universalmente definido em potências, mostrando que o ciclo desaparece se, e somente se, todos os polinômios definidores desaparecerem.

Significância e Alegações
O artigo afirma estabelecer um resultado estrutural fundamental para ciclos algébricos em famílias. Ao provar que ciclos universalmente definidos são polinômios em classes de Chern, o autor fornece um arcabouço rigoroso para compreender ciclos que se comportam de forma funcional através de famílias de variedades.

O autor observa que a prova da Conjectura 1.8 (a forma explícita para potências) permanece incompleta. No entanto, o artigo destaca que a conjectura, se verdadeira, teria consequências significativas:

• Forneceria uma prova alternativa para o teorema de Ellingsrud-Göttsche-Lehn a respeito dos anéis de Chow de esquemas de Hilbert de superfícies K3.
• Impactaria a conjectura de Beauville-Voisin sobre o anel de Chow de esquemas de Hilbert de superfícies K3, especificamente em relação às relações de comutação de Lehn.
• As provas atuais em [12] relativas aos anéis de Chow de esquemas de Hilbert de superfícies K3 são notadas como incompletas porque dependem da não provada Conjectura 1.8.

O artigo posiciona-se como o primeiro passo para estabelecer a Conjectura 1.8, fornecendo as definições necessárias, a prova para o caso $k=1$ (Teorema 1.4) e a prova de unicidade para o caso geral. O trabalho é descrito como um estudo do formalismo de ciclos universalmente definidos, visando esclarecer a relação entre ciclos geométricos e classes características na ausência de um espaço de módulos global.