Description of Closed Maximal Ideals in Topological Algebras of Continuous Vector-Valued Functions

Let X be a completely regular Hausdorff space, A be a unital locally convex algebra with jointly continuous multiplication and C(X,A) be the algebra of all continuous A-valued functions on X equipped with the topology of \({\mathcal{K}(X)}\) -convergence. Moreover, let \({\mathfrak{M}_{\ell}(A)}\) and \({\mathfrak{M}(A)}\) denote the set of all closed maximal left and two-sided ideals in A, respectively. In this note, we describe all closed maximal left and two-sided ideals in C(X,A) and show that there exist bijections from \({\mathfrak{M}_{\ell}(C(X, A))}\) onto \({X \times \mathfrak{M}_{\ell}(A)}\) and \({\mathfrak{M}(C(X, A))}\) onto \({X \times \mathfrak{M}(A)}\) . We also present new characterizations of closed maximal ideals in C(X, A) when A is a unital commutative locally convex Gelfand–Mazur algebra with jointly continuous multiplication.     

Wide Subalgebras of Semisimple Lie Algebras

Let G be a connected semisimple algebraic group over \({\mathbb C}\) , with Lie algebra \({\mathfrak g}\) . Let \({\mathfrak h}\) be a subalgebra of \({\mathfrak g}\) . A simple finite-dimensional \({\mathfrak g}\) -module \({\mathbb V}\) is said to be \({\mathfrak h}\) -indecomposable if it cannot be written as a direct sum of two proper \({\mathfrak h}\) -submodules. We say that \({\mathfrak h}\) is wide, if all simple finite-dimensional \({\mathfrak g}\) -modules are \({\mathfrak h}\) -indecomposable. Some very special examples of indecomposable modules and wide subalgebras appear recently in the literature. In this paper, we describe several large classes of wide subalgebras of \({\mathfrak g}\) and initiate their systematic study. Our approach is based on the study of idempotents in the associative algebra of \({\mathfrak h}\) -invariant endomorphisms of \({\mathbb V}\) . We also discuss a relationship between wide subalgebras and epimorphic subgroups.     

Flat bundles on G/Γ and stability

Let G be a connected complex Lie group and Γ a cocompact lattice in G. Let H be a connected reductive complex affine algebraic group and \({\rho\, : \Gamma\, \longrightarrow H}\) a homomorphism such that \({\rho(\Gamma)}\) is not contained in some proper parabolic subgroup of H. Let \({E^\rho_H}\) be the holomorphic principal H–bundle on G/Γ associated to ρ. We prove that \({E^\rho_H}\) is polystable. If ρ satisfies the further condition that \({\rho(\Gamma)}\) is contained in a compact subgroup of H, then we prove that \({E^\rho_H}\) is stable.     

Non-Veech surfaces in {\mathcal{H}^{\rm hyp}(4)} are generic

We show that every surface in the component \({\mathcal{H}^{\rm hyp}(4)}\) , that is the moduli space of pairs \({(M,\omega)}\) where M is a genus three hyperelliptic Riemann surface and \({\omega}\) is an Abelian differential having a single zero on M, is either a Veech surface or a generic surface, i.e. its \({{\rm GL}^{+}(2,\mathbb{R})}\) -orbit is either a closed or a dense subset of \({\mathcal{H}^{\rm hyp}(4)}\) . The proof develops new techniques applicable in general to the problem of classifying orbit closures, especially in low genus. Combined with work of Matheus and the second author, a corollary is that there are at most finitely many non-arithmetic Teichmüller curves (closed orbits of surfaces not covering the torus) in \({\mathcal{H}^{\rm hyp}(4)}\) .     

Finite frames,P-frames and basically disconnected frames

Let \({\mathcal{P}}\) be an ideal of closed quotients of a completely regular frame L and \({\mathcal{R}_{\mathcal{P}}(L)}\) the collection of all functions in the ring \({\mathcal{R}(L)}\) whose support belong to \({\mathcal{P}}\) . We show that \({\mathcal{R}(L)}\) is a Noetherian ring if and only if \({\mathcal{R}(L)}\) is an Artinian ring if and only if L is a finite frame. Using this result, we next show that if \({\mathcal{P}}\) is the ideal of all compact closed quotients of L and L is \({\mathcal{P}}\) -continuous, then \({\mathcal{R}_{\mathcal{P}}(L)}\) is a Noetherian ring if and only if L is finite. Moreover, we show that L is a P-frame if and only if each ideal of \({\mathcal{R}(L)}\) is of the form \({\mathcal{R}_{\mathcal{P}}(L)}\) for some choice of \({\mathcal{P}}\) . We furnish equivalent conditions for \({\mathcal{R}_{\mathcal{P}}(L)}\) to be a prime ideal, a free ideal, and an essential ideal of \({\mathcal{R}(L)}\) separately in terms of the cozero elements of L. Finally, we show that L is basically disconnected if and only if \({\mathcal{R}(L)}\) is a coherent ring.     

