Complete Operator Basis for the modular invariant SMEFT

Resumo Técnico: Base de Operadores Completa para o SMEFT Modular Invariante

Problema
O Modelo Padrão (SM) descreve com sucesso a física de partículas, mas deixa inexplicada a origem das hierarquias de sabor e dos padrões de mistura. Embora a Violação Mínima de Sabor (MFV) aborde isso tratando os acoplamentos de Yukawa como spurions, ela não prediz a estrutura específica desses acoplamentos. Simetrias de sabor discretas (ex: $A_4$) oferecem uma abordagem bottom-up, mas frequentemente requerem múltiplos campos de flavons e alinhamentos de vácuo específicos, levando a um grande espaço de parâmetros e reduzida preditividade. A simetria de sabor modular fornece uma alternativa onde os acoplamentos de Yukawa surgem de formas modulares holomorfas de um módulo $\tau$, eliminando a necessidade de flavons. No entanto, estender este arcabouço para a Teoria de Campo Efetiva do Modelo Padrão (SMEFT) apresenta desafios:

1. Redundância: A construção ingênua de operadores de dimensão superior frequentemente leva a estruturas linearmente dependentes devido a relações algébricas entre formas modulares.
2. Holomorfia vs. Não-Holomorfia: Embora o superpotencial em teorias supersimétricas (SUSY) seja holomorfo, o Lagrangiano geral do SM (e seus operadores efetivos) não é. Formas modulares não-holomorfas (ex: formas de Maaß poliharmônicas) não são fechadas sob multiplicação, o que pode levar a uma proliferação infinita de operadores independentes se não forem restringidas.
3. Completude: Uma base sistemática, finita e completa de operadores do SMEFT modularmente invariantes até a dimensão 7 ainda não foi totalmente estabelecida utilizando técnicas de contagem modernas.

Metodologia
Os autores empregam a técnica da série de Hilbert, uma poderosa ferramenta algébrica para contar operadores independentes invariantes sob simetrias específicas, enquanto contabiliza redundâncias provenientes de integração por partes (IBP) e equações de movimento (EOM).

1. Configuração do Modelo:

   • O grupo de sabor é tomado como $A_4^{(q)} \times A_4^{(e)}$, com módulos distintos $\tau_q$ e $\tau_e$ para os setores de quarks e léptons.
   • Férmions de mão esquerda são atribuídos a tripletos de $A_4$, enquanto férmions de mão direita são atribuídos a singletos inequivalentes ($1, 1', 1''$).
   • O dubleto de Higgs carrega peso modular 0.
   • Suposição do tipo MFV: A quebra de sabor é controlada unicamente pelos valores de expectativa de vácuo (VEVs) dos módulos, $\langle \tau \rangle$. As formas modulares atuam como os spurions fundamentais.
   • Caso Holomorfo: Os autores assumem que o setor de Yukawa de ordem líder é holomorfo. Formas modulares de peso superior são geradas via produtos tensoriais simétricos do triplete fundamental de peso-2 $Y_3^{(2)}$.
   • Caso Não-Holomorfo: Os autores consideram formas de Maaß poliharmônicas. Para evitar uma base de operadores infinita, eles impõem um princípio organizador mínimo: operadores de dimensão superior são construídos como $[Y_r^{(k_Y)} Y_{r'}^{(k'_Y)*} \mathcal{O}]_1$, onde a compensação do peso modular é fornecida inteiramente por formas modulares independentes, em vez de potências arbitrárias de $\text{Im}\tau$.

2. Arcabouço Computacional:

   • A série de Hilbert é computada para o grupo contínuo (simetrias de Lorentz e de calibre) e para o grupo discreto ($A_4$).
   • Duas abordagens equivalentes são usadas para verificar a base:
     1. Contagem direta usando a série de Hilbert com as formas modulares tratadas como spurions.
     2. Construção explícita via produtos tensoriais de formas modulares e operadores de campo, projetando sobre o singlete trivial.
   • Restrições específicas das formas modulares de $A_4$ (ex: $Y_2^2 + 2Y_1Y_3 = 0$ para peso 2) são explicitamente incorporadas para remover estruturas redundantes.

Contribuições Principais e Resultados

