Factorization properties of paratopological groups

In this article we continue the study of R$\mathbb{R}$-factorizability in paratopological groups. It is shown that: (1) all concepts of R$\mathbb{R}$-factorizability in paratopological groups coincide; (2) a Tychonoff paratopological group G   is R$\mathbb{R}$-factorizable if and only if it is totally ω  -narrow and has property ω-QU$\omega \text{-}\mathit{QU}$; (3) every subgroup of a _T1$T_1$ paratopological group G   is R$\mathbb{R}$-factorizable provided that the topological group G^?$G^{?}$ associated to G is a Lindelöf Σ-space, i.e., G is a totally Lindelöf Σ-space  ; (4) if Π=_∏i∈IGi$\Pi ={\prod }_{i\in I}{G}_i$ is a product of _T1$T_1$ paratopological groups which are totally Lindelöf Σ-spaces, then each dense subgroup of Π   is R$\mathbb{R}$-factorizable. These results answer in the affirmative several questions posed earlier by M. Sanchis and M. Tkachenko and by S. Lin and L.-H. Xie.     

On characterized subgroups of compact abelian groups

Let X be a compact abelian group. A subgroup H of X   is called characterized if there exists a sequence u=(_un)$\mathbf{u}=(u_n)$ of characters of X   such that H=_su(X)$H=s_{\mathbf{u}}(X)$, where _su(X):={x∈X:(_un,x)→0 in T}$s_{\mathbf{u}}(X):=\{x\in X:(u_n,x)\to 0\text{in}\mathbb{T}\}$. Every characterized subgroup is an _Fσδ$F_{\sigma \delta }$-subgroup of X  . We show that every _Gδ$G_{\delta }$-subgroup of X is characterized. On the other hand, X   has non-characterized _Fσ$F_{\sigma }$-subgroups.     

On an open problem concerning total domination critical graphs

A graph G   with no isolated vertex is total domination vertex critical if for any vertex v$v$ of G   that is not adjacent to a vertex of degree one, the total domination number of G-v$G-v$ is less than the total domination number of G  . We call these graphs _γt${\gamma }_t$-critical. If such a graph G has total domination number k, we call it k  -_γt${\gamma }_t$-critical. We verify an open problem of k  -_γt${\gamma }_t$-critical graphs and obtain some results on the characterization of total domination critical graphs of order n=Δ(G)(_γt(G)-1)+1$n=\Delta (G)({\gamma }_t(G)-1)+1$.     

Exceptional collections of line bundles on projective homogeneous varieties

We construct new examples of exceptional collections of line bundles on the variety of Borel subgroups of a split semisimple linear algebraic group G$G$ of rank 2 over a field. We exhibit exceptional collections of the expected length for types _A2$A_2$ and _B2=_C2$B_2=C_2$ and prove that no such collection exists for type _G2$G_2$. This settles the question of the existence of full exceptional collections of line bundles on projective homogeneous G$G$-varieties for split linear algebraic groups G$G$ of rank at most 2.     

A sharp upper bound on the signless Laplacian spectral radius of graphs

Let G be a simple connected graph of order n   with degree sequence _d1,_d2,…,_dn$d_1,d_2,\dots ,d_n$ in non-increasing order. The signless Laplacian spectral radius ρ(Q(G))$\rho (Q(G))$ of G   is the largest eigenvalue of its signless Laplacian matrix Q(G)$Q(G)$. In this paper, we give a sharp upper bound on the signless Laplacian spectral radius ρ(Q(G))$\rho (Q(G))$ in terms of _di$d_i$, which improves and generalizes some known results.     

Which finite simple groups are unit groups?

We prove that if G$G$ is a finite simple group which is the unit group of a ring, then G$G$ is isomorphic to: (a) a cyclic group of order 2; or (b) a cyclic group of prime order 2^k−1$2^k-1$ for some k$k$; or (c) a projective special linear group _PSLn(_F2)${PSL}_n\left({\mathbb{F}}_2\right)$ for some n≥3$n\ge 3$. Moreover, these groups do all occur as unit groups. We deduce this classification from a more general result, which holds for groups G$G$ with no non-trivial normal 2-subgroup.     

Productivity of paracompactness in the class of GO-spaces

The main result of the paper says that if X is a paracompact GO-space, meaning a subspace of a linearly ordered space and M a paracompact space satisfying the first axiom of countability such that X   can be embedded in M^_ω1$M^{{\omega }_1}$ then the product X×Y$X\times Y$ is paracompact for every paracompact space Y   if and only if the first player of the G(DC,X)$G(DC,X)$ game, introduced by Telgarsky has a winning strategy. In particular we obtain that if X   is paracompact GO-space of weight not greater than _ω1${\omega }_1$ then the product X×Y$X\times Y$ is paracompact for every paracompact space Y   if and only if the first player of the G(DC,X)$G(DC,X)$ game has a winning strategy.     

