Derived Representation Type of Schur Superalgebras

In this note we extend the results of Bekkert and Futorny in [2 Bekkert , V. , Futorny , V. ( 2003 ). Derived categories of Schur algebras . Comm. Alg. 31 : 1799 – 1822 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]] and Hemmer, Kujawa and Nakano in [10 Hemmer , D. J. , Kujawa , J. , Nakano , D. K. ( 2006 ). Representation types of Schur superalgebras . J. Group Theory 9 : 283 – 306 .[Crossref], [Web of Science ®] , [Google Scholar]] and determine the derived representation type of Schur superalgebras.     

Semilocal Convergence of Steffensen-Type Algorithms for Solving Nonlinear Equations

In this article, we provide a semilocal analysis for the Steffensen-type method (STTM) for solving nonlinear equations in a Banach space setting using recurrence relations. Numerical examples to validate our main results are also provided in this study to show that STTM is faster than other methods ([7 I. K. Argyros , J. Ezquerro , J. M. Gutiérrez , M. Hernández , and S. Hilout ( 2011 ). On the semilocal convergence of efficient Chebyshev-Secant-type methods . J. Comput. Appl. Math. 235 : 3195 – 3206 .[Crossref], [Web of Science ®] , [Google Scholar], 13 J. A. Ezquerro and M. A. Hernández ( 2009 ). An optimization of Chebyshev's method . J. Complexity 25 : 343 – 361 .[Crossref], [Web of Science ®] , [Google Scholar]]) using similar convergence conditions.     

A new family of set-theoretic solutions of the Yang–Baxter equation

A new family of non-degenerate involutive set-theoretic solutions of the Yang–Baxter equation is constructed. Two subfamilies, consisting of irretractable square-free solutions, are new counterexamples to Gateva-Ivanova’s Strong Conjecture [7 Gateva-Ivanova, T. (2004). A combinatorial approach to the set-theoretic solutions of the Yang-Baxter equation. J. Math. Phys. 45(10):3828–3858.[Crossref], [Web of Science ®] , [Google Scholar]]. They are in addition to those obtained by Vendramin [15 Vendramin, L. (2016). Extensions of set-theoretic solutions of the Yang-Baxter equation and a conjecture of Gateva-Ivanova. J. Pure Appl. Algebra 220:2064–2076.[Crossref], [Web of Science ®] , [Google Scholar]] and [1 Bachiller, D., Cedó, F., Jespers, E., Okniński, J. (2017). A family of irretractable square-free solutions of the Yang-Baxter equation. Forum Math. (to appear). [Google Scholar]].     

Hilbert Function and Betti Numbers of Algebras with Lefschetz Property of Order m

The authors in Harima et al. (2003 Harima , T. , Migliore , J. C. , Nagel , U. , Watanabe , J. ( 2003 ). The weak and strong Lefschetz properties for artinian K-algebras . Journal of Algebra 262 : 99 – 126 .[Crossref], [Web of Science ®] , [Google Scholar]) characterize the Hilbert function of algebras with the Lefschetz property. We extend this characterization to algebras with the Lefschetz property m times. We also give upper bounds for the Betti numbers of Artinian algebras with a given Hilbert function and with the Lefschetz property m times and describe the cases in which these bounds are reached.     

Non–existence of theta–shaped self–similarly shrinking networks moving by curvature

We prove that there are no networks homeomorphic to the Greek “Theta” letter (a double cell) embedded in the plane with two triple junctions with angles of 120 degrees, such that under the motion by curvature they are self–similarly shrinking.

This fact completes the classification of the self–similarly shrinking networks in the plane with at most two triple junctions, see [5 Chen, X., Guo, J.-S. (2007). Self-similar solutions of a 2-D multiple-phase curvature flow. Phys. D. 229(1):22–34.[Crossref], [Web of Science ®] , [Google Scholar], 10 Hättenschweiler, J. (2007). Mean curvature flow of networks with triple junctions in the plane. Master’s thesis. ETH Zürich. [Google Scholar], 25 Schnürer, O. C., Azouani, A., Georgi, M., Hell, J., Nihar, J., Koeller, A., Marxen, T., Ritthaler, S., Sáez, M., Schulze, F., Smith, B. (2011). Evolution of convex lens–shaped networks under the curve shortening flow. Trans. Am. Math. Soc. 363(5):2265–2294.[Crossref], [Web of Science ®] , [Google Scholar], 2 Baldi, P., Haus, E., Mantegazza, C. (2016). Networks self-similarly moving by curvature with two triple junctions. Networks self-similarly moving by curvature with two triple junctions. 28(2017):323–338. [Google Scholar]].     

A note on some structure theorems of modules in category 0

ABSTRACT

Using the local subgroup strategy of An and O'Brien (1997 An , J. , O'Brien , E. A. ( 1997 ). A local strategy to decide the Alperin and Dade conjectures . J. Alg. 189 : 34 – 57 . [CROSSREF] [Crossref], [Web of Science ®] , [Google Scholar]), An and O'Brien (1999 An , J. , O'Brien , E. A. ( 1999 ). The Alperin and Dade conjectures for the Fischer simple group Fi₂₃ . Internat. J. Alg. Comput. 9 : 621 – 670 . [CROSSREF] [Crossref], [Web of Science ®] , [Google Scholar]), we classify the radical subgroups and chains of the Fischer simple group Fi ₂₂ and verify the Alperin weight conjecture and the Uno reductive conjecture for this group; the latter is a refinement of the Dade reductive and Isaacs–Navarro conjectures.

     

