On the Characterization of f-Ideals

In this paper, we give the characterization of unmixed f-ideals of degree d ≥ 2 generalizing the results given in [1 Abbasi , G. Q. , Ahmad , S. , Anwar , I. , Baig , W. A. ( 2012 ). f-Ideals of degree 2. Algebra Colloquium 19 (Spec 1):921–926 . [Google Scholar]].     

Some cases of a conjecture on L-functions of twisted Carlitz modules

We prove two polynomial identies which are particular cases of a conjecture arising in the theory of L-functions of twisted Carlitz modules. This conjecture is stated in [6 Grishkov, A., Logachev, D. (2016). Resultantal varieties related to zeroes of L-functions of Carlitz modules. Finite Fields Appl. 38:116–176. Available at: arxiv.org/pdf/1205.2900.pdf.[Crossref], [Web of Science ®] , [Google Scholar], p. 153, 9.3, 9.4] and [8 Logachev, D., Zobnin, A. (2017). L-functions of Carlitz Modules, Resultantal Varieties and Rooted Binary Trees, arXiv:1607.06147v3 [math.AG]. [Google Scholar], p. 5, 0.2.4].     

A Note on the Dimension Theory of ℤ n -Graded Rings

In this note we want to generalize some of the results in [1 Brewer , J. , Montgomery , P. , Rutter E. , Heinzer , W. ( 1973 ). Krull dimension of polynomial rings in “Conference on Commutative Algebra, Lawrence 1972.” . Springer Lecture Notes in Mathematics 311 : 26 – 45 .[Crossref] , [Google Scholar]] from polynomial rings in several indeterminates to arbitrary ? ⁿ -graded commutative rings. We will prove an analogue of Jaffard's Special Chain Theorem and a similar result for the height of a prime ideal 𝔭 over its graded core 𝔭*.     

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.     

A note on: Quasi-linear quotients and shellability of pure simplicial complexes

The purpose of this note is to point out a careless error in the algebraic criterion of shellability of a pure simplicial complex Δ given in [1 Anwar, I., Raza, Z. (2015). Quasi-linear quotients and shellability of pure simplicial complexes. Commun. Algebra 43:4698–4704.[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]].     

Prüfer v-Multiplication Domains and w-Multiplicative Canonical Ideals

Let R be an integral domain. A w-ideal I of R is called a w-multiplicative canonical ideal if (I: (I: J)) = J for each w-ideal J of R. In particular, if R is a w-multiplicative canonical ideal of R, then R is a w-divisorial domain. These are the w-analogues of the concepts of a multiplicative canonical ideal and a divisorial domain, respectively. Motivated by the articles [8 El Baghdadi S., Gabelli , S. ( 2005 ). w-Divisorial domains . J. Algebra 285 : 335 – 355 .[Crossref], [Web of Science ®] , [Google Scholar], 10 Heinzer , W. , Huckaba , J. A. , Papick , I. J. ( 1998 ). m-Canonical ideals in integral domains . Comm. Algebra 26 ( 9 ): 3021 – 3043 .[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]], we study the domains possessing w-multiplicative canonical ideals; in particular, we consider Prüfer v-multiplication domains.     

2 × 2 Permanental Ideals of Hypermatrices

We analyze the structure of ideals generated by some classes of 2 × 2 permanents of hypermatrices, generalizing [9 Laubenbacher , R. C. , Swanson , I. ( 2000 ). Permanental ideals . J. Symbolic Comput. 30 : 195 – 205 .[Crossref], [Web of Science ®] , [Google Scholar]] on 2 × 2 permanental ideals of generic matrices. We compare the obtained structure to that of the corresponding determinantal ideals in [11 Swanson , I. , Taylor , A. ( 2013 ). Minimal primes of ideals arising from conditional independence statements . J. Algebra 392 : 299 – 314 .[Crossref], [Web of Science ®] , [Google Scholar]]: as expected, the permanental ideals have many more (minimal) components. In the last two sections, we examine a few related classes of permanental ideals.     

Invertibility of ideals in Prüfer extensions

Using the general approach to invertibility for ideals in ring extensions given by Knebush and Zhang in [9 Knebush, M., Zhang, D. (2002). Manis Valuations and Prüfer Extensions I. Lecture Notes in Mathematics, Vol. 1791. Springer.[Crossref] , [Google Scholar]], we investigate about connections between faithfully flatness and invertibility for ideals in rings with zero divisors.     

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.     

