Explicit Apéry set formula for Γ_6

Let Γ6\Gamma_6 be generated by sn=n2[2a+(n1)d]s_n=\frac{n}{2}[2a+(n-1)d] for 1n61\leq n\leq 6, where a,d>0a,d>0 and gcd(a,d)=1\gcd(a,d)=1. For nNn\in\mathbb{N}, write

n=15s4n+t4n,0t4n14,n=15s_{4n}+t_{4n},\qquad 0\leq t_{4n}\leq 14, t4n=10s3n+t3n,0t3n9,t_{4n}=10s_{3n}+t_{3n},\qquad 0\leq t_{3n}\leq 9, t3n=6s2n+t2n,0t2n5,t_{3n}=6s_{2n}+t_{2n},\qquad 0\leq t_{2n}\leq 5, t2n=3s1n+t1n,0t1n2.t_{2n}=3s_{1n}+t_{1n},\qquad 0\leq t_{1n}\leq 2.

Set S={12,20+15k,23+15k,27+15kk0}S=\{12,20+15k,23+15k,27+15k\mid k\geq0\} and define

ν(n)={2t1n+3s1n+4s2n+5s3n+6s4n,nS,2t1n+3s1n+4s2n+5s3n+6s4n1,nS{20+15kk0},2t1n+3s1n+4s2n+5s3n+6s4n3,otherwise.\nu(n)= \begin{cases} 2t_{1n}+3s_{1n}+4s_{2n}+5s_{3n}+6s_{4n},&n\notin S,\\ 2t_{1n}+3s_{1n}+4s_{2n}+5s_{3n}+6s_{4n}-1,&n\in S\setminus\{20+15k\mid k\geq0\},\\ 2t_{1n}+3s_{1n}+4s_{2n}+5s_{3n}+6s_{4n}-3,&\text{otherwise.} \end{cases}

Explicit Apéry-set conjecture for Γ6\Gamma_6. The Apéry set of Γ6\Gamma_6 with respect to aa is

Ap(Γ6,a)={ν(n)a+ndn{1,,a1}}{0}.\operatorname{Ap}(\Gamma_6,a)=\{\nu(n)a+nd\mid n\in\{1,\ldots,a-1\}\}\cup\{0\}.

This gives an explicit description of the Apéry set in the six-generator case and is intended to support the study of unique expansions and tangent cones; the source gives no resolution of the formula.

Sources & referencesView supporting material

Primary source

Joydip Saha and Gaurab Tripathi, “Numerical Semigroups with unique Apery expansions II”, arXiv:2206.10994 (2022).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.