On 𝔬𝔰𝔭(1 | 2)-Relative Cohomology on S 1|1

We compute the second 𝔬𝔰𝔭(1 | 2) ?relative cohomology space of 𝒦(1) with coefficients in the module of λ-densities 𝔉_λ on S ^1|1. This result allows us to compute the second 𝔬𝔰𝔭(1 | 2) ?relative cohomology space of 𝒦(1) with coefficients in the Poisson superalgebra 𝒮𝒫. We explicitly give 2-cocycles spanning these cohomology spaces.     

Admissible Pictures and U 𝔮(𝔤𝔩(m,n))–Littlewood–Richardson Tableaux

We construct a natural bijection between the set of admissible pictures and the set of U_q(𝔤𝔩(m, n))–Littlewood–Richardson tableaux.     

Functoriality of the BGG Category 𝒪††

This article aims to contribute to the study of algebras with triangular decomposition over a Hopf algebra, as well as the BGG Category 𝒪. We study functorial properties of 𝒪 across various setups. The first setup is over a skew group ring, involving a finite group Γ acting on a regular triangular algebra A. We develop Clifford theory for A?Γ, and obtain results on block decomposition, complete reducibility, and enough projectives. 𝒪 is shown to be a highest weight category when A satisfies one of the “Conditions (S);” the BGG Reciprocity formula is slightly different because the duality functor need not preserve each simple module.

Next, we turn to tensor products of such skew group rings; such a product is also a skew group ring. We are thus able to relate four different types of Categories 𝒪; more precisely, we list several conditions, each of which is equivalent in any one setup, to any other setup, and which yield information about 𝒪.     

The Coxeter Quotient of the Fundamental Group of a Galois Cover of 𝕋 × 𝕋

ABSTRACT

Let X be the surface 𝕋 × 𝕋, where 𝕋 is the complex torus. This article is the third in a series studying the fundamental group of the Galois cover of X with respect to a generic projection onto ??².

Van Kampen Theorem gives a presentation of the fundamental group of the complement of the branch curve, with 54 generators and more than 2000 relations. Here we introduce a certain natural quotient (obtained by identifying pairs of generators), prove it is a quotient of a Coxeter group related to the degeneration of X, and show that this quotient is virtually nilpotent.

Communicated by C. Pedrini.     

Canonical forms of 2 × 2 × 2 and 2 × 2 × 2 × 2 arrays over 𝔽2 and 𝔽3

We consider arrays of size 2?×?2?×?2 and 2?×?2?×?2?×?2 over the fields with two and three elements. We use computer algebra to determine the canonical forms of these arrays with respect to the action of the semidirect product of general linear groups with the symmetric group. For each canonical form, we determine the size of its orbit and the rank of the arrays in its orbit.     

Coherent Continuation on the Category of (𝔤, K)-Modules

Abstract

Let 𝔤 be a complex semisimple Lie algebra. Let K be an algebraic group acting on the flag variety of 𝔤 with finitely many orbits. We give a geometric interpretation of the coherent continuation on the category of finitely generated (𝔤, K )-modules in terms of the intertwining functors on the category of K-equivariant 𝒟-modules.     

Global Well-Posedness of mKdV in L 2 (𝕋, ℝ)

ABSTRACT

We show that the Miura map L ²(𝕋) → H ^?1(𝕋), r?r _x  + r ² is a global fold and then apply our results on global well-posedness of KdV in H ^?1(𝕋) to show that mKdV is globally well-posed in L ²(𝕋).     

Bionomic exploitation of a ratio-dependent predator–prey system

The present article deals with the problem of combined harvesting of a Michaelis–Menten-type ratio-dependent predator–prey system. The problem of determining the optimal harvest policy is solved by invoking Pontryagin's Maximum Principle. Dynamic optimization of the harvest policy is studied by taking the combined harvest effort as a dynamic variable. Computer simulations are carried out to illustrate our analytical findings. Biological and bioeconomical interpretations of the results are explained critically.     

𝒪-Operators of Loday Algebras and Analogues of the Classical Yang–Baxter Equation