The Zassenhaus filtration,Massey products,and representations of profinite groups

We consider the p  -Zassenhaus filtration (_Gn)$(G_n)$ of a profinite group G  . Suppose that G=S/N$G=S/N$ for a free profinite group S and a normal subgroup N of S   contained in _Sn$S_n$. Under a cohomological assumption on the n-fold Massey products (which holds, e.g., if G has p  -cohomological dimension ≤ 1), we prove that _Gn+1$G_{n+1}$ is the intersection of all kernels of upper-triangular unipotent (n+1)$(n+1)$-dimensional representations of G   over _Fp${\mathbb{F}}_p$. This extends earlier results by Miná?, Spira, and the author on the structure of absolute Galois groups of fields.     

On the least distance eigenvalue of a graph

Denote by D(G)=_(di,j)n×n$D(G)={(d_{i,j})}_{n\times n}$ the distance matrix of a connected graph G with n   vertices, where _dij$d_{ij}$ is equal to the distance between vertices _vi$v_i$ and _vj$v_j$ in G  . The least eigenvalue of D(G)$D(G)$ is called the least distance eigenvalue of G  , denoted by _λn${\lambda }_n$. In this paper, we determine all the graphs with _λn∈[−2.383,0]${\lambda }_n\in [-2.383,0]$.     

Randomly weighted self-normalized Lévy processes

Let (_Ut,_Vt)$(U_t,V_t)$ be a bivariate Lévy process, where _Vt$V_t$ is a subordinator and _Ut$U_t$ is a Lévy process formed by randomly weighting each jump of _Vt$V_t$ by an independent random variable _Xt$X_t$ having cdf F$F$. We investigate the asymptotic distribution of the self-normalized Lévy process _Ut/_Vt$U_t/V_t$ at 0 and at ∞$\infty$. We show that all subsequential limits of this ratio at 0 (∞$\infty$) are continuous for any nondegenerate F$F$ with finite expectation if and only if _Vt$V_t$ belongs to the centered Feller class at 0 (∞$\infty$). We also characterize when _Ut/_Vt$U_t/V_t$ has a non-degenerate limit distribution at 0 and ∞$\infty$.     

Every scattered space is subcompact

We prove that every scattered space is hereditarily subcompact and any finite union of subcompact spaces is subcompact. It is a long-standing open problem whether every ?ech-complete space is subcompact. Moreover, it is not even known whether the complement of every countable subset of a compact space is subcompact. We prove that this is the case for linearly ordered compact spaces as well as for ω  -monolithic compact spaces. We also establish a general result for Tychonoff products of discrete spaces which implies that dense _Gδ$G_{\delta }$-subsets of Cantor cubes are subcompact.     

The inverse inertia problem for the complements of partial k-trees

Let F$\mathbb{F}$ be an infinite field with characteristic not equal to two. For a graph G=(V,E)$G=(V,E)$ with V={1,…,n}$V=\{1,\dots ,n\}$, let S(G;F)$S(G;\mathbb{F})$ be the set of all symmetric n×n$n\times n$ matrices A=[_ai,j]$A=[a_{i,j}]$ over F$\mathbb{F}$ with _ai,j≠0$a_{i,j}\ne 0$, i≠j$i\ne j$ if and only if ij∈E$ij\in E$. We show that if G is the complement of a partial k  -tree and m?k+2$m?k+2$, then for all nonsingular symmetric m×m$m\times m$ matrices K   over F$\mathbb{F}$, there exists an m×n$m\times n$ matrix U   such that U^TKU∈S(G;F)$U^{T}KU\in S(G;\mathbb{F})$. As a corollary we obtain that, if k+2?m?n$k+2?m?n$ and G is the complement of a partial k-tree, then for any two nonnegative integers p and q   with p+q=m$p+q=m$, there exists a matrix in S(G;R)$S(G;\mathbb{R})$ with p positive and q negative eigenvalues.     

Inequivalent representations of matroids over prime fields

It is proved that for each prime field GF(p)$\mathit{GF}(p)$, there is an integer _np$n_p$ such that a 4-connected matroid has at most _np$n_p$ inequivalent representations over GF(p)$\mathit{GF}(p)$. We also prove a stronger theorem that obtains the same conclusion for matroids satisfying a connectivity condition, intermediate between 3-connectivity and 4-connectivity that we term “k-coherence”.