A categorical view of varieties of ordered algebras

It is well known that classical varieties of $\Sigma$ -algebras correspond bijectively to finitary monads on $\mathsf{Set}$ . We present an analogous result for varieties of ordered $\Sigma$ -algebras, that is, categories of algebras presented by inequations between $\Sigma$ -terms. We prove that they correspond bijectively to strongly finitary monads on $\mathsf{Pos}$ . That is, those finitary monads which preserve reflexive coinserters. We deduce that strongly finitary monads have a coinserter presentation, analogous to the coequalizer presentation of finitary monads due to Kelly and Power. We also show that these monads are liftings of finitary monads on $\mathsf{Set}$ . Finally, varieties presented by equations are proved to correspond to extensions of finitary monads on $\mathsf{Set}$ to strongly finitary monads on $\mathsf{Pos}$ .

Truncated Series with Nonnegative Coefficients from the Jacobi Triple Product

Andrews and Merca investigated a truncated version of Euler's pentagonal number theorem and showed that the coefficients of the truncated series are nonnegative. They also considered the truncated series arising from Jacobi's triple product identity, and they conjectured that its coefficients are nonnegative. This conjecture was posed by Guo and Zeng independently and confirmed by Mao and Yee using different approaches. In this paper, we provide a new combinatorial proof of their nonnegativity result related to Euler's pentagonal number theorem. Meanwhile, we find an analogous result for a truncated series arising from Jacobi's triple product identity in a different manner.

On fully supported eigenfunctions of quantum graphs

We prove that every metric graph which is a tree has an orthonormal sequence of generic Laplace-eigenfunctions, that are eigenfunctions corresponding to eigenvalues of multiplicity one and which have full support. This implies that the number of nodal domains $$\nu _n$$ ν n of the n-th eigenfunction of the Laplacian with standard conditions satisfies $$\nu _n/n \rightarrow 1$$ ν n / n → 1 along a subsequence and has previously only been known in special cases such as mutually rationally dependent or rationally independent side lengths. It shows in particular that the Pleijel nodal domain asymptotics from two- or higher dimensional domains cannot occur on these graphs: Despite their more complicated topology, they still behave as in the one-dimensional case. We prove an analogous result on general metric graphs under the condition that they have at least one Dirichlet vertex. Furthermore, we generalize our results to Delta vertex conditions and to edgewise constant potentials. The main technical contribution is a new expression for a secular function in which modifications to the graph, to vertex conditions, and to the potential are particularly easy to understand.

ABELIAN CYCLES IN THE HOMOLOGY OF THE TORELLI GROUP

In the early 1980s, Johnson defined a homomorphism $\mathcal {I}_{g}^1\to \bigwedge ^3 H_1\left (S_{g},\mathbb {Z}\right )$ , where $\mathcal {I}_{g}^1$ is the Torelli group of a closed, connected, and oriented surface of genus g with a boundary component and $S_g$ is the corresponding surface without a boundary component. This is known as the Johnson homomorphism. We study the map induced by the Johnson homomorphism on rational homology groups and apply it to abelian cycles determined by disjoint bounding-pair maps, in order to compute a large quotient of $H_n\left (\mathcal {I}_{g}^1,\mathbb {Q}\right )$ in the stable range. This also implies an analogous result for the stable rational homology of the Torelli group $\mathcal {I}_{g,1}$ of a surface with a marked point instead of a boundary component. Further, we investigate how much of the image of this map is generated by images of such cycles and use this to prove that in the pointed case, they generate a proper subrepresentation of $H_n\left (\mathcal {I}_{g,1}\right )$ for $n\ge 2$ and g large enough.

On deficiency problems for graphs

Motivated by analogous questions in the setting of Steiner triple systems and Latin squares, Nenadov, Sudakov and Wagner [Completion and deficiency problems, Journal of Combinatorial Theory Series B, 2020] recently introduced the notion of graph deficiency. Given a global spanning property $\mathcal P$ and a graph $G$ , the deficiency $\text{def}(G)$ of the graph $G$ with respect to the property $\mathcal P$ is the smallest non-negative integer t such that the join $G*K_t$ has property $\mathcal P$ . In particular, Nenadov, Sudakov and Wagner raised the question of determining how many edges an n-vertex graph $G$ needs to ensure $G*K_t$ contains a $K_r$ -factor (for any fixed $r\geq 3$ ). In this paper, we resolve their problem fully. We also give an analogous result that forces $G*K_t$ to contain any fixed bipartite $(n+t)$ -vertex graph of bounded degree and small bandwidth.

MANY FINITE-DIMENSIONAL LIFTING BUNDLE GERBES ARE TORSION

Many bundle gerbes are either infinite-dimensional, or finite-dimensional but built using submersions that are far from being fibre bundles. Murray and Stevenson [‘A note on bundle gerbes and infinite-dimensionality’, J. Aust. Math. Soc.90(1) (2011), 81–92] proved that gerbes on simply-connected manifolds, built from finite-dimensional fibre bundles with connected fibres, always have a torsion $DD$ -class. I prove an analogous result for a wide class of gerbes built from principal bundles, relaxing the requirements on the fundamental group of the base and the connected components of the fibre, allowing both to be nontrivial. This has consequences for possible models for basic gerbes, the classification of crossed modules of finite-dimensional Lie groups, the coefficient Lie-2-algebras for higher gauge theory on principal 2-bundles and finite-dimensional twists of topological K-theory.

Normed Spaces Which Are Not Mackey Groups

It is well known that every normed (even quasibarrelled) space is a Mackey space. However, in the more general realm of locally quasi-convex abelian groups an analogous result does not hold. We give the first examples of normed spaces which are not Mackey groups.

Regularity of Weak Solutions to the Inhomogeneous Stationary Navier–Stokes Equations

One of the most intriguing issues in the mathematical theory of the stationary Navier–Stokes equations is the regularity of weak solutions. This problem has been deeply investigated for homogeneous fluids. In this paper, the regularity of the solutions in the case of not constant viscosity is analyzed. Precisely, it is proved that for a bounded domain Ω⊂R2, a weak solution u∈W1,q(Ω) is locally Hölder continuous if q=2, and Hölder continuous around x, if q∈(1,2) and |μ(x)−μ0| is suitably small, with μ0 positive constant; an analogous result holds true for a bounded domain Ω⊂Rn(n>2) and weak solutions in W1,n/2(Ω).

The Non-Relativistic Many-Body Quantum-Mechanical Hamiltonian with Diamagnetic Current-Current Interaction

We extend the standard solid-state quantum mechanical Hamiltonian containing only Coulomb interactions between the charged particles by inclusion of the (transverse) current-current diamagnetic interaction starting from the non-relativistic QED restricted to the states without photons and neglecting the retardation in the photon propagator. This derivation is supplemented with a derivation of an analogous result along the non-rigorous old classical Darwin-Landau-Lifshitz argumentation within the physical Coulomb gauge.