Big elements in irreducible linear groups

Let V be a linear space over a field K of dimension n > 1, and let \({G \leq {\rm GL}(V)}\) be an irreducible linear group. In this paper we prove that the group G contains an element g such that rank \({(g - \alpha E_{n}) \geq \frac{n}{2}}\) for every \({\alpha \in K}\) , where E _n is the identity operator on V. This estimate is sharp for any \({n = 2^{m}}\) . The existence of such an element implies that the conjugacy class of G in GL(V) intersects the big Bruhat cell \({B\dot{w}_{0}B}\) of GL(V) non-trivially (here B is a fixed Borel subgroup of G). The latter fact is equivalent to the existence of a complete flag \({\mathfrak{F}}\) such that the flags \({g(\mathfrak{F}), \mathfrak{F}}\) are in general position for some g ∈ G.     

The Degree of Weakly Discretely Generated Spaces

A space X is discretely generated at a point \({x \in X}\) if for any \({A \subseteqq X}\) with \({x \in \textsf{cl}(A)}\) , there exists a discrete set \({D \subseteqq A}\) such that \({x \in \textsf{cl}(D)}\) . The space X is discretely generated if it is discretely generated at every point \({x \in X}\) . We say that X is weakly discretely generated if for any non-closed set \({A \subseteqq X}\) , there exists a discrete set \({D \subseteqq A}\) such that \({\textsf{cl}(D) \setminus A \neq \emptyset}\) . New results about these properties in the classes of pseudocompact and ?ech-complete spaces are obtained and a theorem of Ivanov and Osipov concerning the ordinal function idc is generalized to the class of ?ech-complete spaces.     

Anderson’s Orthogonality Catastrophe for One-Dimensional Systems

The overlap, \({\mathcal{D}_N}\) , between the ground state of N free fermions and the ground state of N fermions in an external potential in one spatial dimension is given by a generalized Gram determinant. An upper bound is \({\mathcal{D}_N\leq\exp(-\mathcal{I}_N)}\) with the so-called Anderson integral \({\mathcal{I}_N}\) . We prove, provided the external potential satisfies some conditions, that in the thermodynamic limit \({\mathcal{I}_N = \gamma\ln N + O(1)}\) as \({N\to\infty}\) . The coefficient γ > 0 is given in terms of the transmission coefficient of the one-particle scattering matrix. We obtain a similar lower bound on \({\mathcal{D}_N}\) concluding that \({\tilde{C} N^{-\tilde{\gamma}} \leq \mathcal{D}_N \leq CN^{-\gamma}}\) with constants C, \({\tilde{C}}\) , and \({\tilde{\gamma}}\) . In particular, \({\mathcal{D}_N\to 0}\) as \({N\to\infty}\) which is known as Anderson’s orthogonality catastrophe.     

Around a problem of Nicole Brillouët–Belluot

We determine nontrivial intervals \({I \subset(0,+\infty)}\) , numbers \({\alpha\in\mathbb R}\) and continuous bijections \({f \colon I \to I}\) such that f(x)f ^?1(x) = x ^α for every \({x\in I}\) .     

On the Number of Restricted Prime Factors of an Integer

Let \({q\geqq2}\) be an integer and denote S(n) the sum of the digits in base q of the positive integer n. Our main result is to estimate the sum \({\Sigma_{n\leqq x}\tilde{\omega}(n)}\) where \({\tilde{\omega}(n)}\) is the number of distinct prime factors p of n such that \({S(p) \equiv a \,{\rm mod} \,b \,(a \in \mathbb{Z}, b\geqq 2)}\) .     

Two Newton methods on the manifold of fixed-rank matrices endowed with Riemannian quotient geometries

