We prove the formula

\begin{equation*} \text{cat}_G(X\vee Y)=\max \{\text{cat}_G(X),\text{cat}_G(Y)\} \end{equation*}

$X\vee Y$

$\bigvee _{i=1}^m X_i$

$G$

$X_i$

$G$

$i=1,\ldots ,m$

$X/A$

$G$

$X$

$A$

$A\hookrightarrow X$

$G$

$\overline {x_0}\,:\,A\to X$

$x_0\in X^G$

\begin{align*} \text{TC}_G(X\vee Y)&=\max \{\text{TC}_G(X),\text{TC}_G(Y),\text{cat}_G(X\times Y)\},\\ \text{TC}^G(X\vee Y)&=\max \{\text{TC}^G(X),\text{TC}^G(Y),_{X\vee Y}\text{cat}_{G\times G}(X\times Y)\}, \end{align*}

$G$

$G$

$X$

$Y$

In the second half of the 19th century, Darboux obtained determinant formulae that provide the general solution for a linear hyperbolic second-order PDE with the finite Laplace series. These formulae played an important role in his study of the theory of surfaces and, in particular, in the theory of conjugate nets. During the last three decades, discrete analogues of conjugate nets (Q-nets) were actively studied. Laplace series can be defined also for hyperbolic difference operators. We prove discrete analogues of Darboux formulae for discrete and semi-discrete hyperbolic operators with finite Laplace series.

Stratifying systems, which have been defined for module, triangulated and exact categories previously, were developed to produce examples of standardly stratified algebras. A stratifying system $\Phi$ is a finite set of objects satisfying some orthogonality conditions. One very interesting property is that the subcategory $\mathcal{F}(\Phi )$ of objects admitting a composition series-like filtration with factors in $\Phi$ has the Jordan-Hölder property on these filtrations. This article has two main aims. First, we introduce notions of subobjects, simple objects and composition series for an extriangulated category, in order to define a Jordan-Hölder extriangulated category. Moreover, we characterise Jordan-Hölder, length, weakly idempotent complete extriangulated categories in terms of the associated Grothendieck monoid and Grothendieck group. Second, we develop a theory of stratifying systems in extriangulated categories. We define projective stratifying systems and show that every stratifying system $\Phi$ in an extriangulated category is part of a minimal projective one $(\Phi ,Q)$. We prove that $\mathcal{F}(\Phi )$ is a length, Jordan-Hölder extriangulated category when $(\Phi ,Q)$ satisfies a left exactness condition. We give several examples and answer a recent question of Enomoto–Saito in the negative.

In this paper, we describe finite order entire solutions of nonlinear partial differential equation

\begin{equation*} \prod _{i=1}^n\left (a_{i 1} u_{z_1}+a_{i 2} u_{z_2}+\cdots +a_{i n} u_{z_n}\right )=1 \end{equation*}

We study the geometry induced on the local orbit spaces of Killing vector fields on (Riemannian) $G$-manifolds, with an emphasis on the cases $G=\textrm {Spin}(7)$ and $G=G_2$. Along the way, we classify the harmonic morphisms with one-dimensional fibres from $G_2$-manifolds to Einstein manifolds.

In 1954, B. H. Neumann discovered that if $G$ is a group in which all conjugacy classes have finite cardinality at most $m$, then the derived group $G'$ is finite of $m$-bounded order. In 2018, G. Dierings and P. Shumyatsky showed that if $|x^G| \le m$ for any commutator $x\in G$, then the second derived group $G''$ is finite and has $m$-bounded order. This paper deals with finite groups in which $|x^G|\le m$ whenever $x\in G$ is a commutator of prime power order. The main result is that $G''$ has $m$-bounded order.

Given a Hamiltonian torus action on a symplectic manifold, Teleman and Fukaya have proposed that the Fukaya category of each symplectic quotient should be equivalent to an equivariant Fukaya category of the original manifold. We lay out new conjectures that extend this story – in certain situations – to singular values of the moment map. These include a proposal for how, in some cases, we can recover the non-equivariant Fukaya category of the original manifold starting from data on the quotient.

To justify our conjectures, we pass through the mirror and work out numerous examples, using well-established heuristics in toric mirror symmetry. We also discuss the algebraic and categorical structures that underlie our story.

In this article, we study the Johnson homomorphisms of basis-conjugating automorphism groups of free groups. We construct obstructions for the surjectivity of the Johnson homomorphisms. By using it, we determine their cokernels of degree up to four and give further observations for degree greater than four. As applications, we give the affirmative answer to the Andreadakis problem for the basis-conjugating automorphism groups of free groups at degree four. Moreover, we calculate twisted first cohomology groups of the braid-permutation automorphism groups of free groups.

