Matching works

7 works

math.AG — Algebraic Geometry

Signed Mukai diagonals and derived equivalences of fivefolds

Contributed by Benjamin Antieau

For every Hochschild diagonal of a smooth projective complex variety, a Fourier–Mukai equivalence preserves both the ordinary Hodge-number sum and the sum signed by the parity of the antiholomorphic degree. The latter is the signature of a Hermitian form obtained from the generalized Mukai pairing. In dimension five these invariants determine $h^{0,3}$ and $h^{1,4}$ and reduce the unrestricted Hodge-number problem to two numerical parameters, one of which is the possible failure of invariance of $h^{0,2}$ . Albanese methods remove this structure-sheaf ambiguity when the Albanese image has dimension at least three. The general fivefold case remains open, while a theorem of Abuaf proves invariance of all Hodge numbers for fivefolds with trivial canonical bundle.

Primarily AI-generated textHuman understanding: no partsDerived categoriesfivefolds

Sep 30, 2026PDF ↗View work →

hexagon:2609.00128v1

math.AG — Algebraic Geometry

On properties of Plancherel algebras

Contributed by Shurui Liu

We proved the predictions by Ben-Zvi, Sakellaridis, and Venkatesh that the Plancherel algebra $\mathrm{PL}_{X}$ is commutative and its loop-rotated version $\mathrm{PL}_{X,\hbar}$ is flat over $k[\hbar]$ .

Primarily AI-generated textHuman understanding: some partsPlancherel algebraRelative Langlandsgeometric Langlands

Sep 30, 2026PDF ↗View work →

hexagon:2609.00111v1

math.AG — Algebraic Geometry

Torsion in $K_1$ and $p$ -adic vanishing cycles

Contributed by Akhil Mathew

For every odd prime $p$ , we construct a regular strictly henselian local ring $A$ whose generic fibre has \'etale cohomology classes in $H^2_{\et}(A[1/p],\mu_p^{\otimes2})$ which are not sums of cup products of degree-one classes. The ring is the strict henselization of a local ring on a finite-type arithmetic scheme. A unit on a principal divisor gives an element of order $p$ in $SK_1(A[1/p])$ , detected by its localization boundary on the special fibre. Adams--Riemann--Roch and the connectivity of the motivic filtration show that this element has nonzero image in $H^3_{\mot}(A[1/p],\Z(2))$. The integral coefficient sequence then gives the cohomological obstruction. Only the eigenvalues $4$ and $8$ of $\psi^2$ are needed.

Primarily AI-generated textHuman understanding: all partsAdams operationsMilnor K-theoryp-adic vanishing cycles

Sep 27, 2026PDF ↗View work →

hexagon:2609.00110v1

math.AG — Algebraic Geometry

Frobenius orbit maps and rank-four group schemes

Contributed by Akhil Mathew

We construct finite free group schemes of rank four and exponent eight as stabilizers in a smooth two-dimensional affine group. We first compute the complete local deformation ring of the invariant space of constants and squares in characteristic two, using six Grassmannian coordinates. For every Artinian specialization, evaluation at the identity has a finite free rank-four stabilizer. Its fourth-power morphism is $(x,y)\mapsto(2bxy,2axy)$ , and its eighth-power morphism is trivial. The fourth power is nonzero on the third-order neighbourhood of the universal deformation ring and on a specialization over $\Z[a,b]/(a^2b-2,a^3,b^3)$ . We give complete formulas for the latter group scheme. Right translation preserves the chosen quadratic space exactly when it contains the square of the scalar character. This identifies $(2a,2b)$ as the common obstruction to fourth-power vanishing, normality of the stabilizer, and two-sidedness in an equivalent cyclic-module construction.

Primarily AI-generated textHuman understanding: some partsHopf algebrasgroup schemes

Sep 27, 2026PDF ↗View work →

hexagon:2609.00105v1

math.AC — Commutative Algebra

Graded absolute integral closures and Picard groups

Contributed by Akhil Mathew

We deduce from Bhatt's graded Cohen--Macaulay and vanishing results that an integer-graded absolute integral closure of a weighted polynomial ring over $\Z_p$ , modulo $p$ , is free with basis degrees smaller than the sum of the weights. A direct $p$ -adic expansion turns this degree bound into a uniform solution of the cusp relation modulo nilpotents. Consequently every ring $R$ admits a faithfully flat algebra with seminormal reduction, and every invertible $R[T]$ -module becomes free after a faithfully flat extension of $R$ , answering a question of Drinfeld.

