It is shown that, for every prime number p, the complete lattice of all semidirectly closed pseudovarieties of finite monoids whose intersection with the pseudovariety G of all finite groups is equal to the pseudovariety Gp of all finite p-groups has the cardinality of the continuum. Furthermore, it is shown, in addition, that the complete lattice of all semidirectly closed pseudovarieties of finite monoids whose intersection with the pseudovariety G of all finite groups is equal to the pseudovariety Gsol of all finite solvable groups has also the cardinality of the continuum.

Let K be a field of characteristic zero. In this paper, we study the polynomial identities of representations of Lie algebras, also called weak identities, or identities of pairs. These identities are determined by pairs of the form (A, L) where A is an associative enveloping algebra for the Lie algebra L. Then a weak identity of (A, L) (or an identity for the representation of L associated to A) is an associative polynomial which vanishes when evaluated on elements of L⊆ A. One of the most influential results in the area of PI algebras was the theory developed by Kemer. A crucial role in it was played by the construction of the Grassmann envelope of an associative algebra and the close relation of the identities of the algebra and its Grassmann envelope. Here we consider varieties of pairs. We prove that under some restrictions one can develop a theory similar to that of Kemer's in the study of identities of representations of Lie algebras. As a consequence, we establish that in the case when K is algebraically closed, if a variety of pairs does not contain pairs corresponding to representations of sl2(K), and if the variety is generated by a pair where the associative algebra is PI then it is soluble. As another consequence of the methods used to obtain the above result, and applying ideas from papers by Giambruno and Zaicev, we were able to construct a pair (A, L) such that its PI exponent (if it exists) cannot be an integer. We recall that the PI exponent exists and is an integer whenever A is an associative (a theorem by Giambruno and Zaicev), or a finite-dimensional Lie algebra (Zaicev). Gordienko also proved that the PI exponent exists and is an integer for finite-dimensional representations of Lie algebras.

We prove if B is a cluster-tilted algebra, then B is τB-tilting finite if and only if B is representation-finite.

The Virasoro algebra $\mathcal {L}$ is an infinite-dimensional Lie algebra with basis {Lm, C| m ∈ ℤ} and relations [Lm, Ln] = (n − m)Lm+n + δm+n,0((m3 − m)/12)C, [Lm, C] = 0 for m, n ∈ ℤ. Let $\mathfrak a$ be the subalgebra of $\mathcal {L}$ spanned by Li for i ≥ −1. For any triple (μ, λ, α) of complex numbers with μ ≠ 0, λ ≠ 0 and any non-trivial $\mathfrak a$-module V satisfying the condition: for any v ∈ V there exists a non-negative integer m such that Liv = 0 for all i ≥ m, non-weight $\mathcal {L}$-modules on the linear tensor product of V and ℂ[∂], denoted by $\mathcal {M}(V,\mu ,\Omega (\lambda ,\alpha ))\ (\Omega (\lambda ,\alpha )=\mathbb {C}[\partial ]$ as vector spaces), are constructed in this paper. We prove that $\mathcal {M}(V,\mu ,\Omega (\lambda ,\alpha ))$ is simple if and only if μ ≠ 1, λ ≠ 0, α ≠ 0. We also give necessary and sufficient conditions for two such simple $\mathcal {L}$-modules being isomorphic. Finally, these simple $\mathcal {L}$-modules $\mathcal {M}(V,\mu ,\Omega (\lambda ,\alpha ))$ are proved to be new for V not being the highest weight $\mathfrak a$-module whose highest weight is non-zero.

We describe topological obstructions (involving periodic points, topological entropy and rotation sets) for a homeomorphism on a compact manifold to embed in a continuous flow. We prove that homeomorphisms in a $C^{0}$-open and dense set of homeomorphisms isotopic to the identity in compact manifolds of dimension at least two are not the time-1 map of a continuous flow. Such property is also true for volume-preserving homeomorphisms in compact manifolds of dimension at least five. In the case of conservative homeomorphisms of the torus $\mathbb {T}^{d} (d\ge 2)$ isotopic to identity, we describe necessary conditions for a homeomorphism to be flowable in terms of the rotation sets.