We introduce notions of 𝒪-operators of the Loday algebras including the dendriform algebras and quadri-algebras as a natural generalization of Rota–Baxter operators. The invertible 𝒪-operators give a sufficient and necessary condition on the existence of the 2 ⁿ⁺¹ operations on an algebra with the 2 ⁿ operations in an associative cluster. The analogues of the classical Yang–Baxter equation in these algebras can be understood as the 𝒪-operators associated to certain dual bimodules. As a byproduct, the constraint conditions (invariances) of nondegenerate bilinear forms on these algebras are given.     

The Structure of the Unit Group of the Group Algebra 𝔽3 k (C 3 × D 6)

The Structure of the Unit Group of the Group Algebra of the group C ₃ × D ₆ over a finite field of characteristic 3 is established in terms of split extensions of cyclic groups.     

Isomorphic embedding of ℓ p n , 1<p<2, into ℓ 1 (1+ε)n

In this paper we partially answer a question posed by V. Milman and G. Schechtman by proving that ℓ _p ⁿ , (C logn)^1/q(1+1/ε)-embeds into ℓ ₁ ^(1+ε)n , where 1<p<2 and 1/p+1/q=1. Supported by ISF.     

A recurrence formula with respect to the Cameron–Storvick type theorem of the 𝒯-transform

ABSTRACT

In this paper, we define a transform which has the kernel in its definition and a concept of derivative for functionals on Wiener space. We then establish some results and formulas for the transforms of functionals on Wiener space. We also establish the Cameron–Storvick type theorem for the transform. Finally, we obtain the recurrence formula for the transforms to evaluate formulas involving the multi-dimensional derivative.     

L(d1, d2,..., dt)-Number λ(Cn; d1, d2,...,dt) of Cycles

An L(d1,d2,...,dt)-labeling of a graph G is a function f from its vertex set V(G) to the set {0, 1,..., k} for some positive integer k such that {f(x) - f(y)| ≥ di, if the distance between vertices x and y in G is equal to i for i = 1,2,...,t. The L(d1,d2,...,dt)-number λ(G;d1,d2,... ,dt) of G is the smallest integer number k such that G has an L(d1,d2,... ,dt)labeling with max{f(x)|x ∈ V(G)} = k. In this paper, we obtain the exact values for λ(Cn; 2, 2,1) and λ(Cn; 3, 2, 1), and present lower and upper bounds for λ(Cn; 2,..., 2,1,..., 1)     

Are the eigenvalues of the B‐spline isogeometric analysis approximation of −Δu = λu known in almost closed form?

We consider the B‐spline isogeometric analysis approximation of the Laplacian eigenvalue problem −Δu = λu over the d‐dimensional hypercube (0,1)^d. By using tensor‐product arguments, we show that the eigenvalue–eigenvector structure of the resulting discretization matrix is completely determined by the eigenvalue–eigenvector structure of the matrix arising from the isogeometric analysis approximation based on B‐splines of degree p of the unidimensional problem . Here, n is the mesh fineness parameter, and the size of is N(n,p) = n + p − 2. In previous works, it was established that the normalized sequence enjoys an asymptotic spectral distribution described by a function e_p(θ), the so‐called spectral symbol. The contributions of this paper can be summarized as follows:

1. the eigenvalues of are arranged in ascending order, ;
2. is a sequence of functions from [0,π] to , which depends only on p;
3. h = 1/n and θ_j,n = jπh for j = 1,…,n; and
4. is the remainder, which satisfies for some constant depending only on α and p. We also provide a proof of this expansion for α = 0 and j = 1,…,N(n,p) −(4p − 2), where 4p − 2 represents a theoretical estimate of the number of outliers .
5. We show through numerical experiments that, for p ≥ 3 and k ≥ 1, there exists a point θ( p,k) ∈ (0,π) such that vanishes on [0,θ( p,k)]. Moreover, as it is suggested by the numerics of this paper, the infimum of θ(p,k) over all k ≥ 1, say y_p, is strictly positive, and the equation holds numerically whenever θ_j,n < θ( p), where θ( p) is a point in (0,y_p] which grows with p.
6. For p ≥ 3, based on the asymptotic expansion in the above item 3, we propose a parallel interpolation–extrapolation algorithm for computing the eigenvalues of , excluding the outliers. The performance of the algorithm is illustrated through numerical experiments. Note that, by the previous item 4, the algorithm is actually not necessary for computing the eigenvalues corresponding to points θ_j,n < θ( p).