A Note on Dimension Modules

In [2 Camillo , V. P. , Zelmanowitz , J. M. ( 1980 ). Dimension modules . Pacific J. Math. 91 : 249 – 261 .[Crossref], [Web of Science ®] , [Google Scholar]] Camillo and Zelmanowitz stated that rings all whose modules are dimension modules are semisimple Artinian. It seem however that the proof in [2 Camillo , V. P. , Zelmanowitz , J. M. ( 1980 ). Dimension modules . Pacific J. Math. 91 : 249 – 261 .[Crossref], [Web of Science ®] , [Google Scholar]] contains a gap and applies to rings with finite Goldie dimension only. In this paper we show that the result indeed holds for all rings with a basis as well as for all commutative rings with Goldie dimension attained.     

Dominance and Transmissions in Supertropical Valuation Theory

This article is a sequel of [4 Izhakian , Z. , Knebusch , M. , Rowen , L. ( 2011 ). Supertropical semirings and supervaluations . J. Pure and Applied Alg. 215 ( 10 ): 2431 – 2463 .[Crossref], [Web of Science ®] , [Google Scholar]], where we defined supervaluations on a commutative semiring R and studied a dominance relation ? ≥ ψ between supervaluations ? and ψ on R, aiming at an enrichment of the algebraic tool box for use in tropical geometry.

A supervaluation ?: R → U is a multiplicative map from R to a supertropical semiring U, cf. [4 Izhakian , Z. , Knebusch , M. , Rowen , L. ( 2011 ). Supertropical semirings and supervaluations . J. Pure and Applied Alg. 215 ( 10 ): 2431 – 2463 .[Crossref], [Web of Science ®] , [Google Scholar]], [7 Izhakian , Z. , Rowen , L. ( 2011 ). Supertropical matrix algebra . Israel J. Math. 182 ( 1 ): 383 – 424 .[Crossref], [Web of Science ®] , [Google Scholar]], [8 Izhakian , Z. , Rowen , L. ( 2010 ). Supertropical polynomials and resultants . J. Alg. 324 : 1860 – 1886 . (Preprint at arXiv:0902.2155.) [Crossref], [Web of Science ®] , [Google Scholar]], [5 Izhakian , Z. , Knebusch , M. , Rowen , L. Supertropical monoids: Basics and canonical factorization . Preprint at arXiv:1108.1880 . [Google Scholar]], [9 Maclane , S. ( 1998 ). Categories for the Working Mathemtician. , 4th ed. Springer Vereag . [Google Scholar]], with further properties, which mean that ? is a sort of refinement, or covering, of an m-valuation (= monoid valuation) v: R → M. In the most important case, that R is a ring, m-valuations constitute a mild generalization of valuations in the sense of Bourbaki [1 Bourbaki , N. Algèbre Commutative VI, §3 No. 1 . [Google Scholar]], while ? ≥ ψ means that ψ: R → V is a sort of coarsening of the supervaluation ?. If ?(R) generates the semiring U, then ? ≥ ψ iff there exists a “transmission” α: U → V with ψ = α ○ ?.

