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

This paper establishes a sharp upper bound of $2D_\mathrm{span} + 1forthefieldNoethernumber for the field Noether number \beta_{\mathrm{field}}incoprimecharacteristic,generalizingrecentresultsbyEdidinandKatz,whilealsoanalyzingthepropertiesandboundsofthespanningdegree in coprime characteristic, generalizing recent results by Edidin and Katz, while also analyzing the properties and bounds of the spanning degree D_\mathrm{span}$ in both coprime and non-coprime characteristics.

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

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

This paper demonstrates that a lightweight, automated AI pipeline integrating next-generation large language models with citation-based verification can successfully generate and solve sophisticated, research-grade mathematical problems, including previously unpublished questions, with verified results and open-sourced tools.

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

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

This paper establishes that motivic stable homotopy groups of spheres over an algebraically closed field of characteristic zero are determined by pp-completed spheres and motivic cohomology, enabling the proof that complex realization induces isomorphisms in specific bidegrees and resolving the conditions under which the universal stably-free module of type (n,n1)(n,n-1) admits a free summand.

Sebastian Gant, Ben WilliamsTue, 10 Ma🔢 math

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

This paper provides a complete classification of integrally closed domains DD and finitely generated torsion-free DD-algebras AA for which the ring of integer-valued polynomials IntK(A)\text{Int}_K(A) is a Prüfer domain, proving that in the semiprimitive case, this property holds if and only if AA is a commutative finite direct product of almost Dedekind domains with finite residue fields satisfying specific boundedness conditions.

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