We consider two Riemannian geometries for the manifold \({\mathcal{M }(p,m\times n)}\) of all \(m\times n\) matrices of rank \(p\) . The geometries are induced on \({\mathcal{M }(p,m\times n)}\) by viewing it as the base manifold of the submersion \(\pi :(M,N)\mapsto MN^\mathrm{T}\) , selecting an adequate Riemannian metric on the total space, and turning \(\pi \) into a Riemannian submersion. The theory of Riemannian submersions, an important tool in Riemannian geometry, makes it possible to obtain expressions for fundamental geometric objects on \({\mathcal{M }(p,m\times n)}\) and to formulate the Riemannian Newton methods on \({\mathcal{M }(p,m\times n)}\) induced by these two geometries. The Riemannian Newton methods admit a stronger and more streamlined convergence analysis than the Euclidean counterpart, and the computational overhead due to the Riemannian geometric machinery is shown to be mild. Potential applications include low-rank matrix completion and other low-rank matrix approximation problems.     

On the Relaxed Colouring Game and the Unilateral Colouring Game

In the paper we introduce the new game—the unilateral \({\mathcal{P}}\) -colouring game which can be used as a tool to study the r-colouring game and the (r, d)-relaxed colouring game. Let be given a graph G, an additive hereditary property \({\mathcal {P}}\) and a set C of r colours. In the unilateral \({\mathcal {P}}\) -colouring game similarly as in the r-colouring game, two players, Alice and Bob, colour the uncoloured vertices of the graph G, but in the unilateral \({\mathcal {P}}\) -colouring game Bob is more powerful than Alice. Alice starts the game, the players play alternately, but Bob can miss his move. Bob can colour the vertex with an arbitrary colour from C, while Alice must colour the vertex with a colour from C in such a way that she cannot create a monochromatic minimal forbidden subgraph for the property \({\mathcal {P}}\) . If after |V(G)| moves the graph G is coloured, then Alice wins the game, otherwise Bob wins. The \({\mathcal {P}}\) -unilateral game chromatic number, denoted by \({\chi_{ug}^\mathcal {P}(G)}\) , is the least number r for which Alice has a winning strategy for the unilateral \({\mathcal {P}}\) -colouring game with r colours on G. We prove that the \({\mathcal {P}}\) -unilateral game chromatic number is monotone and is the upper bound for the game chromatic number and the relaxed game chromatic number. We give the winning strategy for Alice to play the unilateral \({\mathcal {P}}\) -colouring game. Moreover, for k ≥  2 we define a class of graphs \({\mathcal {H}_k =\{G|{\rm every \;block \;of\;}G \; {\rm has \;at \;most}\; k \;{\rm vertices}\}}\) . The class \({\mathcal {H}_k }\) contains, e.g., forests, Husimi trees, line graphs of forests, cactus graphs. Let \({\mathcal {S}_d}\) be the class of graphs with maximum degree at most d. We find the upper bound for the \({\mathcal {S}_2}\) -unilateral game chromatic number for graphs from \({\mathcal {H}_3}\) and we study the \({\mathcal {S}_d}\) -unilateral game chromatic number for graphs from \({\mathcal {H}_4}\) for \({d \in \{2,3\}}\) . As the conclusion from these results we obtain the result for the d-relaxed game chromatic number: if \({G \in \mathcal {H}_k}\) , then \({\chi_g^{(d)}(G) \leq k + 2-d}\) , for \({k \in \{3, 4\}}\) and \({d \in \{0, \ldots, k-1\}}\) . This generalizes a known result for trees.     

Additive Coloring of Planar Graphs

An additive coloring of a graph G is an assignment of positive integers \({\{1,2,\ldots ,k\}}\) to the vertices of G such that for every two adjacent vertices the sums of numbers assigned to their neighbors are different. The minimum number k for which there exists an additive coloring of G is denoted by \({\eta (G)}\) . We prove that \({\eta (G) \, \leqslant \, 468}\) for every planar graph G. This improves a previous bound \({\eta (G) \, \leqslant \, 5544}\) due to Norin. The proof uses Combinatorial Nullstellensatz and the coloring number of planar hypergraphs. We also demonstrate that \({\eta (G) \, \leqslant \, 36}\) for 3-colorable planar graphs, and \({\eta (G) \, \leqslant \, 4}\) for every planar graph of girth at least 13. In a group theoretic version of the problem we show that for each \({r \, \geqslant \, 2}\) there is an r-chromatic graph G _r with no additive coloring by elements of any abelian group of order r.     

A Clifford Bundle Approach to the Differential Geometry of Branes

