\section{introduction}

Denote by $S(\R^d)$ the Schwartz space of test functions $\p\in C^\infty(\R^d)$ with finite norms
 $$
  p_m(\p)=\sup_{\R^d}(\max\{1,|x|\})^m\max_{|k_1|+\dots+|k_d|\le m} |D^k(\p(x))|,\quad m=0,1,2,\dots,
 $$
  $k=(k_1,\dots,k_d)\in(\N\cup\{0\})^d,\  D^k=\partial^{k_1}_{x_1}\dots\partial^{k_d}_{x_d}$. These norms generate a topology on $S(\R^d)$, and elements of the space $S'(\R^d)$ of continuous linear functionals on $S(\R^d)$ are called tempered distributions.
  For every tempered distribution $f$ there exist $C>0$ and $m\in\N\cup\{0\}$ such that for all $\p\in S(\R^d)$
$$
                           |f(\p)|\le Cp_m(\p).
$$
Moreover, this estimate is sufficient for distribution $f$ to be in $S'(\R^d)$
(see \cite{V}, Ch.3).

The Fourier transform of a tempered distribution $f$ is defined by the equality
$$
\hat f(\p)=f(\hat\p)\quad\mbox{for all}\quad\p\in S(\R^d),
$$
where
$$
   \hat\p(y)=\int_{\R^d}\p(x)\exp\{-2\pi i\la x,y\ra\}dm_d(x)
 $$
is the Fourier transform of the function $\p$. Note that the Fourier transform of every tempered distribution is also a tempered distribution. Here we consider only the case when $f$ and $\hat f$ are measures on $\R^d$.
\medskip

To formulate  the results of the paper we need some notions and definitions.

Set $B(x,r)=\{y\in\R^d:\,|y-x|<r\}$, $B(r)=B(0,r)$. We say that $E\subset\R^d$ is {\it a full-rank lattice} if  $E=T\Z^d$ for some nondegenerate linear operator $T$ on $R^d$; $E$ is {\it relatively dense} if there exists $R<\infty$ such that $B(x,R)\cap E\neq\emptyset$ for each $x\in\R^d$; $E$ is {\it discrete}  if $E\cap B(x,1)$ is finite for all $x\in\R^d$;  $E$ is {\it uniformly discrete} if $|x-x'|\ge\e>0$ for all $x,\,x'\in E, x\neq x'$.

 A Radon measure $\mu$ is discrete (uniformly discrete) if its support is discrete (uniformly discrete), $\mu$ is {\it translation bounded} if its variations $|\mu|$  are uniformly bounded on balls of radius 1, and $\mu$ is  {\it slowly increasing} if $|\mu|(B(r))$ grows at most polynomially as $r\to\infty$. Note that every translation bounded measure is slowly increasing, and every slowly increasing measure belongs to $S'(\R^d)$.

Following \cite{LO2} we say that $\mu$ is a {\it\F} if both measures $\mu$, $\hat\mu$ are slowly increasing atomic measures.  More precisely, we will suppose that
$$
\mu=\sum_{\l\in\L}a_\l\d_\l, \quad\hat\mu=\sum_{\g\in\G}b_\g\d_\g, \quad \log\left[\sum_{|\l|<r}|a_\l|+\sum_{|\g|<r}|b_\g|\right]= O(\log r),\ r\to\infty,
$$
where $\d_z$ means the unit mass at the point $z$ and the sets $\L,\,\G$ are countable. In the paper we usually consider the case
of discrete {\it support} $\L$ and countable {\it spectrum} $\G$ of  $\mu$. We say that $\mu$ is a {\it large \F} if, in addition, $\inf_{\l\in\L}|a_\l|>0$.
The simplest example of a \F\ is the measure $\mu_0=\sum_{k\in\Z^d}\d_k$. By the Poisson formula we have $\hat\mu_0=\mu_0$.

Such measures are the main object in the theory of \F s (see \cite{C}-\cite{Mo}). The corresponding notions were inspired by experimental discovery  of non-periodic atomic structures with diffraction patterns consisting of spots, which was made in the mid '80s.

\medskip
In the paper we are interested in the cases when support $\L$ is a subset of a finite union of translated full-rank lattices. Several very interesting results of this type were obtained by N.Lev, A.Olevskii in \cite{LO1}, \cite{LO2}. Here it is one of them.
 \begin{Th}[\cite{LO2}]
Let $\mu$ be a \F\ on $\R^d$ with discrete spectrum $\G$ and uniformly discrete set of differences $\L-\L$. Then  $\L$ is a subset of a finite union of translates of a single full-rank lattice $L$, and $\G$ is a subset of a finite union of translates of the conjugate lattice.

Also, there exists a \F\  with countable spectrum $\G$ such that $\L-\L$ is uniformly discrete, but $\L$ is not contained in a finite union of translates of any lattice.
\end{Th}

We prove the following theorem,  which amplifies the previous one

 \begin{Th}\label{3}
Let $\mu$ be a large \F\ on $\R^d$ with a discrete set of differences $\L-\L$. Then  $\L$ is a  finite union of translates of a single full-rank lattice $L$.
\end{Th}
In the next section we will give a generalization of Theorem \ref{3} for pairs of \F s.
\medskip

Results of another type of results were obtained by Y.Meyer and A.Cordoba.
\begin{Th}[Y.Meyer \cite{M1}]\label{1}
Let $\mu=\sum_{\l\in\L} a_\l\d_\l$ be a  measure with discrete support $\L$ and $a_\l\in S$ for some finite set $S\subset\C\setminus\{0\}$.
If $\mu\in S'(\R)$ and if its Fourier transform $\hat\mu$ is a translation bounded measure on $\R$, then $\L=E\triangle\bigcup_{j=1}^N(\a_j\Z+\b_j)$, where $\a_j>0,\ \b_j\in\R$, and the set $E$ is finite.
\end{Th}
Here $A\triangle B$ means the symmetrical difference between $A$ and $B$.
\medskip

 In \cite{K} M.Kolountzakis extended the above theorem to measures on $\R^d$. He replaced the condition "the measure $\hat\mu$ is translation bounded" with the weaker one
 \begin{equation}\label{m}
|\hat\mu|(B(r))=O(r^d)\quad \mbox{as} \quad r\to\infty.
\end{equation}
He also found a condition for support $\mu$ to be a finite union of several full-rank lattices. His result is very close to Cordoba's  one:
  \begin{Th}[\cite{C}]\label{2}
 Let  $\mu$ be a uniformly discrete \F\ on $\R^d$ with $a_\l$  belonging to a finite set $F$.  If the measure $\hat\mu$ is translation bounded,  then $\L$  is a finite union of translates of several, possibly incommensurable, full-rank lattices.
\end{Th}

In paper \cite{F2} we replaced the conditions "$a_\l$ from a finite set" by "$|a_\l|$ from a finite set" and the condition "$\hat\mu$ is translation bounded" by (\ref{m}).

Now we obtain the following theorem.
\begin{Th}\label{4}
 Let $\mu$  be a uniformly discrete large \F\ on $\R^d$,  and let $\hat\mu$  satisfy (\ref{m}). Then  $\L$  is a finite union of translates of several disjoint full-rank lattices.
 \end{Th}
  The proof is based on an analog of Wiener's Theorem on Fourier series:
\begin{Th}[N.Wiener, see, for example, \cite{Z}, Ch.VI]
Let $F(t)=\sum_{n\in\Z}c_ne^{2\pi int}$  be an absolutely convergent Fourier series,  and $h(z)$  be a holomorphic function on a neighborhood of  the set $\overline{\{F(t):\,t\in [0,1]\}}$. Then the function $h(F(t))$ admits  an absolutely convergent Fourier series expansion as well.
 \end{Th}
 Denote by $W$ the class of absolutely convergent series $\sum_n c_ne^{2\pi i\la x,\g_n\ra},\ \g_n\in\R^d$. We prove the following theorem
 \begin{Th}\label{5}
 Let  $K\subset\C$ be an arbitrary compact,  $h(z)$ be a holomorphic function on a neighborhood of $K$, and $f\in W$. Then there is a function $g\in W$ such that if $f(x)\in K$ then $g(x)=h(f(x))$.
 \end{Th}
 If $K=\overline{f(\R^d)}$ then we obtain the global Wiener's Theorem for almost periodic functions.
 \medskip

 Finally, we prove an analog of Wiener's Theorem for \F s:
 \begin{Th}\label{7}
 Let $\mu=\sum_{\l\in\L}a_\l\d_\l$  be a uniformly discrete \F\ on $\R^d$ with the translation bounded measure $\hat\mu$.  Suppose that $h(z)$ is a holomorphic function on a neighborhood of the closure of the set ${\{a_\l:\,\l\in\L\}}$. Then  $\nu=\sum_{\l\in\L}a_\l h(a_\l)\d_\l$  is also \F\ with  translation bounded $\hat\nu$.
 \end{Th}
 \begin{Cor}
  Let $\mu=\sum_{\l\in\L}a_\l\d_\l$  be a uniformly discrete \F\ on $\R^d$ with translation bounded measure $\hat\mu$. Let $A$ be a connected component of the set  $\overline{{\{a_\l:\,\l\in\L\}}}$ such that $0\notin A$. Then  $\{\l\in\L:\,a_\l\in A\}$  is a finite union of translates of several full-rank lattices.
 \end{Cor}

\section{Large quasicrystals and almost periodic measures}

\bigskip

We recall some definitions  related to the notion of almost periodicity (see, for example, \cite{M}).

A continuous function $f$ on $\R^d$ is {\it almost periodic}, if
for every  $\e>0$ the set of $\e$-almost periods of $f$
  $$
  \{\tau\in\R^d:\,\sup_{x\in\R^d}|f(x+\tau)-f(x)|<\e\}
  $$
  is a relatively dense set in $\R^d$.

  For every almost periodic function $f$ there exists the limit uniform in $x\in\R^d$
$$
\cM(f)=\lim_{r\to\infty}\frac{1}{\o_d r^d}\int_{B(x,r)}f(y)dm_d(y),
$$
where $\o_d$ is volume of the unit ball. The Fourier coefficient of $f$ at frequency $\g\in\R^d$ is
$$
a_f(\g)=\cM\left(f(x)e^{-2\pi i\la x,\g\ra}\right).
$$
 For every $f$ only countably many $a_f(\g)$ do not vanish,
and the set $\{a_f(\g)\}$ defines the function $f$ uniquely.

 It can be easily proved that every function $f=\sum_n c_ne^{2\pi i\la x,\g_n\ra}\in W$ is almost periodic. We set $\|f\|_W=\sum_n|c_n|$.

