Generic orbits, normal bases, and generation degree for fields of rational invariants

Este artigo estabelece limites superiores para o número de Noether de campos de invariantes racionais em característica coprima, generalizando resultados recentes de Edidin e Katz, e investiga as propriedades da grau de geração e do grau de spanning para representações lineares de grupos finitos, refinando também resultados de Kollar e Pham sem a hipótese de característica coprima.

Ben Blum-Smith, Harm DerksenWed, 11 Ma🔢 math

Cohomological support varieties of certain monomial ideals

Este trabalho apresenta um exemplo de variedades de suporte cohomológico de ideais monomiais que não são uniões de subespaços lineares, propõe um procedimento computacionalmente eficiente para calcular tais variedades e valida, por meio de verificação assistida por computador, a existência de um terceiro exemplo não linear e uma classificação completa para ideais monomiais homogêneos com seis geradores sobre Q\mathbb{Q}.

Michael GintzWed, 11 Ma🔢 math

Determinantal computation of minimal local GADs

Este artigo propõe um método determinantal baseado na minimização do posto de um sistema inverso simbólico para calcular decomposições aditivas generalizadas locais mínimas de polinômios homogêneos, demonstrando que tal abordagem é independente da ação de apolaridade escolhida e garante a determinação finita de todas as decomposições quando o posto local não excede o grau do polinômio.

Oriol Reig Fité, Daniele TauferWed, 11 Ma🔢 math

Asymptotic v\mathrm{v}-number of graded families of ideals and the Newton-Okounkov region

Este artigo estabelece a existência do limite assintótico do número-v para famílias graduadas de ideais, demonstrando sua igualdade com o limite do grau inicial e fornecendo uma interpretação combinatória via regiões de Newton-Okounkov, além de provar que tanto o número-v quanto o índice de regularidade são funções eventualmente quasi-lineares e de que o número-v é estritamente menor que o índice de regularidade e a multiplicidade sob condições específicas.

Mousumi Mandal, Partha PhukanWed, 11 Ma🔢 math

A classification of Prufer domains of integer-valued polynomials on algebras

O artigo apresenta uma classificação completa dos pares de domínios e álgebras para os quais o anel de polinômios com valores inteiros é um domínio de Prüfer, provando que, no caso de domínios semiprimitivos, essa propriedade equivale à álgebra ser comutativa e isomorfa a um produto direto finito de domínios quase de Dedekind com corpos residuais finitos que satisfazem uma condição de dupla limitação nos índices de ramificação e graus dos corpos residuais.

Giulio Peruginelli, Nicholas J. WernerTue, 10 Ma🔢 math

Motivic Homotopy Groups of Spheres and Free Summands of Stably Free Modules

Trabalhando sobre um corpo algebricamente fechado de característica zero, este artigo demonstra que os grupos de homotopia motivica da esfera podem ser determinados a partir de seus equivalentes pp-completados e da cohomologia motivica, permitindo estabelecer isomorfismos via realização complexa que resolvem a questão de quando um módulo estavelmente livre universal admite um somando livre.

Sebastian Gant, Ben WilliamsTue, 10 Ma🔢 math

Can a Lightweight Automated AI Pipeline Solve Research-Level Mathematical Problems?

Este trabalho demonstra que um pipeline automatizado leve, integrado a modelos de linguagem de próxima geração e otimizado para verificação baseada em citações, é capaz de gerar e resolver problemas matemáticos de nível de pesquisa, incluindo conjuntos de dados inovadores como o ICCM e o "First Proof", com soluções verificadas e código aberto disponibilizados publicamente.

Lve Meng (University of Science,Technology of China, Zhongguancun Academy), Weilong Zhao (Université Paris Cité), Yanzhi Zhang (Zhongguancun Academy), Haoxiang Guan (Zhongguancun Academy), Jiyan He (Zhongguancun Academy)Tue, 10 Ma🔢 math

Construction of Multicyclic Codes of Arbitrary Dimension rr via Idempotents: A Unified Combinatorial-Algebraic Approach

O artigo propõe um método unificado para a construção de códigos multicíclicos de dimensão arbitrária rr sobre Fq\mathbb{F}_q, utilizando idempotentes primitivos e órbitas ciclotômicas multidimensionais para estabelecer uma equivalência entre descrições algébricas e combinatórias, além de fornecer um limite de produto ótimo e um algoritmo construtivo eficiente.

Jean Charles Ramanandraibe, Ramamonjy AndriamifidisoaTue, 10 Ma🔢 math