A construction of nonabelian simple {\acute{\mathrm{e}}}tale fundamental groups

Under the assumption of the generalized Riemann hypothesis (GRH), we show that there is a real quadratic field \(K\) such that the \({\acute{\mathrm{e}}}\) tale fundamental group \(\pi ^{\acute{\mathrm{et}}}_1(\mathrm {Spec}\;\mathcal {O}_K)\) of the spectrum of the ring of integers \(\mathcal {O}_K\) of \(K\) is isomorphic to \(A_5\) . The proof uses standard methods involving Odlyzko bounds, as well as the proof of Serre’s modularity conjecture. To the best of the author’s knowledge, this is the first example of a number field \(K\) for which \(\pi ^{\acute{\mathrm{et}}}_1(\mathrm {Spec}\;\mathcal {O}_K)\) is finite, nonabelian and simple under the assumption of the GRH.     

Isomorphisms between Jacobson graphs

Let \(R\) be a commutative ring with a non-zero identity and \(\mathfrak {J}_R\) be its Jacobson graph. We show that if \(R\) and \(R'\) are finite commutative rings, then \(\mathfrak {J}_R\cong \mathfrak {J}_{R'}\) if and only if \(|J(R)|=|J(R')|\) and \(R/J(R)\cong R'/J(R')\) . Also, for a Jacobson graph \(\mathfrak {J}_R\) , we obtain the structure of group \(\mathrm {Aut}(\mathfrak {J}_R)\) of all automorphisms of \(\mathfrak {J}_R\) and prove that under some conditions two semi-simple rings \(R\) and \(R'\) are isomorphic if and only if \(\mathrm {Aut}(\mathfrak {J}_R)\cong \mathrm {Aut}(\mathfrak {J}_{R'})\) .     

Pseudo-effective cone of Grassmann bundles over a curve

Let \(E\) be a vector bundle over a smooth projective curve \(X\) defined over an algebraically closed field \(k\) . For any integer \(1\,\le \, r\, <\, \mathrm{rank}(E)\) , let \(\mathrm{Gr}_r(E)\,\longrightarrow \, X\) be a Grassmann bundle parametrizing all \(r\) dimensional quotients of the fibers of \(E\) . We compute the pseudo-effective cone in the real Néron–Severi group \(\mathrm{NS}(\mathrm{Gr}_r(E))_\mathbb{R }\) . We prove that this cone coincides with the nef cone in \(\mathrm{NS}(\mathrm{Gr}_r(E))_\mathbb{R }\) if and only if the vector bundle \(E\) is semistable (respectively, strongly semistable) when the characteristic of \(k\) is zero (respectively, positive). Examples are given to show that this characterization of (strong) semistability is not true for vector bundles on higher dimensional projective varieties.     

Polynomials for \mathrm{GL}_p\times \mathrm{GL}_q orbit closures in the flag variety

The subgroup \(K=\mathrm{GL}_p \times \mathrm{GL}_q\) of \(\mathrm{GL}_{p+q}\) acts on the (complex) flag variety \(\mathrm{GL}_{p+q}/B\) with finitely many orbits. We introduce a family of polynomials specializing representatives for cohomology classes of the orbit closures in the Borel model. We define and study \(K\) -orbit determinantal ideals to support the geometric naturality of these representatives. Using a modification of these ideals, we describe an analogy between two local singularity measures: the \(H\) -polynomials and the Kazhdan–Lusztig–Vogan polynomials.     

Vertex transitive graphs from injective linear mappings

Based on a motivation coming from the study of the metric structure of the category of finite dimensional vector spaces over a finite field \(\mathbb {F}\) , we examine a family of graphs, defined for each pair of integers \(1 \le k \le n\) , with vertex set formed by all injective linear transformations \(\mathbb {F}^k \rightarrow \mathbb {F}^n\) and edges corresponding to pairs of mappings, \(f\) and \(g\) , with \(\lambda (f,g)= \dim \mathrm{Im }(f-g)=1 \) . For \(\mathbb {F}\cong \mathrm{GF }(q)\) , this graph will be denoted by \(\mathrm{INJ }_q(k,n)\) . We show that all such graphs are vertex transitive and Hamiltonian and describe the full automorphism group of each \(\mathrm{INJ }_q (k,n)\) for \(k . Using the properties of line-transitive groups, we completely determine which of the graphs \(\mathrm{INJ }_q (k,n)\) are Cayley and which are not. The Cayley ones consist of three infinite families, corresponding to pairs \((1,n),\,(n-1,n)\) , and \((n,n)\) , with \(n\) and \(q\) arbitrary, and of two sporadic examples \(\mathrm{INJ }_{2} (2,5)\) and \(\mathrm{INJ }_{2}(3,5)\) . Hence, the overwhelming majority of our graphs is not Cayley.     

On the rank of incidence matrices in projective Hjelmslev spaces

Let \(R\) be a finite chain ring with \(|R|=q^m\) , \(R/{{\mathrm{Rad}}}R\cong \mathbb {F}_q\) , and let \(\Omega ={{\mathrm{PHG}}}({}_RR^n)\) . Let \(\tau =(\tau _1,\ldots ,\tau _n)\) be an integer sequence satisfying \(m=\tau _1\ge \tau _2\ge \cdots \ge \tau _n\ge 0\) . We consider the incidence matrix of all shape \(\varvec{m}^s=(\underbrace{m,\ldots ,m}_s)\) versus all shape \(\tau \) subspaces of \(\Omega \) with \(\varvec{m}^s\preceq \tau \preceq \varvec{m}^{n-s}\) . We prove that the rank of \(M_{\varvec{m}^s,\tau }(\Omega )\) over \(\mathbb {Q}\) is equal to the number of shape \(\varvec{m}^s\) subspaces. This is a partial analog of Kantor’s result about the rank of the incidence matrix of all \(s\) dimensional versus all \(t\) dimensional subspaces of \({{\mathrm{PG}}}(n,q)\) . We construct an example for shapes \(\sigma \) and \(\tau \) for which the rank of \(M_{\sigma ,\tau }(\Omega )\) is not maximal.     

The theme of a vanishing period

Consider a multivalued formal function of the type 1 $$\begin{aligned} \varphi (s) : = \sum _{j=0}^k\,c_j(s).s^{\lambda + m_j}.(\mathrm{Log}\,s)^j, \end{aligned}$$ where \(\lambda \) is a positive rational number, \(c_j\) is in \({{\mathrm{\mathbb {C}}}}[[s]]\) and \(m_j \in \mathbb {N}\) for \(j \in [0,k-1]\) . The theme associated with such a \(\varphi \) is the “minimal filtered integral equation” satisfied by \(\varphi \) , in a sense which is made precise in this article. We study such objects and show that their isomorphism classes may be characterized by a finite set of complex numbers, when we assume the Bernstein polynomial of \(\varphi \) to be fixed. For a given \(\lambda \) , to fix the Bernstein polynomial is equivalent to fix a finite set of integers associated with the logarithm of the monodromy in the geometric situation described below. Our aim is to construct some analytic invariants, for instance in the following situation, let \(f : X \rightarrow D\) be a proper holomorphic function defined on a complex manifold \(X\) with values in a disc \(D\) . We assume that the only critical value is \(0 \in D\) and we consider this situation as a degenerating family of compact complex manifolds to a singular compact complex space \(f^{-1}(0)\) . To a smooth \((p+1)\) -form \(\omega \) on \(X\) such that \(\mathrm{d}\omega = 0 = \mathrm{d}f \wedge \omega \) and to a vanishing \(p\) -cycle \(\gamma \) chosen in the generic fiber \(f^{-1}(s_0), s_0 \in D \setminus \{0\}\) , we associated a “vanishing period” \(F_{\gamma }(s) : = \int _{\gamma _s} \omega \big /\mathrm{d}f \) which has an asymptotic expansion at \(0\) of the form \((1)\) above, when \(\gamma \) is chosen in the spectral subspace of \(H_p(f^{-1}(s_0), {{\mathrm{\mathbb {C}}}})\) for the eigenvalue \(\mathrm{e}^{2i\pi .\lambda }\) of the monodromy of \(f\) . Here \((\gamma _s)_{s \in D^*}\) is the horizontal multivalued family of \(p\) -cycles in the fibers of \(f\) obtained from the choice of \(\gamma \) . The aim of this article was to study the module generated by such a \(\varphi \) over the algebra \(\tilde{\mathcal {A}}\) , which is the \(b\) -completion of the algebra \(\mathcal {A}\) generated by the operators \(\mathrm{a} : = \times s\) and \(\mathrm{b} : = \int _{0}^{s}\) .     

Fixed points and homology of superelliptic Jacobians

Let \(\eta : C_{f,N}\rightarrow \mathbb {P}^1\) be a cyclic cover of \(\mathbb {P}^1\) of degree \(N\) which is totally and tamely ramified for all the ramification points. We determine the group of fixed points of the cyclic covering group \({{\mathrm{Aut}}}(\eta )\simeq \mathbb {Z}/ N \mathbb {Z}\) acting on the Jacobian \(J_N:={{\mathrm{Jac}}}(C_{f,N})\) . For each prime \(\ell \) distinct from the characteristic of the base field, the Tate module \(T_\ell J_N\) is shown to be a free module over the ring \(\mathbb {Z}_\ell [T]/(\sum _{i=0}^{N-1}T^i)\) . We also study the subvarieties of \(J_N\) and calculate the degree of the induced polarization on the new part \(J_N^\mathrm {new}\) of the Jacobian.     

On a subsemigroup of the universal covering of Lie semigroups

Let \(G\) be a connected Lie group and \(S\) a generating Lie semigroup. An important fact is that generating Lie semigroups admit simply connected covering semigroups. Denote by \(\widetilde{S}\) the simply connected universal covering semigroup of \(S\) . In connection with the problem of identifying the semigroup \(\Gamma (S)\) of monotonic homotopy with a certain subsemigroup of the simply connected covering semigroup \(\widetilde{S}\) we consider in this paper the following subsemigroup $$\begin{aligned} \widetilde{S}_{L}=\overline{\left\langle \mathrm {Exp}(\mathbb {L} (S))\right\rangle } \subset \widetilde{S}, \end{aligned}$$ where \(\mathrm {Exp}:\mathbb {L}(S)\rightarrow S\) is the lifting to \( \widetilde{S}\) of the exponential mapping \(\exp :\mathbb {L}(S)\rightarrow S\) . We prove that \(\widetilde{S}_{L}\) is also simply connected under the assumption that the Lie semigroup \(S\) is right reversible. We further comment how this result should be related to the identification problem mentioned above.     

Uncertainty principles and sum complexes

Let \(p\) be a prime and let \(A\) be a nonempty subset of the cyclic group \(C_p\) . For a field \({\mathbb F}\) and an element \(f\) in the group algebra \({\mathbb F}[C_p]\) let \(T_f\) be the endomorphism of \({\mathbb F}[C_p]\) given by \(T_f(g)=fg\) . The uncertainty number \(u_{{\mathbb F}}(A)\) is the minimal rank of \(T_f\) over all nonzero \(f \in {\mathbb F}[C_p]\) such that \(\mathrm{supp}(f) \subset A\) . The following topological characterization of uncertainty numbers is established. For \(1 \le k \le p\) define the sum complex \(X_{A,k}\) as the \((k-1)\) -dimensional complex on the vertex set \(C_p\) with a full \((k-2)\) -skeleton whose \((k-1)\) -faces are all \(\sigma \subset C_p\) such that \(|\sigma |=k\) and \(\prod _{x \in \sigma }x \in A\) . It is shown that if \({\mathbb F}\) is algebraically closed then $$\begin{aligned} u_{{\mathbb F}}(A)=p-\max \{k :\tilde{H}_{k-1}(X_{A,k};{\mathbb F}) \ne 0\}. \end{aligned}$$ The main ingredient in the proof is the determination of the homology groups of \(X_{A,k}\) with field coefficients. In particular it is shown that if \(|A| \le k\) then \(\tilde{H}_{k-1}(X_{A,k};{\mathbb F}_p)\!=\!0.\)      

The Hardy–Rellich Inequality and Uncertainty Principle on the Sphere

Let \(\Delta _0\) be the Laplace–Beltrami operator on the unit sphere \(\mathbb {S}^{d-1}\) of \({\mathbb R}^d\) . We show that the Hardy–Rellich inequality of the form $$\begin{aligned} \mathop \int \limits _{\mathbb {S}^{d-1}} \left| f (x)\right| ^2 \mathrm{d}{\sigma }(x) \le c_d \min _{e\in \mathbb {S}^{d-1}} \mathop \int \limits _{\mathbb {S}^{d-1}} (1- {\langle }x, e {\rangle }) \left| (-\Delta _0)^{\frac{1}{2}}f(x) \right| ^2 \mathrm{d}{\sigma }(x) \end{aligned}$$ holds for \(d =2\) and \(d \ge 4\) but does not hold for \(d=3\) with any finite constant, and the optimal constant for the inequality is \(c_d = 8/(d-3)^2\) for \(d =2, 4, 5,\) and, under additional restrictions on the function space, for \(d\ge 6\) . This inequality yields an uncertainty principle of the form $$\begin{aligned} \min _{e\in \mathbb {S}^{d-1}} \mathop \int \limits _{\mathbb {S}^{d-1}} (1- {\langle }x, e {\rangle }) |f(x)|^2 \mathrm{d}{\sigma }(x) \mathop \int \limits _{\mathbb {S}^{d-1}}\left| \nabla _0 f(x)\right| ^2 \mathrm{d}{\sigma }(x) \ge c'_d \end{aligned}$$ on the sphere for functions with zero mean and unit norm, which can be used to establish another uncertainty principle without zero mean assumption, both of which appear to be new.     

On Sharp Aperture-Weighted Estimates for Square Functions

Let \(S_{\alpha ,\psi }(f)\) be the square function defined by means of the cone in \({\mathbb R}^{n+1}_{+}\) of aperture \(\alpha \) , and a standard kernel \(\psi \) . Let \([w]_{A_p}\) denote the \(A_p\) characteristic of the weight \(w\) . We show that for any \(1<p<\infty \) and \(\alpha \ge 1\) , $$\begin{aligned} \Vert S_{\alpha ,\psi }\Vert _{L^p(w)}\lesssim \alpha ^n[w]_{A_p}^{\max \left( \frac{1}{2},\frac{1}{p-1}\right) }. \end{aligned}$$ For each fixed \(\alpha \) the dependence on \([w]_{A_p}\) is sharp. Also, on all class \(A_p\) the result is sharp in \(\alpha \) . Previously this estimate was proved in the case \(\alpha =1\) using the intrinsic square function. However, that approach does not allow to get the above estimate with sharp dependence on \(\alpha \) . Hence we give a different proof suitable for all \(\alpha \ge 1\) and avoiding the notion of the intrinsic square function.     

Cohomology classes of conormal bundles of Schubert varieties and Yangian weight functions

We consider the conormal bundle of a Schubert variety \(S_I\) in the cotangent bundle \(T^*\!{{\mathrm{\mathrm {Gr}}}}\) of the Grassmannian \({{\mathrm{\mathrm {Gr}}}}\) of \(k\) -planes in \({{\mathrm{\mathbb {C}}}}^n\) . This conormal bundle has a fundamental class \({\kappa _I}\) in the equivariant cohomology \(H^*_{{{\mathrm{\mathbb T}}}}(T^*\!\!{{\mathrm{\mathrm {Gr}}}})\) . Here \({{\mathrm{\mathbb T}}}=({{\mathrm{\mathbb {C}}}}^*)^n\times {{\mathrm{\mathbb {C}}}}^*\) . The torus \(({{\mathrm{\mathbb {C}}}}^*)^n\) acts on \(T^*\!{{\mathrm{\mathrm {Gr}}}}\) in the standard way and the last factor \({{\mathrm{\mathbb {C}}}}^*\) acts by multiplication on fibers of the bundle. We express this fundamental class as a sum \(Y_I\) of the Yangian \(Y(\mathfrak {gl}_2)\) weight functions \((W_J)_J\) . We describe a relation of \(Y_I\) with the double Schur polynomial \([S_I]\) . A modified version of the \(\kappa _I\) classes, named \(\kappa '_I\) , satisfy an orthogonality relation with respect to an inner product induced by integration on the non-compact manifold \(T^*\!{{\mathrm{\mathrm {Gr}}}}\) . This orthogonality is analogous to the well known orthogonality satisfied by the classes of Schubert varieties with respect to integration on \({{\mathrm{\mathrm {Gr}}}}\) . The classes \((\kappa '_I)_I\) form a basis in the suitably localized equivariant cohomology \(H^*_{{{\mathrm{\mathbb T}}}}(T^*\!\!{{\mathrm{\mathrm {Gr}}}})\) . This basis depends on the choice of the coordinate flag in \({{\mathrm{\mathbb {C}}}}^n\) . We show that the bases corresponding to different coordinate flags are related by the Yangian R-matrix.     

Logarithmic Mean Oscillation on the Polydisc,Multi-Parameter Paraproducts and Iterated Commutators

We introduce another notion of bounded logarithmic mean oscillation in the \(N\) -torus and give an equivalent definition in terms of boundedness of multi-parameter paraproducts from the dyadic little \(\mathrm {BMO}\) , \(\mathrm {bmo}^d(\mathbb {T}^N)\) to the dyadic product \(\mathrm {BMO}\) space, \(\mathrm {BMO}^d(\mathbb {T}^N)\) . We also obtain a sufficient condition for the boundedness of the iterated commutators from the subspace of \(\mathrm {bmo}(\mathbb {R}^N)\) consisting of functions with support in \([0,1]^N\) to \(\mathrm {BMO}(\mathbb {R}^N)\) .     

Pro-\mathcal {C} completions of orientable \text{ PD }^3-pairs

Let \({\mathcal {C}}\) be a class of finite groups. We study some sufficient conditions for the pro- \({\mathcal {C}}\) completion of an orientable \(\text{ PD }^3\) -pair over \(\mathbb {Z}\) to be an orientable profinite \(\text{ PD }^3\) -pair over \(\mathbb {F}_p\) . More results are proven for the pro- \(p\) completion of \(\text{ PD }^3\) -pairs.     

Sharp local estimates for the Szegö–Weinberger profile in Riemannian manifolds

We study the local Szegö–Weinberger profile in a geodesic ball \(B_g(y_0,r_0)\) centered at a point \(y_0\) in a Riemannian manifold \(({\mathcal {M}},g)\) . This profile is obtained by maximizing the first nontrivial Neumann eigenvalue \(\mu _2\) of the Laplace–Beltrami Operator \(\Delta _g\) on \({\mathcal {M}}\) among subdomains of \(B_g(y_0,r_0)\) with fixed volume. We derive a sharp asymptotic bounds of this profile in terms of the scalar curvature of \({\mathcal {M}}\) at \(y_0\) . As a corollary, we deduce a local comparison principle depending only on the scalar curvature. Our study is related to previous results on the profile corresponding to the minimization of the first Dirichlet eigenvalue of \(\Delta _g\) , but additional difficulties arise due to the fact that \(\mu _2\) is degenerate in the unit ball in \(\mathbb {R}^N\) and geodesic balls do not yield the optimal lower bound in the asymptotics we obtain.     

Structure of \mathrm {Gal}(\mathbb {k}_2^{(2)}/\mathbb {k}) for some fields \mathbb {k}=\mathbb {Q}(\sqrt{2p_1p_2},i) with \mathbf {C}l_2(\mathbb {k})\simeq (2, 2, 2)

Let \(p_1 \equiv p_2 \equiv 5\pmod 8\) be different primes. Put \(i=\sqrt{-1}\) and \(d=2p_1p_2\) , then the bicyclic biquadratic field \(\mathbb {k}=\mathbb {Q}(\sqrt{d},i)\) has an elementary abelian 2-class group of rank \(3\) . In this paper we determine the nilpotency class, the coclass, the generators and the structure of the non-abelian Galois group \(\mathrm {Gal}(\mathbb {k}_2^{(2)}/\mathbb {k})\) of the second Hilbert 2-class field \(\mathbb {k}_2^{(2)}\) of \(\mathbb {k}\) . We study the capitulation problem of the 2-classes of \(\mathbb {k}\) in its seven unramified quadratic extensions \(\mathbb {K}_i\) and in its seven unramified bicyclic biquadratic extensions \(\mathbb {L}_i\) .     

Salem numbers in dynamics on Kähler threefolds and complex tori

Let \(X\) be a compact Kähler manifold of dimension \(k\!\le \! 4\) and \(f{:}X\!\rightarrow \! X\) a pseudo-automorphism. If the first dynamical degree \(\lambda _1(f)\) is a Salem number, we show that either \(\lambda _1(f)=\lambda _{k-1}(f)\) or \(\lambda _1(f)^2=\lambda _{k-2}(f)\) . In particular, if \({\dim }(X)=3\) then \(\lambda _1(f)=\lambda _2(f)\) . We use this to show that if \(X\) is a complex 3-torus and \(f\) is an automorphism of \(X\) with \(\lambda _1(f)>1\) , then \(f\) has a non-trivial equivariant holomorphic fibration if and only if \(\lambda _1(f)\) is a Salem number. If \(X\) is a complex 3-torus having an automorphism \(f\) with \(\lambda _1(f)=\lambda _2(f)>1\) but is not a Salem number, then the Picard number of \(X\) must be 0, 3 or 9, and all these cases can be realized.     

The {\mathcal {A}}-Truncated K-Moment Problem

Let \({\mathcal {A}}\subseteq {\mathbb {N}}^n\) be a finite set, and \(K\subseteq {\mathbb {R}}^n\) be a compact semialgebraic set. An \({\mathcal {A}}\) -truncated multisequence ( \({\mathcal {A}}\) -tms) is a vector \(y=(y_{\alpha })\) indexed by elements in \({\mathcal {A}}\) . The \({\mathcal {A}}\) -truncated \(K\) -moment problem ( \({\mathcal {A}}\) -TKMP) concerns whether or not a given \({\mathcal {A}}\) -tms \(y\) admits a \(K\) -measure \(\mu \) , i.e., \(\mu \) is a nonnegative Borel measure supported in \(K\) such that \(y_\alpha = \int _K x^\alpha \mathtt {d}\mu \) for all \(\alpha \in {\mathcal {A}}\) . This paper proposes a numerical algorithm for solving \({\mathcal {A}}\) -TKMPs. It aims at finding a flat extension of \(y\) by solving a hierarchy of semidefinite relaxations \(\{(\mathtt {SDR})_k\}_{k=1}^\infty \) for a moment optimization problem, whose objective \(R\) is generated in a certain randomized way. If \(y\) admits no \(K\) -measures and \({\mathbb {R}}[x]_{{\mathcal {A}}}\) is \(K\) -full (there exists \(p \in {\mathbb {R}}[x]_{{\mathcal {A}}}\) that is positive on \(K\) ), then \((\mathtt {SDR})_k\) is infeasible for all \(k\) big enough, which gives a certificate for the nonexistence of representing measures. If \(y\) admits a \(K\) -measure, then for almost all generated \(R\) , this algorithm has the following properties: i) we can asymptotically get a flat extension of \(y\) by solving the hierarchy \(\{(\mathtt {SDR})_k\}_{k=1}^\infty \) ; ii) under a general condition that is almost sufficient and necessary, we can get a flat extension of \(y\) by solving \((\mathtt {SDR})_k\) for some \(k\) ; iii) the obtained flat extensions admit a \(r\) -atomic \(K\) -measure with \(r\le |{\mathcal {A}}|\) . The decomposition problems for completely positive matrices and sums of even powers of real linear forms, and the standard truncated \(K\) -moment problems, are special cases of \({\mathcal {A}}\) -TKMPs. They can be solved numerically by this algorithm.     

A study of saturated tensor cone for symmetrizable Kac–Moody algebras

Let \(\mathfrak {g}\) be a symmetrizable Kac-Moody Lie algebra with the standard Cartan subalgebra \(\mathfrak {h}\) and the Weyl group \(W\) . Let \(P_+\) be the set of dominant integral weights. For \(\lambda \in P_+\) , let \(L(\lambda )\) be the integrable, highest weight (irreducible) representation of \(\mathfrak {g}\) with highest weight \(\lambda \) . For a positive integer \(s\) , define the saturated tensor semigroup as $$\begin{aligned} \Gamma _s:= \{(\lambda _1, \dots , \lambda _s,\mu )\in P_+^{s+1}: \exists \, N\ge 1 \,\text {with}\,L(N\mu )\subset L(N\lambda _1)\otimes \dots \otimes L(N\lambda _s)\}. \end{aligned}$$ The aim of this paper is to begin a systematic study of \(\Gamma _s\) in the infinite dimensional symmetrizable Kac-Moody case. In this paper, we produce a set of necessary inequalities satisfied by \(\Gamma _s\) . These inequalities are indexed by products in \(H^*(G^{\mathrm{min }}/B; \mathbb {Z})\) for \(B\) the standard Borel subgroup, where \(G^{\mathrm{min }}\) is the ‘minimal’ Kac-Moody group with Lie algebra \(\mathfrak {g}\) . The proof relies on the Kac-Moody analogue of the Borel-Weil theorem and Geometric Invariant Theory (specifically the Hilbert-Mumford index). In the case that \(\mathfrak {g}\) is affine of rank 2, we show that these inequalities are necessary and sufficient. We further prove that any integer \(d>0\) is a saturation factor for \(A^{(1)}_1\) and 4 is a saturation factor for \(A^{(2)}_2\) .