The symmetric hit problem in four variables: Relative cohits and stabilizer-fixed preimages
Abstract
In this work, we study the symmetric hit problem in four variables by analyzing the relative cohit space, defined as the kernel of the inclusion-induced map from symmetric to ordinary cohits. We establish that this relative space is isomorphic to a kernel in the first group cohomology of the permutation group and, equivalently, to an Ext1 kernel for the general linear group, equipped with a canonical action of the normalizer quotient. We use explicit Lucas--Cartan identities to construct unconditional fixed Steenrod preimages for nontrivial stabilizers, resolving infinite families of monomials strictly above the minimal-spike weight. Using the ordinary and symmetric Kameko isomorphisms, we reduce the determination of complete bases in two generic degree families to exact calculations in degrees one, three, six, ten, and sixteen. The relative space first becomes nonzero in degree fifteen, where it is one-dimensional, and it is an indecomposable two-dimensional normalizer module in degree eighteen. In the family 5·2t−4, the symmetric cohit dimension stabilizes at six and the relative dimension at one for t≥2; in the family 7·2t−4, they are four and zero for t≥1. We give complete bases by explicit exponent formulas and prove Janfada's monomial implication [7, Conjecture 1] in every degree of both families. We extend the known optimal bound for ordinary Kameko isomorphisms to every permutation-invariant cohit space, prove its optimality there, and transport the entire symmetric hit basis by a direct-sum formula.
Related
- Sampling with collective variables: Relative error analysis for umbrella sampling under general conditions
- Formal solution and strong asymptotic expansion of some initial value problem in two complex time variables, infinite order irregular singularities and Mahler transforms
- The local-to-global minimum problem of Calvert and Vamanamurthy: a quartic counterexample in three variables and the cubic case in all dimensions
- The Cauchy dual subnormality problem in two variables
- Double-arc rearrangement and the symmetric isoperimetric problem in Gauss space
BibTeX
@misc{phuc2026symmetric,
title = {{The symmetric hit problem in four variables: Relative cohits and stabilizer-fixed preimages}},
author = {Dang Vo Phuc and Peter V. Danchev},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2606.02626},
eprint = {2606.02626},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2606.02626},
}
RIS
TY - UNPB
TI - The symmetric hit problem in four variables: Relative cohits and stabilizer-fixed preimages
AU - Dang Vo Phuc
AU - Peter V. Danchev
PY - 2026
DA - 2026/10/29
PB - arXiv
DO - 10.48550/arxiv.2606.02626
UR - https://arxiv.org/abs/2606.02626
AB - In this work, we study the symmetric hit problem in four variables by analyzing the relative cohit space, defined as the kernel of the inclusion-induced map from symmetric to ordinary cohits. We establish that this relative space is isomorphic to a kernel in the first group cohomology of the permutation group and, equivalently, to an Ext^1 kernel for the general linear group, equipped with a canonical action of the normalizer quotient. We use explicit Lucas--Cartan identities to construct unconditional fixed Steenrod preimages for nontrivial stabilizers, resolving infinite families of monomials strictly above the minimal-spike weight. Using the ordinary and symmetric Kameko isomorphisms, we reduce the determination of complete bases in two generic degree families to exact calculations in degrees one, three, six, ten, and sixteen. The relative space first becomes nonzero in degree fifteen, where it is one-dimensional, and it is an indecomposable two-dimensional normalizer module in degree eighteen. In the family 5·2^t−4, the symmetric cohit dimension stabilizes at six and the relative dimension at one for t≥2; in the family 7·2^t−4, they are four and zero for t≥1. We give complete bases by explicit exponent formulas and prove Janfada's monomial implication [7, Conjecture 1] in every degree of both families. We extend the known optimal bound for ordinary Kameko isomorphisms to every permutation-invariant cohit space, prove its optimality there, and transport the entire symmetric hit basis by a direct-sum formula.
ER -