The purpose of this paper is to give a characterisation of divided power algebras over a reduced operad. Such a characterisation is given in terms of polynomial operations, following the classical example of divided power algebras. We describe these polynomial operations in two different ways: one way uses invariant elements under the action of the symmetric group and the other coinvariant elements. Our results are then applied to the case of level algebras, which are (non-associative) commutative algebras satisfying the exchange law.

Nakayama automorphisms play an important role in the fields of noncommutative algebraic geometry and noncommutative invariant theory. However, their computations are not easy in general. We compute the Nakayama automorphism ν of an Ore extension R[x; σ, δ] over a polynomial algebra R in n variables for an arbitrary n. The formula of ν is obtained explicitly. When σ is not the identity map, the invariant EG is also investigated in terms of Zhang’s twist, where G is a cyclic group sharing the same order with σ.

This paper concerns the study of some bifurcation properties for the following class of Choquard-type equations: (P)

$$\left\{ {\begin{array}{*{20}{l}} { - \Delta u = \lambda f(x)\left[ {u + \left( {{I_\alpha }*f( \cdot )H(u)} \right)h(u)} \right],{\rm{ in }} \ {{\mathbb{R}}^3},}\\ {{{\lim }_{|x| \to \infty }}u(x) = 0,\quad u(x) > 0,\quad x \in {{\mathbb{R}}^3},\quad u \in {D^{1,2}}({{\mathbb{R}}^3}),} \end{array}} \right.$$

${I_\alpha }(x) = 1/|x{|^\alpha },\,\alpha \in (0,3),\,\lambda > 0,\,f:{{\mathbb{R}}^3} \to {\mathbb{R}}$

${\mathbb{R}} \to {\mathbb{R}}$

Let k be a divisor of a finite group G and Lk(G) = {x ∈ G | xk =1}. Frobenius proved that the number |Lk(G)| is always divisible by k. The following inverse problem is considered: for a given integer n, find all groups G such that max{k-1|Lk(G)| | k ∈ Div(G)} = n, where Div(G) denotes the set of all divisors of |G|. A procedure beginning with (in a sense) minimal members and deducing the remaining ones is outlined and executed for n=8.

In this article, we study localizations of hearts of cotorsion pairs ($\mathcal{U}, \mathcal{V}$) where $\mathcal{U}$ is rigid on an extriangulated category $\mathcal{B}$ . The hearts of such cotorsion pairs are equivalent to the functor categories over the stable category of $\mathcal{U}$ ( $\bmod \underline{\mathcal{U}}$ ). Inspired by Marsh and Palu (Nagoya Math. J.225(2017), 64–99), we consider the mutation (in the sense of Iyama and Yoshino, Invent. Math.172(1) (2008), 117–168) of $\mathcal{U}$ that induces a cotorsion pair ( $\mathcal{U}^{\prime}, \mathcal{V}^{\prime}$ ). Generally speaking, the hearts of ( $\mathcal{U}, \mathcal{V}$ ) and ( $\mathcal{U}^{\prime}, \mathcal{V}^{\prime}$ ) are not equivalent to each other, but we will give a generalized pseudo-Morita equivalence between certain localizations of their hearts.

In this note, we give a new proof of the existence of an open book decomposition for a closed non-orientable 3–manifold. This open book decomposition is analogous to a planar open book decomposition for a closed orientable 3–manifold. More precisely, in this note, we give an open book decomposition of a given closed non-orientable 3–manifold with the pages punctured Möbius bands. We also give an algorithm to determine the monodromy of this open book.

A division sudoku is a latin square whose all six conjugates are sudoku squares. We enumerate division sudokus up to a suitable equivalence, introduce powerful invariants of division sudokus, and also study latin squares that are division sudokus with respect to multiple partitions at the same time. We use nearfields and affine geometry to construct division sudokus of prime power rank that are rich in sudoku partitions.

We answer a question of Skalski and Sołan (2016) about inner faithfulness of the Curran’s map of extending a quantum increasing sequence to a quantum permutation. Roughly speaking, we find a inductive setting in which the inner faithfulness of Curran’s map can be boiled down to inner faithfulness of similar map for smaller algebras and then rely on inductive generation result for quantum permutation groups of Brannan, Chirvasitu and Freslon (2018).

In [5], Eklund showed that a general (ℤ/2ℤ)4 -invariant quartic K3 surface contains at least 320 conics. In this paper, we analyse the field of definition of those conics as well as their Monodromy group. As a result, we prove that the moduli space of (ℤ/2ℤ)4-invariant quartic K3 surface with a certain marked conic has 10 irreducible components.

Let X be a non-singular irreducible complex projective curve of genus g ≥ 2. The concept of stability of coherent systems over X depends on a positive real parameter α, given then a (finite) family of moduli spaces of coherent systems. We use (t, ℓ)-stability to prove the existence of coherent systems over X that are α-stable for all allowed α > 0.

The notion of mutation pairs of subcategories in an n-abelian category is defined in this paper. Let ${\cal D} \subseteq {\cal Z}$ be subcategories of an n-abelian category ${\cal A}$. Then the quotient category ${\cal Z}/{\cal D}$ carries naturally an (n + 2) -angulated structure whenever $ ({\cal Z},{\cal Z}) $ forms a ${\cal D} \subseteq {\cal Z}$-mutation pair and ${\cal Z}$ is extension-closed. Moreover, we introduce strongly functorially finite subcategories of n-abelian categories and show that the corresponding quotient categories are one-sided (n + 2)-angulated categories. Finally, we study homological finiteness of subcategories in a mutation pair.

We introduce a refined version of group cohomology and relate it to the space of polynomials on the group in question. We show that the polynomial cohomology with trivial coefficients admits a description in terms of ordinary cohomology with polynomial coefficients, and that the degree one polynomial cohomology with trivial coefficients admits a description directly in terms of polynomials. Lastly, we give a complete description of the polynomials on a connected, simply connected nilpotent Lie group by showing that these are exactly the maps that pull back to classical polynomials via the exponential map.

In this paper, we introduce two notions of a relative operator (α, β)-entropy and a Tsallis relative operator (α, β)-entropy as two parameter extensions of the relative operator entropy and the Tsallis relative operator entropy. We apply a perspective approach to prove the joint convexity or concavity of these new notions, under certain conditions concerning α and β. Indeed, we give the parametric extensions, but in such a manner that they remain jointly convex or jointly concave.

Significance Statement. What is novel here is that we convincingly demonstrate how our techniques can be used to give simple proofs for the old and new theorems for the functions that are relevant to quantum statistics. Our proof strategy shows that the joint convexity of the perspective of some functions plays a crucial role to give simple proofs for the joint convexity (resp. concavity) of some relative operator entropies.

We correct an error in our paper published in volume 56 of this journal.