Primarily AI-generated textHuman understanding: all partsPicard groupsabsolute integral closureseminormality

Sep 26, 2026PDF ↗View work →

hexagon:2609.00104v1

math.AG — Algebraic Geometry

Derived invariance of the signature and Hodge numbers of fourfolds

Contributed by Benjamin Antieau, Andrei Căldăraru, Ruoxi Li, Akhil Mathew, Joshua Mundinger, Noah Olander, Martin Olsson

A Fourier–Mukai equivalence between smooth proper complex varieties of common even dimension preserves the topological signature. The proof extracts the signature from the symmetrization of the Mukai pairing on even cohomology. Combining this observation with known derived invariants and the Hochschild–Kostant–Rosenberg decomposition shows that derived-equivalent smooth projective fourfolds over any field of characteristic zero have the same Hodge numbers. This argument and text was produced by ChatGPT 5.6 Sol.

Primarily AI-generated textHuman understanding: all partsDerived categoriesFourier–Mukai equivalencefourfolds

Sep 26, 2026PDF ↗View work →

hexagon:2609.00001v1

math.AG — Algebraic Geometry

Strict negativity and non-vanishing of Chen--Larson hypergeometric coefficients

Contributed by Johannes Schmitt

Chen and Larson study tautological classes on the strata of holomorphic abelian differentials, where they predict a vanishing result. Using known tautological relations on the moduli space of curves, they reduce this prediction to the non-vanishing of certain coefficients of a quotient of hypergeometric generating series, treating the residue classes $g\equiv0,2\pmod3$ and $g\equiv1\pmod3$ through two separate series; they verify the non-vanishing by computer for small genus. We prove it in general: in both cases the relevant coefficient is non-vanishing for every genus and every stratum, and in the first case it has, more strongly, a uniform strict sign. Along the way we correct an error in the Chen--Larson derivation of the $g\equiv1\pmod3$ series, where a constant of the underlying relation of Ionel had inadvertently been changed. The paper falls into two parts. Part~I gives the mathematical proofs; Part~II documents the Lean~4 and Mathlib formalization --- whose only non-standard trust assumption is the compiler invoked by \code{native\_decide} for the large finite computations --- together with the long-horizon, multi-model generative-AI process that produced the proofs, exposed false intermediate routes, and uncovered the error in the printed Proposition~5.2 relation noted above.

Primarily AI-generated textHuman understanding: not declaredpower seriestautological classes

Sep 01, 2026PDF ↗View work →

math.AC — Commutative Algebra
math.AG — Algebraic Geometry
math.AP — Analysis of PDEs
math.AT — Algebraic Topology
math.CA — Classical Analysis and ODEs
math.CO — Combinatorics
math.CT — Category Theory
math.CV — Complex Variables
math.DG — Differential Geometry
math.DS — Dynamical Systems
math.FA — Functional Analysis
math.GM — General Mathematics
math.GN — General Topology
math.GR — Group Theory
math.GT — Geometric Topology
math.HO — History and Overview
math.IT — Information Theory
math.KT — K-Theory and Homology
math.LO — Logic
math.MG — Metric Geometry
math.NA — Numerical Analysis
math.NT — Number Theory
math.OA — Operator Algebras
math.OC — Optimization and Control
math.PR — Probability
math.QA — Quantum Algebra
math.RA — Rings and Algebras
math.RT — Representation Theory
math.SG — Symplectic Geometry
math.SP — Spectral Theory
math.ST — Statistics Theory
cs.CC — Computational Complexity
cs.CG — Computational Geometry
cs.DM — Discrete Mathematics
cs.DS — Data Structures and Algorithms
cs.FL — Formal Languages and Automata Theory
cs.IT — Information Theory
cs.LO — Logic in Computer Science
cs.MS — Mathematical Software
cs.NA — Numerical Analysis
cs.SC — Symbolic Computation
math-ph — Mathematical Physics
quant-ph — Quantum Physics
stat.TH — Statistics Theory

Matching works

Signed Mukai diagonals and derived equivalences of fivefolds

On properties of Plancherel algebras

Torsion in K1K_1K1​ and ppp-adic vanishing cycles

Frobenius orbit maps and rank-four group schemes

Graded absolute integral closures and Picard groups

Derived invariance of the signature and Hodge numbers of fourfolds

Strict negativity and non-vanishing of Chen--Larson hypergeometric coefficients

Torsion in $K_1$ and $p$ -adic vanishing cycles