2-local superderivations on a superalgebra $${{\rm M}_{\rm n}({\mathbb C})}$$

The aim of this paper is to show that every 2-local superderivation on an associative superalgebra is a superderivation.      

Blocks and compatibility in $${{\rm d}_0}$$-algebras

The structure of \({{\rm d}_0}\)-algebra is a generalization of a D-lattice. We extend to this structure the definitions of compatible elements and blocks, and investigate their properties.     

Hopf hypersurfaces of small Hopf principal curvature in $${\mathbb{C}{\rm H}^2}$$

Using the methods of moving frames and exterior differential systems, we show that there exist Hopf hypersurfaces in complex hyperbolic space with any specified value of the Hopf principal curvature α less than or equal to the corresponding value for the horosphere. We give a construction for all such hypersurfaces in terms of Weierstrass-type data, and also obtain a classification of pseudo-Einstein hypersurfaces in .      

A note on the theory of positive induction, {{\rm ID}^*_1}

The article shows a simple way of calibrating the strength of the theory of positive induction, ID^*₁{{\rm ID}^{*}_{1}} . Crucially the proof exploits the equivalence of S¹₁{\Sigma^{1}_{1}} dependent choice and ω-model reflection for P¹₂{\Pi^{1}_{2}} formulae over ACA ₀. Unbeknown to the authors, D. Probst had already determined the proof-theoretic strength of ID^*₁{{\rm ID}^{*}_{1}} in Probst, J Symb Log, 71, 721–746, 2006.     

Decidability of the AE-theory of the lattice of $${\varPi }_1^0$$ classes

An AE-sentence is a sentence in prenex normal form with all universal quantifiers preceding all existential quantifiers, and the AE-theory of a structure is the set of all AE-sentences true in the structure. We show that the AE-theory of \((\mathscr {L}({\varPi }_1^0), \cap , \cup , 0, 1)\) is decidable by giving a procedure which, for any AE-sentence in the language, determines the truth or falsity of the sentence in our structure.     

Packings by translation balls in {\widetilde{{\rm SL}_2({\mathbb{R}})}}

For one of Thurston model spaces, \({\widetilde{{\rm SL}_2({\mathbb{R}})}}\) , we discuss translation balls and packing that space by such balls in contrast to the packing by standard (geodesic) balls. We present an infinite family of packings generated by discrete groups of isometries, and observe numerical results on their densities. In particular, we found packings whose densities are close to the upper bound density for ball packings in the hyperbolic 3-space.     

Cyclic codes over $${{\mathbb{F}}_2+u{\mathbb{F}}_2+v{\mathbb{F}}_2+uv{\mathbb{F}}_2}$$

In this work, we focus on cyclic codes over the ring \mathbbF₂+u\mathbbF₂+v\mathbbF₂+uv\mathbbF₂{{{\mathbb{F}}_2+u{\mathbb{F}}_2+v{\mathbb{F}}_2+uv{\mathbb{F}}_2}} , which is not a finite chain ring. We use ideas from group rings and works of AbuAlrub et.al. in (Des Codes Crypt 42:273–287, 2007) to characterize the ring (\mathbbF₂+u\mathbbF₂+v\mathbbF₂+uv\mathbbF₂)/(xⁿ-1){({{\mathbb{F}}_2+u{\mathbb{F}}_2+v{\mathbb{F}}_2+uv{\mathbb{F}}_2})/(x^n-1)} and cyclic codes of odd length. Some good binary codes are obtained as the images of cyclic codes over \mathbbF₂+u\mathbbF₂+v\mathbbF₂+uv\mathbbF₂{{{\mathbb{F}}_2+u{\mathbb{F}}_2+v{\mathbb{F}}_2+uv{\mathbb{F}}_2}} under two Gray maps that are defined. We also characterize the binary images of cyclic codes over \mathbbF₂+u\mathbbF₂+v\mathbbF₂+uv\mathbbF₂{{{\mathbb{F}}_2+u{\mathbb{F}}_2+v{\mathbb{F}}_2+uv{\mathbb{F}}_2}} in general.     

Efficient Filon-type methods for $$\int_a^bf(x)\,{\rm e}^{{\rm i}\omega g(x)}\,{\rm d}x$$

Based on the transformation y = g(x), some new efficient Filon-type methods for integration of highly oscillatory function ò_a^bf(x) e^iwg(x) dx\int_a^bf(x)\,{\rm e}^{{\rm i}\omega g(x)}\,{\rm d}x with an irregular oscillator are presented. One is a moment-free Filon-type method for the case that g(x) has no stationary points in [a,b]. The others are based on the Filon-type method or the asymptotic method together with Filon-type method for the case that g(x) has stationary points. The effectiveness and accuracy are tested by numerical examples.     

The rational cohomology of $${\overline{\mathcal{M}_4}}$$

We present two approaches to the study of the cohomology of moduli spaces of curves. Together, they allow us to compute the rational cohomology of the moduli space of stable complex curves of genus 4, with its Hodge structure.     

A variation of a congruence of Subbarao for $$n=2^{\alpha }5^{\beta }$$

There are many open problems concerning the characterization of the positive integers n fulfilling certain congruences and involving the Euler totient function \(\varphi \) and the sum of positive divisors function \(\sigma \) of the positive integer n. In this work, we deal with the congruence of the form