We first recall using the Clifford bundle formalism (CBF) of differential forms and the theory of extensors acting on \({\mathcal{C}\ell}\) (M, g) (the Clifford bundle of differential forms) the formulation of the intrinsic geometry of a differential manifold M equipped with a metric field g of signature (p, q) and an arbitrary metric compatible connection \({\nabla}\) introducing the torsion (2?1)-extensor field \({\tau}\) , the curvature (2 ? 2) extensor field \({\Re}\) and (once fixing a gauge) the connection (1?2)-extensor \({\omega}\) and the Ricci operator \({\partial \bigwedge \partial}\) (where \({\partial}\) is the Dirac operator acting on sections of \({\mathcal{C}\ell(M, g)}\) ) which plays an important role in this paper. Next, using the CBF we give a thoughtful presentation the Riemann or the Lorentzian geometry of an orientable submanifold M (dim M =  m) living in a manifold M? (such that M? \({\simeq \mathbb{R}^n}\) is equipped with a semi- Riemannian metric g? with signature (p?, q?) and p?+q? = n and its Levi- Civita connection D?) and where there is defined a metric g =  i*g?, where \({i : M \rightarrow}\) M? is the inclusion map. We prove several equivalent forms for the curvature operator \({\Re}\) of M. Moreover we show a very important result, namely that the Ricci operator of M is the (negative) square of the shape operator S of M (object obtained by applying the restriction on M of the Dirac operator ?? of \({\mathcal{C}\ell}\) (M?, g?) to the projection operator P). Also we disclose the relationship between the (1?2)-extensor \({\omega}\) and the shape biform \({\mathcal{S}}\) (an object related to S). The results obtained are used to give a mathematical formulation to Clifford’s theory of matter. It is hoped that our presentation will be useful for differential geometers and theoretical physicists interested, e.g., in string and brane theories and relativity theory by divulging, improving and expanding very important and so far unfortunately largely ignored results appearing in reference [13].     

Operator Ideals on Non-commutative Function Spaces

Suppose X and Y are Banach spaces, and \({{\mathcal{I}}}\) , \({{\mathcal{J}}}\) are operator ideals. compact operators). Under what conditions does the inclusion \({\mathcal{I}(X,Y) \subset \mathcal{J}(X,Y)}\) , or the equality \({\mathcal{I}(X,Y)\,=\,\mathcal{J}(X,Y)}\) , hold? We examine this question when \({\mathcal{I}, \mathcal{J}}\) are the ideals of Dunford–Pettis, strictly (co)singular, finitely strictly singular, inessential, or (weakly) compact operators, while X and Y are non-commutative function spaces. Since such spaces are ordered, we also address the same questions for positive parts of such ideals.     

Supercritical Holes for the Doubling Map

For a map \({S : X \to X}\) and an open connected set (= a hole) \({H \subset X}\) we define \({\mathcal{J}_H(S)}\) to be the set of points in X whose S-orbit avoids H. We say that a hole H ₀ is supercritical if

1. for any hole H such that \({\overline{H}_0 \subset H}\) the set \({\mathcal{J}_H(S)}\) is either empty or contains only fixed points of S;

1. for any hole H such that \({\overline{H} \subset H_0}\) the Hausdorff dimension of \({\mathcal{J}_H(S)}\) is positive.

The purpose of this note is to completely characterize all supercritical holes for the doubling map Tx =  2x mod 1.     

Topological genericity of nowhere differentiable functions in the disc algebra

In this paper we introduce a class of functions contained in the disc algebra \({\mathcal{A}(D)}\) . We study functions \({f \in \mathcal{A}(D)}\) which have the property that the continuous periodic function \({u = {\rm Re}f|_{\mathbb{T}}}\) , where \({\mathbb{T}}\) is the unit circle, is nowhere differentiable. We prove that this class is non-empty and instead, generically, every function \({f \in \mathcal{A}(D)}\) has the above property. Afterwards, we strengthen this result by proving that, generically, for every function \({f \in \mathcal{A}(D)}\) , both continuous periodic functions \({u = {\rm Re}f|_\mathbb{T}}\) and \({\tilde{u} = {\rm Im}f|_\mathbb{T}}\) are nowhere differentiable. We avoid any use of the Weierstrass function and we mainly use Baire’s Category Theorem.     

Categorical group invariants of 3-manifolds

For a given class \({\mathcal{G}}\) of groups, a 3-manifold M is of \({\mathcal{G}}\) -category \({\leq k}\) if it can be covered by k open subsets such that for each path-component W of the subsets the image of its fundamental group \({ \pi_1(W) \rightarrow \pi(M )}\) belongs to \({\mathcal{G}}\) . The smallest number k such that M admits such a covering is the \({\mathcal{G}}\) -category, \({cat_{\mathcal{G}}(M)}\) . If M is closed, it has \({\mathcal{G}}\) -category between 1 and 4. We characterize all closed 3-manifolds of \({\mathcal{G}}\) -category 1, 2, and 3 for various classes \({\mathcal{G}}\) .