Transmissions are multiplicative maps with further properties, cf. [4 Izhakian , Z. , Knebusch , M. , Rowen , L. ( 2011 ). Supertropical semirings and supervaluations . J. Pure and Applied Alg. 215 ( 10 ): 2431 – 2463 .[Crossref], [Web of Science ®] , [Google Scholar], Section 5]. Every semiring homomorphism α: U → V is a transmission, but there are others which lack additivity, and this causes a major difficulty. In the main body of the article we study surjective transmissions via equivalence relations on supertropical semirings. We put special emphasis on homomorphic equivalence relations. Even those are often much more complicated than congruences by ideals in usual commutative algebra.     

Double Ore Extensions Versus Iterated Ore Extensions

Motivated by the construction of new examples of Artin–Schelter regular algebras of global dimension four, Zhang and Zhang [6 Zhang , J. J. , Zhang , J. ( 2008 ). Double Ore extensions . J. Pure Appl. Algebra 212 ( 12 ): 2668 – 2690 .[Crossref], [Web of Science ®] , [Google Scholar]] introduced an algebra extension A _P [y ₁, y ₂; σ, δ, τ] of A, which they called a double Ore extension. This construction seems to be similar to that of a two-step iterated Ore extension over A. The aim of this article is to describe those double Ore extensions which can be presented as iterated Ore extensions of the form A[y ₁; σ₁, δ₁][y ₂; σ₂, δ₂]. We also give partial answers to some questions posed in Zhang and Zhang [6 Zhang , J. J. , Zhang , J. ( 2008 ). Double Ore extensions . J. Pure Appl. Algebra 212 ( 12 ): 2668 – 2690 .[Crossref], [Web of Science ®] , [Google Scholar]].     

Relaxation of Optimal Control Problems Involving Time Dependent Subdifferential Operators

This article provides in the setting of infinite dimensional Hilbert space, a result concerning the existence and uniqueness of solutions for Lipschitz single-valued perturbations of evolution problems associated with time-dependent subdifferential operators. The result is used to extend to optimal control problems associated with such equations the relaxation theorems with Young measures established in Casting et al. [7 C. Castaing , P. Raynaud de Fitte , and M. Valadier , M. ( 2004 ). Young Measures on Topological Spaces with Applications in Control Theory and Probability Theory . Kluwer Academic Publishers , Dordrecht . [Google Scholar], 11 J. F. Edmond and L. Thibault ( 2005 ). Relaxation of an optimal control problem involving a perturbed sweeping process . Math. Program Ser. B 104 : 347 – 373 .[Crossref], [Web of Science ®] , [Google Scholar]] and Edmond and Thibault [11 J. F. Edmond and L. Thibault ( 2005 ). Relaxation of an optimal control problem involving a perturbed sweeping process . Math. Program Ser. B 104 : 347 – 373 .[Crossref], [Web of Science ®] , [Google Scholar]].     

Canonical Basis for Type A 4 (II)-Polynomial Elements in One Variable

ABSTRACT

All the 62 monomial elements in the canonical basis B of the quantized enveloping algebra for type A ₄ have been determined in Hu et al. (2003 Hu , Y. , Ye , J. , Yue , X. ( 2003 ). Canonical basis for type A ₄ (I)–Monomial elements . J. Algebra 263 : 228 – 245 . [CSA] [CROSSREF]  [Google Scholar]). According to Lusztig's idea (Lusztig, 1992 Lusztig , G. ( 1992 ). Introduction to quantized enveloping algebras . In: Tirao , J. , Wallach , N. , eds. New Developments in Lie Theory and Their Applications . Progress in Mathematics . Vol. 105 . Boston/Basel/Berlin : Birkhauser , pp. 49 – 65 . [Google Scholar]), the elements in the canonical basis B consist of monomials and linear combinations of monomials (for convenience, we call them polynomials). In this note, we compute all the 144 polynomial elements in one variable in the canonical basis B of the quantized enveloping algebra for type A ₄ based on our joint note Hu et al. (2003 Hu , Y. , Ye , J. , Yue , X. ( 2003 ). Canonical basis for type A ₄ (I)–Monomial elements . J. Algebra 263 : 228 – 245 . [CSA] [CROSSREF]  [Google Scholar]). We conjecture that there are other polynomial elements in two or three variables in the canonical basis B, which include independent variables and dependent variables. Moreover, it is conjectured that there are no polynomial elements in the canonical basis B with four or more variables.     

