1. Introduction
In this article, we explore some connections between the properties of a discrete group G and the properties of the left ideals of its Beurling algebras 
$\ell^1(G, \omega)$. We shall show that the existence or not of a weight ω on G such that 
$\ell^1(G, \omega)$ has a finitely generated maximal left ideal of finite codimension depends on properties of the group G. One of our key methods will be based on weights defined in terms of word length with respect to a given generating set for the group.
We begin with some background and motivation. Let A be an infinite-dimensional unital Banach algebra, and let I be a closed left ideal of A. There is a natural tension between finite generation of I and various ways that I could be ‘large’, such as being maximal or having finite codimension. It is this idea that motivates the following conjecture of Dales and Żelazko [Reference Dales and Żelazko5].
Conjecture 1.1. (Dales–Żelazko)
Let A be an infinite-dimensional unital Banach algebra. Then A has a maximal left ideal, which is not finitely generated.
The conjecture has since attracted some attention and is known to be true for various special classes of Banach algebras, for example commutative Banach algebras [Reference Ferreira and Tomassini7], C*-algebras [Reference Blecher and Kania3], 
$\ell^1(G)$ for a group G [Reference White10] and the algebra of bounded linear operators on a large class of Banach spaces [Reference Dales, Kania, Kochanek, Koszmider and Laustsen6], including the reflexive Banach spaces [Reference White11, Corollary 2.2.7]. At the time of writing, no counterexample is known.
In [Reference White10], the author showed that the Dales–Żelazko Conjecture holds for Beurling algebras on discrete groups, provided that the weight is sufficiently well-behaved. In the present work, we instead consider arbitrary weights but a restricted class of groups. Our first result is the following.
Theorem 1.2. Let G be an infinite group, which is either
(i) a virtually soluble group or
(ii) a virtually free group,
and let ω be an arbitrary weight on G. Then 
$\ell^1(G, \omega)$ contains a maximal left ideal of finite codimension, which is not finitely generated. In particular, 
$\ell^1(G, \omega)$ satisfies the Dales–Żelazko conjecture.
One innovation of the present work on [Reference White10] is a lemma, which allows us to go up finite-index group extensions. Then the fact that Dales and Żelazko’s conjecture is known to hold in the commutative case means that it holds for any Beurling algebra on an abelian group, regardless of the weight. Combining these two ideas will prove the more general Proposition 3.3, which will imply Theorem 1.2.
The results in [Reference White10], as well as Theorem 1.2, establish the Dales–Żelazko Conjecture by finding examples of finite-codimension left ideals. These left ideals are usually easier to work with than those of infinite codimension. However, as we shall see, a Beurling algebra need not have a finite-codimension maximal left ideal that fails to be finitely generated. Indeed, our next result shows that Beurling algebras can have starkly different behaviour to that displayed in Theorem 1.2. First of all, it can happen that there is only one finite-codimension maximal left ideal.
Theorem 1.3. Let G be a finitely generated, infinite simple group. Fix a finite, symmetric generating set X for G and let 
$\omega(t) = 2^{|t|_X} \ (t \in G)$. Then the only proper, finite-codimension left ideal of 
$\ell^1(G, \omega)$ is the augmentation ideal 
$\ell^1_0(G, \omega)$, and it is finitely generated.
On the other hand, it can happen that the Beurling algebra has ‘many’ finite-codimension maximal left ideals, all of which are finitely generated. We do not know of any other example of an infinite-dimensional unital Banach algebra satisfying (i) and (ii).
Theorem 1.4. Let G be a finitely generated, just infinite, residually finite group, which is not a linear group. Fix a finite, symmetric generating set X for G, and set 
$\omega(t) = 2^{|t|_X} \ (t \in G)$. Then 
$\ell^1(G, \omega)$ has the following properties:
(i) The intersection of the finite-codimension, maximal left ideals of
$\ell^1(G,\omega)$ is $\{0 \}$.(ii) Every finite-codimension left ideal is finitely generated.
Examples of groups satisfying this theorem include finitely generated, just infinite branch groups, such as the Grigorchuk group and the Gupta–Sidki p-groups; it follows from [Reference Albért1, Corollary 7] that branch groups cannot be linear. For background on branch groups and their relationship to the theory of just infinite groups, we refer the reader to [Reference Bartholdi, Grigorchuk and Sunik2].
Note that in part (ii) of Theorem 1.4, we do not assume that the left ideals are closed. However, as we shall remark after the proof, every finite codimension left ideal of this Beurling algebra is in fact closed. Likewise, in Theorem 1.3, the augmentation ideal is the only proper finite-codimension left ideal, closed or otherwise.
These two theorems entail that if the Dales–Żelazko conjecture is true for Beurling algebras, then in order to prove it one needs to look beyond finite-codimension left ideals. We have been unable to resolve the conjecture for these examples.
2. Notation and terminology
We now fix our notation and terminology. Let A be a unital Banach algebra, and let I be a left ideal of A. We say that I is finitely generated if there exists 
$n \in \mathbb{N}$ and 
$a_1, \ldots, a_n \in I$ such that 
$I = Aa_1 + \cdots + Aa_n$. We shall usually study left ideals that are closed but note that we do not take any closure on the right hand side in our definition of finite generation. Recall that a maximal left ideal in a unital Banach algebra is automatically closed and that a codimension-1 left ideal is always maximal, although in general a finite-codimension left ideal need not be closed.
By a weight on a group G we mean a function 
$\omega \colon G \to [1, \infty)$ such that 
$\omega(st) \leq \omega(s)\omega(t) \ (s,t \in G)$ and 
$\omega(e) = 1$. We set
\begin{equation*}\ell^1(G, \omega) = \left\{f \colon G \to \mathbb{C} : \sum_{t \in G} |f(t)| \omega(t) \lt \infty \right\},\end{equation*}which is a Banach algebra with multiplication given by convolution, which we write as ‘
$*$’, and the norm given by 
$\|f\|_\omega = \sum_{t \in G} |f(t)| \omega(t) \ (f \in \ell^1(G, \omega)).$ Banach algebras of this form are called Beurling algebras. We write 
$\mathbb{C} G$ for the set of finitely supported, complex-valued functions of G, which is a dense subset of every Beurling algebra on G. Given 
$t \in G$, we write δt for the point-mass at t, and given 
$f \in \ell^1(G, \omega)$, we write 
$f^t := \delta_{t}*f*\delta_{t^{-1}}$.
Given a group G, a weight ω on G and a normal subgroup N, we write 
$\widetilde{\omega}$ for the weight induced on the quotient 
$G/N$ defined by
\begin{equation}
\widetilde{\omega}(Nt) = \inf\{\omega(st) : s \in N \} \quad (t \in G).
\end{equation} By [Reference Reiter and Stegeman9, Theorem 3.7.13], the quotient map 
$q \colon G \rightarrow G/N$ extends to a surjective bounded algebra homomorphism 
$q \colon \ell^1(G, \omega) \to \ell^1(G/N , \widetilde{\omega})$, whose kernel is given by
\begin{equation*}J_\omega(G,N) := \left\{f \in \ell^1(G,\omega) : \sum_{s \in Nt} f(s) = 0 \ (t \in G) \right\}.\end{equation*} In fact, 
$\ell^1(G,\omega)/J_\omega(G,N)$ and 
$\ell^1(G/N, \widetilde{\omega})$ are isometrically isomorphic as Banach algebras. We define the augmentation ideal of 
$\ell^1(G,\omega)$ to be
\begin{equation*}\ell^1_0(G, \omega) := J_\omega(G,G) = \left\{f \in \ell^1(G, \omega) : \sum_{t \in G} f(t) = 0 \right\}.\end{equation*} Let G be a group with finite generating set X. We write 
$|t|_X$ for the word length of 
$t \in G$ with respect to X, and given 
$r \in \mathbb{N}$, we write
\begin{equation*}B_r^X = \{t \in G: |t|_X \leq r \}.\end{equation*} We also write 
$\dot{B}_r^X : = B_r^X \setminus \{e \}$. A generating set X is said to be symmetric if, for all 
$x \in X$, we have 
$x^{-1} \in X$. We shall often insist that our generating sets are symmetric, both to ease notation and to apply the results of [Reference White10]. Word length gives us an important way to construct weights on the group G. Given c > 1, we can define a weight ω on G by
\begin{equation*}\omega(t) = c^{|t|_X} \quad (t \in G).\end{equation*}Such a weight is sometimes called a radial exponential weight. Weights of this form with c = 2 appear in two of our main results discussed above; the choice c = 2 has merely been made for concreteness, and the analogous results also hold for arbitrary c > 1.
Let G be a group, and let H be a subgroup. By a right/left transversal for H in G, we mean a set of right/left coset representatives, respectively. When H is a normal subgroup, every left transversal is a right transversal and vice versa, so we refer simply to a transversal for H in G.
We write 
$\mathbb{F}_n$ for the free group on the set 
$\{a_1, \ldots, a_n \}$, where 
$a_1, \ldots, a_n$ are just n arbitrary symbols. We say that a group G is a linear group if it is isomorphic to a subgroup of 
$GL_n(\mathbb{K})$, the group of invertible n-by-n matrices over a field 
$\mathbb{K}$. We say that an infinite group G is just infinite if all of its non-trivial quotients are finite.
3. The Proofs
Our first task is to prove Theorem 1.2. We begin by proving a lemma that allows us to use our understanding of a finite-index subgroup to study the ambient group.
Lemma 3.1. Let G be a group, and let ω be a weight on G. Let H be a finite-index, normal subgroup of G and suppose that 
$\ell^1(H, \omega\vert_H)$ has a closed finite-codimension left ideal, which is not finitely generated. Then so does 
$\ell^1(G, \omega)$.
Proof. Let I be a finite-codimension left ideal in 
$\ell^1(H, \omega\vert_H)$, which fails to be finitely generated. We consider 
$\ell^1(H, \omega\vert_H)$ as a subalgebra of 
$\ell^1(G, \omega)$. Let 
$n = [G : H]$, and let 
$t_1, \ldots, t_n$ be a transversal for H in G. Define
\begin{equation*}J = \left\{\delta_{t_1}*f^{(1)} + \cdots + \delta_{t_n}*f^{(n)} : f^{(i)} \in I \ (i=1, \ldots, n) \right\}.\end{equation*} Note that J is the 
$\ell^1$-direct sum of 
$\delta_{t_i}*I$ for 
$i=1, \ldots, n$, so it is closed. We show that J is a left ideal of 
$\ell^1(G,\omega)$. Let 
$u \in G$, and for each 
$i = 1, \ldots, n$, write 
$ut_i = t_{j(i)}v_i$, where 
$v_i \in H \ (i = 1, \ldots, n)$ and j is a permutation. Then given 
$f^{(i)} \in I \ (i=1, \ldots, n)$, we have
\begin{equation*}\delta_u * \left(\sum_{i=1}^n \delta_{t_i}*f^{(i)} \right) = \sum_{i=1}^n \delta_{t_{j(i)}}*\delta_{v_i}*f^{(i)} \in J,\end{equation*}since each 
$\delta_{v_i}*f^{(i)} \in I$. It follows that J is a left ideal in 
$\ell^1(G, \omega)$.
We claim that 
$\operatorname{codim} J = [G:H] \operatorname{codim} I,$ which is finite. Indeed, write 
$k = \operatorname{codim} I$, and suppose that 
$g_1, \ldots, g_k \in \ell^1(H, \omega \vert_H)$ have the property that 
$\{g_1+I, \ldots, g_k+I \}$ is a basis for 
$\ell^1(H, \omega \vert_H)/I$. Then it is easily checked that 
$\{\delta_{t_i}*g_j +J : i = 1, \ldots, n, \ j=1, \ldots, k \}$ is a basis for 
$\ell^1(G)/J$.
Next we show that J is not finitely generated. Assume towards a contradiction that
\begin{equation*}J = \ell^1(G, \omega)*f_1 + \cdots + \ell^1(G, \omega)*f_m,\end{equation*}for some 
$m \in \mathbb{N}$ and some 
$f_1, \ldots, f_m \in J$. Then each fi may be written as
\begin{equation*}f_i = \delta_{t_1}*f_i^{(1)} + \cdots + \delta_{t_n}*f_i^{(n)},\end{equation*}for some 
$f_i^{(1)}, \ldots, f_i^{(n)} \in I$. Let 
$g \in I$ be arbitrary. Then, in particular, 
$g \in J$, so it may be written as 
$g = h_1*f_1 + \cdots + h_m * f_m$ for some 
$h_1, \ldots, h_m \in \ell^1(G, \omega)$. Again, we may write each hi as 
$h_i = \delta_{t_1}*h_i^{(1)} + \cdots + \delta_{t_n}*h_i^{(n)}$, for some functions 
$h_i^{(1)}, \ldots, h_i^{(n)} \in \ell^1(G, \omega)$ supported on H. We have
\begin{equation*}h_i*f_i = \sum_{j, k=1}^n \delta_{t_j}*h_i^{(j)}*\delta_{t_k}*f_i^{(k)}
= \sum_{j, k =1}^n \delta_{t_jt_k}*\left(h_i^{(j)}\right)^{t_k^{-1}}*f_i^{(k)}
= \sum_{j, k =1}^n \delta_{t_jt_k}*\phi_{ijk},\end{equation*}where 
$\phi_{ijk} := (h_i^{(j)})^{t_k^{-1}}*f_i^{(k)}$. Since H is normal, for all 
$i,j,k$, we have 
${\rm supp\,} \phi_{ijk} \subset H$, so that 
${\rm supp\,} \left\{\delta_{t_jt_k}*\phi_{ijk} \right\} \subset t_jt_k H$. Since g is supported on H, it must be equal to the sum of those terms 
$\delta_{t_jt_k}*\phi_{ijk}$ which are supported on H. For each 
$k = 1, \ldots, n$, write 
$k^{\prime} \in \{1, \ldots, n \}$ for the natural number satisfying 
$t_k^{-1}H = t_{k^{\prime}}H$. We see that
\begin{equation*}g = g\vert_H = \sum_{k =1}^n \sum_{i=1}^m \delta_{t_{k^{\prime}}t_k}* \left(h_i^{(k^{\prime})}\right)^{t_k^{-1}}*f_i^{(k)} .\end{equation*} Hence, since g was arbitrary, I is generated by 
$\left\{f_i^{(k)} : i=1, \ldots, m, \ k=1, \ldots, n \right\}$. This contradiction concludes the proof.
In the proof of the next lemma, 
$\mathcal{B}(E)$ denotes the Banach algebra of bounded linear operators on a Banach space E.
Lemma 3.2. Let A be a Banach algebra with a finite-codimension left ideal, which is not finitely generated. Then:
(i) A contains a finite-codimension two-sided ideal that is not finitely generated as a left ideal.
(ii) If A is also unital, then A contains a finite-codimension maximal left ideal, which is not finitely generated.
Proof. (i) Let I be a left ideal of finite codimension in A, which is not finitely generated. Let J be the kernel of the map 
$ \theta \colon I \rightarrow \mathcal{B}(A/I)$ given by 
$a \mapsto (x + I \mapsto ax+I)$. Then
\begin{equation*}J = \{a \in I : ax \in I\ \text{for all } x \in A\}\end{equation*}and is a two-sided ideal contained in I (in fact the largest one). The ideal J has finite codimension in I, since 
$\dim(I/J) \leq \dim \operatorname{im} \theta \leq \dim \mathcal{B}(A/I) \lt \infty,$ and hence also has finite codimension in A. In particular, we can write 
$I = J + {\rm span \,}\{a_1, \ldots, a_n \}$ for some 
$n \in \mathbb{N}$ and some 
$a_1, \ldots, a_n \in I$. If J were finitely generated as a left ideal, then taking a finite generating set for J together with 
$a_1, \ldots, a_n$ would give a finite generating set for I. Hence, J cannot be finitely generated.
(ii) This follows from part (i) and [Reference Dales and Żelazko5, Lemma 2.9].
We are now ready to prove the first of our main results.
Proposition 3.3. Let G be an infinite group with a finite-index normal subgroup H which has an infinite abelian quotient. Let ω be a weight on G. Then 
$\ell^1(G, \omega)$ has a finite-codimension maximal left ideal that is not finitely generated. In particular, 
$\ell^1(G, \omega)$ satisfies the Dales–Żelazko Conjecture.
Proof. Since by [Reference Dales and Żelazko5] the Dales–Żelazko Conjecture holds in the commutative case, the Banach algebra 
$\ell^1\left(H/H^{\prime}, \widetilde{\omega|_H} \right)$ has a codimension-1 ideal which fails to be finitely generated. By considering the preimage of this ideal under the quotient map 
$\ell^1(H, \omega|_H) \rightarrow \ell^1(H/H^{\prime}, \widetilde{\omega|_H})$, we see that 
$\ell^1(H, \omega|_H)$ has a codimension-1 ideal which is not finitely generated. It follows from Lemma 3.1 that 
$\ell^1(G, \omega)$ has a finite-codimension left ideal which fails to be finitely generated. Hence, by Lemma 3.2(ii), 
$\ell^1(G, \omega)$ has a maximal left ideal of finite codimension which is not finitely generated, as required.
Proof of Theorem 1.2
(i) Suppose that G is virtually soluble. Then G has a finite-index soluble subgroup S that we may take to be normal. Set 
$k = \min \{i \in \mathbb{N} : [ S^{(i)} : S^{(i+1)}] = \infty \}$ and observe that 
$H := S^{(k)}$ is a finite-index subgroup of G with an infinite abelian quotient. Moreover, since H is characteristic in S, it is normal in G, so we may apply Proposition 3.3.
(ii) Suppose that G is virtually free. Then G contains a finite-index free subgroup H, which we may assume is normal. The result now follows from Proposition 3.3.
We now move on to our theorem about simple groups.
Proof of Theorem 1.3
By [Reference White10, Corollary 1.9(ii)] (and its proof), the augmentation ideal 
$\ell_0^1(G, \omega)$ is generated by finitely many elements of the form 
$\delta_e - \delta_t \ (t \in G)$. We shall show that this is the only proper, finite-codimension left ideal. Indeed, let I be a proper, left ideal of 
$\ell^1(G, \omega)$ of finite codimension. Then G acts linearly on the quotient 
$E :=\ell^1(G, \omega)/I$, and since G is simple, the action is either trivial or faithful. If the action was faithful, then G would be a linear group, which is impossible by Malcev’s Theorem [Reference Malcev8]. As such, the action is trivial, and so 
$ \delta_t \cdot x = x$ for all 
$x \in E$ and all 
$t \in G$. It follows that 
$(\delta_e - \delta_t) \cdot x = 0 \ (x \in E)$ for all 
$t \in G$ and, since these elements generate 
$\ell^1_0(G, \omega)$ as a left ideal, we must have 
$f \cdot x = 0$ for all 
$f \in \ell^1_0(G, \omega)$. As such, 
$\ell^1_0(G, \omega)$ is contained in the kernel of the action of 
$\ell^1(G,\omega)$ on E, which is contained in I, and hence I must equal the augmentation ideal by maximality. This completes the proof.
Finally, we turn towards the proof of Theorem 1.4. Our strategy for showing that the left ideals in question are finitely generated will involve reducing to the case of an ideal of the form 
$J_\omega(G,H)$ for a finite-index subgroup H. We shall show that for radial exponential weights, 
$J_\omega(\mathbb{F}_m, H)$ is finitely generated for any finite-index subgroup H of 
$\mathbb{F}_m$. Then, exploiting the fact that any finitely generated group is the quotient of some 
$\mathbb{F}_m$, we shall show that in fact 
$J_\omega(G, H)$ is finitely generated whenever G is a finitely generated group, H is a finite-index subgroup and ω is a radial exponential weight. To ease the notation, we fix the base of our radial exponential weights to be 2, although this plays no significant role in the proofs.
To carry this out, we first require a technical lemma about free groups. Note that the subgroup H of the lemma always has a generating set of the form described.
Lemma 3.4. Let 
$m\in \mathbb{N}$, let 
$\mathbb{F}_m$ be the free group on the set 
$\{a_1, \ldots, a_m\}$ and let H be a finitely generated subgroup of 
$\mathbb{F}_m$. Let 
$X = \{a_1^{\pm 1}, \ldots, a_m^{\pm 1} \}$ and let Y be a generating set for H of the form 
$\dot{B}^X_r \cap H$, for some 
$r \in \mathbb{N}$. Take 
$u \in H$, and write 
$u = y_1 y_2 \cdots y_n$, where 
$n = |u|_Y$ and 
$y_1, \ldots, y_n \in Y$. Write
\begin{equation*}y_i = x_{i,1} x_{i,2}\cdots x_{i,k_i} \quad (i=1,\ldots, n),\end{equation*}where 
$x_{i,p} \in X$ and 
$k_i = |y_i|_X$, for 
$i=1,\ldots, n$ and 
$p = 1,\ldots, k_i$.
(i) For each
$i = 1, \ldots, n$, when we reduce the expression for $y_iy_{i+1}$ given by
at most\begin{equation*}x_{i,1}\cdots x_{i, k_i}x_{i+1,1}\cdots x_{i+1, k_{i+1}},\end{equation*}$\min \{\lceil \frac{k_i}{2} \rceil , \lceil \frac{k_{i+1}}{2} \rceil \} -1$ of the elements $x_{i,1}, \ldots, x_{i, k_i}$ can cancel.
Moreover for each 
$j \in \{2, \ldots, n \}$, the following hold.
(ii) When we convert the expression for
$y_1y_2 \cdots y_j$ given by
to a reduced word, the elements\begin{equation*}x_{1,1}\cdots x_{1,k_1}x_{2,1} \cdots x_{2,k_2} \cdots x_{j,1}\cdots x_{j,k_j}\end{equation*}$x_{j,p}$ do not get canceled for $p= \lceil \frac{k_j}{2} \rceil, \ldots, k_j$.(iii)
$ |y_1 y_2 \cdots y_{j-1}|_X \lt |y_1y_2\cdots y_{j-1}y_{j}|_X$.
Proof. We first prove part (i). Observe that if any more than 
$\lceil k_{i+1}/2 \rceil -1$ (that is to say, half or more) of the elements 
$x_{i+1,1}, \ldots, x_{i+1,k_{i+1}}$ are canceled when reducing 
$x_{i,1}\cdots x_{i,k_i}x_{i+1,1}\cdots x_{i+1,k_{i+1}}$, then we remove at least as many elements from 
$x_{i,1},\ldots, x_{i,k_i}$ as we add from 
$ x_{i+1,1},\ldots, x_{i+1,k_{i+1}}$, so that 
$|y_iy_{i+1}|_X \leq |y_i|_X \leq r$. This implies that 
$y_iy_{i+1} \in Y\cup \{e \}$ by our hypothesis on the special form of the generating set Y, and this contradicts 
$n = |u|_Y$. By a symmetrical argument, we cannot cancel more than 
$\lceil k_i/2 \rceil -1$ elements either.
We shall prove parts (ii) and (iii) together by induction on j. The base case j = 2 follows from part (i). Suppose that the induction hypothesis holds for j. We shall now prove that (ii) holds for j + 1. Write
\begin{equation*}y_1y_2 \cdots y_j = z_1 z_2 \cdots z_q\end{equation*}for some 
$z_1, \ldots, z_q \in X$, where 
$q = |y_1 \cdots y_j|_X$ and 
$ z_1 z_2 \cdots z_q$ is a reduced word over X. By the induction hypothesis,
\begin{equation*}z_q = x_{j,k_j}, \quad z_{q-1} = x_{j, k_j-1}, \quad \ldots, \quad z_{q- \lfloor k_j/2 \rfloor} = x_{j, \lceil k_j/2 \rceil}.\end{equation*}By part (i), when we reduce
\begin{equation*}y_jy_{j+1} = x_{j,1}\cdots x_{j,k_j}x_{j+1, 1} \cdots x_{j+1, k_{j+1}},\end{equation*}at most 
$\lceil k_j/2 \rceil -1$ of the elements 
$x_{j+1, 1}, \ldots, x_{j+1, k_{j+1}}$ can cancel with the elements 
$x_{j,1}, \ldots, x_{j,k_j}$. This means that when we reduce
\begin{equation*}z_1 z_2 \cdots z_qx_{j+1, 1}\cdots x_{j+1, k_{j+1}},\end{equation*}the only cancellations that can occur are between the elements 
$x_{j+1, 1}, \ldots, x_{j+1, k_{j+1}}$ and the elements 
$x_{j,1}, \ldots, x_{j,k_j}$. However, part (i) also implies that at most 
$\lceil k_{j+1}/2 \rceil -1$ of these elements can cancel, and so 
$x_{j+1, p}$ will not be cancelled for 
$p = \lceil k_{j+1}/2 \rceil, \ldots, k_{j+1}$ as required for part (ii). It also follows that we are cancelling fewer terms from 
$z_1,\ldots, z_q$ than we are adding from 
$x_{j+1,1}, \ldots, x_{j+1, k_{j+1}}$, so that 
$ |y_1y_2 \cdots y_{j-1}|_X \lt |y_1y_2\cdots y_{j-1}y_{j}|_X$, and part (iii) follows.
Lemma 3.5. Let 
$m \in \mathbb{N}$, write 
$\mathbb{F}_m = \langle a_1,\ldots, a_m \rangle$, and let 
$X = \{a_1^{\pm 1}, \ldots, a_m^{\pm 1} \}$. Set 
$\omega(t) = 2^{|t|_X} \ (t \in \mathbb{F}_m)$. Let H be a finite-index subgroup of 
$\mathbb{F}_m$. Then the left ideal 
$J_\omega(\mathbb{F}_m, H)$ of 
$\ell^1(\mathbb{F}_m, \omega)$ is generated by finitely many elements of the form 
$\delta_e - \delta_t$, where 
$t \in H$.
Proof. Let 
$k = [\mathbb{F}_m : H]$ and let 
$t_1, \ldots, t_k$ be a right transversal for H in 
$\mathbb{F}_m$. Write 
$\gamma = \omega|_H$. Then 
$J_\omega(\mathbb{F}_m, H)$ can be written as
\begin{equation*}J_\omega(\mathbb{F}_m, H) = \ell^1_0(H,\gamma)*\delta_{t_1} + \cdots + \ell^1_0(H, \gamma)*\delta_{t_k}.\end{equation*} As such, it suffices to prove that 
$\ell^1_0(H,\gamma)$ is finitely generated as a left ideal of 
$\ell^1(H, \gamma)$. The weight γ may not be radial, so we cannot apply [Reference White10, Theorem 1.8] directly, but instead we adapt its proof.
Since H has finite index, it is finitely generated. Let Y be a finite generating set for H of the form 
$\dot{B}_r^X \cap H$ for some 
$r \in \mathbb{N}$. Let given 
$u \in H$, write 
$u = y_1y_2\cdots y_n$, for 
$y_1, \ldots, y_n \in Y$, where 
$n = |u|_Y$. By [Reference White10, Lemma 6.2(i)], we can write
\begin{equation*}\delta_e - \delta_u = \sum_{y \in Y} g_y*(\delta_e - \delta_y),\end{equation*} where each 
$g_y \in \mathbb{C} H$ and has the form
\begin{equation}
g_y = \sum_{j=0}^{n-1} h_y^{(j)},
\end{equation}where each 
$h_y^{(j)}$ is either 0 or 
$\delta_{y_1\cdots y_j}$ in the case that j ≠ 0 and is either 0 or δe in the case that j = 0. (Note that, contrary to what is stated immediately before it, [Reference White10, Lemma 6.2(i)] is a purely algebraic statement that is independent of the weight; we shall see that we are able to prove that part (ii) of that lemma also holds for γ by applying Lemma 3.4 above.)
For 
$j =1, \ldots, n-1$, we have 
$\|h_y^{(j)}\|_\gamma \leq 2^{|y_1 \cdots y_j|_X}$, and so 
$\|g_y\|_\gamma \leq 1 + \sum_{j=1}^{n-1} 2^{|y_1 \cdots y_j|_X}$. By Lemma 3.4(iii), this sum consists of strictly increasing powers of 2, each less than 
$2^{|u|_X}$, so that
\begin{equation}
\|g_y\|_\gamma \leq \sum_{j=0}^{|u|_X -1} 2^j \leq 2^{|u|_X} = \gamma(u) \quad (y \in Y).
\end{equation} We can now mimic the proof of [Reference White10, Theorem 1.8]. Enumerate 
$H = \{u_0 =e, u_1, u_2 \ldots \}$, and let 
$f = \sum_{i=0}^\infty \alpha_i \delta_{u_i} \in \ell_0^1(H,\gamma)$. For each 
$i \in \mathbb{N}$, write
\begin{equation*}\delta_e - \delta_{u_i} = \sum_{y \in Y} g_y^{(i)} * (\delta_e - \delta_y)\end{equation*}for some functions 
$g_y^{(i)} \in \mathbb{C} H$ as in Equation (3.1). Define functions 
$\phi_y \ (y \in Y)$ by
\begin{equation*}\phi_y = -\sum_{i=0}^\infty \alpha_i g_y^{(i)}\end{equation*}and note that the series converges because, by Equation (3.2), 
$\| g_y^{(i)} \|_\gamma \leq \gamma(u_i) \ (i \in \mathbb{N})$.
Then, since 
$\sum_{i=0}^\infty \alpha_i =0$, we have
\begin{align*}
f &= \sum_{i=0}^\infty \alpha_i \delta_{u_i} - \left(\sum_{i=0}^\infty \alpha_i \right) \delta_e = - \sum_{i=0}^\infty \alpha_i(\delta_e - \delta_{u_i}), \\
&= -\sum_{i=1}^\infty \alpha_i \left( \sum_{y \in Y} g_y^{(i)} *(\delta_e - \delta_y) \right)
= \sum_{y \in Y} \phi_y*(\delta_e - \delta_y).
\end{align*} As f was arbitrary, it follow that 
$\ell^1_0(H,\gamma)$ is generated by the finite set 
$\{\delta_e - \delta_y : y \in Y \}$, which completes the proof.
The next lemma is an interesting generalization of [Reference White10, Corollary 1.9(ii)], which states that 
$\ell^1_0(G, \omega)$ is finitely generated for any radial exponential weight ω on G.
Lemma 3.6. Let G be a finitely generated group with a finite, symmetric generating set X, and let H be a finite-index subgroup. Let ω be the weight on G defined by 
$\omega(t) = 2^{|t|_X} \ (t \in G)$. Then the left ideal 
$J_\omega(G,H)$ is finitely generated in 
$\ell^1(G, \omega)$. Moreover, the generators can be chosen to each have the form 
$\delta_e - \delta_t$ for some 
$t \in H$.
Proof. Write 
$X = \{u_1^{\pm 1},\ldots, u_n^{\pm 1} \}$ and let 
$\{v_1, \ldots, v_m \}$ be a finite generating set for H, where 
$n, m \in \mathbb{N}$. Writing 
$\mathbb{F}_n = \langle a_1, \ldots, a_n \rangle$, let 
$q \colon \mathbb{F}_n \to G$ denote the surjective homomorphism defined by 
$a_i \mapsto u_i \ (i=1, \ldots, n)$. Let 
$K = q^{-1}(H)$, which is a finite-index subgroup of 
$\mathbb{F}_n$.
Let β denote the weight on 
$\mathbb{F}_n$ given by 
$\beta(t) = 2^{|t|_Z}$, where 
$Z = \{a_1^{\pm 1}, \ldots, a_n^{\pm 1} \}$, and let 
$\widetilde{\beta}$ be the weight induced on G by regarding it as a quotient of 
$\mathbb{F}_n$ via q, as in Equation (2.1). We claim that 
$\widetilde{\beta} = \omega$. Indeed, note that
\begin{equation*}|t|_X = \inf \{|s|_Z : q(s) = t \},\end{equation*}and by Equation (2.1), we have
\begin{equation*}\widetilde{\beta}(t) = \inf\{\beta(s) : q(s) = t \} = \inf\{2^{|s|_Z} : q(s) = t \} = 2^{\inf \{|s|_Z : q(s) = t \}} = \omega(t).\end{equation*}The map q extends to a bounded algebra homomorphism, which we also denote by q,
\begin{equation*}q \colon \ell^1(\mathbb{F}_n, \beta) \to \ell^1(G, \widetilde{\beta}) = \ell^1(G, \omega).\end{equation*} It is routinely checked that 
$q(J_\beta(\mathbb{F}_n,K)) = J_\omega(G,H)$. By Lemma 3.5, 
$J_\beta(\mathbb{F}_n,K)$ is finitely generated, and hence so is 
$J_\omega(G,H)$. The final statement also follows from Lemma 3.5 since 
$q(\delta_e - \delta_t) = \delta_e - \delta_{q(t)} \ (t \in K)$.
We now prove our final theorem.
Proof of Theorem 1.4
(i) Let
$f \in \ell^1(G,\omega) \setminus \{0 \}$. We shall show that there is a finite-codimension maximal left ideal I in $\ell^1(G,\omega)$ for which $f \notin I$. By multiplying on the left by δt for some $t \in G$, we may assume that $f(e) \neq 0$. Let $\varepsilon = \frac{1}{2}|f(e)|$, and let F be a finite subset of G containing the identity for which
\begin{equation*}\sum_{t \in G \setminus F} |f(t)|\omega(t) \lt \varepsilon.\end{equation*}Since G is residually finite, there exists
$H \lhd G$ of finite index such that $H \cap F = \{e \}$.Let
$q \colon \ell^1(G, \omega) \to \ell^1(G/H, \widetilde{\omega})$ denote the quotient map. Then
(3.3)which is non-zero because\begin{equation}
q(f)(e) = \sum_{s\in H} f(s),
\end{equation}so that f(e) can never cancel with the rest of the terms in the sum (3.3). Therefore, in particular,\begin{equation*}\sum_{s \in H, s \neq e} |f(s)| \leq \sum_{s\in G \setminus F} |f(s)| \lt |f(e)|,\end{equation*}$q(f) \neq 0$. Since $G/H$ is a finite group, $\ell^1(G/H, \omega)$ is equal to $\mathbb{C}( G/H)$, which is semisimple. Therefore, there exists a maximal left ideal $\widetilde{I}$ in $\ell^1(G/H, \widetilde{\omega})$ such that $q(f) \notin \widetilde{I}$. Let $I = q^{-1}(\widetilde{I})$. Then I is a finite-codimension maximal left ideal of $\ell^1(G, \omega)$ and $f \notin I$.-
(ii) Let I be a finite-codimension left ideal of
$\ell^1(G,\omega)$. Then G acts linearly on the quotient $E:= \ell^1(G,\omega)/I$, and since G is not a linear group, the action cannot be faithful, so has a kernel, which we shall denote by $H \lhd G$. Since G is just infinite, H must have finite index in G.We claim that
$I \supset J_\omega(G,H)$. As the action of H on E is trivial, we must have $\delta_t \cdot x = x$, and hence $(\delta_e-\delta_t) \cdot x = 0$ for all $t\in H$ and $x \in E$. By Lemma 3.6, $J_\omega(G,H)$ is generated as a left ideal by elements of the form $\delta_e-\delta_t \ (t \in H)$, so it follows that $f \cdot x = 0$ for all $f \in J_\omega(G,H)$, which implies that $I \supset J_\omega(G,H)$.Finally, fix finitely many elements
$f_1, \ldots, f_k \in I$ such that $I = J_\omega(G,H) + {\rm span \,}\{f_1, \ldots, f_k\}$. Then a finite generating set for $J_\omega(G,H)$ together with $f_1, \ldots, f_k$ form a finite generating set for I.
Remark. Note that in Theorem 1.4(ii), the left ideals are not assumed to be closed. However, it follows from the above proof that all of the finite-codimension left ideals of the Banach algebra in Theorem 1.4 actually are closed. Indeed, we have seen that an arbitrary finite-codimension left ideal I is equal to 
$ J_\omega(G,H) + {\rm span \,}\{f_1, \ldots, f_k\}$, for some finite-index subgroup H and some 
$f_1, \ldots, f_k \in I$, and since 
$J_\omega(G,H)$ is closed, I must be as well. Not every unital Banach algebra has the property that all of its finite-codimension left ideals are closed: for intance, add a unit to any of the many interesting examples in [Reference Cabrera García, Dales and Rodríguez Palacios4]. This property can be rephrased as an automatic continuity property of 
$\ell^1(G,\omega)$, namely that every module map from 
$\ell^1(G,\omega)$ to a finite-dimensional Banach left 
$\ell^1(G,\omega)$ module is automatically continuous.
Acknowledgements
I would like to thank Ian Short for his support and hospitality during my time so far at the Open University. I would also like to thank Ulrik Enstad for his useful comments on an earlier draft of the article and Karthik Rajeev for her help with reference [Reference Albért1]. Finally, I would like to thank the anonymous referee for their careful reading of the article.
Competing interests
The author declares none.