Poisson Hopf algebra related to a twisted quantum group

A Poisson algebra ?[G] considered as a Poisson version of the twisted quantized coordinate ring ?_q,p[G], constructed by Hodges et al. [11 Hodges, T. J., Levasseur, T., Toro, M. (1997). Algebraic structure of multi-parameter quantum groups. Adv. Math. 126:52–92.[Crossref], [Web of Science ®] , [Google Scholar]], is obtained and its Poisson structure is investigated. This establishes that all Poisson prime and primitive ideals of ?[G] are characterized. Further it is shown that ?[G] satisfies the Poisson Dixmier-Moeglin equivalence and that Zariski topology on the space of Poisson primitive ideals of ?[G] agrees with the quotient topology induced by the natural surjection from the maximal ideal space of ?[G] onto the Poisson primitive ideal space.     

Quasi-linear Quotients and Shellability of Pure Simplicial Complexes

For a square-free monomial ideal I ? S = k[x ₁, x ₂,…, x _n ], we introduce the notion of quasi-linear quotients. By using the quasi-linear quotients, we give a new algebraic criterion for the shellability of a pure simplicial complex Δ over [n]. Also, we provide a new criterion for the Cohen–Macaulayness of the face ring of a pure simplicial complex Δ. Moreover, we show that the face ring of the spanning simplicial complex (defined in [2 Anwar , I. , Raza , Z. , Kashif , A. Spanning simplicial complexes of uni-cyclic graphs . To appear in Algebra Colloquium . [Google Scholar]]) of an r-cyclic graph is Cohen–Macaulay.     

The q-difference Noether problem for complex reflection groups and quantum OGZ algebras