1. SMEFT de $A_4$ Modular Holomorfo:

   • Dimensão-5: Os autores identificam 6 operadores independentes (3 estruturas complexas e suas conjugadas) para o operador de Weinberg. Eles demonstram que construções anteriores (ex: Ref. [89]) continham redundâncias devido a dependências lineares entre produtos tensoriais de formas modulares. A série de Hilbert isola corretamente as 3 estruturas de singlete independentes: $Y_3^{(4)}[(LH)(LH)]_3$, $Y_1^{(4)}[(LH)(LH)]_1$, e $Y_{1'}^{(4)}[(LH)(LH)]_{1''}$.
   • Dimensão-6: Uma enumeração completa de 2.961 operadores independentes é fornecida. Isso inclui:
     • 15 operadores bosônicos.
     • 24 operadores $\psi^2 H^3$.
     • 66 operadores $\psi^2 X H$.
     • 67 operadores $\psi^2 H^2 D$.
     • 2.789 operadores de quatro férmions ($\psi^4$).
   • Os autores constroem explicitamente todos os operadores de dimensão 6 que conservam o número bariônico e leptônico, detalhando as contrações de sabor para estruturas bilineares e quadrilineares.
   • Dimensão-7: A série de Hilbert produz 360 operadores independentes na dimensão 7.

2. Extensão Não-Holomorfa (Formas de Maaß Poliharmônicas):

   • O artigo aborda o caso em que as formas modulares são não-holomorfas. Ao contrário do caso holomorfo, produtos de formas não-holomorfas geralmente não satisfazem a condição do Laplaciano, o que significa que não podem ser gerados a partir de uma única forma semente.
   • Para manter uma base finita, os autores adotam o ansatz $[Y_r^{(k_Y)} Y_{r'}^{(k'_Y)*} \mathcal{O}]_1$.
   • Usando o modelo de léptons de referência da Ref. [90], eles reconstroem o operador de Weinberg de dimensão-5 e os operadores de lépton de dimensão-6. Eles mostram que, sob esta suposição mínima, a estrutura reproduz os resultados de referência enquanto evita a torre infinita de operadores que surgiria ao tratar todas as combinações não-holomorfas como independentes.

3. Comparação com a Literatura Existente:

   • O trabalho refina a contagem de operadores da Ref. [89]. Os autores mostram que o ansatz de "fatorização stringy" usado em [89] leva à contagem excessiva porque falha em considerar as relações algébricas (núcleo do mapa de multiplicação) inerentes ao anel de formas modulares. O método da série de Hilbert remove sistematicamente essas redundâncias.

Significância e Alegações
O artigo afirma fornecer a primeira base de operadores completa e independente para o SMEFT sob simetria de sabor modular $A_4$, utilizando a série de Hilbert para lidar rigorosamente com as redundâncias de sabor.

• Classificação Sistemática: Estabelece que operadores de dimensão superior podem ser formalmente organizados como singletes da forma $[Y_r^{(k_Y)}, Y_{r'}^{(k'_Y)*}, \mathcal{O}]_1$.
• Base Finita: Ao tratar as formas modulares como as únicas fontes de quebra de sabor (uma abordagem do tipo MFV) e negligenciar a dependência explícita de $\text{Im}\tau$ em operadores de dimensão superior, os autores garantem que a base de operadores permaneça finita e gerenciável, mesmo no caso não-holomorfo.
• Preditividade vs. Complexidade: Os autores observam modestamente que, embora as restrições modulares reduzam o número de operadores em comparação com um SMEFT geral de violação de sabor, a redução não é tão dramática quanto na MFV padrão (onde a contagem cai de ~3000 para ~900). Em sua configuração, a contagem é de ~2.961, sugerindo que, embora a simetria modular forneça uma origem estruturada para o sabor, ela ainda não reduz drasticamente o espaço de parâmetros sem restrições adicionais.
• Conexão UV: A construção holomorfa é motivada por uma potencial conexão com uma completude UV supersimétrica invariante por módulo, onde os operadores efetivos descendem de interações F-term. A extensão não-holomorfa oferece um arcabouço para cenários onde contribuições de termos D ou completudes não-SUSY são relevantes.

Em resumo, o trabalho fornece uma base matemática rigorosa para a construção de teorias de campo efetivas invariantes por módulo, corrigindo problemas anteriores de contagem excessiva e oferecendo um catálogo completo de operadores até a dimensão 7 para estudos fenomenológicos.