We give a notion of boundary pair $(\mathcal{B}_-,\mathcal{B}_+)$ for measured groupoids which generalizes the one introduced by Bader and Furman [BF14] for locally compact groups. In the case of a semidirect groupoid $\mathcal{G}=\Gamma \ltimes X$ obtained by a probability measure preserving action $\Gamma \curvearrowright X$ of a locally compact group, we show that a boundary pair is exactly $(B_- \times X, B_+ \times X)$, where $(B_-,B_+)$ is a boundary pair for $\Gamma$. For any measured groupoid $(\mathcal{G},\nu )$, we prove that the Poisson boundaries associated to the Markov operators generated by a probability measure equivalent to $\nu$ provide other examples of our definition. Following Bader and Furman [BF], we define algebraic representability for an ergodic groupoid $(\mathcal{G},\nu )$. In this way, given any measurable representation $\rho \,:\,\mathcal{G} \rightarrow H$ into the $\kappa$-points of an algebraic $\kappa$-group $\mathbf{H}$, we obtain $\rho$-equivariant maps $\mathcal{B}_\pm \rightarrow H/L_\pm$, where $L_\pm =\mathbf{L}_\pm (\kappa )$ for some $\kappa$-subgroups $\mathbf{L}_\pm \lt \mathbf{H}$. In the particular case when $\kappa =\mathbb{R}$ and $\rho$ is Zariski dense, we show that $L_\pm$ must be minimal parabolic subgroups.

In [5], a particular family of real hyperplane arrangements stemming from hyperpolygonal spaces associated with certain quiver varieties was introduced which we thus call hyperpolygonal arrangements ${\mathscr H}_n$. In this note, we study these arrangements and investigate their properties systematically. Remarkably, the arrangements ${\mathscr H}_n$ discriminate between essentially all local properties of arrangements. In addition, we show that hyperpolygonal arrangements are projectively unique and combinatorially formal.

We note that the arrangement ${\mathscr H}_5$ is the famous counterexample of Edelman and Reiner [17] of Orlik’s conjecture that the restriction of a free arrangement is again free.

Several classical knot invariants, such as the Alexander polynomial, the Levine-Tristram signature, and the Blanchfield pairing, admit natural extensions from knots to links, and more generally, from oriented links to so-called colored links. In this note, we explore such extensions of the Arf invariant. Inspired by the three examples stated above, we use generalized Seifert forms to construct quadratic forms and determine when the Arf invariant of such a form yields a well-defined invariant of colored links. However, apart from the known case of oriented links, these new Arf invariants turn out to be determined by the linking numbers.

We give a crystal structure on the set of Gelfand–Tsetlin patterns (GTPs), which parametrize bases for finite-dimensional irreducible representations of the general linear Lie algebra. The crystal data are given in closed form and are expressed using tropical polynomial functions of the entries of the patterns. We prove that with this crystal structure, the natural bijection between GTPs and semistandard Young tableaux is a crystal isomorphism.

In this paper, we consider a conilpotent coalgebra $C$ over a field $k$. Let $\Upsilon :\ C{{-\mathsf{Comod}}}\longrightarrow C^*{{-\mathsf{Mod}}}$ be the natural functor of inclusion of the category of $C$-comodules into the category of $C^*$-modules, and let $\Theta :\ C{{-\mathsf{Contra}}}\longrightarrow C^*{{-\mathsf{Mod}}}$ be the natural forgetful functor. We prove that the functor $\Upsilon$ induces a fully faithful triangulated functor on bounded (below) derived categories if and only if the functor $\Theta$ induces a fully faithful triangulated functor on bounded (above) derived categories, and if and only if the $k$-vector space $\textrm {Ext}_C^n(k,k)$ is finite-dimensional for all $n\ge 0$. We call such coalgebras “weakly finitely Koszul”.

We determine the list of automorphism groups for smooth plane septic curves over an algebraically closed field $K$ of characteristic $0$, as well as their signatures. For each group, we also provide a geometrically complete family over $K$, which consists of a generic defining polynomial equation describing each locus up to $K$-projective equivalence. Notably, we present two distinct examples of what we refer to as final strata of smooth plane curves.

In the present work, we investigate the Lie algebra of the Formanek-Procesi group $\textrm {FP}(A_{\Gamma })$ with base group $A_{\Gamma }$ a right-angled Artin group. We show that the Lie algebra $\textrm {gr}(\textrm {FP}(A_{\Gamma }))$ has a presentation that is dictated by the group presentation. Moreover, we show that if the base group $G$ is a finitely generated residually finite $p$-group, then $\textrm { FP}(G)$ is residually nilpotent. We also show that $\textrm {FP}(A_{\Gamma })$ is a residually torsion-free nilpotent group.

In this paper, we investigate hypersurfaces of $\mathbb{S}^2\times \mathbb{S}^2$ and $\mathbb{H}^2\times \mathbb{H}^2$ with recurrent Ricci tensor. As the main result, we prove that a hypersurface in $\mathbb{S}^2\times \mathbb{S}^2$ (resp. $\mathbb{H}^2\times \mathbb{H}^2$) with recurrent Ricci tensor is either an open part of $\Gamma \times \mathbb{S}^2$ (resp. $\Gamma \times \mathbb{H}^2$) for a curve $\Gamma$ in $\mathbb{S}^2$ (resp. $\mathbb{H}^2$), or a hypersurface with constant sectional curvature. The latter has been classified by H. Li, L. Vrancken, X. Wang, and Z. Yao very recently.

We describe algebraically, diagrammatically, and in terms of weight vectors, the restriction of tensor powers of the standard representation of quantum $\mathfrak {sl}_2$ to a coideal subalgebra. We realize the category as a module category over the monoidal category of type $\pm 1$ representations in terms of string diagrams and via generators and relations. The idempotents projecting onto the quantized eigenspaces are described as type $B/D$ analogues of Jones–Wenzl projectors. As an application, we introduce and give recursive formulas for analogues of $\Theta$-networks.