Quasi-Deformations of 𝔰𝔩2(𝔽) Using Twisted Derivations

In this article we apply a method devised in Hartwig, Larsson, and Silvestrov (2006 Hartwig , J. T. , Larsson , D. , Silvestrov , S. D. ( 2006 ). Deformations of Lie algebras using σ-derivations . J. Algebra 295 : 314 – 361 .[Crossref], [Web of Science ®] , [Google Scholar]) and Larsson and Silvestrov (2005a Larsson , D. , Silvestrov , S. D. (2005a). Quasi-hom-Lie algebras, Central extensions and 2-cocycle-like identities. J. Algebra 288:321–344.[Crossref], [Web of Science ®] , [Google Scholar]) to the simple 3-dimensional Lie algebra 𝔰𝔩₂(𝔽). One of the main points of this deformation method is that the deformed algebra comes endowed with a canonical twisted Jacobi identity. We show in the present article that when our deformation scheme is applied to 𝔰𝔩₂(𝔽) we can, by choosing parameters suitably, deform 𝔰𝔩₂(𝔽) into the Heisenberg Lie algebra and some other 3-dimensional Lie algebras in addition to more exotic types of algebras, this being in stark contrast to the classical deformation schemes where 𝔰𝔩₂(𝔽) is rigid.     

Continuous Cohomology of Permutation Groups on Profinite Modules

ABSTRACT

