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\) .     

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.     

Brauer algebras of type \mathrm{I}_2^n(n\ge 5)

We will present an algebra related to the Coxeter group of type \(\mathrm{I}_2^n\) which can be taken as the twisted subalgebra in Brauer algebra of type \(\mathrm{A}_{n-1}\) . Also, we will describe some properties of this algebra.     

Growth in solvable subgroups of {{\mathrm{GL}}}_r({\mathbb {Z}}/p{\mathbb {Z}})

Let \(K={\mathbb {Z}}/p{\mathbb {Z}}\) and let \(A\) be a subset of \({{\mathrm{GL}}}_r(K)\) such that \(\langle A \rangle \) is solvable. We reduce the study of the growth of \(A\) under the group operation to the nilpotent setting. Fix a positive number \(C\ge 1\) ; we prove that either \(A\) grows (meaning \(|A_3|\ge C|A|\) ), or else there are groups \(U_R\) and \(S\) , with \(U_R\unlhd S \unlhd \langle A\rangle \) , such that \(S/U_R\) is nilpotent, \(A_k\cap S\) is large and \(U_R\subseteq A_k\) , where \(k\) depends only on the rank \(r\) of \({{\mathrm{GL}}}_r(K)\) . Here \(A_k = \{x_1 x_2 \cdots x_k : x_i \in A \cup A^{-1} \cup \{1\}\}\) . When combined with recent work by Pyber and Szabó, the main result of this paper implies that it is possible to draw the same conclusions without supposing that \(\langle A \rangle \) is solvable.     

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.     

Extremal effective divisors on \overline{\mathcal M}_{1,n}

For every \(n\ge 3\) , we exhibit infinitely many extremal effective divisors on \(\overline{\mathcal M}_{1,n}\) , the Deligne-Mumford moduli space parameterizing stable genus one curves with \(n\) ordered marked points.     

On the Chromatic Number of \mathbb {R}^4

The lower bound for the chromatic number of \(\mathbb {R}^4\) is improved from \(7\) to \(9\) . Three graphs with unit distance embeddings in \(\mathbb {R}^4\) are described. The first is a \(7\) -chromatic graph of order \(14\) whose chromatic number can be verified by inspection. The second is an \(8\) -chromatic graph of order \(26\) . In this case the chromatic number can be verified quickly by a simple computer program. The third graph is a \(9\) -chromatic graph of order \(65\) for which computer verification takes about one minute.     

The \bar{\partial }-Equation on an Annulus Between Two Strictly q-Convex Domains with Smooth Boundaries

In this paper, we study the global boundary regularity of the \(\bar{\partial }\) - equation on an annulus domain \(\Omega \) between two strictly \(q\) -convex domains with smooth boundaries in \(\mathbb{C }^n\) for some bidegree. To this finish, we first show that the \(\bar{\partial }\) -operator has closed range on \(L^{2}_{r, s}(\Omega )\) and the \(\bar{\partial }\) -Neumann operator exists and is compact on \(L^{2}_{r,s}(\Omega )\) for all \(r\ge 0\) , \(q\le s\le n-q- 1\) . We also prove that the \(\bar{\partial }\) -Neumann operator and the Bergman projection operator are continuous on the Sobolev space \(W^{k}_{r,s}(\Omega )\) , \(k\ge 0\) , \(r\ge 0\) , and \(q\le s\le n-q-1\) . Consequently, the \(L^{2}\) -existence theorem for the \(\bar{\partial }\) -equation on such domain is established. As an application, we obtain a global solution for the \(\bar{\partial }\) equation with Hölder and \(L^p\) -estimates on strictly \(q\) -concave domain with smooth \(\mathcal C ^2\) boundary in \(\mathbb{C }^n\) , by using the local solutions and applying the pushing out method of Kerzman (Commun Pure Appl Math 24:301–380, 1971).     

On the continuity of \text{ SLE }_{\kappa } in \kappa

We prove that for almost every Brownian motion sample, the corresponding SLE \(_\kappa \) curves parameterized by capacity exist and change continuously in the supremum norm when \(\kappa \) varies in the interval \([0,\kappa _0)\) , where \(\kappa _0=8(2-\sqrt{3})\approx 2.1\) . We estimate the \(\kappa \) -dependent modulus of continuity of the curves and also give an estimate on the modulus of continuity for the supremum norm change with \(\kappa \) .     

The rearrangement-invariant space \Gamma _{p,\phi }