\noindent Since $\cM\left(e^{2\pi i\la x,\g\ra}e^{2\pi i\la x,-\g'\ra}\right)=\begin{cases}1, & \g=\g', \\0, & \g\neq\g',\end{cases}$\qquad
we get $a_f(\g)=\begin{cases}c_n, & \g=\g_n, \\0, & \g\neq\g_n.\end{cases}$

\noindent Moreover,  $\hat f=\sum_n c_n\d_{\g_n}$. Indeed, if $\psi\in S(\R^d)$, then
$$
   (\hat f,\psi)=(f,\hat\psi)=\sum_nc_n\int_{\R^d}e^{2\pi i\la y,\g_n\ra}\hat\psi(y)dy=\sum_n c_n\psi(\g_n).
$$
Next, a (complex) measure $\mu$ on $\R^d$ is {\it almost periodic}, if
for every continuous function $\psi$ on $\R^d$ with compact support
 the function $(\psi\star\mu)(x)$ is almost periodic in $x\in\R^d$. It is clear that  support of every almost periodic measure is relatively dense in $\R^d$.

A discrete set $\L$ is almost periodic, if measure $\sum_{\l\in\L}\d_\l$ is almost periodic.

\begin{Th}[L.Ronkin \cite{R}]\label{R}
Every almost periodic measure is translation bounded.
\end{Th}
A connection between almost periodicity of measure and properties of its Fourier transform was obtained by Y.Meyer:
\begin{Th} [\cite{M}]
Let $\mu$ and its Fourier transform $\hat\mu$ be translation bounded measures.
Then $\mu$ is almost periodic iff spectrum of $\mu$  is countable.
\end{Th}
Here we need an extension of this result.
\begin{Th}\label{9}
 Let $\mu$ be a measure from $S'(\R^d)$, and let $\hat\mu$ be a slowly increasing measure. Then $\mu$ is almost periodic  iff it is translation bounded and has a countable spectrum.
\end{Th}
First we prove some lemmas.
\begin{Lem}\label{L1}
 Let $\mu$ be a measure from $S'(\R^d)$ with countable spectrum, let $\hat\mu$ be a slowly increasing measure, and let $\psi\in S(\R^d)$.
 Then convolution $\psi\star\mu$ belongs to $W$.
\end{Lem}
{\bf Proof}. Let $\hat\mu=\sum_{\g\in\G}b_\g\d_\g$. We have
\begin{equation}\label{a}
(\psi\star\mu)(s)=\int\psi(s-x)d\mu(x)=\int\hat\psi(y)e^{2\pi i\la y,s \ra}d\hat\mu(y)=\sum_{\g\in\G}b(\g)\hat\psi(\g)e^{2\pi i\la s,\g \ra}.
\end{equation}
Since $\hat\psi\in S(\R^d)$, we get
 $$
\int|\hat\psi(y)|d|\hat\mu|(y) \le\int_0^\infty C\min\{1,\,t^{-N}\}dM(t) =C\lim_{t\to\infty}\frac{M(t)}{t^N}+CN\int_1^\infty\frac{M(t)}{t^{N+1}}dt,
$$
where $M(t)=|\hat\mu|(B(t))$. For appropriate $N$ the latter integral is finite. Therefore the sum in (\ref{a}) converges absolutely. \bs
\begin{Lem}\label{L2}
 Let $\mu$ be a translation bounded measure, and let $\hat\mu$ be a slowly increasing measure.
 Then for each $\l\in\R^d$ the limit
 $$
    \lim_{R\to\infty}\frac{1}{\o_d R^d}\int_{B(R)}e^{-2\pi i\la x,\l\ra}d\mu(x)
 $$
exists and equals $\hat\mu(\{\l\})$.
\end{Lem}
{\bf Proof}. Pick an arbitrary  $\e>0$. Let $\psi(|x|)$ be $C^\infty$-differentiable function on $\R^d$ such that $\psi(t)=1/\o_d$ for $t<1-\e$, $\psi(t)=0$ for $t>1+\e$, $0\le\psi(t)\le1/\o_d$ for $1-\e \le t\le 1+\e$, and $\int_{\R^d}\psi(|x|)dx=1$. We have
$$
   \frac{1}{R^d}\int_{\R^d}\psi(|x|/R)e^{-2\pi i\la x,\l\ra}d\mu(x)= \{R^{-d}\psi(|x/R|)\mu(x)\}\hat\, (\l)=\hat\psi(R(\l-y))\star\hat\mu(y),
 $$
 then
\begin{equation}\label{j}
\hat\psi(R(\l-y))\star\hat\mu(y)=\int_{|\l-y|<1}\hat\psi(R(\l-y))d\hat\mu(y)
+\int_{|\l-y|\ge1}\hat\psi(R(\l-y))d\hat\mu(y).
 \end{equation}
  Note that $\hat\psi(0)=1$ and $\hat\psi(R(\l-y))\to0$ for $\l\neq y$ as $R\to\infty$. By the Dominated Convergence Theorem, the first integral in (\ref{j}) tends to $0$ if $\hat\mu(\{\l\})=0$ and to $\hat\mu(\{\l\})$ otherwise.
  Since $\hat\psi\in S(\R^d)$, we see that  the second integral in (\ref{j}) does not exceed
 $$
   c_N\int_{|\l-y|\ge1}(R|y-\l|)^{-N}|\hat\mu|(y)=c_N R^{-N}\int_1^\infty t^{-N}d|\hat\mu|(B(\l,t)).
   $$
 If $N$ is large enough, then $|\hat\mu|(B(\l,t))=O(t^{N-1})$ as $t\to\infty$. Arguing as in the previous lemma, we obtain that the second integral in (\ref{j}) tends to $0$ as $R\to\infty$.

 Furthermore, since the measure $\mu$ is translation bounded, we get for large $R$
 $$
  \left|\int_{\R^d}\psi(|x|/R)e^{-2\pi i\la\l,x\ra}d\mu(x)-\o_d^{-1}\int_{B(x,R)}e^{-2\pi i\la\l,x\ra}d\mu(x)\right|\le C\e R^d.
 $$
 Since $\e$ is arbitrary, we get the assertion of the Lemma.\bs

{\bf Remark}. We used  property of $\mu$ to be translation bounded only in the latter part of the proof.
\medskip

{\bf Proof of Theorem \ref{9}}. Suppose that $\mu$ is translation bounded measure with countable spectrum and slowly increasing measure $\hat\mu$.  By Lemma \ref{L1},  $\psi\star\mu(s)$ is almost periodic for every $\psi\in S(\R^d)$.
Check that $(\phi\star\mu)(t)$ is almost periodic for each continuous function $\phi$ with a compact support in the ball $B(R)$. Let  $\psi_n\in S(R^d),\ \supp\psi_n\subset B(R+1)$, be a sequence that uniformly converges to  $\phi$. Since $\mu$ is translation bounded,  the almost periodic functions $(\psi_n\star\mu)(t)$ uniformly converge to $(\phi\star\mu)(t)$, therefore the latter function is almost periodic, and $\mu$ is an almost periodic measure.

Now suppose that $\mu$ is almost periodic. By Theorem \ref{R}, $\mu$ is translation bounded. Let $\nu$ be the atomic component of measure $\hat\mu$, let $\mu_1$ be the inverse Fourier transform of $\nu$, and $\mu_2$ be the inverse Fourier transform of $\hat\mu-\nu$. It follows from the first part of the proof that $\mu_1$ is an almost periodic measure. Therefore, $\mu_2$ is almost periodic too. Let $\p$ be
$C^\infty$-function with compact support. The convolution $\p\star\mu_2$ is an almost periodic function, hence measure $\p\star\mu_2(x) m_d(x)$ is translation bounded. By Lemma \ref{L2}, Fourier coefficient of $\p\star\mu_2$ at each frequency $\l\in\R^d$ equals $(\p\star\mu_2)\hat\,(\{\l\})=\hat\p(\l)\hat\mu_2(\{\l\})=0$. Therefore, $\p\star\mu_2\equiv 0$ for each $\p\in S(\R^d)$ with compact support. Then $\mu_2=0$ and $\hat\mu=\nu$. \bs
\medskip

To prove Theorem \ref{3} we need two lemmas.
 \begin{Lem}\label{L3}
 Let $\mu=\sum_{\l\in\L}a_\l\d_\l,\ |a_\l|\ge\e>0$, be an almost periodic measure on $\R^d$ with uniformly discrete $\L$. Then the set $\L$ is almost periodic too.
\end{Lem}
 {\bf Proof}. Check that for every continuous function $\p(x)$ with compact support
 and every $\e>0$ the function $\sum_{\l\in\L}\p(x-\l)$ has a relatively dense set of $\e$-almost periods.
 Set
  $$
 \eta=(1/2)\inf_{\l,\l'\in\L,\l\neq\l'}|\l-\l'|,\quad  \b=\inf_{\l\in\L}|a_\l|.
  $$
     Without loss of generality suppose that $\supp\p\subset B(\eta)$, and  $0\le\p(x)\le \p(0)=1$. There exists $\rho\in (0,\eta)$ such that  the inequality $|x-x'|<\rho$ implies $|\p(x)-\p(x')|<\e$. Set $\psi(x)=\p(\eta x/\rho)$. Note that if $\psi(x)\neq0$, then $|x|<\rho$. Let $\tau$ be $\b$-almost period of the function $\psi\star\mu(x)=\sum_{\l\in\L} a_\l\psi(x-\l)$. We have for all $x\in\R^d$
   $$
       \left|\sum_{\l\in\L} a_\l\psi(x-\l)-\sum_{\l'\in\L} a_{\l'}\psi(x+\tau-\l')\right|<\b.
     $$
   Clearly, at most one term in every sum does not vanish. For $x=\l$ we get $|a_\l-a_{\l'}\psi(\l+\tau-\l')|<\b$, hence $\psi(\l+\tau-\l')\neq0$ and $|\l+\tau-\l'|<\rho$. Therefore, $|\p(x-\l)-\p(x+\tau-\l')|<\e$. If there is another $\l''\in\L$ such that
  $\p(x+\tau-\l'')\neq0$, then $|x+\tau-\l''|<\eta$ and $|\l'-\l''|<2\eta$. This is impossible, therefore for all $x\in\R^d$
  $$
       \left|\sum_{\l\in\L}\p(x-\l)-\sum_{\l'\in\L}\p(x+\tau-\l')\right|<\e.
  $$
Since there is a relatively dense set of $\b$-almost periods $\tau$ of the function $\psi\star\mu$, we conclude  that the function $\sum_{\l\in\L}\p(x-\l)$ is almost periodic too. \bs
\begin{Lem}\label{L4}
 Let $\mu=\sum_{\l\in\L}a_\l\d_\l$ be a uniformly discrete measure from $S'(\R^d)$ with the slowly increasing measure $\hat\mu$. Then $\sup_{\l\in\L}|a_\l|<\infty$ and, consequently, the measure $\mu$ is translating bounded.
\end{Lem}
{\bf Proof}. Set $\eta=(1/2)\inf_{\l,\l'\in\L,\l\neq\l'}|\l-\l'|$. Let $\psi(|y|)$ be a $C^\infty$-function  such that $\supp\psi(|y|)\subset B(\eta)$ and $\psi(0)=1$. We have
 $$
  \sup_{\l\in\L}|a_\l|\le\sup_{x\in\R^d}\left|\int\psi(|x-\l|)d\mu(\l)\right|=
  \sup_{x\in\R^d}\left|\int_{\R^d}\hat\psi(y)e^{2\pi i\la x,y\ra}d\hat\mu(y)\right|\le\int_{\R^d}|\hat\psi(y)|d|\hat\mu|(y).
 $$
 Taking into account  that $\hat\psi(y)\in S(R^d)$ and arguing as above in Lemma \ref{L1}, we obtain that the latter integral is
 finite. \bs
\medskip

Our proof of Theorem \ref{3} is based on the following result.
 \begin{Th}[\cite{F1}]\label{6}
  Let $\L$ be an almost periodic set in $\R^d$ with a discrete set of differences $\L-\L$. Then  $\L$ is a finite union of translates of a single full-rank lattice.
   \end{Th}
{\bf Proof of Theorem \ref{3}}. Since the set $\L-\L$ is discrete, we get that $\L$ is uniformly discrete. By Lemma \ref{L4}, $\mu$ is translation bounded. By Theorem \ref{9}, $\mu$ is almost periodic. Lemma \ref{L3} implies that $\L$ is almost periodic as well. Now, using Theorem \ref{6}, we obtain the assertion of Theorem \ref{3}. \bs
\medskip

There is an analog of Theorem \ref{6} for pairs of measures.
 \begin{Th}\label{8}
Let $\mu_1,\,\mu_2$ be large \F s such that the set $\L_1-\L_2$ of differences of their supports $\L_1,\,\L_2$ is discrete. Then there exists a full-rank lattice $L$ such that the both supports $\L_1,\,\L_2$ are finite unions of translates of $L$.
 \end{Th}
In fact, the proof of this theorem is the same as in the previous one. But instead of Theorem \ref{6} we need to use the corresponding assertion for pairs of measures from \cite{F2}.

\section{Wiener's Theorem for quasicrystals}

In this section we prove Theorems \ref{5} and \ref{7}. We begin with the following lemma.
\begin{Lem}\label{L5}
 Let $F(\t,\tau),\ \t=(\t_1,\dots,\t_N)\in [0,1]^N,\,\tau\in [0,1]$, be $C^\infty$-differentiable function in all variables and periodic with period $1$ in each $\t_j,\ j=1,\dots,N$. Then its Fourier series
  $$
  F(\t,\tau)=\sum_{n\in\Z^N}c_n(\tau) e^{2\pi i\la\t,n\ra}
  $$
 converges absolutely and uniformly in $\tau\in[0,1]$.
  \end{Lem}
{\bf Proof}. We have
$$
  c_n(\tau)=\int_{[0,1]^N}F(\t,\tau)e^{-2\pi i\la\t,n\ra}d\t.
$$
 Let $n=(n_1,\dots,n_N)$ with $n_1\neq0$. Integrating by parts in variable $\t_1$ two times, we get
$$
  c_n(\tau)=\frac{-1}{4\pi^2n_1^2}\int_{[0,1]^N}\frac{\partial^2F(\t,\tau)}{\partial\t_1^2}e^{-2\pi i\la\t,n\ra}d\t.
$$
If $n_1\cdot n_2\cdots n_m\neq0$, then after integrating by parts in variables $\t_1,\dots,\t_m$ we get
$$
  c_n(\tau)=\frac{(-1)^m}{(2\pi)^{2m}n_1^2\cdots n_m^2}\int_{[0,1]^N}\frac{\partial^{2m}F(\t,\tau)}{\partial\t_1^2\dots\partial\t_m^2}
  e^{-2\pi i\la\t,n\ra}d\t.
$$
 Therefore,
 $$
 |c_n(\tau)|\le\frac{1}{(2\pi)^{2m}n_1^2\cdots n_m^2}\max_{\t,\tau}\left|\frac{\partial^{2m}F(\t,\tau)}{\partial\t_1^2\dots\partial\t_m^2}\right|.
$$
Consequently, for all $n\in\Z^N$ we get
$$
|c_n(\tau)|\le C(F)\min\{1,n_1^{-2}\}\cdots\min\{1,n_N^{-2}\}.
$$
Obvious convergence of the series $\sum_{n\in\Z^k}\min\{1,n_1^{-2}\}\cdots\min\{1,n_N^{-2}\}$ implies the assertion of the Lemma. \bs

\medskip

{\bf Proof of Theorem \ref{5}}. Let $U$ be a neighborhood of $K$ such that the function $h(z)$ is holomorphic and bounded on $U$. Set $\eta=(1/4)\dist(K,\C\setminus U)$. Let $\p(|z|)$ be $C^\infty$-differentiable nonnegative function with support in $B(\eta)$ such that $\int_{B(\eta)}\p(|z|)dm_2(z)=1$. Then the function
$$
     H(z)=\int_{\R^d}h(z-\zeta)\p(|\zeta|)dm_2(\zeta)
$$
is $C^\infty$-differentiable on $\R^d$ and coincides with $h(z)$ on the set $\{z:\dist(z,K)\le3\eta\}$.

Suppose $f(x)=\sum_n c_ne^{2\pi i\la x,\g_n\ra}$. Choose $N<\infty$ such that for $S(x)=\sum_{n\le N}c_ne^{2\pi i\la x,\g_n\ra}$ we get $\|f(x)-S(x)\|_W<\eta$. Applying Lemma \ref{L5} to the function
$$
F(\t,\tau)=H\left(\sum_{n\le N}c_ne^{2\pi i\t_n}+2\eta e^{2\pi i\tau}\right)
$$
 and replacing $\t_j$ with $\la x,\g_j\ra,\ j=1,\dots,N$, we get
\begin{equation}\label{h1}
  H(S(x)+2\eta e^{2\pi i\tau})=\sum_n c_n(\tau)e^{2\pi i\la x,\rho_n\ra}\in W,\qquad \rho_n\in\Lin_\Z\{\l_1,\dots,\l_N\},
\end{equation}
and $\| H(S(x)+2\eta e^{2\pi i\tau})\|_W\le C(N)$ uniformly in $\tau\in[0,1]$.

Next, taking into account that $|f(x)-S(x)|\le\|f-S\|_W<\eta$, we have
\begin{equation}\label{h2}
(2\eta e^{2\pi i\tau}-[f(x)-S(x)])^{-1}=\sum_{k=0}^\infty\frac{[f(x)-S(x)]^k}{\left[2\eta e^{2\pi i\tau}\right]^{k+1}}.
\end{equation}
Clearly, this sum belongs to $W$ and its norm is uniformly bounded in $\tau\in[0,1]$. Hence the same assertion is valid for the
product of (\ref{h1}) and (\ref{h2}). Consequently, the function
$$
 g(x)=\int_0^1 \frac{H(S(x)+2\eta e^{2\pi i\tau})2\eta e^{2\pi i\tau}}{(2\eta e^{2\pi i\tau}-[f(x)-S(x)])}d\tau=
 \frac{1}{2\pi i}\int_{|\zeta-S(x)|=2\eta}\frac{H(\zeta)~d\zeta}{\zeta-f(x)}.
$$
 belongs to $W$.

 If $f(x)\in K$, then $\dist(S(x),K)<\eta$ and $B(S(x), 2\eta)\subset\{\zeta:\dist(\zeta,K)<3\eta\}$. Moreover, $f(x)\in B(S(x),2\eta)$ and the function $H(z)$ coincides with $h(z)$ for $z\in B(S(x),2\eta)$. Therefore, $g(x)=h(f(x))$ in this case.    \bs
\medskip

To deduce Theorem \ref{7} from Theorem \ref{5} we prove the following two lemmas.
\begin{Lem}\label{L7}
 Let $\mu$ be a slowly increasing measure with a translation bounded measure $\hat\mu$. Then for all $f\in W$ the Fourier transform $(f\mu)\hat\ $ is a  translation bounded measure.
\end{Lem}
{\bf Proof}. It is evident that $f\mu$ is a slowly increasing measure. Set  $\mu_\g(x)=e^{2\pi i\la x,\g\ra}\mu(x)$ for $\g\in\R^d$.  Clearly, for each $y\in\R^d$ we get $|\hat\mu_\g|(B(y,1))=|\hat\mu|(B(y-\g,1))$.
Suppose $f(x)=\sum_n c_ne^{2\pi i\la x,\g_n\ra}\in W$. Then $(f\mu)(x)=\sum_n c_n\mu_{\g_n}(x)$  and $(f\mu)\hat\ =\sum_n c_n\widehat\mu_{\g_n}(x)$. Therefore for each $y\in\R^d$
$$
|(f\mu)\hat\ |(B(y,1))\le \sum_n |c_n||\widehat\mu_{\g_n}|(B(y,1))\le \sum_n |c_n|\sup_{y\in\R^d}|\hat\mu|(B(y,1)).\quad \bs
$$
\begin{Lem}\label{L8}
Let $\mu=\sum_{\l\in\L}a_\l\d_\l$ be a uniformly discrete measure with countable spectrum and slowly increasing Fourier transform. Then there is a function $f\in W$ such that $f(\l)=a_\l$ for all $\l\in\L$.
\end{Lem}
{\bf Proof}. Set $\eta=(1/2)\inf_{\l,\l'\in\L,\l\neq\l'}|\l-\l'|$. Let $\psi$ be $C^\infty$-differentiable function with support in $B(\eta)$ such that $\psi(0)=1$. Then the function $f(x)=\psi\star\mu(x)=\sum_{\l\in\L}a_\l\psi(x-\l)$ satisfies the condition $f(\l)=a_\l$ for all $\l\in\L$. By Lemma \ref{L1}, $f\in W$. \bs

\medskip

{\bf Proof of Theorem \ref{7}}. We apply Theorem \ref{5} with $K=\overline{\{a_\l:\,\l\in\L\}}$ and $f\in W$ such that $f(\l)=a_\l$, which exists by Lemma \ref{L8}, and then we apply Lemma \ref{L7} for the measure $\mu$ and the function $g$ from Theorem \ref{5}.

\section{Generalization of Meyer's Theorem}

To prove the results of this section we need some  definitions.

 {\it Lattice} is a discrete subgroup of $R^d$. If $A$ is a lattice or a coset of some lattice in $\R^d$, then $\di A$ is the dimension of the smallest translated subspace of $\R^d$ that contains $A$.  Every lattice $L$ of dimension $k$ has the form $T\Z^k$, where $T:\,\Z^k\to\Z^d$ is a linear operator of rank $k$. For $k=d$ we get a  full-rank lattice.  Also, the coset ring of an abelian topological group $G$ is the smallest collection  of subsets of $G$, that is closed under finite unions, finite intersections and complements and which contains all cosets of all open subgroups of $G$.
Next, Bohr compactification $\hR$ of $\R^d$ is a compact group, its dual is $\R^d$ with the discrete topology,  $\R^d$ is a dense subset of $\hR$ with respect to the topology on $\hR$, and restrictions to $\R^d$ of continuous functions on $\hR$ are just  almost periodic functions on $\R^d$, in particular, they are bounded and continuous on $\R^d$ (see for example \cite{Ru}).

Both Meyer's Theorem \ref{1} and our Theorem \ref{4} are based on Cohen's Idempotent Theorem:
\begin{Th}[\cite{Co}]\label{Co}
Let $G$ be a locally compact abelian group and $\hat G$ its dual group. If $\nu$ is a finite Borel measure on $G$ and is such that
its Fourier transform $\hat\nu(\l)\in\{0,1\}$ for all $\l\in\hat G$, then the set $\{\l:\,\hat\nu(\l)=1\}$ is in the coset ring of $\hat G$.
\end{Th}
We will apply Theorem \ref{Co} to Bohr compactification $\hR$ of $\R^d$ and its  dual  $\R^d$ with the discrete topology. Then we will use the following theorem by M.Kolountzakis:
 \begin{Th}[\cite{K}] Elements of the ring of cosets of $\R^d$ in the discrete topology, which are discrete in the usual topology of $\R^d$, are precisely  finite unions of sets of the type
\begin{equation}\label{c}
A\setminus(\cup_{j=1}^N B_j),\quad A,\ B_j\ \mbox{discrete cosets},\quad\di B_j<\di A\quad \mbox{for all}\ j.
\end{equation}
\end{Th}

{\bf Proof of Theorem \ref{4}}.
Let $\rho$ be the inverse Fourier transform of the measure $\mu$, let $\psi(|x|)\in S(\R^d)$ be the function with compact support  from Lemma \ref{L2} with $\e=1/2$.

   Set $\rho_R(y)=R^{-d}\psi(|y/R|)\rho(y)$.  Integrating by parts and using  (\ref{m}), we get
    $$
   |\rho_R|\le R^{-d}\int_0^{(3/2)R}\psi(t/R)d|\rho|(B(t))\le R^{-d}\left[C'+C''R^{-1}\int_0^{(3/2)R} t^d|\psi'(t/R)|~dt\right].
  $$
  Therefore,
 $$
  \limsup_{R\to\infty}|\rho_R|\le C<\infty.
  $$
  Arguing as above in Lemma \ref{L2}, we get that $\hat\rho_R(x)$ tends to $\hat\rho(\{\l\})=\mu(\{\l\})=a_\l$ for $x=\l\in\L$ and to zero for
   $x\notin\L$.

 Since variations of the measures $\rho_R$ are uniformly bounded, they act on all bounded functions on $\R^d$, and hence also on all functions from $C(\hR)$. Therefore there exists a measure $\hr$ on $\hR$ with a finite total variation $|\hr|$, and a  subsequence $R'$ such that $\rho_{R'}\to\hr$ in the weak--star topology. In other words, $\la\rho_{R'},f\ra\to\la\hr,f\ra$ as $R'\to\infty$ for all $f\in C(\hR)$. Applying this to every character of $\hR$ in place of $f$ we obtain
 $$
 \hat\hr(x)=\lim_{R'\to\infty}\hat\rho_{R'}(x)=\begin{cases}a_\l, & x=\l\in\L,\\  0, & x\not\in\L.\end{cases}
 $$
 Note that $\hat\hr(x)$ is a continuous function with respect to the discrete topology on $\R^d$, and $|a_\l|\le|\hr|$ for all $a_\l$.

Using Lemma \ref{L8}, choose a function $f\in W$ such that $f(\l)=a_\l$ for all $\l\in\L$. Taking into account that $\inf_\l|a_\l|>0$ and using Theorem \ref{5} with $h(z)=1/z$, we  construct the function $g(x)=\sum_nc_ne^{2\pi i\la x,\tau_n\ra}\in W$ with the property $g(\l)=1/a_\l$. Since
$\hat\hr(y+\tau)=e^{2\pi i\la x,\tau\ra}\hat\hr$, we see that the Fourier transform of a finite sum $\sum_{n\le N}c_n\hr(y+\tau_n)$
is equal to $\sum_{n\le N}c_ne^{2\pi i\la x,\tau_n\ra}\hat\hr$.
 The variation of the measure $\sum_{n\le N}c_n\hr(y+\tau_n)$ does not exceed $\sum_{n\le N}|c_n||\hr|(\hR)$, therefore the previous assertion is valid for infinite sums. Hence the Fourier transform of the measure $\frak b=\sum_nc_n\hr(y+\tau_n)$ equals $1$ for $x=\l\in\L$ and $0$  for $x\not\in\L$.
By Theorem \ref{Co}, $\L$ is in the coset ring of $\R^d$ in discrete topology. Taking into account Lemma  \ref{L4} and Theorem \ref{9}, we see that the measure $\mu$ is almost periodic. Therefore, by Lemma \ref{L3},  measure $\sum_{\l\in\L}\d_\l$ is also almost periodic.

Using (\ref{c}) and the notion of almost periodicity, it is easy to get the assertion of our theorem.  By definition, put $\d_A=\sum_{x\in A}\d_x$ for a countable set $A\subset\R^d$. We have
$$
\L=\cup_{k=1}^K A_k\cup(\cup_{j=1}^J B_j)\setminus\cup_{i=1}^I C_i,
$$
where $A_k,\,B_j,\,C_i$ are cosets such that $\dim A_k=d,\,\dim B_j<d,\,\dim C_i<d$. Let $A_1=x_1+L_1,\ A_2=x_2+L_2$ be two cosets of dimension $d$. If $\dim A_1\cap A_2=d$, then $A_1\cap(\R^d\setminus A_2)$ is a finite union of disjoint cosets of $L_1\cap L_2$, and the same is valid for $A_2\cap(\R^d\setminus A_1)$. Therefore we can replace $A_1\cup A_2$ by a finite sum of disjoint cosets $A'_l,\,\dim A'_l=d$, hence $\d_{A_1\cup A_2}=\sum_l\d_{A'_l}$. For every two cosets $H_1,\,H_2$ with $H_1\cap H_2\neq\emptyset$ and $\dim(H_1\cap H_2)<d$ we get $\d_{H_1\cup H_2}=\d_{H_1}+\d_{H_2}-\d_{H_1\cap H_2}$.  Repeating this transformation for each pair of cosets with nonempty intersection, we  obtain a representation of $\d_\L$ after a finite number of steps of the form
$$
   \d_\L=\sum_{s=1}^{N_1}\d_{D_s}+\sum_{s=1}^{N_2}\d_{E_s}-\sum_{s=1}^{N_3}\d_{F_s},
$$
where  $D_s,\,E_s,\,F_s$ cosets, $\dim D_s=d$, $\dim E_s<d$, and $\dim F_s<d$. Obviously, every coset $D_s$ has $d$ linearly independent periods, hence $\d_{D_s}$ is an almost periodic measure, and so is $\sum_{s=1}^{N_1}\d_{D_s}$. Therefore the measure
 \begin{equation}\label{b}
   \sum_{s=1}^{N_2}\d_{E_s}-\sum_{s=1}^{N_3}\d_{F_s}=\d_\L-\sum_{s=1}^{N_1}\d_{D_s}
 \end{equation}
is almost periodic too. But its support is contained in a finite union of hyperplanes and isn't relatively dense. Therefore the measure (\ref{b}) is identically zero, and $\d_\L=\sum_{s=1}^{N_1}\d_{D_s}$. Since  the measure $\d_\L$ has the unit masses at every point of $\L$, we see that the cosets $D_s$ are disjoint and $\L=\cup_{s=1}^{N_1}D_s$.  \bs
\medskip

{\bf Proof of the Corollary}. By Lemma \ref{L4}, $A$ is a bounded set.  Apply Theorem \ref{7} with a function $h(z)$  that equals $1$ on a neighborhood $U$ of $A$ and $0$ on $\C\setminus U$, and then Theorem \ref{4} for $\sum_{\l\in\L, a_\l\in A}a_\l\d_\l$. \bs


\section{Introduction}
\label{sec:introduction}
Let $X$ be a (real or complex) Banach space with unit ball
$B_X$, unit sphere $S_X$, and dual $X^*$.
Given $x^* \in S_{X^*}$ and $\varepsilon > 0$
we define a slice of $B_X$ by
\begin{equation*}
  S(x^*,\varepsilon) :=
  \{x \in B_X : \Re x^*(x) > 1 - \varepsilon
  \},
\end{equation*}
where $\Re x^*(x)$ denotes the real part of $x^*(x)$.

Recall the following successively stronger ``big-slice concepts'',
defined in \cite{ALN01}:

\begin{definition} \label{defn:diam2p} A Banach space $X$ has the
  \begin{enumerate}
  \item
    \emph{local diameter 2 property} if every slice of $B_X$ has
    diameter 2.
  \item
    \emph{diameter 2 property} if every
    non-empty relatively weakly open subset of $B_X$ has diameter 2.
  \item
    \emph{strong diameter 2 property} if every finite convex
    combination of slices of $B_X$ has diameter 2.
  \end{enumerate}
\end{definition}
Since a slice is relatively weakly open,
the diameter 2 property implies the local diameter 2 property.
For some spaces $X$ the converse is also true.
For example, it is known that if every $x \in S_X$ is an extreme
point of $B_{X^{**}}$, then every non-empty relatively weakly
open subset of $B_X$ contains a slice by Choquet's lemma
(cf. e.g. Proposition~1.3 in \cite{AHNTT}).

By Bourgain's lemma \cite[Lemma~II.1]{MR912637}
every non-empty relatively weakly open subset of $B_X$ contains
a finite convex combination of slices hence the strong diameter 2 property
implies the diameter 2 property.
On a particularly sunny day at a conference at the University
of Warwick in 2015, Olav Nygaard asked if the converse is ever true.
The aim of this short note is to answer this question
affirmatively by showing that both $c_0$, and in fact $C(K)$
for any scattered compact Hausdorff space $K$, have the
much stronger property that finite convex combinations of slices
of the unit ball are relatively weakly open.
See Theorems~\ref{thm:coco-slices-for-CK} and
\ref{thm:coco-slices-for-c0} below.

Let us note that in general it is not true that
finite convex combinations of slices of the unit ball
are relatively weakly open.
The Banach space $\ell_2$ is one example \cite[Remark~IV.5]{MR912637}.
In their proof that the strong diameter 2 property is stronger
than the diameter 2 property Haller, Langemets and P{\~o}ldvere
\cite{HL1} show that if $Z$ is an $\ell_p$-sum of two Banach spaces,
$Z = X \oplus_p Y$ with $1 < p < \infty$, then
for every $\lambda \in (0,1)$ there exists two slices $S_1$ and $S_2$,
and a $\beta > 0$ such that
$\lambda S_1 + (1-\lambda) S_2 \subset (1-\beta)B_Z$.

We should also remark that the positive part of the unit
sphere of $L_1[0,1]$,
$F = \{f \in L_1[0,1] : f \ge 0, \|f\|=1\}$
is another example of a closed convex bounded subset
of a Banach space that satisfies a converse
to Bourgain's lemma  in that finite convex combinations
of slices of $F$ are relatively weakly open
\cite[Remark~IV.5]{MR912637}.

The notation and conventions we use are standard and follow
e.g. \cite{MR2766381}.

\section{Main result}
\label{sec:main-result}

We start by recalling the following
definition (see e.g. \cite[Definition~14.19]{MR2766381}).
\begin{definition}
  A compact space $K$ is said to be \emph{scattered compact}
  if every closed subset $L \subset K$ has an isolated point in $L$.
\end{definition}

Let $K$ be scattered compact and
consider the Banach space $C(K)$
of all continuous functions on $K$ with $\sup$-norm.
Rudin \cite{MR0085475} showed that $C(K)^{*} = \ell_1(K)$
in this case. Pe{\l}czy{\'n}ski and Semadeni \cite{MR0107806} showed
that for a compact Hausdorff space $K$ we have
$C(K)^* = \ell_1(K)$ if and only if $K$ is scattered (= dispersed).

To prove the main result, we will need the following geometric lemma
for the unit circle in the complex plane.

\begin{lemma}\label{lem:pointsoncircle}
  Let $e^{i \alpha}$ and $e^{i \beta}$ be distinct
  points on the unit circle with distance
  $d = |e^{i \alpha} - e^{i\beta}|$.
  If $0 < \mu < \frac{1}{2}$,
  then the point
  $c = \mu e^{i \alpha} + (1 - \mu)e^{i \beta}$
  on the line segment between $e^{i\alpha}$ and $e^{i \beta}$
  satisfies
  \begin{equation*}
    |c| \le 1 - \frac{d^2 \mu }{4}.
  \end{equation*}
\end{lemma}

\begin{proof}
  A straightforward calculation shows that
  $d^2 = 2 - 2\cos(\alpha - \beta)$
  and that $|c|^2 = \mu ^2 + (1-\mu )^2 + \mu (1-\mu )2\cos(\alpha-\beta)$.
  Hence $|c|^2 = 1 - d^2 \mu(1 - \mu)$.
  Since $\sqrt{1+x} \le 1 + \frac{x}{2}$ for $x \ge -1$
  and $\mu (1-\mu ) \ge \frac{\mu }{2}$ for $\mu  \in [0,\frac{1}{2}]$ we get
  \begin{equation*}
    |c| = \sqrt{1 - d^2\mu (1-\mu )}
    \le 1 - \frac{1}{2}d^2 \mu (1-\mu )
    \le 1 - \frac{d^2\mu }{4}
  \end{equation*}
  as desired.
\end{proof}

\begin{theorem}\label{thm:coco-slices-for-CK}
  Let $K$ be scattered compact. Then every finite convex combination of slices of
  the unit ball of $C(K)$ is relatively weakly open.
\end{theorem}

\begin{proof}
  Let $\{S(f_i,\varepsilon_i)\}_{i=1}^k$
  be slices of $B_{C(K)}$ and let $\lambda_i > 0$
  with $\sum_{i=1}^k \lambda_i = 1$, and consider the
  convex combination of these slices
  \begin{equation*}
    C = \sum_{i=1}^k \lambda_i S(f_i,\varepsilon_i).
  \end{equation*}
  Let $x = \sum_{i=1}^k \lambda_i z_i \in C$
  with $z_i \in S(f_i,\varepsilon_i)$.
  Our goal is to find a non-empty relatively weakly open
  neighborhood of $x$ that is contained in $C$.

  Let $d = \min\{\Re f_i(z_i) - (1-\varepsilon_i) : 1 \le i \le k\}$
  and let $\eta > 0$ be such that $\eta < d/3$.
  Let $E \subset K$ be a finite set such that
  $\sum_{t \notin E} |f_i(t)| < \eta$
  for $1 \le i \le k$.

  Define
  \begin{equation*}
    \mathcal{U} =
    \left\{
      y \in B_{C(K)} : |y(t) - x(t)| < \delta,
      t \in E
    \right\}
  \end{equation*}
  where $\delta > 0$. Next we specify how $\delta$ is chosen.

  Let $L = \max\{\frac{1}{\lambda_i} : i=1,2,\ldots,k \}$.
  Let
  \begin{equation*}
    E_I =
    \left\{
      t \in E : \text{there exists} \;
      1 \le i_0 \le k \; \text{such that}\; |z_{i_0}(t)| < 1
    \right\}.
  \end{equation*}
  Define $\delta_I = (1+3L)^{-1} \min_{t \in E_I} (1-|z_{i_0}(t)|)$.
  Let
  \begin{equation*}
    E_{III} =
    \left\{
      t \in E \setminus E_I :
      \text{there exists} \; i \neq j
      \; \text{such that}\;
      z_i(t) \neq z_j(t)
    \right\}
  \end{equation*}
  and define
  \begin{equation*}
    D =
    \min_{t \in E_I} \min_{z_i(t) \neq z_j(t)} \{|z_i(t)-z_j(t)|^2\}.
  \end{equation*}
  Choose $0 < \rho < \min \{ D/8, \eta/4L \}$.
  Define $\delta_{III} = D\rho (4(1+3L))^{-1}$.
  Finally we choose $\delta < \min\{\eta/6L, \delta_I, \delta_{III}\}$.

  Let $y \in \mathcal{U}$.
  Define $w(t) = y(t) - x(t)$ for all $t \in K$.
  We will define $\bar{z}_i \in S(f_i,\varepsilon_i)$,
  $i=1,2,\ldots,k$, and show that $y$ can be written
  $y = \sum_{i=1}^k \lambda_i \bar{z}_i \in C$.

  If $t \in E$ is an isolated point let $\mathcal{V}_t = \{t\}$.
  While for a non-isolated point $t \in E$ we let $\mathcal{V}_t$
  be a neighborhood of $t$ chosen so that $\mathcal{V}_t
  \cap \mathcal{V}_{t'} = \emptyset$ for all $t' \neq t$, $t' \in E$,
  and $|z_i(t) - z_i(s)| < \delta$, $1 \le i \le k$,
  $|x(t)-x(s)| < \delta$
  and $|y(t)-y(s)| < \delta$
  for all $s \in \mathcal{V}_t$.
  In particular, we get $|x(s)-y(s)| < 3\delta$
  for all $s \in V_t$.

  \noindent
  \textbf{Definition of $\bar{z}_i$ outside
    $\bigcup_{t \in E} \mathcal{V}_t$.}

  For $s \in K \setminus \cup_{t \in E} \mathcal{V}_t$
  we define $\bar{z}_i(s) = y(s)$
  for all $1 \le i \le k$.

  \noindent
  \textbf{Definition of $\bar{z}_i$ on
    $\bigcup_{t \in E} \mathcal{V}_t$.}

  Let $t \in E$.

  \noindent
  \emph{Case I:}
  If there exists $i_0$ with $|z_{i_0}(t)| < 1$,
  then we choose by Urysohn's lemma
  a real-valued non-negative continuous function  $n_t \in S_{C(K)}$ with
  $n_t(t) = 1$ such that $n_t(s) = 0$ off
  $\mathcal{V}_t$. Now, for $s \in \mathcal{V}_t$
  let
  \begin{equation*}
    \bar{z}_{i_0}(s) = n_t(s)[z_{i_0}(s) +
    \lambda_{i_0}^{-1} w(s)] + [1-n_t(s)]y(s)
  \end{equation*}
  and for $i \neq i_0$ we let
  \begin{equation*}
    \bar{z}_i(s) = n_t(s)z_i(s) +
    [1-n_t(s)]y(s).
  \end{equation*}
  Then
  \begin{align*}
    \sum_{i=1}^k \lambda_i \bar{z_i}(s)
    &= n_t(s)w(s) + \sum_{i=1}^k \lambda_i
      \bigg[n_t(s)z_i(s) + (1- n_t(s))y(s)\bigg]\\
    &= n_t(s)(y(s) - x(s)) + n_t(s)
      x(s) + (1-n_t(s))y(s)= y(s).
  \end{align*}
  By the choice of $\delta$
  \begin{align*}
    |z_{i_0}(s) + \lambda_{i_0}^{-1} w(s)|
    &\le
      |z_{i_0}(t)| + |z_{i_0}(s) - z_{i_0}(t)|
      + L |y(s) - x(s)| \\
    &\le
      |z_{i_0}(t)| + \delta + 3L\delta
      < 1,
  \end{align*}
  thus we have $|\bar{z}_{i}(s)| \le 1$ for every $1 \le i \le k$.
  Moreover, for each $1 \le i \le k$ the function $\bar{z}_{i}$
  is continuous on $K$ since $z_{i}$, $y$, $x$ and $n_t$ all are and since
  $n_t$ is zero off $\mathcal{V}_t$ so $\bar{z}_{i} = y$ there.

  We will need that
  $|\bar{z}_{i_0}(t) - z_{i_0}(t)|
  \le \lambda_{i_0}^{-1}|y(t)-x(t)| < L\delta < \eta$
  and $|\bar{z}_{i}(t) - z_{i}(t)| = 0$ for $i \neq i_0$.

  \noindent
  \emph{Case II:}
  If for all $1 \le i,l \le k$ we have $z_i(t) = z_l(t)$ with $|z_i(t)|= 1$,
  then $x(t) = z_i(t)$ and we can just let
  $\bar{z}_i(s) = y(s)$ for all $1 \le i \le k$
  and $s \in \mathcal{V}_t$. Continuity of $\bar{z}_i$ on $K$
  in this case is trivial.

  We will need that $|\bar{z}_i(t)-z_i(t)|
  = |y(t)-x(t)| < \delta < \eta$.

  \noindent
  \emph{Case III:}
  If $|z_i(t)| = 1$ for all $1 \le i \le k$,
  but not all $z_i(t)$ are equal.
  Order the set $\{ \arg z_i(t) :  1 \le i \le k\}$
  as an increasing sequence
  $\{\theta_1 < \theta_2 < \cdots < \theta_q\}$
  and define $\theta_0 = \theta_q$.
  We put $A_p = \{i: \arg z_i(t) =
  \theta_p\}$ and $\Lambda_p = \sum_{i \in A_p} \lambda_i$.

  With $\rho$ as above we define for $1 \le p \le q$
  \begin{equation*}
    c_p = \rho(e^{i\theta_{p-1}} - e^{i\theta_p}).
  \end{equation*}
  Let $s \in \mathcal{V}_t$ and define (for $i \in A_p$)
  \begin{equation*}
    \bar{z}_i(s) = n_t(s)\bigg[z_i(s) +
    \frac{c_p}{\Lambda_p} + \frac{w(s)}{q\Lambda_p}\bigg] + (1-n_t(s))y(s).
  \end{equation*}

  We have
  \begin{multline*}
    \sum_{i=1}^k \lambda_i \bar{z}_i(s)
    = \sum^q_{p =1}\sum_{i \in A_p}\lambda_i \bar{z}_i(s)\\
    =
    \sum^q_{p=1}
    n_t(s)
    \sum_{i \in A_p} \lambda_i z_i(s) + \sum^q_{p=1} n_t(s)c_p +
    \sum^q_{p=1}n_t(s)\frac{w(s)}{q}
    +  (1-n_t(s))y(s)
    \\
    =n_t(s)\sum_{i=1}^k \lambda_i z_i(s) +
    n_t(s)0 + n_t(s)w(s) + (1-n_t(s))y(s)\\
    = n_t(s) x(s) + n_t(s)(y(s) -
    x(s)) + y(s) - n_t(s) y(s)
    = y(s).
  \end{multline*}

  With $\mu = \rho/\Lambda_p$
  \begin{equation*}
    z_i(t) + \frac{c_p}{\Lambda_p}
    =
    e^{i \theta_p} + \mu(e^{i\theta_{p-1}} - e^{i\theta_p})
    =
    \mu e^{i\theta_{p-1}} + (1-\mu)e^{i\theta_p}.
  \end{equation*}
  so by Lemma~\ref{lem:pointsoncircle}
  \begin{equation*}
    |z_i(t) + \frac{c_p}{\Lambda_p}|
    \le 1 - \frac{|e^{i\theta_{p-1}}-e^{i \theta_p}|^2
      \rho}{4\Lambda_p}
    \le 1 - \frac{D\rho}{4\Lambda_p}
    < 1 - \frac{D\rho}{4}
    < 1 - (1+3L)\delta
  \end{equation*}
  hence
  \begin{align*}
    \left|
    z_i(s) + \frac{c_p}{\Lambda_p} + \frac{w(s)}{q\Lambda_p}
    \right|
    &\le
    |z_i(t) + \frac{c_p}{\Lambda_p}|
    +
    |z_i(s) - z_i(t)|
    +
    \left|\frac{w(s)}{q\Lambda_p}\right| \\
    &< 1 - (1+3L)\delta
    + \delta + 3L\delta = 1.
  \end{align*}
  Thus we have $|\bar{z}_i(s)| \le 1$.
  We will also need that
  \begin{equation*}
    |\bar{z}_i(t)-z_i(t)|
    = \left|
      \frac{c_p}{\Lambda_p}
      + \frac{w(t)}{q\Lambda_p}
    \right|
    \le \rho|e^{i\theta_{p-1}} - e^{i\theta_p}|L
    + 3\delta L
    \le 2L \rho + 3L \delta
    \le \eta.
  \end{equation*}

  Also note that for each $1 \le i \le k$ the function $\bar{z}_{i}$
  is continuous on $K$ since $z_{i}$, $y$, $x$ and $n_t$ all are and since
  $n_t$ is zero off $\mathcal{V}_t$ so $\bar{z}_{i} = y$ there.

  \noindent
  \textbf{Conclusion.}

  So far we have defined $\bar{z}_i \in B_{C(K)}$ and shown
  that $y = \sum_{i=1}^k \lambda_i \bar{z}_i$.
  It only remains to show that $\bar{z}_i \in S(f_i,\varepsilon_i)$.
  We have
  \begin{equation*}
    \sum_{t \notin E} |f_i(t)
    ( \bar{z}_i(t) - z_i(t) )| < \eta\|\bar{z}_i - z_i\|
    \le 2 \eta,
  \end{equation*}
  and
  \begin{equation*}
    \sum_{t \in E} |f_i(t)
    ( \bar{z}_i(t) - z_i(t) )|
    < \|f_i\|\eta
    < \eta.
  \end{equation*}
  Hence $|f_i(\bar{z}_i - z_i)| < 3\eta$
  so that
  \begin{equation*}
   \Re f_i(\bar{z}_i) \ge \Re f_i(z_i) - 3\eta
    > \Re f_i(z_i) - d > 1 - \varepsilon_i,
  \end{equation*}
  and we are done.
\end{proof}

The above theorem applies to $C[0,\alpha]$
for any infinite ordinal $\alpha$, and
in particular to $c = C[0,\omega]$.
It should be clear that the proof also works
for real scalars and that
it proves the following result.

\begin{theorem}\label{thm:coco-slices-for-c0}
  Every finite convex combination of slices of
  the unit ball of $c_0$ is relatively weakly open.
\end{theorem}

\section{Questions and remarks}
\label{sec:questions-remarks}

We will end with some questions and remarks.

\begin{enumerate}
\item\label{item:q1}
  Which Banach spaces satisfy that
  finite convex combinations of slices of the unit ball
  are relatively weakly open?
  Does this hold for spaces with the
  strong diameter 2 property?
\item\label{item:q2}
  Which Banach spaces satisfy that
  finite convex combinations of slices of the unit ball
  contain a non-empty relatively weakly open neighborhood
  of some point in the combination?
\item\label{item:q3}
  Which Banach spaces satisfy that
  finite convex combinations of slices of the unit ball
  always have non-empty intersection with the sphere?
\item\label{item:q4}
  If finite convex combinations of slices
  of both $B_X$ and $B_Y$ are relatively weakly
  open, is the same true for the unit ball
  of $X \oplus_\infty Y$ and/or $X \oplus_1 Y$?
\end{enumerate}

It is not clear that there is a connection
between having relatively weakly open
convex combinations of slices
and the diameter two properties.
But we have the following observation.

\begin{remark}
  Let $X$ be a Banach space such that
  there exists a slice $S_1 = S(x^*,\varepsilon)$
  of $B_X$ with $\diam S_1 < 1$, then there is
  a convex combination of slices of $B_X$ that
  is not relatively weakly open.

  Define $S_2 = S(-x^*,\varepsilon)$. Since $x \in S_1$ if and only
  if $-x \in S_2$ we have that $S_2$ satisfies
  $\diam S_2 = \diam S_1 < 1$.

  Let $C = \frac{1}{2}S_1 + \frac{1}{2}S_2$.  Fix $x \in S_1$. We
  have $\frac{1}{2}x + \frac{1}{2}(-x) = 0 \in C$.  If
  $\frac{1}{2}x_1 + \frac{1}{2}x_2 \in C$, then
  \begin{equation*}
    \|\frac{1}{2}x_1 + \frac{1}{2}x_2\|
    \le
    \frac{1}{2}\|x_1 - x\|
    +
    \frac{1}{2}\|x_2 - (-x)\|
    < 1
  \end{equation*}
  hence $C \cap S_X = \emptyset$ and $C$ is not relatively weakly
  open.
\end{remark}

Regarding Question~\ref{item:q3} we have
the following examples of spaces where
finite convex combinations of slices
intersect the sphere.

\begin{example}
  Finite convex combinations of slices of the unit ball
  of $L_1[0,1]$ always intersect the sphere.
  Here slices are given by functions $g_i \in B_{L_\infty[0,1]}$.
  We may assume that the $g_i$'s are simple functions
  and find sets $B_i \subset [0,1]$ with $B_i \cap B_j = \emptyset$
  and $\|\chi_{B_i} g_i\|_\infty$ almost one.
  The functions $f_i = m(B_i)^{-1} \chi_{B_i}$ does the job
  ($m$ is Lebesgue measure).
\end{example}

\begin{example}
  Let $X$  be a Banach space such that whenever
  $S_i = S(x_i^*,\varepsilon_i)$ with $x_i^* \in S_X$ and
  $\varepsilon_i > 0$ for $1 \le i \le n$,
  are $n$ slices of $B_X$, then there exists
  $x_i \in S_i \cap S_X$ and $y \in S_X$ such that
  $\|x_i \pm y\| = 1$ and $x_i + y \in S_i$.

  Spaces that satisfy this condition include
  $\ell_\infty^c(\Gamma)$ for $\Gamma$ uncountable
  since this space is almost square with $\varepsilon = 0$
  \cite[Remark~2.11]{ALL}.
  It also includes $\ell_\infty$ and $C[0,1]$
  since the slices there are defined by measures
  of bounded variation.

  If $X$ is a space with this property, then
  finite convex combinations of slices of $B_X$
  always intersect the sphere.

  Indeed, let $\lambda_i > 0$ with $\sum_{i=1}^n \lambda_i = 1$
  and let $S_i = S(x_i^*,\varepsilon_i)$
  be slices of $B_X$ with $x_i^* \in S_{X^*}$
  and $\varepsilon_i > 0$ for $1 \le i \le n$.

  By assumption, there exists
  $x_i \in S_i \cap S_X$ and $y \in S_X$ such that
  $\|x_i \pm y\| = 1$ and $x_i + y \in S_i$.

  Choose $y^* \in S_{X^*}$ such that $y^*(y) = 1$.
  Then
  \begin{equation*}
    1 = \|x_i \pm y\| \ge y^*(y) \pm y^*(x_i)
    = 1 \pm y^*(x_i)
  \end{equation*}
  hence $y^*(x_i) = 0$. Now $\sum_{i=1}^n \lambda_i (x_i + y) \in
  \sum_{i=1}^n \lambda_i S_i$ and
  \begin{equation*}
    \|\sum_{i=1}^n \lambda_i (x_i + y)\|
    \ge \sum_{i=1}^n \lambda_i y^*(y) = 1.
  \end{equation*}
\end{example}

\begin{example}
  If $X$ has the Daugavet property, then
  finite convex combinations of weak$^*$-slices
  of $B_{X^*}$ intersect the sphere $S_{X^*}$.
  To see this let $1 \le i \le n$,
  $x_i \in S_X$, $\varepsilon_i > 0$, and
  let $S(x_i,\varepsilon_i)$ be slices of $B_{X^*}$.

  Let $x_1^* \in S(x_1,\varepsilon_1) \cap S_{x^*}$
  and $V_1 = \linspan(x_1^*)$.
  By \cite[Lemma~2.12]{KadSSW}
  there exists $x_2^* \in S(x_2,\varepsilon_2) \cap S_{X^*}$
  such that $\|x_2^* + v^*\| = 1 + \|v^*\|$ for all $v^* \in V_1$.

  Let $V_k = \linspan(x_1^*,x_2^*,\ldots,x_k^*)$.
  Again by \cite[Lemma~2.12]{KadSSW}
  there exists
  $x_{k+1}^* \in S(x_{k+1},\varepsilon_{k+1}) \cap S_{X^*}$
  such that $\|x_{k+1}^* + v^*\| = 1 + \|v^*\|$ for all $v^* \in V_{k}$.

  If $\lambda_i > 0$ with $\sum_{i=1}^n \lambda_i = 1$,
  then it follows that
  $\sum_{i=1}^n \lambda_i x_i^*
  \in \sum_{i=1}^n \lambda_i S(x_i,\varepsilon_i)$ and
  \begin{equation*}
    \|\sum_{i=1}^n \lambda_i x_i^*\|
    = \lambda_n + \|\sum_{i=1}^{n-1} \lambda_i x_i^*\|
    = \cdots = \sum_{i=1}^n \lambda_i = 1.
  \end{equation*}
\end{example}

\begin{ack*}
  We thank Stanimir Troyanski and Olav Nygaard
  for fruitful conversations.
\end{ack*}

\providecommand{\MR}{\relax\ifhmode\unskip\space\fi MR }
\providecommand{\MRhref}[2]{%
  \href{http://www.ams.org/mathscinet-getitem?mr=#1}{#2}
}
\providecommand{\href}[2]{#2}


\section{Introduction}
Let $k$ be a field of characteristic $p\geq0$, and fix a separable algebraic closure $\overline{k}$ of $k$. By a smooth $\overline{k}$-plane curve $C$ of genus $g$, we mean a smooth projective curve $C$ that admits a non-singular plane model $\{F_C=0\}\subseteq\mathbb{P}^{2}_{\overline{k}}$ over $\overline{k}$ of degree $d$, in this case, the genus $g$ equals $\frac{1}{2}(d-1)(d-2)$.

It might happen for some genus $g$ that no smooth $\overline{k}$-plane curves exist. The first genus for which there exist smooth $\overline{k}$-plane curves are: $0,1,3,6,...$ The curves of genus $0$ are isomorphic to the projective line, and the curves of genus $1$ are elliptic ones, which are quite well understood. For genus $3$, we get plane quartic curves, and different arithmetics properties have been investigated by many people around. We mention, for example, a classification up to isomorphism with good properties that can be found in \cite{LeRiRo,Loth}, or the study of their twists in \cite{Loth,Lo2}.

For genus $6$, the dimension of the (coarse) moduli space $\mathcal{M}_6$ of smooth curves of genus $g=6$ over $\overline{k}$ is equal to $3g-3=15$. The stratum $\mathcal{M}_6^{Pl}$ of smooth $\overline{k}$-plane curves of genus $6$ has dimension equal to $21-9=12$, since there are $21$ monic monomial of degree $5$ in $3$ variables and all the isomorphisms are given by projective matrices of size $3\times 3$. In particular, this dimension is larger than the dimension of the hyperelliptic locus, which is $2g-1=11$. A classification, up to $\overline{k}$-isomorphism, to smooth plane curves of genus $6$, and the determination of the full automorphism groups are given by the first author, et al. in \cite{BaBa3}.

The aim of this note is to refine the classification made in \cite{BaBa3}, by providing better families for the strata in $\mathcal{M}_6^{Pl}$. By better families, we mean that the set of normal forms with parameters describing the different strata of $\mathcal{M}_6^{Pl}$ give a bijection with the points in each stratum and the parameters are defined over the field of moduli of the representing point.  In particular, we look for complete and representative families over $k$, which are good substitutes to the notion of \emph{universal families} of (coarse) moduli spaces, especially when the spaces have no extra structures. These concepts have been introduced by R. Lercier, et al. in \cite[\S2]{LeRiRo}.

We find a representative family for each of the strata in \cite{BaBa3} by using the techniques in \cite{LeRiRo, Loth} except for a special one. For this family, we do not write down the representative family, but we prove that it exists and we give a recipe to construct it. We do it by applying  a version of L\"{u}roth's theorem in dimension $2$.

Another interesting phenomenon appearing is the existence of a final stratum of plane curves whose dimension is not zero. By a final stratum we mean a stratum not containing any other proper stratum. One could expect that by adding restrictions in the parameters of a family defining a stratum with a given automorphisms group, one could get bigger automorphism groups until obtaining a zero-dimensional stratum. This happens for all the families except for one. For this family each restriction in the parameters providing a bigger automorphism group yields a singular curve. We find an explanation for this fact: this family can be embedded in a family of curves of genus $6$ with the same automorphism group for which we can carry out the previous operation without getting singular curves, the key point is they are not plane curves anymore. Moreover, we prove that this may happen in general for higher genera.

Finally, we mention that the obtained representative classification for smooth quintic curves by automorphism groups is the first step for the computation of the twists of these curves. This will be done by the first author in his thesis \cite{Es}.

\subsection*{Acknowledgments}
The authors would like to thank Francesc Bars Cortina for his fruitful comments and suggestions for the preparation of this note.

\section{Preliminaries}

\subsection{Complete and representative families}
It is well known that the (coarse) moduli spaces $\mathcal{M}_g$ are algebraic varieties whose geometric points give a classification of isomorphism classes of smooth curves of genus $g$. The existence of universal families for a moduli space helps to recover the information on its points and allows to write down the attached objects to a point of this space. However, universal families do not exist for the moduli space $\mathcal{M}_g$.

R. Lercier, et al in \cite[\S2]{LeRiRo} introduced three good substitutes for the notion of universal family in our case: complete, finite and representative families.

We recall the basic definitions of such families over a field $k$ of characteristic $p=0$ or $p>2g+1$. For more details, we refer to \cite[\S2]{LeRiRo}:

\begin{defn}
Let $\verb"S"$ be a scheme over $k$. A curve of genus $g\geq2$ over $\verb"S"$ is a morphism of schemes $\verb"C"\rightarrow\verb"S"$ that is proper and smooth with geometrically irreducible fibers of dimension $1$ and genus $g$.
\end{defn}

\begin{defn}\label{FamComRep}[complete, finite, representative family]
Let $\verb"C"$ be a curve over a scheme $\verb"S"$, and assume that each geometric fiber of $\verb"C"$ corresponds to a point of a fixed stratum $S\subseteq M_g$. We then get a morphism $f_{\verb"C"}: \verb"S"\rightarrow S$ over $k$. The family $\verb"C"\rightarrow\verb"S"$ is \emph{complete} (resp. \textit{representative}) for the stratum $S$ if $f_{\verb"C"}$ is surjective (resp. bijective) on $F$-points for every algebraic extension $F/k$. If the family is complete and all the fibers of $f_{\verb"C"}$ are finite and with bounded cardinality, we say that the family is \textit{finite}. In particular, if a family is finite the dimension of the family is equal to the dimension of the scheme $\verb"S"$.

The family $\verb"C"\rightarrow\verb"S"$ is \textit{geometrically complete} (\textit{representative}) if it is complete (\textit{representative}) after extending the scalers to $\overline{k}$.
\end{defn}

We also remark the following:
\begin{rem}\label{defmod} If a family defined over $k$ is geometrically representative, then it is representative and complete (see \cite[Lemma 2.2]{LeRiRo}). Moreover, in this case the field of moduli is a field of definition.
\end{rem}

\subsection{Smooth plane curves of genus $6$: the strata $\widetilde{\mathcal{M}_6^{Pl}}(G)$}
Consider the set $\mathcal{M}_g^{Pl}$ of all isomorphism classes of smooth curves of $\mathcal{M}_g$, admitting a non-singular plane model over $\overline{k}$. For simplicity, we call such curves smooth $\overline{k}$-plane curves. For a finite group $G$, we denote by $\mathcal{M}_g^{Pl}(G)$ the set of all elements $[C]$ of $\mathcal{M}_g^{Pl}$ such that $G$ is isomorphic to a subgroup of the full automorphism group $Aut(C)$. We use the notation $\widetilde{\mathcal{M}_g^{Pl}}(G)$ for the subset of $\mathcal{M}_g^{Pl}(G)$ whose elements satisfies $G\cong Aut(C)$.

The finite groups $G$ for which $\widetilde{\mathcal{M}_6^{Pl}}(G)$ is non-empty are determined in \cite{BaBa3}. Moreover, geometrically complete families that depend on a fixed injective representation $\varrho:\,\operatorname{Aut}(C)\hookrightarrow\operatorname{PGL}_{3}(\overline{k})$ are given.
\begin{thm}[Badr-Bars]\label{autoGps}
Let $\overline{k}$ be a fixed separable closure of a field $k$ of characteristic $p$ with $p=0$ or $p>13$.
The following table gives the complete list of automorphism
groups of non-singular plane curves of degree $5$ over $\overline{k}$, along with geometrically complete families over $k$ for the associated strata. We denote by $L_{i,B}$ a homogeneous polynomial of degree $i$ in the variables $\{X,Y,Z\}\setminus \{B\}$.
\scriptsize
\begin{center}
\begin{longtable}{|c|c|c|c|}
  \hline
  Case & $G$ &$\varrho(G)$& $F_{\varrho(G)}(X,Y,Z)$  \\
  \hline
  1&$\operatorname{\operatorname{GAP}}(150,5)$\footnote{We use the $\operatorname{GAP}$ library \cite{GAP} notations for small finite group.}& $[\zeta_{5}X:Y:Z],[X:\zeta_{5}Y:Z]$ & $X^5+Y^5+Z^5$  \\
           && $[X:Z:Y],\,[Y:Z:X]$   & \\ \hline
  2&$\operatorname{GAP}(39,1)$& $[X:\zeta_{13} Y:\zeta_{13}^{10} Z],[Y:Z:X]$& $X^4Y+Y^4Z+Z^4X$   \\ \hline
  3&$\operatorname{GAP}(30,1)$ & $[X:\zeta_{15} Y:\zeta_{15}^{11}Z],[X:Z:Y]$ & $X^5+Y^4Z+YZ^4$\\ \hline
    4&$\Z/{20}\Z$& $[X:\zeta_{20}^4 Y:\zeta_{20}^5 Z]$ & $X^5+Y^5+XZ^4$    \\ \hline
  5&$\Z/{16}\Z$& $[X:\zeta_{16} Y:\zeta_{16}^{12} Z]$& $X^5+Y^4Z+XZ^4$    \\ \hline
6&$\Z/{10}\Z$& $[X:\zeta_{10}^2Y:\zeta_{10}^5Z]$& $X^5+Y^5+ XZ^4+\beta_{2,0}X^3Z^2$\\ \hline
7&$D_{10}$& $[X:\zeta_5 Y:\zeta_5^2 Z],\, [X:Z:Y]$ & $X^5+Y^5+Z^5+\beta_{3,1}XY^2Z^2+\beta_{4,3}X^3YZ$\\ \hline
8&$\Z/8\Z$&$[X:\zeta_{8} Y:\zeta_{8}^{4} Z]$& $X^5+Y^4Z+XZ^4+\beta_{2,0}X^3Z^2$
\\ \hline
 9&$S_3$& $[X:\zeta_3Y:\zeta_3^2Z]$& $X^5+Y^4Z+YZ^4+\beta_{2,1}X^3YZ+\beta_{3,3} X^2\big(Z^3+Y^3\big)+$  \\
 && $[X:Z:Y]$  &$+\beta_{4,2}XY^2Z^2$ \\ \hline
10&$\Z/5\Z$& $[X:Y:\zeta_5Z]$& $Z^5+L_{5,Z}$\\ \hline
11&$\Z/4\Z$&  $[X:\zeta_4Y:\zeta_4^2Z]$& $X^5+X\big(Z^4+Y^4\big)+\beta_{2,0}X^3Z^2+\beta_{3,2}X^2Y^2Z+\beta_{5,2}Y^2Z^3$   \\ \hline
 12&$\Z/4\Z$& $[X:Y:\zeta_4Z]$& $Z^4L_{1,Z}+L_{5,Z}$     \\ \hline
 13&$\Z/3\Z$& $[X:\zeta_3Y:\zeta_3^2Z]$& $X^5+Y^4Z+YZ^4+\beta_{2,1}X^3YZ+$  \\
&&&
$+X^2\big(\beta_{3,0}Z^3+\beta_{3,3}Y^3\big)+\beta_{4,2}XY^2Z^2$  \\ \hline
 14&$\Z/2\Z$&  $[X:Y:\zeta_2Z]$& $Z^4L_{1,Z}+Z^2L_{3,Z}+L_{5,Z}$     \\ \hline
15&$\{1\}$&  $[X:Y:Z]$& $L_5(X,Y,Z)$     \\ \hline
\caption{Geometrically complete families over $k$}\label{table:FullAuto.}
\end{longtable}
\end{center}
\normalsize
\vspace{-1cm}

The algebraic restrictions on the coefficients, so that each family is smooth, geometrically irreducible, and has no larger automorphism group are not given.
\end{thm}

\begin{rem}
The geometrically complete families over $k$ given in Theorem \ref{autoGps} are not necessarily representative or even complete.
For example, the smooth $\overline{\Q}$-plane curve $C:\,X^5+Y^5+\frac{1}{2}XZ^4+X^3Z^2=0$ has two representatives in the above list, which are $X^5+Y^5+XZ^4\pm\sqrt{2}X^3Z^2=0$ and none of them is defined over $\Q$.
\end{rem}

\section{Representative families for $\widetilde{\mathcal{M}_6^{Pl}}(\varrho(G))$}
This section is devoted to give representative families over $k$ for the different strata in Theorem \ref{autoGps} for $\overline{k}$-plane curves of genus $6$. As in \cite{LeRiRo}, the first step is computing the normalizers of the groups $\rho(G)$ in Theorem \ref{autoGps}.

Throughout this section, $k$ has characteristic $p=0$ or $p>13$.
\subsection{Computation of the normalizers $N_{\varrho(G)}(\overline{k})$}
We start with the families in Theorem \ref{autoGps}, which are geometrically complete over $k$ for each of the strata $\widetilde{\mathcal{M}_6^{Pl}}(\varrho(G))$. Isomorphisms between two curves in the same family, in particular with identical automorphism group $\varrho(G)$ in $\text{PGL}_3(\overline{k})$, are clearly given by $3\times3$ projective matrices in the normalizer $N_{\varrho(G)}(\overline{k})$ over $\overline{k}$.

\textbf{Notations.}
By $D(\overline{k})$, we mean the group of diagonal matrices in $\operatorname{PGL}_3(\overline{k})$, and by $T_X(\overline{k})$, we denote its subgroup of elements the shapes $[a X:Y:Z]$ for some $a\in\overline{k}$. Similarly, we define $T_Y(\overline{k})$ and $T_Z(\overline{k})$.

Second, through the embedding $\operatorname{GL}_2(\overline{k})\hookrightarrow\operatorname{PGL}_3(\overline{k}):\,A\mapsto  \left(\begin{array}{cc}
              1 & 0 \\
              0 & A \\
            \end{array}
          \right)$, we can identify $\operatorname{GL}_2(\overline{k})$ with its image in $\operatorname{PGL}_3(\overline{k})$. We denote this image by $\operatorname{GL}_{2,X}(\overline{k})$. In the same way, we define $\operatorname{GL}_{2,Y}(\overline{k})$ and $\operatorname{GL}_{2,Z}(\overline{k})$.

Third, the following subgroups of $\operatorname{PGL}_3(\overline{k})$ are also considered: $\tilde{S_3}:=\langle[X:Z:Y],[Z:X:Y]\rangle,\,G_{03}:=\langle[X:Z:Y],[X:\zeta_3 Y:Z]\rangle,$ and
$G_{05}:=\langle[X:Z:X],\,[X:Y:\zeta_5Z]\rangle.$

\begin{thm}\label{genorm}
Let $\varrho(G)$ be one of the automorphism groups given by Theorem \ref{autoGps}, such that $\widetilde{\mathcal{M}_6^{Pl}}(\varrho(G))$ is not $0$-dimensional. The normalizer $N_{\varrho(G)}(\overline{k})$ of $\varrho(G)$ in $\operatorname{PGL}_3(\overline{k})$ is generated by:
\begin{multicols}{2}
\begin{itemize}
  \item $\operatorname{N}_{\{1\}}(\overline{k})=\operatorname{PGL}_3(\overline{k})$;
  \item $\operatorname{N}_{\varrho(\Z/2\Z)}(\overline{k})=\operatorname{GL}_{2,Z}(\overline{k})$;
  \item $\operatorname{N}_{\varrho(\Z/3\Z)}(\overline{k})=\langle D(\overline{k}), \tilde{S_3}\rangle$;
\item $\operatorname{N}_{\varrho(\Z/4\Z)}(\overline{k})=\operatorname{GL}_{2,Z}(\overline{k})$;
\item $\operatorname{N}_{\varrho(\Z/4\Z)}(\overline{k})=\langle D(\overline{k}), [Z:Y:X]\rangle$;
\item $\operatorname{N}_{\varrho(\Z/5\Z)}(\overline{k})=\operatorname{GL}_{2,Z}(\overline{k})$;
\item $\operatorname{N}_{\varrho(S_3)}(\overline{k})=\langle T_X(\overline{k}), G_{03}\rangle$;
\item $\operatorname{N}_{\varrho(\Z/8\Z)}(\overline{k})=\langle D(\overline{k}), [Z:Y:X]\rangle$;
\item $\operatorname{N}_{\varrho(D_{10})}(\overline{k})=\langle T_X(\overline{k}),\,G_{05}\rangle$ ;
\item $\operatorname{N}_{\varrho(\Z/10\Z)}=D(\overline{k})$.
\end{itemize}
\end{multicols}
\end{thm}

\begin{proof}The Theorem is a straightforward implication from the well-known result that says that two non-singular matrices commute if and only if there is a common basis in which both of them diagonalize or one is a multiple of the identity. As an example, we prove the cases $\varrho(\Z/3\Z)$ and $\varrho(S_3)$ simultaneously, and the remaining situations are proven in the same way: if $\phi\in \operatorname{N}_{\varrho(\Z/3\Z)}(\overline{k})$, then $\phi^{-1}\operatorname{diag}(1,\zeta_3,\zeta_3^2)\phi= \operatorname{diag}(1,\zeta_3,\zeta_3^2),$ or $diag(1,\zeta_3^2,\zeta_3)$. Hence, $\phi$ is diagonal or a permutation of the variables, up to a re-scaling. In particular, $\phi$ is a product of an element of $D(\overline{k})$ and an element of $\tilde{S_3}$, which gives the situation for $\varrho(\Z/3\Z)$. On the other hand $\operatorname{N}_{\varrho(S_3)}(\overline{k})\subseteq \operatorname{N}_{\varrho(\Z/3\Z)}(\overline{k})$. Furthermore, if $\phi\in \operatorname{N}_{\varrho(\Z/3\Z)}(\overline{k})$ such that $\phi^{-1}[X:Z:Y]\phi$ is of order $2$ in $\varrho(S_3)=\langle [X:\zeta_3Y:\zeta_3^2Z],\,[X:Z:Y]\rangle$, then $$\phi\in\{\operatorname{diag}(a,\zeta_3^r,1),[a X:\zeta_3^rZ:Y]\,|\,a\in \overline{k}\,\,and\,\,0\leq r\leq2\}.$$
Rewriting $\operatorname{diag}(a,\zeta_3^r,1)$ as $\operatorname{diag}(a,1,1)\operatorname{diag}(1,\zeta_3,1)^r,$ and $[a X:\zeta_3^rZ:Y]$ as $\operatorname{diag}(a,\zeta_3^r,1)[X:Z:Y]$, gives the conclusion for $\varrho(S_3)$.
\end{proof}

\subsection{Representative families for $\widetilde{\mathcal{M}_6^{Pl}}(\varrho(G))$}
We study the existence of representative families over $k$ for the different strata, i.e families of curves $\verb"C"\rightarrow\verb"S"$ whose points are in natural bijection with the subvarieties.

R. Lercier, et al. in \cite{LeRiRo} explicitly constructed such families for smooth plane quartics in order
to determine unique representatives for the isomorphism classes of smooth plane quartics
over finite fields. We also refer to the second author's thesis \cite[Ch. 2]{Loth} for such parametrization of smooth plane quartic curves over number fields.

\begin{thm}[Representative families]\label{complete} The following table shows representative families over $k$ for each stratum of smooth $\overline{k}$-plane curves of genus $6$, with non-trivial automorphism group of order $\neq5$. For $\widetilde{\mathcal{M}_6^{Pl}}(\varrho(\Z/5\Z))$ a geometrically complete family is shown.
\scriptsize
\begin{center}
\begin{longtable}{|c|c|c|c|}
  \hline
    Case &$G$ & $F_{\rho(G)}(X;Y;Z)$ & \text{Parameters restrictions} \\\hline\hline
 1& $\operatorname{GAP}(150,5)$    & $X^5+Y^5+Z^5$ & - \\
  2&$\operatorname{GAP}(39,1)$     & $X^4Y+Y^4Z+Z^4X$  & -\\
  3&$\operatorname{GAP}(30,1)$     & $X^5+Y^4Z+YZ^4$&-\\
4&$\Z/{20}\Z$   & $X^5+Y^5+XZ^4$   & -\\
  5&$\Z/{16}\Z$     & $X^5+Y^4Z+XZ^4$  & - \\\hline
6&$\Z/{10}\Z$       & $\mathbf{X^5+Y^5+ aXZ^4+X^3Z^2}$&$a\neq 0,1/4$
\\\hline
7&$D_{10}$          & $\mathbf{X^5+a(Y^5+Z^5)+XY^2Z^2+bX^3YZ},$ &$a\neq 0,\,b\neq 1$
\\
&          & $\mathbf{X^5+c(Y^5+Z^5)+X^3YZ}$& $a^3\neq-3^35^{-5}$\\\hline
8&$\Z/8\Z$          & $\mathbf{X^5+Y^4Z+a XZ^4+X^3Z^2}$&$a\neq 0,1/4$
\\\hline
 9&$S_3$            &  $\mathbf{a^{3}X^5+Y^4Z+YZ^4+a^{2}X^3YZ+abX^2\big(Z^3+Y^3\big)+cXY^2Z^2},$ & n.s
 \\
  &                 &  $\mathbf{d^{2}X^5+Y^4Z+YZ^4+d X^2\big(Z^3+Y^3\big)+eXY^2Z^2},$ & n.s
  \\
  &            &  $\mathbf{f^{4}X^5+Y^4Z+YZ^4+fXY^2Z^2}$ & $f\neq0,-\frac{3125}{16}$\\\hline
10&$\Z/5\Z$          & $\mathbf{Z^5+XY(X+Y)(X+aY)(X+bY)}$& $ab(a-1)(b-1)(a-b)\neq0,\,n.b$\\\hline
11&$\Z/4\Z$          & $\mathbf{X^5+X^3Z^2+Y^2Z^3+aX^2Y^2Z+X(bY^4+cZ^4)}$, & $bc\neq 0$, $c\neq-\frac{7}{20}$
\\
&         & $\mathbf{X^5+X^2Y^2Z+X(dY^4+eZ^4)+Y^2Z^3}$,& $de\neq 0$ \\
&         & $\mathbf{X^5+f(Y^2Z^3+X(Y^4+Z^4))}$ & $f^3\neq-(\frac{3}{4})^3,0$ \\\hline

12 &$\Z/4\Z$          & $\mathbf{X^5+c(X^3Y^2+aX^2Y^3+bcXY^4+c^2Y^5+Z^4Y)}$  &   n.s,\,n.b
\\
   &                  & $\mathbf{X^5+s(XY^4+Y^5+Z^4Y)}$  & \\
   &                  & $\mathbf{X^5+e(X^2Y^3+fXY^4+eY^5+Z^4Y)},$  &  \\
   &                  & $\mathbf{X^5+g(X^2Y^3+XY^4+Z^4Y)}$  &   \\\hline
13&$\Z/3\Z$         & $\mathbf{a^{3}X^5+Y^4Z+YZ^4+a^{2}X^3YZ+aX^2\big(bY^3+cZ^3\big)+dXY^2Z^2},$  &
\\
   &         & $\mathbf{e^2X^5+Y^4Z+YZ^4+X^2\big(eY^3+fZ^3\big)+gXY^2Z^2,}$  & n.s,\,$e\neq f$ \\
   &         & $\mathbf{h^2X^5+Y^4Z+YZ^4+hX^2Z^3+sXY^2Z^2,}$  & n.s \\
   &         & $\mathbf{t^2X^5+Y^4Z+YZ^4+tX^2Z^3}$  & $t\neq0,\,\frac{3125}{1024}$ \\\hline
  14&$\Z/2\Z$         & $\mathbf{Z^4Y+Z^2(X^3+XY^2+aY^3)+L_{5,Z}}$   &  n.s,\,n.b \\\hline
 \caption{Complete families over $k$}\label{table:Complete}
\end{longtable}
\end{center}
\normalsize
\end{thm}

\vspace{-1.2cm}

The families that are modified respect to the ones in Table \ref{table:FullAuto.} are highlighted. The automorphism groups remain the same one than in Table \ref{table:FullAuto.}.

The parameters restrictions come from avoiding singular equations and larger automorphism groups. We use the abbreviations ``n.s" and ``n.b" for non-singularity and no bigger automorphism group, when it is tedious to write down the restrictions.

\begin{proof}(Cases with $G\ncong\mathbb{Z}/5\mathbb{Z}$)
Clearly, the zero dimensional strata families are representative over $k$, since each represents a single point in the (coarse) moduli space $\mathcal{M}_6$. For the rest of cases, except for the case with $G\simeq\mathbb{Z}/5\mathbb{Z}$, we will use the same techniques used in \cite{LeRiRo} and \cite{Loth}. We give a detailed example with the case $G\simeq\operatorname{D}_{10}$.

We start with the more general family than in Theorem \ref{autoGps}: $aX^5+b(Y^5+Z^5)+cX^3YZ+dXY^2Z^2=0$. We know $a,b\neq0$ to avoid getting the singular points $(1:0:0)$ and $(0:1:0)$. So, after rescaling and renaming variables, we obtain the geometrically complete family: $X^5+Y^5+Z^5+aX^3YZ+bXY^2Z^2=0$.

If $b=0$, then $a\neq0$ to avoid having a bigger automorphism group, so again, after rescaling and renaming variables, we can work with the family: $X^5+c(Y^5+Z^5)+X^3YZ=0$. Now, it is easy to check that all the matrices in $\operatorname{N}_{\rho(\operatorname{D}_{10})}$  (see Theorem \ref{genorm}) carrying equations in this family into equations again in the family, leave the equation invariant. In other words, a curve with parameter $a$ in this family is only isomorphic to itself, which implies that the component in the family is representative over $k$.

If $b\neq0$, we work with the family $X^5+a(Y^5+Z^5)+bX^3YZ+XY^2Z^2=0$. Again any matrix in   $\operatorname{N}_{\rho(\operatorname{D}_{10})}$ leaving the family invariant, fixes each equation.

So, the family given by these two components is representative over $k$ for the stratum with $\operatorname{D}_{10}$.
\end{proof}

Before proving the last part if the Theorem, we need some previous results.

\begin{lem}\label{whygeom}
The family $\mathcal{C}_{(a,b)}:\,Z^5+XY(X+Y)(X+aY)(X+bY)=0$ is a geometrically complete family over $k$ for the stratum of smooth $\overline{k}$-plane curves of genus $6$, with automorphism group isomorphic to $\Z/5\Z$. In particular, the associated scheme has dimension $2$.
\end{lem}
\begin{proof}
The family $Z^5+L_{5,Z}=0$ is a geometrically complete family over $k$ for the stratum, by Theorem \ref{autoGps}. Moreover, $L_{5,Z}$ should factored  in $\overline{k}[X,Y]$ into pairwise distinct linear factors, otherwise, it will be singular. Now, up to $\overline{k}$-isomorphism, we change $X$ and $Y$, separately, to make one of the factors equals to $X=0$ and another to $Y=0$. Second, re-scale $X,\,Y$ and $Z$ simultaneously to get the factor $(X+Y)$ in the factorization of $L_{5,Z}$. Now, we can write the family as $\mathcal{C}_{(a,b)}:\,Z^5+XY(X+Y)(X+aY)(X+bY)=0$. This family is geometrically complete over $k$ for $\widetilde{\mathcal{M}_6^{Pl}}(\varrho(\Z/5\Z))$, and finite (we justify this next), so the dimension is $2$.

Isomorphisms from the curve $\mathcal{C}_{(a,b)}$ to another curve in this family come from transformations
$$
\begin{pmatrix}\alpha&\beta\\ \gamma & \delta\end{pmatrix}:\,t\mapsto\frac{\alpha t+\beta}{\gamma t+ \delta},
$$
sending the set $\{0,1,\infty,a,b\}$ to a set $\{0,1,\infty,c,d\}$. The set $\mathcal{T}$ of such transformations is a group and it is isomorphic to $S_5$. Moreover, it is generated by
$$
\tau_1(a,b)=(a,\frac{a(b-1)}{b-a}),\,\,\,\,\,\tau_2(a,b)=(\frac{1}{b},\frac{a}{b}),\,\,\,\,\,\tau_3(a,b)=(b,a).
$$
The latest does not properly define a transformation of the curve in the family since switching the parameters $a,b$ does not change the equation. The first two satisfy the relations $\tau_1^2=\tau_{2}^{3}=(\tau_1\tau_2)^5=1$ generating a group isomorphic to $\operatorname{A}_5$.

The family defined in this way $\verb"C"\rightarrow\verb"S"$  is finite and the fibers of $f_{\verb"C"}: \verb"S"\rightarrow S$ have cardinality \footnote{Another way of checking the cardinality is starting with a generic curve $Z^5+\prod_{i=0}^{5}(X+\alpha_i Y)$ and counting the $(5\cdot4\cdot3)\cdot2$ ways of choosing the $3$ roots going to $\infty,0,1$ and getting the parameters $a$ and $b$} $120$.

\end{proof}

The family $\mathcal{C}_{(a,b)}$ is defined over $\overline{k}(a,b)$. We are ideally looking for a family (with two parameters since we know the dimension is two) defined over $L=\overline{k}(a,b)^{\mathcal{T}}$. Hence, we look for the Galois descent from $\overline{k}(a,b)$ to $L$.  This the idea behind the ad-hoc method used in \cite{LeRiRo}, see the proof of Theorem $3.3$.

The following asserts that the analogue of L\"{u}roth's theorem \cite[Chapter IV, 2.5.5]{hart} holds in dimension $2$.
\begin{thm}\label{Luroth}\cite[Chapter V, Theorem 6.2 and Remark 6.2.1]{hart}
Let $L/K$ be a subfield extension of a purely transcendental extension $K(a,b)/K$, where $K$ is an algebraically closed field. If $K(a,b)$ is a finite separable extension of $L$, then $L$ is also a pure transcendental extension of $K$.
\end{thm}

We can now prove:

\textbf{Claim.} There exists a representative family over $k$, for the stratum $\widetilde{\mathcal{M}_6^{Pl}}(\varrho(\Z/5\Z))$ of smooth $\overline{k}$-plane curves of genus $6$, and the proof of Theorem \ref{complete} is finished.

\begin{proof}
Consider the family $\mathcal{C}_{(a,b)}$, which is geometrically complete over $k$ (see Lemma \ref{whygeom}). It is defined over $\overline{k}(a,b)$, or to be more precise, it is already defined over the subextension $\overline{k}(c,d)$ where $c=a+b$ and $d=ab$. We want to descend it to the invariant subfield $L$ under the action of the symmetric group $\operatorname{S}_5$ on $\overline{k}(a,b)$, or equivalently of $\operatorname{A}_5$ on $\overline{k}(c,d)$. In this way, we will get a representative family over $k$: if such a family exists, it is purely transcendental of dimension $2$ by Theorem \ref{Luroth}, and hence given by $2$ parameters.

On the other hand, Weil's cocycle criterion \cite{We} states that if there exists a family of isomorphisms
$$\{\phi_{\sigma}:\,^{\sigma}\mathcal{C}_{(a,b)}\rightarrow\mathcal{C}_{(a,b)}\}_{\sigma\in Gal(\overline{L}/L)},$$
satisfying the cocycle condition $\phi_{\sigma_1\sigma_2}=\phi_{\sigma_1}\,^{\sigma_1}\phi_{\sigma_2}$, then there exist a descend of the curve  $\mathcal{C}_{(a,b)}$ over $L$.
That is an isomorphism $\phi:\,\mathcal{C}\rightarrow\mathcal{C}_{(a,b)}$ of smooth curves, satisfying $\phi\,\circ\,^{\sigma}\phi^{-1}=\phi_\sigma$ and where $\mathcal{C}$ is defined over $L=\overline{k}(\alpha,\beta)^{\mathcal{T}}$.

A priori, the curve $\mathcal{C}$ does not need to be a plane curve, even if the isomorphisms $\phi_\sigma$ are (projective) matrices and $\mathcal{C}_{(a,b)}$ are plane curves, see Proposition $2.19$ in \cite{BaBaEl1}. But in this case we can conclude that the isomorphism $\phi$ is also defined by matrix since all matrices $\phi_\sigma$ that we will take can be seeing not only as matrices in $\operatorname{PGL}_3(\overline{k}(a,b))$, but as matrices in $\operatorname{GL}_2(\overline{k}(a,b))$, since all of them will have the shape
$$
\begin{pmatrix}
* & * & 0\\
* & * & 0\\
0 & 0 & 1
\end{pmatrix},
$$
and then Hilbert's Theorem 90 implies the existence of a matrix $\phi$ satisfying $\phi\,\circ\,^{\sigma}\phi^{-1}=\phi_\sigma$.
Another proof of this fact is \cite[Theorem 2.6]{BaBaEl1}, that says that a $\overline{K}$-plane curve defined over $K$ has a $K$-plane model when the degree is coprime to $3$, so even if $\mathcal{C}$ is not given by $\phi$ by a plane model over $L$, we can find one.

The Galois group $\operatorname{Gal}(\overline{k}(a,b)/L)=\operatorname{S}_5$ and generated by $\tau_1$, $\tau_2$ and $\tau_3$. We define $\phi_{\tau_1}=[\lambda(-X+Y):\lambda(\frac{-1}{a}X+Y):Z]$ where $\lambda=\sqrt[5]{(a-1)^{-2}(a-b)^{-1}a^{3}}$, $\phi_{\tau_2}=[\sqrt[5]{b}X:\frac{\sqrt[5]{b}}{b}Y:Z]$ and $\phi_{\tau_3}=[X:Y:Z]$ and the family $\{\phi_\sigma\}_{\sigma\in\operatorname{Gal}(\overline{k}(a,b)/L)}$ by extending with the cocycle condition. This gives a well-defined family of isomorphisms satisfying the Weil cocycle condition. Hence, the mentioned descend exists.
\end{proof}

Indeed, we can construct a explicit matrix $\phi$ by taking a sufficiently general matrix $M$, and making Hilbert's Theorem $90$ explicit:
$$\phi=\sum_{\tau\in Gal(\overline{k}(a,b)/L)}\,\phi_{\tau}\,^{\tau}M,$$
gives an isomorphism satisfying\footnote{It is a straightforward computation to check that $\phi_{\sigma}\,^{\sigma}\phi=\phi$ and the meaning of a sufficiently general matrix $M$ is that the matrix $\phi$ constructed in that way is invertible.} $\phi_{\sigma}=\phi\,\circ\,^{\sigma}\phi^{-1}$.

\subsection{Detecting representatives in the list}
Given a non-singular degree $5$ plane curve with known non-trivial automorphism group, we can find its representative in the classification in Theorem \ref{complete} by using the remarks at the end of chapter $2$ in the second author's Thesis \cite{Loth}.

\section{Stratification of $\mathcal{M}_6^{Pl}$ by automorphism groups}
The diagram in next page shows how looks like the stratification by automorphism groups of non-singular plane quintic curves. The dimensions are computed by looking at the dimension of the schemes $\verb"S"$ in the representative families in Theorem \ref{complete}.

\begin{figure}[!ht]
\scriptsize
$$
\xymatrix@C-=0.5cm@R-=0.4cm{
\mathbb{Z}/16\mathbb{Z}  &  \mathbb{Z}/20\mathbb{Z}  &  \operatorname{\operatorname{GAP}}\left(150,5\right) &  & \operatorname{\operatorname{GAP}}\left(30,1\right) & \operatorname{\operatorname{GAP}}\left(39,1\right) & \operatorname{dim}\, 0  \\
\mathbb{Z}/8\mathbb{Z}  \ar[u] &  \mathbb{Z}/10\mathbb{Z}  \ar[u]    &  &   & & &  \operatorname{dim}\,1  \\
 &  \mathbb{Z}/5\mathbb{Z}  \ar[u]\ar[ruu] & \text{D}_{10} \ar[uu]& & & &  \operatorname{dim}\,2  \\
  \mathbb{Z}/4\mathbb{Z}\ar[uu]\ar[ruuu]  &     & &\mathbb{Z}/4\mathbb{Z}& \text{S}_3\ar[uuu]\ar[lluuu]& &   \operatorname{dim}\,3  \\
  &    && && \mathbb{Z}/3\mathbb{Z} \ar[lu] \ar[uuuu]&   \operatorname{dim}\,4  \\
    &    &  \mathbb{Z}/2\mathbb{Z} \ar[lluu]\ar[luuuu]\ar[uuu]\ar[ruu] & & & &   \operatorname{dim}\,7 \\
        &    &  \{1\} \ar[luuuu]\ar[u]\ar[rrruu] &&  & &   \operatorname{dim}\,12
}
$$
\caption{Stratification by automorphisms group}
\label{diaguay}
\end{figure}
\normalsize

We can see in Figure \ref{diaguay} a phenomenon that does not happen for degree $4$. We define a final stratum by automorphism groups to be a stratum that does not properly contain any other stratum. There is a final stratum in $\mathcal{M}_6^{Pl}$ of dimension greater than zero. This may sound odd since we could expect that by adding conditions in the parameters we would get bigger automorphisms groups. However, we will see that this is a normal situation for degree higher than $4$.

\subsection{A canonical justification}
The family for the stratum with $\rho(G)=\langle[X:iY:-Z]\rangle$ has generic component $\mathcal{C}_{a,b,c}:\,X^5+X^3Z^2+Y^2Z^3+aX^2Y^2Z+bXY^4+cXZ^4=0$. This stratum has dimension $3$ and it is a final stratum: no restriction of the parameters give a larger automorphism group. Let us work for a while with the renormalized family $\mathcal{S}_{A,B,C}:\,X^5+AX^3Z^2+BX^2Y^2Z+CXY^4+XZ^4+Y^2Z^3=0$. Now, it is easy to see that making $A=B=C=0$ we get a larger automorphism group. For instance, we get the new automorphism $[X:\zeta_8 Y:i Z]$. However, the plane curve defined by this equation is singular.

We will see an explanation of this final stratum not having dimension zero. We will regard the family $\mathcal{S}_{A,B,C}$ in $\mathcal{M}_{6}^{Pl}$ inside a family in $\mathcal{M}_6$ that is not final. When we add restrictions here, we get extra symmetries and the curve is not plane anymore.

Let us start by computing the family $\mathcal{K}_{A,B,C}$ of canonical models of $\mathcal{S_{A,B,C}}$. We define the functions $x=X/Z$ and $y=Y/Z$.
\begin{eqnarray*}
\text{div}(x)&=&2(0:0:1)+2(0:1:0)-\sum_{s=1}^{4} (i^{s}\sqrt[4]{-C}:1:0)=2P+2Q-\sum_{i=1}^{4}R_i\\
\text{div}(y)&=&(0:0:1)-(0:1:0)-\sum_{s=1}^{4} (i^{s}\sqrt[4]{-C}:1:0)+(1:0:\pm\sqrt{\tfrac{-A\pm\sqrt{A^2-4}}{2}})=P-Q-\sum_{i=1}^{4}R_i+\sum_{i=1}^{4}T_i.
\end{eqnarray*}

In order to compute $\text{div}(dx)$, we work with the affine form $F(x,y,1)=x^5+Ax^3+Bx^2y^2+Cxy^4+x+y^2$. The differential $dx$ is an uniformizer for all points except for $P$ and the $T_i$'s because the tangent space to the curve at these points have equation $x-\alpha$ for some $\alpha\in\overline{k}(A,B,C)$ (we have used $d(x-\alpha) = dx)$. Then, for those points, we have to work with the expression
$$
dx=-\frac{y(2Bx^2+4Cxy^2+2)}{5x^4+3Ax^2+2Bxy^2+Cy^4+1}dy.
$$
We finally get
$$
\text{div}(dx)=P+Q+\sum_{i=1}^{4}R_i+\sum_{i=1}^{4}T_i,
$$
and a basis of regular differentials is given by
\begin{eqnarray*}
\omega_0&=&\frac{dx}{y},\,\omega_1=\frac{xdx}{y},\,\omega_2=dx,\\
\omega_3&=&\frac{x^2dx}{y},\,\omega_4=xdx,\,\omega_5=ydx.
\end{eqnarray*}

\begin{prop}\label{generators} The ideal of the canonical model of $\mathcal{S}_{A,B,C}$ in $\mathbb{P}^5[\omega_0,\omega_1,\omega_2,\omega_3,\omega_4,\omega_5]$ is generated by the polynomials
$$\omega_0\omega_3=\omega_{1}^{2},\,\omega_0\omega_4=\omega_{1}\omega_2,\,\omega_0\omega_5=\omega_{2}^{2},\,\omega_4^2=\omega_3\omega_5,\,{\omega_1\omega_5=\omega_2\omega_4,\,\omega_1\omega_4=\omega_2\omega_3},$$
$$\omega_1\omega_{3}^2+A\omega_{1}^{3}+B\omega_0\omega_{4}^{2}+C\omega_2\omega_4\omega_5+\omega_{0}^2\omega_1+\omega_{0}^2\omega_5=0,$$
$$\omega_{3}^3+A\omega_0\omega_{3}^{2}+B\omega_1\omega_{3}\omega_{5}+C\omega_3\omega_{5}^{2}+\omega_{0}^2\omega_3+\omega_{0}\omega_1\omega_5=0,$$
$$\omega_4\omega_{3}^2+A\omega_{0}\omega_{3}\omega_{4}+B\omega_2\omega_{3}\omega_5+C\omega_4\omega_{5}^{2}+\omega_{0}^2\omega_4+\omega_{0}\omega_2\omega_5=0.$$
We denote it by $\mathcal{K}_{A,B,C}$.
\end{prop}

\begin{proof}
If $\omega_0\neq 0$, then the des-homogenization of this ideal with respect to $\omega_0$ gives $$\omega_1^5+A\omega_1^3+B\omega_1^2\omega_2^2+C\omega_1\omega_2^4+\omega_1^4+\omega_2^2,$$ and we recover the affine curve $\mathcal{S}_{A,B,C}$ for $Z=1$. If $\omega_0=0$, then $\omega_1=\omega_2=0$, $\omega_3\omega_4=\omega_5^2$, $\omega_3(\omega_3^2+\omega_5^2)=0$ and we recover the points at infinity for $\mathcal{S}_{A,B,C}$: $Q$, $R_i$'s.

To check that it is non-singular, we need to see if the rank of the matrix of partial derivatives of the previous generating functions has rank equal to $\text{dim}(\mathbb{P}^5)-\text{dim}(\mathcal{K}_{A,B,C})=4$  at every point\footnote{here we mean de dimension of $\mathcal{K}_{A,B,C}$ as a variety over $k(A,B,C)$, that is $1$ since it is a curve}, that is, the tangent space has codimension $4$. If $\omega\neq0$, the partial derivatives of the first three equations plus the equation in the second line produce $4$ linearly independent vectors in the tangent space. If $\omega_0=0$, then $\omega_5$ is non-zero, and, the $3$rd, $4$th, and the $6$th equations plus the equation in the last line provide $4$ linearly independent vectors.
Moreover, this is independent of the choice of the parameters $A,B,C$.
\end{proof}

\begin{cor}
If we specialize the parameters to $A=B=C=0$, then we get a smooth curve of genus $6$, whose full automorphism group has order multiple of $8$ and contains
$$\operatorname{diag}(\zeta_{8}^{7}, \zeta_{8}^{5}, \zeta_{8}^{6}, \zeta_{8}^{3}, \zeta_{8}^{4}, \zeta_{8}^{5}).
$$
This curve does not admit a non-singular plane model over $\overline{k}$. So the $11$th stratum of plane curves of genus $6$ in Theorem \ref{complete} that is final as a plane stratum, is indeed living inside a stratum of smooth curves of genus $6$ which is not final.
\end{cor}

\begin{proof} We only need to check that the curve $\mathcal{K}_{0,0,0}$ is not isomorphic to any one in the family $8$th in Theorem \ref{autoGps} with automorphism group $\mathbb{Z}/8\mathbb{Z}$. In order to check that we just look at the automorphism $[X:\zeta_8 Y:-Z]$ of order $8$ in this family acting in its canonical model. We mimic the previous computations and we get the matrix $\operatorname{diag}(\zeta_{8}^{5}, \zeta_{8}^{6}, \zeta_{8}, \zeta_{8}^{7}, \zeta_{8}^{2}, \zeta_{8}^{5})$. the group generated by this matrix is clearly non conjugated to the group generated by the one in the statement of the corollary. So, the curve  $\mathcal{K}_{0,0,0}$ does not have a smooth plane model.
\end{proof}

We reinterpret the existence of these special kind of families of plane curves in terms of $g^r_d$ linear series as follows: suppose that $\mathcal{C}$ is such a family describing a stratum of plane curves, and let $D$ be a divisor in $\operatorname{Div}(\mathcal{C})$ that defines a $g^2_{d}$ linear series for $\mathcal{C}$. In particular, $D$ is of degree $d$, and the vector space $\mathcal{L}(D)$ has dimension $2$. For some specializations of the parameters in the canonical family $\mathcal{K}$, given by the canonical embedding $\Phi:\,\mathcal{C}\hookrightarrow\mathbb{P}^{g-1}(\overline{k})$, one gets more automorphisms. Hence more symmetries in the defining equations, which in turns produce more meromorphic functions with poles bounded above by $\mathcal{D}=\Phi(D)$. Therefore, $dim(\mathcal{L}(\mathcal{D}))>2$, and we do not get a smooth $\overline{k}$-plane model anymore.

In our example the divisor $D$ generating the $g_{2}^{d}$-linear system is $D=Q+\sum_{i=1}^{4}R_i$, and $\mathcal{L}(\mathcal{D})$ is generated by $1,\frac{\omega_1}{\omega_0},\frac{\omega_2}{\omega_0}$. For the special choice of the parameters $A=B=C=0$, we get $D=5Q$ and $\mathcal{L}(\mathcal{D})$ contains the linearly independent functions  $1,\frac{\omega_1}{\omega_0},\frac{\omega_2}{\omega_0},\frac{\omega_3}{\omega_0}$, so the (projective) dimension of $\mathcal{L}(\mathcal{D})$ is greater than $2$ and it does not define a $g_{2}^{d}$ linear system anymore. This why, for this choice of the parameters we do not get a smooth plane model anymore, and it is due to the extra symmetries of the curve.

\subsection{Non-zero dimensional final strata for higher degree}
In this subsection we show examples of non-zero dimensional final strata in $\mathcal{M}_{g}^{Pl}$ for infinitely many $g$'s.

To prove that they are final strata, that is, that there cannot be more automorphisms, we use similar techniques to the ones used in \cite{BaBa1, BaBa3}. In particular, we need the next Theorem, which follows when one combines \cite[\S 1-10]{Mit} or \cite[Theorem 4.8]{dolgachev2009finite}, and the proof of \cite[Theorem 2.1]{Ha}):

\begin{thm}[Mitchell, Harui]\label{Harui,Mitchell}
	Let $G$ be a subgroup of automorphisms of a smooth $\overline{k}$-plane curve $C$ of degree $d\geq4$, where $k$ has characteristic $p=0$. Then one of the following situations holds:
	\begin{enumerate}
		\item $G$ fixes a line and a point off this line.
		\item $G$ fixes a triangle and neither line nor a point is leaved invariant. In this case, $(C,G)$ is a descendant of the the Fermat curve $F_d:\,X^d+Y^d+Z^d=0$ or the Klein curve $K_d:\,XY^{d-1}+YZ^{d-1}+ZX^{d-1}=0$.
		\item $G$ is conjugate to a finite primitive subgroup of $\operatorname{PGL}_3(\overline{k})$ namely, the Klein group
		$\operatorname{PSL}(2,7)$, the icosahedral group $A_5$, the alternating group
		$\operatorname{A}_6$, the Hessian group $\operatorname{Hess}_{*}$ with $*\in\{36,72,216\}$.
		\end{enumerate}
\end{thm}

\begin{rem}\label{postive}
We follow the discussion in \cite[\S6]{BaBa1} to deduce that Theorem \ref{Harui,Mitchell} holds when the characteristic $p>2g+1$, where $g$ denotes the geometric genus of the curve $C$.
\end{rem}
From now on we assume that $k$ has characteristic $p=0$ or $p>2g+1$.

First, we prove:
\begin{thm}\label{odddegreefinal}
Let $\mathcal{C}$ be the family of smooth $\overline{k}$-plane curves of an odd degree $d\geq7$, defined in the following way:
\begin{itemize}
  \item if $d\equiv1\text{ mod }4$, then
    $$\mathcal{C}:\,X^d+X^{d-2}Y^2+X^{(d-1)/2}YZ^{(d-1)/2}+aXY^{d-1}+bXZ^{d-1}+cY^{(d+1)/2}Z^{(d-1)/2}=0$$

  \item if $d\equiv3\text{ mod }4$, then
  $$\mathcal{C}:\,X^d+X^{d-2}Y^2+X^{(d-1)/2}YZ^{(d-1)/2}+aXY^{d-1}+bXZ^{d-1}+cX^2Y^{(d-1)/2}Z^{(d-1)/2}=0$$
\end{itemize}
Then $\operatorname{Aut}(\mathcal{C})=\langle[X:-Y:\zeta_{d-1}Z]\rangle$, hence it is isomorphic to $\Z/(d-1)\Z$.
\end{thm}

\begin{proof}
We first note that $\eta:\,(X:Y:Z)\mapsto (X:-Y:\zeta_{d-1}Z)$ defines an automorphism of $\mathcal{C}$ of order $d-1$, and also $ab\neq0$ by non-singularity. we will see that $\operatorname{Aut}(\mathcal{C})$ is not conjugate to any of the primitive groups in $\operatorname{PGL}_3(\overline{k})$ mentioned in Theorem \ref{Harui,Mitchell}. In particular, it should fix a point, a line, or a triangle.

We just handle the situation for the Hessian groups $\operatorname{Hess}_{*}$, since $\operatorname{A}_6$ (so does $\operatorname{A}_5$) has no elements of order $d-1\geq6$, and the Klein group $\operatorname{PSL}(2,7)$ (the only simple group of order $168$) has no elements of order $6$ or $\geq8$ inside. Moreover, any element of $\operatorname{Hess}_{*}$
has order $1,\,2,\,3,\,4,$ or $6$. Then $\operatorname{Hess}_{*}$  does not appear as the full automorphism group of $\mathcal{C}$, except possibly for $d=7$ and $*=216$. But, following the same discussion that we did for \cite[Proposition 12]{BaBa3}, one easily deduces that there exists no smooth $\overline{k}$-plane curve of degree $7$, whose automorphism group is conjugate to $\operatorname{Hess}_{216}$.

It is well known that $|Aut(F_d)|=6d^2$ and $|Aut(K_d)|=3(d^2-3d+3)$, see, for instance, \cite[Propositions $3.3,\,3.5$]{Ha}. Hence, $\mathcal{C}$ can not be a descendant of the Klein curve $K_d$ or the Fermat curve $F_d$, since, $d-1$ does not divide $3(d^2-3d+3),$ or $6d^2$ (except possibly when $d=7$). On the other hand, the automorphisms of $F_7:\,X^7+Y^7+Z^7=0$ have the shape $[X:\zeta_{7}^aY:\zeta_{7}^bZ],\,[\zeta_{7}^bZ:\zeta_{7}^aY:X],\,[X:\zeta_{7}^bZ:\zeta_{7}^aY],\,[\zeta_{7}^aY:X:\zeta_{7}^bZ],
\,[\zeta_{7}^aY:\zeta_{7}^bZ:X],$ or $[\zeta_{7}^bZ:X:\zeta_{7}^aY].$ Non of these automorphisms has has order $6$, so $\mathcal{C}$ with $d=7$ is not a descendant of $F_7$, as well. Therefore, $\operatorname{Aut}(\mathcal{C})\hookrightarrow PGL_{3}(\overline{k})$ must fix a line and a point off this line.

In particular, the fixed line is one of the reference lines $B=0$ with $B\in\{X,Y,Z\}$, and the point is one of the reference points $(1:0:0),\,(0:1:0),$ or $(0:0:1)$, because $\eta\in\operatorname{Aut}(\mathcal{C})$ does. Consequently, all automorphisms of $\mathcal{C}$ are all of the shapes either $[X:vY+wZ:sY+tZ],\,[vX+wZ:Y:sX+tZ],$ or $[vX+wY:sX+tY:Z]$. In any case, we always get $s=w=0$ through the term $X^{d-2}Y^2$, and all automorphisms of $\mathcal{C}$ are diagonal, say $\operatorname{diag}(1,\lambda,\mu).$ We then obtain $\lambda^2=\lambda\mu^{(d-1)/2}=\lambda^{d-1}=\mu^{d-1}=1$, that is, $\lambda=1,\,\mu=\zeta_{d-1}^{2r}$ or $\lambda=-1,\,\mu=\zeta_{d-1}^{2r+1}$ for $r\in\{0,1,...,d-2\}$. Consequently, $|\operatorname{Aut}(\mathcal{C})|=d-1$.
\end{proof}

\begin{cor}\label{dimffodd}
	The family $\mathcal{C}$ given by Theorem \ref{odddegreefinal} describes a final stratum of dimension $3$.
\end{cor}

Second, for even degrees $d\geq10$, we construct the family:
\begin{thm}\label{evendegreefinal}
For any $d=2m\geq10$ with $m$ odd, let $\mathcal{C'}$ be the family of smooth $\overline{k}$-plane curves defined by  $$X^{d}+Y^{d}+Z^{d}+X^{m}Z^m+X^{d-2}Y^2+a_2X^{d-4}Y^{4}+a_3X^{d-6}Y^{6}+...+a_{m-1}X^{2}Y^{d-2}+a_mX^{m-2}Y^2Z^{m}=0.$$
Then $\operatorname{Aut}(\mathcal{C'})=\langle[X:-Y:\zeta_mZ]\rangle$, in particular, it is cyclic of order $d$.

\end{thm}

\begin{proof}
Similarly, $\operatorname{Aut}(\mathcal{C'})$ is not conjugate to any of the finite primitive subgroups of $\operatorname{PGL}_{3}(\overline{k})$, and also $\mathcal{C}'$ is not a descendant of the Klein curve $K_d$. So $\operatorname{Aut}(\mathcal{C'})$ fixes a line and a point off this line, or $\mathcal{C'}$ is a descendant of the Fermat curve $F_d$. In the first situation, we deduce that it is cyclic of order $d$, by using the same discussion of Theorem \ref{odddegreefinal} through the monomials $X^mZ^m$ and $X^{d-2}Y^2$. On the other hand, any automorphism of $F_d$ of order $d$, which is not a homology type\footnote{i.e., it fixes only three points in the plane} is conjugate, inside $\operatorname{Aut}(F_d)$, to either $[X:-Y:\zeta_mZ]$, or $[X:\zeta_mZ:-Y]$. But also both automorphisms are in different conjugacy classes in $\operatorname{PGL}_{3}(\overline{k})$, so, if $\mathcal{C}$ is a descendant of the Fermat curve, through a transformation $A\in\operatorname{PGL}_3(\overline{k})$, then we may assume that $A^{-1}[X:-Y:\zeta_mZ]A=[X:-Y:\zeta_mZ]$. In particular, the matrix $A$ must be a diagonal one, say $\operatorname{diag}(1,\lambda,\mu)$ such that $\lambda^{d}=\mu^{d}=\mu^{m}=\lambda^2=1$. Therefore, $\lambda=\pm1$ and $\mu=\zeta_m^a$ for some integer $a$, and thus $A\in\operatorname{Aut}(\mathcal{C})$. Moreover, $\operatorname{Aut}(\mathcal{C})\cap\operatorname{Aut}(F_d)=\langle[X:-Y:\zeta_mZ]\rangle$. This completes the proof.

\end{proof}

\begin{cor}\label{corevendegree}
	The family $\mathcal{C'}$ in Theorem \ref{evendegreefinal} describes a final stratum of dimension at least $m-3$.
\end{cor}

\begin{rem}\label{importantffeven}
Theorem \ref{evendegreefinal} and Corollary \ref{corevendegree} are still true when $m$ is even, but for simplicity we need to impose $m\geq8$ in order to exclude the primitive groups in $\operatorname{PGL}_{3}(\overline{k})$.
\end{rem}