Model theorists have made use of low-dimensional continuous cohomology of infinite permutation groups on profinite modules, see Ahlbrandt and Ziegler (1991 Ahlbrandt , G. , Ziegler , M. ( 1991 ). What's so special about (?/4?)^ω? Archive for Math. Logic 31 : 115 – 132 . [CSA] [Crossref] , [Google Scholar]), Evans (1997b Evans , D. M. ( 1997b ). Computation of first cohomology groups of finite covers . J. Algebra 193 : 214 – 238 . [CSA] [CROSSREF] [Crossref], [Web of Science ®] , [Google Scholar]), Evans et al. (1997 Evans , D. M. , Ivanov , A. A. , Macpherson , H. D. ( 1997 ). Finite covers . In: Evans , D. M. , ed. Model Theory of Groups and Automorphism Groups . London Mathematical Society Lecture Notes 244 . Cambridge : Cambridge Univ Press , pp. 1 – 72 .[Crossref] , [Google Scholar]), and Hodges and Pillay (1994 Hodges , W. , Pillay , A. ( 1994 ). Cohomology of structures and some problems of Ahlbrandt and Ziegler . J. London Math. Soc. 50 ( 2 ): 1 – 16 . [CSA] [Crossref] , [Google Scholar]), for example. We expand the module category in order to widen the cohomological toolkit. For an important class of groups we use these tools to establish criteria for finiteness of cohomology.     

Certain Cyclically Presented Groups with the Same Polynomial

We consider three infinite families of cyclic presentations of groups, depending on a finite set of integers and having the same polynomial. Then we prove that the corresponding groups with the same parameters are isomorphic, and that the groups are almost all infinite. Finally, we completely compute the maximal Abelian quotients of such groups, and show that their HNN extensions are high-dimensional knot groups. Our results contain as particular cases the main theorems obtained in two nice articles: Johnson et al. (1999 Johnson , D. L. , Kim , A. C. , O'Brien , E. A. ( 1999 ). Certain cyclically presented groups are isomorphic . Comm. Algebra 27 ( 7 ): 3531 – 3536 . [CSA] [Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]) and Havas et al. (2001 Havas , G. , Holt , D. F. , Newman , M. F. ( 2001 ). Certain cyclically presented groups are infinite . Comm. Algebra 29 ( 11 ): 5175 – 5178 . [CSA] [CROSSREF] [Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]).     

Constructive Néron Desingularization of algebras with big smooth locus

An algorithmic proof of the General Néron Desingularization theorem and its uniform version is given for morphisms with big smooth locus. This generalizes the results for the one-dimensional case (cf. [10 Pfister, G., Popescu, D. (2017). Constructive General Neron Desingularization for one dimensional local rings. J. Symbolic Comput. 80:570–580.[Crossref], [Web of Science ®] , [Google Scholar]], [7 Khalid, A., Pfister, G., Popescu, D. (2018). A uniform General Neron Desingularization in dimension one. J. Algebra Appli. 16. arXiv:AC/1612.03416. [Google Scholar]]).     

On L p Resolvent Estimates for Elliptic Operators on Compact Manifolds

We prove uniform L^p estimates for resolvents of higher order elliptic self-adjoint differential operators on compact manifolds without boundary, generalizing a corresponding result of [3 Dos Santos Ferreira, D., Kenig, C., and Salo, M., 2014. On L^p resolvent estimates for Laplace-Beltrami operators on compact manifolds, Forum Math. 26 (2014), pp. 815–849.[Crossref], [Web of Science ®] , [Google Scholar]] in the case of Laplace-Beltrami operators on Riemannian manifolds. In doing so, we follow the methods, developed in [1 Bourgain, J., Shao, P., Sogge, C., and Yao, X., On L^p-resolvent estimates and the density of eigenvalues for compact Riemannian manifolds, Comm. Math. Phys., to appear.[Web of Science ®] , [Google Scholar]] very closely. We also show that spectral regions in our L^p resolvent estimates are optimal.     

Rank Properties of the Semigroup of Singular Transformations on a Finite Set

It is known that the semigroup Sing _n of all singular self-maps of X _n  = {1,2,…, n} has rank n(n ? 1)/2. The idempotent rank, defined as the smallest number of idempotents generating Sing _n , has the same value as the rank. (See Gomes and Howie, 1987 Gomes , G. M. S. , Howie , J. M. ( 1987 ). On the rank of certain finite semigroups of transformations . Math. Proc. Cambridge Phil. Soc. 101 : 395 – 303 .[Crossref], [Web of Science ®] , [Google Scholar].) Idempotents generating Sing _n can be seen as special cases (with m = r = 2) of (m, r)-path-cycles, as defined in Ay\i k et al. (2005 Ay?k , G. , Ay?k , H. , Howie , J. M. ( 2005 ). On factorisations and generators in transformation semigroups . Semigroup Forum 70 : 225 – 237 .[Crossref], [Web of Science ®] , [Google Scholar]). The object of this article is to show that, for fixed m and r, the (m, r)-rank of Sing _n , defined as the smallest number of (m, r)-path-cycles generating Sing _n , is once again n(n ? 1)/2.     

Supercharacter Theory Constructions Corresponding to Schur Ring Products

Diaconis and Isaacs have defined the supercharacter theories of a finite group to be certain approximations to the ordinary character theory of the group [7 Diaconis , P. , Isaacs , I. M. ( 2008 ). Supercharacters and superclasses for algebra groups . Trans. Amer. Math. Soc. 360 : 2359 – 2392 .[Crossref], [Web of Science ®] , [Google Scholar]]. We make explicit the connection between supercharacter theories and Schur rings, and we provide supercharacter theory constructions which correspond to Schur ring products of Leung and Man [12 Leung , K. H. , Man , S. H. ( 1996 ). On Schur rings over cyclic groups, II . J. Algebra 183 : 273 – 285 .[Crossref], [Web of Science ®] , [Google Scholar]], Hirasaka and Muzychuk [10 Hirasaka , M. , Muzychuk , M. ( 2001 ). An elementary abelian group of rank 4 is a CI-group . J. Combin. Theory Ser. A 94 : 339 – 362 .[Crossref], [Web of Science ®] , [Google Scholar]], and Tamaschke [20 Tamaschke , O. ( 1970 ). On Schur-rings which define a proper character theory on finite groups . Math. Z. 117 : 340 – 360 .[Crossref], [Web of Science ®] , [Google Scholar]].