$$\begin{aligned} n\varphi (n)\equiv 2\quad \pmod {\sigma (n)}, \end{aligned}$$

and prove that the only positive integers of the form \(2^{\alpha }5^{\beta },\, \alpha , \,\beta \ge 0,\) that satisfy the above congruence are \(n=1,\, 2,\, 5,\, 8.\)

     

A Mordell-Lang plus Bogomolov type result for curves in $${\mathbb{G}_{m}^{2}}$$

We prove a sharper so-called Mordell-Lang plus Bogomolov type result for curves lying in the two-dimensional linear torus. We mainly follow the approach of Rémond in (Comp Math 134:337–366, 2002), using Vojta and Mumford type inequalities. In the special case we consider, we improve Rémond’s main result using a better Bogomolov property and an elementary arithmetic Bézout theorem.      

Embedding some Riemann surfaces into $${\mathbb {C}^2}$$ with interpolation

We prove that several types of open Riemann surfaces, including the finitely connected planar domains, embed properly into such that the values on any given discrete sequence can be arbitrarily prescribed. Kutzschebauch supported by Schweizerische Nationalfonds grant 200021-107477/1.     

The Idempotents of the TL n -Module {\otimes^{n}\mathbb{C}2} in Terms of Elements of {{\rm U}_{q} \mathfrak{sl}_2}

The vector space \({\otimes^{n}\mathbb{C}^2}\) upon which the XXZ Hamiltonian with n spins acts bears the structure of a module over both the Temperley–Lieb algebra \({{\rm TL}_{n}(\beta = q + q^{-1})}\) and the quantum algebra \({{\rm U}_{q} \mathfrak{sl}_2}\) . The decomposition of \({\otimes^{n}\mathbb{C}^2}\) as a \({{\rm U}_{q} \mathfrak{sl}_2}\) -module was first described by Rosso (Commun Math Phys 117:581–593, 1988), Lusztig (Cont Math 82:58–77, 1989) and Pasquier and Saleur (Nucl Phys B 330:523–556, 1990) and that as a TL _n -module by Martin (Int J Mod Phys A 7:645–673, 1992) (see also Read and Saleur Nucl Phys B 777(3):316–351, 2007; Gainutdinov and Vasseur Nucl Phys B 868:223–270, 2013). For q generic, i.e. not a root of unity, the TL _n -module \({\otimes^{n}\mathbb{C}^2}\) is known to be a sum of irreducible modules. We construct the projectors (idempotents of the algebra of endomorphisms of \({\otimes^{n}\mathbb{C}^2}\) ) onto each of these irreducible modules as linear combinations of elements of \({{\rm U}_{q} \mathfrak{sl}_2}\) . When q = q _c is a root of unity, the TL _n -module \({\otimes^{n}\mathbb{C}^2}\) (with n large enough) can be written as a direct sum of indecomposable modules that are not all irreducible. We also give the idempotents projecting onto these indecomposable modules. Their expression now involves some new generators, whose action on \({\otimes^{n}\mathbb{C}^2}\) is that of the divided powers \({(S^{\pm})^{(r)} = \lim_{q \rightarrow q_{c}} (S^{\pm})^r/[r]!}\) .     

Phylogenetic Invariants for $${\mathbb{Z}_3}$$ Scheme-Theoretically

We study phylogenetic invariants of general group-based models of evolution with group of symmetries \({\mathbb{Z}_3}\). We prove that complex projective schemes corresponding to the ideal I of phylogenetic invariants of such a model and to its subideal \({I'}\) generated by elements of degree at most 3 are the same. This is motivated by a conjecture of Sturmfels and Sullivant [14, Conj. 29], which would imply that \({I = I'}\).     

Continued fractions arising from $${\mathcal F}_{1,3}$$

We calculate the Jacobi Eisenstein series of weight \(k \ge 3\) for a certain representation of the Jacobi group, and evaluate these at \(z = 0\) to give coefficient formulas for a family of modular forms \(Q_{k,m,\beta }\) of weight \(k \ge 5/2\) for the (dual) Weil representation on an even lattice. The forms we construct have rational coefficients and contain all cusp forms within their span. We explain how to compute the representation numbers in the coefficient formulas for \(Q_{k,m,\beta }\) and the Eisenstein series of Bruinier and Kuss p-adically to get an efficient algorithm. The main application is in constructing automorphic products.     

Eigenvalue inequalities for the clamped plate problem of the ■ operator

The ■ operator is introduced by Xin(2015), which is an important extrinsic elliptic differential operator of divergence type and has profound geometric meaning. In this paper, we extend the ■ operator to a more general elliptic differential operator ■, and investigate the clamped plate problem of the bi-■ operator,which is denoted by ■ on the complete Riemannian manifolds. A general formula of eigenvalues for the ■ operator is established. Applying this formula, we estimate the eigenvalues on th...     

The positive energy conjecture for a class of AHM metrics on R2× Tn-2

We prove the positive energy conjecture for a class of asymptotically Horowitz-Myers(AHM) metrics on R²× T^n-2. This generalizes the previous results of Barzegar et al.(2020) as well as Liang and Zhang(2020).