For any complex reflection group G = G(m,p,n), we prove that the G-invariants of the division ring of fractions of the n:th tensor power of the quantum plane is a quantum Weyl field and give explicit parameters for this quantum Weyl field. This shows that the q-difference Noether problem has a positive solution for such groups, generalizing previous work by Futorny and the author [10 Futorny, V., Hartwig, J. T. (2014). Solution to a q-difference Noether problem and the quantum Gelfand–Kirillov conjecture for 𝔤𝔩_N. Math. Z. 276(1–2):1–37. [Google Scholar]]. Moreover, the new result is simultaneously a q-deformation of the classical commutative case and of the Weyl algebra case recently obtained by Eshmatov et al. [8 Eshmatov, F., Futorny, V., Ovsienko, S., Fernando Schwarz, J. (2015). Noncommutative Noether’s Problem for Complex Reflection Groups. Available at: http://arxiv.org/abs/1505.05626 [Google Scholar]].

Second, we introduce a new family of algebras called quantum OGZ algebras. They are natural quantizations of the OGZ algebras introduced by Mazorchuk [18 Mazorchuk, V. (1999). Orthogonal Gelfand-Zetlin algebras, I. Beiträge Algebra Geom. 40(2):399–415. [Google Scholar]] originating in the classical Gelfand–Tsetlin formulas. Special cases of quantum OGZ algebras include the quantized enveloping algebra of 𝔤𝔩_n and quantized Heisenberg algebras. We show that any quantum OGZ algebra can be naturally realized as a Galois ring in the sense of Futorny-Ovsienko [11 Futorny, V., Ovsienko, S. (2010). Galois orders in skew monoid rings. J. Algebra 324:598–630.[Crossref], [Web of Science ®] , [Google Scholar]], with symmetry group being a direct product of complex reflection groups G(m,p,r_k).

Finally, using these results, we prove that the quantum OGZ algebras satisfy the quantum Gelfand–Kirillov conjecture by explicitly computing their division ring of fractions.     

A Bound on the Order of Non-Abelian Tensor Square of a Prime-Power Group

Supertropical matrix theory was investigated in [6 Izhakian , Z. , Rowen , L. ( 2011 ). Supertropical matrix algebra III: powers of matrices and their supertropical eigenvalues . Journal of Algebra 341 ( 1 ): 125 – 149 .[Crossref], [Web of Science ®] , [Google Scholar]], whose terminology we follow. In this work we investigate eigenvalues, characteristic polynomials and coefficients of characteristic polynomials of supertropical matrices and their powers, and obtain the analog to the basic property of matrices that any power of an eigenvalue of a matrix is an eigenvalue of the corresponding power of the matrix.     

The infinitesimal and the little q-Schur superalgebras

In this paper, based on the results in [8 Du, J., Gu, H.-X. (2014). A realization of the quantum supergroup U(𝔤𝔩_m|n). J. Algebra 404:60–99.[Web of Science ®] , [Google Scholar]] we give a monomial basis for q-Schur superalgebra and then a presentation for it. The presentation is different from that in [12 El Turkey, H., Kujawa, J. (2012). Presenting Schur superalgebras. Pacific J. Math., 262(2):285–316.[Crossref], [Web of Science ®] , [Google Scholar]]. Imitating [3 Cox, A. G. (1997). On some applications of infinitesimal methods to quantum groups and related algebras. Ph.D. Thesis. University of London. [Google Scholar]] and [7 Du, J., Fu, Q., Wang, J.-P. (2005). Infinitesimal quantum 𝔤𝔩_n and little q-Schur algebras. J. Algebra 287:199–233.[Crossref], [Web of Science ®] , [Google Scholar]], we define the infinitesimal and the little q-Schur superalgebras. We give a “weight idempotent presentation” for infinitesimal q-Schur superalgebras. The BLM bases and monomial bases of little q-Schur superalgebras are obtained, and dimension formulas of infinitesimal and little q-Schur superalgebras are deduced.     

Finitary Incidence Algebras

It is well known that incidence algebras can be defined only for locally finite partially ordered sets (Doubilet et al., 1972 Doubilet , P. , Rota , G.-C. , Stanley , R. ( 1972 ). On the foundations of combinatorial theory (VI): The idea of generating function . In: Proc. of the Sixth Berkely Symp. on Math. Stat. and Probab . v. II , Univ. of Calif. Press , pp. 267 – 318 . [Google Scholar]; Stanley 1986 Stanley , R. P. ( 1986 ). Enumerative Combinatorics . v. 1 . Monterey, CA : Wadsworth &; Brooks/Cole .[Crossref] , [Google Scholar]). At the same time, for example, the poset of cells of a noncompact cell partition of a topological space is not locally finite. On the other hand, some operations, such as the order sum and the order product (Stanley, 1986 Stanley , R. P. ( 1986 ). Enumerative Combinatorics . v. 1 . Monterey, CA : Wadsworth &; Brooks/Cole .[Crossref] , [Google Scholar]), do not save the locally finiteness. So it is natural to try to generalize the concept of incidence algebra.

In this article, we consider the functions in two variables on an arbitrary poset (finitary series), for which the convolution operation is defined. We obtain the generalization of incidence algebra—finitary incidence algebra and describe its properties: invertibility, the Jackobson radical, idempotents, regular elements. As a consequence a positive solution of the isomorphism problem for such algebras is obtained.     

Action of generalized symmetric groups on symmetric and exterior powers of their natural representations

We establish upper and lower bounds on the dimension of the space spanned by the symmetric powers of the natural character of generalized symmetric groups. We adapt the methods of Savitt and Stanley from [4 Savitt, D., Stanley, R. P. (2000). A note on the symmetric powers of the standard representation of S_n. Electron. J. Combin. 7:R6. [Google Scholar]] to obtain bounds both over the complex numbers and in prime characteristic.     

Hurwitz Generation of PSp 6(q)

We show that the symplectic groups PSp₆(q) are Hurwitz for all q = p ^m  ≥ 5, with p an odd prime. The result cannot be improved since, for q even and q = 3, it is known that PSp₆(q) is not Hurwitz. In particular, n = 6 turns out to be the smallest degree for which a family of classical simple groups of degree n, over 𝔽 _{p ^m} , contains Hurwitz groups for infinitely many values of m. This fact, for a given (possibly large) p, also follows from [9 Larsen , M. , Lubotzky , A. , Marion , C. ( 2014 ). Deformation theory and finite simple quotients of triangle groups I . J. Eur. Math. Soc. (JEMS) 16 ( 7 ): 1349 – 1375 .[Crossref], [Web of Science ®] , [Google Scholar]] and [10 Larsen , M. , Lubotzky , A. , Marion , C. ( 2014 ). Deformation theory and finite simple quotients of triangle groups II . Groups Geom. Dyn. 8 ( 3 ): 811 – 836 .[Crossref], [Web of Science ®] , [Google Scholar]].     

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.     

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.     

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]].