Fix \(b\in \mathbb R _+\) and \(p\in (1,\infty )\) . Let \(\phi \) be a positive measurable function on \(I_b:=(0,b)\) . Define the Lorentz Gamma norm, \(\rho _{p,\phi }\) , at the measurable function \(f:\mathbb R _+\rightarrow \mathbb R _+\) by \(\rho _{{}_{p,\phi }}(f):=\left[ \int _0^bf^{**}(t)^p\phi (t)\,dt\right] ^{\frac{1}{p}}\) , in which \(f^{**}(t):=t^{-1}\int _0^tf^{*}(s)\,ds\) , where \(f^*(t):=\mu _f^{-1}(t)\) , with \(\mu _f(s):=|\{ x\in I_b: |f(x)|>s\}|\) . Our aim in this paper is to study the rearrangement-invariant space determined by \(\rho _{{}_{p,\phi }}\) . In particular, we determine its Köthe dual and its Boyd indices. Using the latter a sufficient condition is given for a Caldéron–Zygmund operator to map such a space into itself.     

Computing Cup Products in \mathbb {Z}_2-Cohomology of 3D Polyhedral Complexes

Let \(I=(\mathbb {Z}^3,26,6,B)\) be a three-dimensional (3D) digital image, let \(Q(I)\) be an associated cubical complex, and let \(\partial Q(I)\) be a subcomplex of \(Q(I)\) whose maximal cells are the quadrangles of \(Q(I)\) shared by a voxel of \(B\) in the foreground—the object under study—and by a voxel of \(\mathbb {Z}^3\backslash B\) in the background—the ambient space. We show how to simplify the combinatorial structure of \(\partial Q(I)\) and obtain a 3D polyhedral complex \(P(I)\) homeomorphic to \(\partial Q(I)\) but with fewer cells. We introduce an algorithm that computes cup products in \(H^*(P(I);\mathbb {Z}_2)\) directly from the combinatorics. The computational method introduced here can be effectively applied to any polyhedral complex embedded in \(\mathbb {R}^3\) .     

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.     

Renewal reward process for T-related fuzzy random variables on (\mathbb {R}^{p}, \mathbb {R}^{q})

In this paper, following our previous studies, we investigate the renewal rewards process with respect to the necessity, credibility, chance measure and the expected value in which the random inter-arrival times and random rewards are characterized as weighted fuzzy numbers under \(t\) -norm-based fuzzy operations on \(\mathbb {R}^{p}\) and \(\mathbb {R}^{q}\,\,p,\,q \ge 1,\) respectively. Many versions of \(T\) -related fuzzy renewal rewards theorems are proved by using the law of large numbers for weighted fuzzy variables on \(\mathbb {R}^{p}\) . An application example is provided to illustrate the utility of the results.     

\mathcal {A}_{p, {\mathbb {E}}} Weights,Maximal Operators,and Hardy Spaces Associated with a Family of General Sets

Suppose that \({\mathbb {E}}:=\{E_r(x)\}_{r\in {\mathcal {I}}, x\in X}\) is a family of open subsets of a topological space \(X\) endowed with a nonnegative Borel measure \(\mu \) satisfying certain basic conditions. We establish an \(\mathcal {A}_{{\mathbb {E}}, p}\) weights theory with respect to \({\mathbb {E}}\) and get the characterization of weighted weak type (1,1) and strong type \((p,p)\) , \(1<p\le \infty \) , for the maximal operator \({\mathcal {M}}_{{\mathbb {E}}}\) associated with \({\mathbb {E}}\) . As applications, we introduce the weighted atomic Hardy space \(H^1_{{\mathbb {E}}, w}\) and its dual \(BMO_{{\mathbb {E}},w}\) , and give a maximal function characterization of \(H^1_{{\mathbb {E}},w}\) . Our results generalize several well-known results.     

Supercyclic abelian semigroups of matrices on \mathbb {C}^{n}

We give a complete characterization of a supercyclic abelian semigroup of matrices on \(\mathbb {C}^{n}\) . For finitely generated semigroups, this characterization is explicit and it is used to determine the minimal number of matrices in normal form over \(\mathbb {C}\) that form a supercyclic abelian semigroup on \({\mathbb {C}}^{n}\) . In particular, no abelian semigroup generated by \(n-1\) matrices on \(\mathbb {C}^{n}\) can be supercyclic.     

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}\) .     

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 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.