We study the moduli space of rank 2 instanton sheaves on ℙ3 in terms of representations of a quiver consisting of three vertices and four arrows between two pairs of vertices. Aiming at an alternative compactification for the moduli space of instanton sheaves, we show that for each rank 2 instanton sheaf, there is a stability parameter θ for which the corresponding quiver representation is θ-stable (in the sense of King), and that the space of stability parameters has a non-trivial wall-and-chamber decomposition. Looking more closely at instantons of low charge, we prove that there are stability parameters with respect to which every representation corresponding to a rank 2 instanton sheaf of charge 2 is stable and provide a complete description of the wall-and-chamber decomposition for representation corresponding to a rank 2 instanton sheaf of charge 1.

We describe the connected components of the space $\text {Hom}(\Gamma ,SU(2))$ of homomorphisms for a discrete nilpotent group $\Gamma$. The connected components arising from homomorphisms with non-abelian image turn out to be homeomorphic to $\mathbb {RP}^{3}$. We give explicit calculations when $\Gamma$ is a finitely generated free nilpotent group. In the second part of the paper, we study the filtration $B_{\text {com}} SU(2)=B(2,SU(2))\subset \cdots \subset B(q,SU(2))\subset \cdots$ of the classifying space $BSU(2)$ (introduced by Adem, Cohen and Torres-Giese), showing that for every $q\geq 2$, the inclusions induce a homology isomorphism with coefficients over a ring in which 2 is invertible. Most of the computations are done for $SO(3)$ and $U(2)$ as well.

In this paper, for a positive integer n ≥ 1, we look at the size and prime factors of the iterates of the Ramanujan τ function applied to n.

Can smoothing a single crossing in a diagram for a knot convert it into a diagram of the knot's mirror image? Zeković found such a smoothing for the torus knot T(2, 5), and Moore–Vazquez proved that such smoothings do not exist for other torus knots T(2, m) with m odd and square free. The existence of such a smoothing implies that K # K bounds a Mobius band in B4. We use Casson–Gordon theory to provide new obstructions to the existence of such chiral smoothings. In particular, we remove the constraint that m be square free in the Moore–Vazquez theorem, with the exception of m = 9, which remains an open case. Heegaard Floer theory provides further obstructions; these do not give new information in the case of torus knots of the form T(2, m), but they do provide strong constraints for other families of torus knots. A more general question asks, for each pair of knots K and J, what is the minimum number of smoothings that are required to convert a diagram of K into one for J. The methods presented here can be applied to provide lower bounds on this number.

In this paper, we show that the numbers of t-stack sortable n-permutations with k − 1 descents satisfy central and local limit theorems for t = 1, 2, n − 1 and n − 2. This result, in particular, gives an affirmative answer to Shapiro's question about the asymptotic normality of the Narayana numbers.

In this paper, we study finite semiprimitive permutation groups, that is, groups in which each normal subgroup is transitive or semiregular. These groups have recently been investigated in terms of their abstract structure, in a similar way to the O'Nan–Scott Theorem for primitive groups. Our goal here is to explore aspects of such groups which may be useful in place of precise structural information. We give bounds on the order, base size, minimal degree, fixed point ratio, and chief length of an arbitrary finite semiprimitive group in terms of its degree. To establish these bounds, we study the structure of a finite semiprimitive group that induces the alternating or symmetric group on the set of orbits of an intransitive minimal normal subgroup.

We consider the adjoint representation of a Hopf algebra $H$ focusing on the locally finite part, $H_{{\textrm ad\,fin}}$, defined as the sum of all finite-dimensional subrepresentations. For virtually cocommutative $H$ (i.e., $H$ is finitely generated as module over a cocommutative Hopf subalgebra), we show that $H_{{\textrm ad\,fin}}$ is a Hopf subalgebra of $H$. This is a consequence of the fact, proved here, that locally finite parts yield a tensor functor on the module category of any virtually pointed Hopf algebra. For general Hopf algebras, $H_{{\textrm ad\,fin}}$ is shown to be a left coideal subalgebra. We also prove a version of Dietzmann's Lemma from group theory for Hopf algebras.

Let p be prime. We prove that, for n odd, the p-torsion part of πq(Sn) has cardinality at most $p^{2^{{1}/({p-1})(q-n+3-2p)}}$ and hence has rank at most 21/(p−1)(q−n+3−2p). for p = 2, these results also hold for n even. The best bounds proven in the existing literature are $p^{2^{q-n+1}}$ and 2q−n+1, respectively, both due to Hans–Werner Henn. The main point of our result is therefore that the bound grows more slowly for larger primes. As a corollary of work of Henn, we obtain a similar result for the homotopy groups of a broader class of spaces.