Search

Let X be a complex Banach space, and denote by \mathcal {B}(X) the algebra of all bounded linear operators on X. Let C,D\in \mathcal {B} \left (X\right) be fixed operators. In this paper, we characterize linear, continuous and bijective maps \varphi and \psi on \mathcal {B}\left (X\right) for which there exist invertible operators T_0, W_0 \in \mathcal { B}(X) such that \varphi (T_0), \psi (W_0) \in \mathcal {B}(X) are both invertible, having the property that \varphi \left (A\right) \psi \left (B\right) =D in \mathcal {B}(X) whenever AB=C in \mathcal {B}(X). As a corollary, we deduce the form of linear, bijective and continuous maps \varphi on \mathcal {B}(X) having the property that \varphi \left (A\right) \varphi \left (B\right) =D in \mathcal {B}(X) whenever AB=C. [ABSTRACT FROM AUTHOR]

In this short paper, we derive a new result on Umehara algebra. As a consequence, we prove that an indefinite complex hyperbolic space and an indefinite complex projective space do not share a common complex submanifold with induced metrics, answering a question raised in Cheng et al. [ABSTRACT FROM AUTHOR]

Important connections in representation theory arise from resolving a finite-dimensional algebra by an endomorphism algebra of a generator-cogenerator with finite global dimension; for instance, Auslander's correspondence, classical Schur–Weyl duality and Soergel's Struktursatz. Here, the module category of the resolution and the module category of the algebra being resolved are linked via an exact functor known as the Schur functor. In this paper, we investigate how to measure the quality of the connection between module categories of (projective) Noetherian algebras, B, and module categories of endomorphism algebras of generator-relative cogenerators over B which are split quasi-hereditary Noetherian algebras. In particular, we are interested in finding, if it exists, the highest degree n so that the endomorphism algebra of a generator-cogenerator provides an n-faithful cover, in the sense of Rouquier, of B. The degree n is known as the Hemmer–Nakano dimension of the standard modules. We prove that, in general, the Hemmer–Nakano dimension of standard modules with respect to a Schur functor from a split highest weight category over a field to the module category of a finite-dimensional algebra B is bounded above by the number of non-isomorphic simple modules of B. We establish methods for reducing computations of Hemmer–Nakano dimensions in the integral setup to computations of Hemmer–Nakano dimensions over finite-dimensional algebras, and vice-versa. In addition, we extend the framework to study Hemmer–Nakano dimensions of arbitrary resolving subcategories. In this setup, we find that the relative dominant dimension over (projective) Noetherian algebras is an important tool in the computation of these degrees, extending the previous work of Fang and Koenig. In particular, this theory allows us to derive results for Schur algebras and the BGG category \mathcal {O} in the integral setup from the finite-dimensional case. More precisely, we use the relative dominant dimension of Schur algebras to completely determine the Hemmer–Nakano dimension of standard modules with respect to Schur functors between module categories of Schur algebras over regular Noetherian rings and module categories of group algebras of symmetric groups over regular Noetherian rings. We exhibit several structural properties of deformations of the blocks of the Bernstein-Gelfand-Gelfand category \mathcal {O} establishing an integral version of Soergel's Struktursatz. We show that deformations of the combinatorial Soergel's functor have better homological properties than the classical one. [ABSTRACT FROM AUTHOR]

We describe some recent computer investigations with the 'Constraint Logic Programming over Finite Domains' library in the Prolog programming environment to search for new simple Lie algebras over the field \operatorname {GF}(2) of 2 elements. Motivated by a paper of Grishkov et al., we specifically look for those with a thin decomposition , and we settle one of their conjectures. We extrapolate from our results the existence of two new infinite families of simple Lie algebras, in addition to finding seven new sporadic examples in dimension 31. We also better contextualise some previously discovered simple algebras, putting them into families which do not seem to have ever appeared in the literature, and give an updated table of those currently known. [ABSTRACT FROM AUTHOR]

In this paper, we prove a result similar to results of Itoh [J. Algebra 150 (1992), pp. 101–117] and Hong-Ulrich [J. Lond. Math. Soc. (2) 90 (2014), pp. 861–878], proving that integral closure of an ideal is compatible with specialization by a general element of that ideal for ideals of height at least two in a large class of rings. Moreover, we show integral closure of sufficiently large powers of the ideal is compatible with specialization by a general element of the original ideal. In a polynomial ring over an infinite field, we give a class of squarefree monomial ideals for which the integral closure is compatible with specialization by a general linear form. [ABSTRACT FROM AUTHOR]

The aim of this paper is to study a poset isomorphism between two support \tau-tilting posets. We take several information from combinatorial properties of support \tau-tilting posets and give an analogue of Happel-Unger's reconstruction theorem. [ABSTRACT FROM AUTHOR]

Building on work of Ruelle and Putnam in the Smale space case, Thomsen defined the homoclinic and heteroclinic C^\ast-algebras for an expansive dynamical system. In this paper we define a class of expansive dynamical systems, called synchronizing dynamical systems, that exhibit hyperbolic behavior almost everywhere. Synchronizing dynamical systems generalize Smale spaces (and even finitely presented systems). Yet they still have desirable dynamical properties such as having a dense set of periodic points. We study various C^\ast-algebras associated with a synchronizing dynamical system. Among other results, we show that the homoclinic algebra of a synchronizing system contains an ideal which behaves like the homoclinic algebra of a Smale space. [ABSTRACT FROM AUTHOR]

Let (A,\mathfrak {m}) be an excellent normal domain of dimension two containing a field k \cong A/\mathfrak {m}. An \mathfrak {m}-primary ideal I is a p_g-ideal if the Rees algebra A[It] is a Cohen-Macaulay normal domain. If k is algebraically closed then Okuma, Watanabe and Yoshida proved that A has p_g-ideals and furthermore product of two p_g-ideals is a p_g ideal. Previously we showed that if k has characteristic zero then A has p_g-ideals. In this paper we prove that if k is perfect field of positive characteristic then also A has p_g ideals. [ABSTRACT FROM AUTHOR]

This paper introduces (graded) skew cellular algebras, which generalise Graham and Lehrer's cellular algebras. We show that all of the main results from the theory of cellular algebras extend to skew cellular algebras and we develop a "cellular algebra Clifford theory" for the skew cellular algebras that arise as fixed point subalgebras of cellular algebras. As an application of this general theory, the main result of this paper proves that the Hecke algebras of type G(\ell,p,n) are graded skew cellular algebras. In the special case when p = 2 this implies that the Hecke algebras of type G(\ell,2,n) are graded cellular algebras. The proofs of all of these results rely, in a crucial way, on the diagrammatic Cherednik algebras of Webster and Bowman. Our main theorem extends Geck's result that the one parameter Iwahori-Hecke algebras are cellular algebras in two ways. First, our result applies to all cyclotomic Hecke algebras in the infinite series in the Shephard-Todd classification of complex reflection groups. Secondly, we lift cellularity to the graded setting. As applications of our main theorem, we show that the graded decomposition matrices of the Hecke algebras of type G(\ell,p,n) are unitriangular, we construct and classify their graded simple modules and we prove the existence of "adjustment matrices" in positive characteristic. [ABSTRACT FROM AUTHOR]

Let \Lambda (f) = K[x][y; f\frac {d}{dx} ] be an Ore extension of a polynomial algebra K[x] over a field K of characteristic zero where f\in K[x]. For a given polynomial f, the automorphism group of the algebra \Lambda (f) is explicitly described. The polynomial case \Lambda (0) = K[x,y] and the case of the Weyl algebra A_1= K[x][y; \frac {d}{dx} ] were done by Jung [J. Reine Angew. Math. 184 (1942), pp. 161–174] and van der Kulk [Nieuw Arch. Wisk. (3) 1 (1953), pp. 33–41], and Dixmier [Bul. Soc. Math. France 96 (1968), pp. 209–242], respectively. Alev and Dumas [Comm. Algebra 25 (1997), pp. 1655–1672] proved that the algebras \Lambda (f) and \Lambda (g) are isomorphic iff g(x) = \lambda f(\alpha x+\beta) for some \lambda, \alpha \in K\backslash \{ 0\} and \beta \in K. Benkart, Lopes and Ondrus [Trans. Amer. Math. Soc. 367 (2015), pp. 1993–2021] gave a complete description of the set of automorphism groups of algebras \Lambda (f). In this paper we complete the picture, i.e. given the polynomial f we have the explicit description of the automorphism group of \Lambda (f). The key concepts in finding the automorphism groups are the eigenform, the eigenroot and the eigengroup of a polynomial (introduced in the paper; they are of independent interest). [ABSTRACT FROM AUTHOR]

Let S be the polynomial ring on the space of non-square generic matrices or the space of odd-sized skew-symmetric matrices, and let I be the determinantal ideal of maximal minors or Pf the ideal of sub-maximal Pfaffians, respectively. Using desingularizations and representation theory of the general linear group we expand upon work of Raicu–Weyman–Witt [Adv. Math. 250 (2014), pp. 596–610] to determine the S-module structures of Ext^j_S(S/I^t, S) and Ext^j_S(S/Pf^t, S), from which we get the degrees of generators of these Ext modules. As a consequence, via graded local duality we answer a question of Wenliang Zhang [J. Pure Appl. Algebra 225 (2021), Paper No. 106789] on the socle degrees of local cohomology modules of the form H^j_\mathfrak {m}(S/I^t). [ABSTRACT FROM AUTHOR]

Upper triangular, and more generally, block-triangular matrices, are rather important in Linear Algebra, and also in Ring theory, namely in the theory of PI algebras (algebras that satisfy polynomial identities). The group gradings on such algebras have been extensively studied during the last decades. In this paper we prove that for any group grading on a block-triangular matrix algebra, over an arbitrary field, the Jacobson radical is a graded (homogeneous) ideal. As noted by F. Yasumura [Arch. Math. (Basel) 110 (2018), pp. 327–332] this yields the classification of the group gradings on these algebras and confirms a conjecture made by A. Valenti and M. Zaicev [Arch. Math. (Basel) 89 (2007), pp. 33–40]. [ABSTRACT FROM AUTHOR]

In this paper, for an arbitrary Kac-Moody Lie algebra {\mathfrak g} and a diagram automorphism \mu of {\mathfrak g} satisfying certain natural linking conditions, we introduce and study a \mu-twisted quantum affinization algebra {\mathcal U}_\hbar \left (\hat {\mathfrak g}_\mu \right) of {\mathfrak g}. When {\mathfrak g} is of finite type, {\mathcal U}_\hbar \left (\hat {\mathfrak g}_\mu \right) is Drinfeld's current algebra realization of the twisted quantum affine algebra. When \mu =\mathrm {id} and {\mathfrak g} in affine type, {\mathcal U}_\hbar \left (\hat {\mathfrak g}_\mu \right) is the quantum toroidal algebra introduced by Ginzburg, Kapranov and Vasserot. As the main results of this paper, we first prove a triangular decomposition for {\mathcal U}_\hbar \left (\hat {\mathfrak g}_\mu \right). Second, we give a simple characterization of the affine quantum Serre relations on restricted {\mathcal U}_\hbar \left (\hat {\mathfrak g}_\mu \right)-modules in terms of "normal order products". Third, we prove that the category of restricted {\mathcal U}_\hbar \left (\hat {\mathfrak g}_\mu \right)-modules is a monoidal category and hence obtain a topological Hopf algebra structure on the "restricted completion" of {\mathcal U}_\hbar \left (\hat {\mathfrak g}_\mu \right). Last, we study the classical limit of {\mathcal U}_\hbar \left (\hat {\mathfrak g}_\mu \right) and abridge it to the quantization theory of extended affine Lie algebras. In particular, based on a classification result of Allison-Berman-Pianzola, we obtain the \hbar-deformation of all nullity 2 extended affine Lie algebras. [ABSTRACT FROM AUTHOR]

We equip the type A diagrammatic Hecke category with a special derivation, so that after specialization to characteristic p it becomes a p-dg category. We prove that the defining relations of the Hecke algebra are satisfied in the p-dg Grothendieck group. We conjecture that the p-dg Grothendieck group is isomorphic to the Iwahori-Hecke algebra, equipping it with a basis which may differ from both the Kazhdan-Lusztig basis and the p-canonical basis. More precise conjectures will be found in the sequel. Here are some other results contained in this paper. We provide an incomplete proof of the classification of all degree +2 derivations on the diagrammatic Hecke category, and a complete proof of the classification of those derivations for which the defining relations of the Hecke algebra are satisfied in the p-dg Grothendieck group. In particular, our special derivation is unique up to duality and equivalence. We prove that no such derivation exists in simply-laced types outside of finite and affine type A. We also examine a particular Bott-Samelson bimodule in type A_7, which is indecomposable in characteristic 2 but decomposable in all other characteristics. We prove that this Bott-Samelson bimodule admits no nontrivial fantastic filtrations in any characteristic, which is the analogue in the p-dg setting of being indecomposable. [ABSTRACT FROM AUTHOR]

Let \pi \colon Y\to X denote the canonical resolution of the two dimensional Kleinian singularity X of type ADE. In the present paper, we establish isomorphisms between the cohomological and K-theoretical Hall algebras of \omega-semistable properly supported sheaves on Y with fixed slope \mu and \zeta-semistable finite-dimensional representations of the preprojective algebra of affine type ADE of slope zero respectively, under some conditions on \zeta depending on the polarization \omega and \mu. These isomorphisms are induced by the derived McKay correspondence. In addition, they are interpreted as decategorified versions of a monoidal equivalence between the corresponding categorified Hall algebras. In the type A case, we provide a finer description of the cohomological, K-theoretical and categorified Hall algebra of \omega-semistable properly supported sheaves on Y with fixed slope \mu: for example, in the cohomological case, the algebra can be given in terms of Yangians of finite type ADE Dynkin diagrams. [ABSTRACT FROM AUTHOR]

Let \mathcal {B}(H) be the algebra of all bounded operators on a Hilbert space H. Let T=V|T| be the polar decomposition of an operator T\in \mathcal {B}(H). The mean transform of T is defined by M(T)=\frac {T+|T|V}{2}. In this paper, we discuss several properties related to the spectrum, the kernel, the image, and the polar decomposition of mean transform. Moreover, we investigate the image and preimage by the mean transform of some class of operators such as positive, normal, unitary, hyponormal, and co-hyponormal operators. [ABSTRACT FROM AUTHOR]

The heat semigroup on discrete hypercubes is well-known to be contractive over L_p-spaces for 1

Symmetric homology is a natural generalization of cyclic homology, in which symmetric groups play the role of cyclic groups. In the case of associative algebras, the symmetric homology theory was introduced by Z. Fiedorowicz (1991) and was further developed in the work of S. Ault (2010). In this paper, we show that, for algebras defined over a field of characteristic 0, the symmetric homology is naturally equivalent to the (one-dimensional) representation homology introduced by the authors in joint work with G. Khachatryan (2013). Using known results on representation homology, we compute symmetric homology explicitly for basic algebras, such as polynomial algebras and universal enveloping algebras of (DG) Lie algebras. As an application, we prove two conjectures of Ault and Fiedorowicz, including their main conjecture (2007) on topological interpretation of symmetric homology of polynomial algebras. [ABSTRACT FROM AUTHOR]

We show that the celebrated operad of pre-Lie algebras is very rigid: it has no "non-obvious" degrees of freedom from either of the three points of view: deformations of maps to and from the "three graces of operad theory", homotopy automorphisms, and operadic twisting. Examining the latter, it is possible to answer two questions of Markl from 2005 [Czechoslovak Math. J. 57 (2007), pp. 253–268; J. Lie Theory 17 (2007), pp. 241–261], including a Lie-theoretic version of the Deligne conjecture. [ABSTRACT FROM AUTHOR]

In this paper, we give an explicit realization of all irreducible modules in Chari's category \widetilde {\mathcal O} for the affine Kac-Moody algebra A_{1}^{(1)} by using the idea of free fields. We work on a much more general setting which also gives us explicit realizations of all simple weight modules for certain current algebra of \mathfrak {sl}_2(\mathbb {C}) with finite weight multiplicities, including the polynomial current algebra \mathfrak {sl}_2(\mathbb {C})\otimes \mathbb {C}[t], the loop algebra \mathfrak {sl}_2(\mathbb {C})\otimes \mathbb {C}[t,t^{-1}] and the three-point Lie algebra \mathfrak {sl}_2(\mathbb {C})\otimes \mathbb {C}[t,t^{-1},(t-1)^{-1}] arisen in the work by Kazhdan-Lusztig. [ABSTRACT FROM AUTHOR]

Using Jack polynomials, Goulden and Jackson have introduced a one parameter deformation \tau _b of the generating series of bipartite maps, which generalizes the partition function of \beta-ensembles of random matrices. The Matching-Jack conjecture suggests that the coefficients c^\lambda _{\mu,\nu } of the function \tau _b in the power-sum basis are non-negative integer polynomials in the deformation parameter b. Dołęga and Féray have proved in 2016 the "polynomiality" part in the Matching-Jack conjecture, namely that coefficients c^\lambda _{\mu,\nu } are in \mathbb {Q}[b]. In this paper, we prove the "integrality" part, i.e. that the coefficients c^\lambda _{\mu,\nu } are in \mathbb {Z}[b]. The proof is based on a recent work of the author that deduces the Matching-Jack conjecture for marginal sums \overline { c}^\lambda _{\mu,l} from an analog result for the b-conjecture, established in 2020 by Chapuy and Dołęga. A key step in the proof involves a new connection with the graded Farahat-Higman algebra. [ABSTRACT FROM AUTHOR]

In [Math. Ann. 367 (2017), pp. 1517–1586] Bar-Natan and the first author show that solutions to the Kashiwara–Vergne equations are in bijection with certain knot invariants: homomorphic expansions of welded foams. Welded foams are a class of knotted tubes in \mathbb {R}^4, which can be finitely presented algebraically as a circuit algebra , or equivalently, a wheeled prop. In this paper we describe the Kashiwara-Vergne groups \mathsf {KV} and \mathsf {KRV}—the symmetry groups of Kashiwara-Vergne solutions—as automorphisms of the completed circuit algebras of welded foams, and their associated graded circuit algebras of arrow diagrams, respectively. Finally, we provide a description of the graded Grothendieck-Teichmüller group \mathsf {GRT}_1 as automorphisms of arrow diagrams. [ABSTRACT FROM AUTHOR]

In this paper we use the dominant dimension with respect to a tilting module to study the double centraliser property. We prove that if A is a quasi-hereditary algebra with a simple preserving duality and T is a faithful tilting A-module, then A has the double centralizer property with respect to T. This provides a simple and useful criterion which can be applied in many situations in algebraic Lie theory. We affirmatively answer a question of Mazorchuk and Stroppel by proving the existence of a unique minimal basic tilting module T over A for which A = EndEndA(T)(T). As an application, we establish a Schur-Weyl duality between the symplectic Schur algebra SKsy(m,n) and the Brauer algebra Bn(−2m) on the space of dual partially harmonic tensors under certain condition. [ABSTRACT FROM AUTHOR]

The notion of initial ideal for an ideal of a polynomial ring appears in the theory of Gröbner basis. Similarly to the initial ideals, we can define the initial algebra for a subalgebra of a polynomial ring, or more generally of a Laurent polynomial ring, which is used in the theory of SAGBI (Subalgebra Analogue to Gröbner Bases for Ideals) basis. The initial algebra of a finitely generated subalgebra is not always finitely generated, and no general criterion for finite generation is known. The aim of this paper is to present a new class of finitely generated subalgebras having non-finitely generated initial algebras. The class contains a subalgebra for which the set of initial algebras is uncountable, as well as a subalgebra with finitely many distinct initial algebras. [ABSTRACT FROM AUTHOR]

Ritt's theorem of zeroes and Siedenberg's embedding theorem are classical results in differential algebra allowing to connect algebraic and model-theoretic results on nonlinear PDEs to the realm of analysis. However, the existing proofs of these results use sophisticated tools from constructive algebra (characteristic set theory) and analysis (Riquier's existence theorem). In this paper, we give new short proofs for both theorems relying only on basic facts from differential algebra and the classical Cauchy-Kovalevskaya theorem for PDEs. [ABSTRACT FROM AUTHOR]

In this paper we study the behaviour of modules over finite dimensional algebras whose endomorphism algebra is a division ring. We show that there are finitely many such modules in the module category of an algebra if and only if the length of all such modules is bounded. [ABSTRACT FROM AUTHOR]

Examples of Fell algebras with compact spectrum and trivial Dixmier-Douady invariant are constructed to illustrate differences with the case of continuous-trace C^*-algebras. At the level of the spectrum, this translates to only assuming the spectrum is locally Hausdorff (rather than Hausdorff). The existence of (full) projections is the fundamental question considered. The class of Fell algebras studied here arises naturally in the study of Wieler solenoids and applications to dynamical systems will be discussed in a separate paper. [ABSTRACT FROM AUTHOR]

Let \mathcal {A} denote a central hyperplane arrangement of rank n in affine space \mathbb {K}^n over a field \mathbb {K} of characteristic zero and let l_1,\ldots, l_m\in R≔\mathbb {K}[x_1,\ldots,x_n] denote the linear forms defining the corresponding hyperplanes, along with the corresponding defining polynomial f≔l_1\cdots l_m\in R. The focus of the paper is on the ideal J_f\subset R generated by the partial derivatives of f. We conjecture that J_f is a minimal reduction of the ideal \mathbb {I}\subset R generated by the (m-1)-fold products of distinct forms among l_1,\ldots, l_m. We prove this conjecture for an almost generic \mathcal {A} (i.e., any n-1 among the defining linear forms are linearly independent). In this case we obtain a stronger version of a result by Dimca and Papadima, and we confirm the conjecture unconditionally for n=3. We also conjecture that J_f is an ideal of linear type (i.e., the respective symmetric and Rees algebras coincide). We prove this conjecture for n=3. In the sequel we explain the tight relationship between the two ideals J_f, \mathbb {I}\subset R; in particular, we show that in the generic case (J_f)^{\text {sat}}=\mathbb I. As a consequence, we can provide a simpler proof of a conjectured result of Yuzvinsky, proved by Rose and Terao, on the vanishing of the depth of R/J_f. [ABSTRACT FROM AUTHOR]

Majorana representations have been introduced by Ivanov [ Cambridge Tracts in Mathematics , Cambridge University Press, Cambridge, 2009] in order to provide an axiomatic framework for studying the actions on the Griess algebra of the Monster and of its subgroups generated by Fischer involutions. A crucial step in this programme is to obtain an explicit description of the Majorana representations of A_{12} (by Franchi, Ivanov, and Mainardis [J. Algebraic Combin. 44 (2016), pp. 265-292], the largest alternating group admitting a Majorana representation) for this might eventually lead to a new and independent construction of the Monster group (see A.A Ivanov [ Group theory and computation , Indian Stat. Inst. Ser., Springer, Singapore, 2018, Section 4, page 115]). In this paper we prove that A_{12} has two possible Majorana sets, one of which is the set \mathcal X_b of involutions of cycle type 2^2, the other is the union of \mathcal X_b with the set \mathcal X_s of involutions of cycle type 2^6. The latter case (the saturated case) is most interesting, since the Majorana set is precisely the set of involutions of A_{12} that fall into the class of Fischer involutions when A_{12} is embedded in the Monster. We prove that A_{12} has a unique saturated Majorana representation and we determine its degree and decomposition into irreducibles. As consequences we get that the Harada-Norton group has, up to equivalence, a unique Majorana representation and every Majorana algebra, affording either a Majorana representation of the Harada-Norton group or a saturated Majorana representation of A_{12}, satisfies the Straight Flush Conjecture (see A. A. Ivanov [ Contemp. Math. , Amer. Math. Soc., Providence, RI, 2017, pp. 11-17] and A. A. Ivanov [ Group theory and computation , Indian Stat. Inst. Ser., Springer, Singapore, 2018, pp. 107-118]). As a by-product we also determine the degree and the decomposition into irreducibles of the Majorana representation induced on A_8, the four point stabilizer subgroup of A_{12}. We finally state a conjecture about Majorana representations of the alternating groups A_n, 8\leq n\leq 12. [ABSTRACT FROM AUTHOR]

In this paper, we show that the finite subalgebra \mathcal {A}^\mathbb {R}(1), generated by \mathrm {Sq}^1 and \mathrm {Sq}^2, of the \mathbb {R}-motivic Steenrod algebra \mathcal {A}^\mathbb {R} can be given 128 different \mathcal {A}^\mathbb {R}-module structures. We also show that all of these \mathcal {A}-modules can be realized as the cohomology of a 2-local finite \mathbb {R}-motivic spectrum. The realization results are obtained using an \mathbb {R}-motivic analogue of the Toda realization theorem. We notice that each realization of \mathcal {A}^\mathbb {R}(1) can be expressed as a cofiber of an \mathbb {R}-motivic v_1-self-map. The {\mathrm {C}_2}-equivariant analogue of the above results then follows because of the Betti realization functor. We identify a relationship between the \mathrm {RO}({\mathrm {C}_2})-graded Steenrod operations on a {\mathrm {C}_2}-equivariant space and the classical Steenrod operations on both its underlying space and its fixed-points. This technique is then used to identify the geometric fixed-point spectra of the {\mathrm {C}_2}-equivariant realizations of \mathcal {A}^{\mathrm {C}_2}(1). We find another application of the \mathbb {R}-motivic Toda realization theorem: we produce an \mathbb {R}-motivic, and consequently a {\mathrm {C}_2}-equivariant, analogue of the Bhattacharya-Egger spectrum \mathcal {Z}, which could be of independent interest. [ABSTRACT FROM AUTHOR]

For a primitive Dirichlet character \chi modulo q, we define M(\chi)=\max _{t } |\sum _{n \leq t} \chi (n)|. In this paper, we study this quantity for characters of a fixed odd order g\geq 3. Our main result provides a further improvement of the classical Pólya-Vinogradov inequality in this case. More specifically, we show that for any such character \chi we have \begin{equation*} M(\chi)\ll _{\varepsilon } \sqrt {q}(\log q)^{1-\delta _g}(\log \log q)^{-1/4+\varepsilon }, \end{equation*} where \delta _g ≔1-\frac {g}{\pi }\sin (\pi /g). This improves upon the works of Granville and Soundararajan [J. Amer. Math. Soc. 20 (2007), pp. 357–384] and of Goldmakher [Algebra Number Theory 6 (2012), pp. 123–163]. Furthermore, assuming the Generalized Riemann Hypothesis (GRH) we prove that \begin{equation*} M(\chi) \ll \sqrt {q} \left (\log _2 q\right)^{1-\delta _g} \left (\log _3 q\right)^{-\frac {1}{4}}\left (\log _4 q\right)^{O(1)}, \end{equation*} where \log _j is the j-th iterated logarithm. We also show unconditionally that this bound is best possible (up to a power of \log _4 q). One of the key ingredients in the proof of the upper bounds is a new Halász-type inequality for logarithmic mean values of completely multiplicative functions, which might be of independent interest. [ABSTRACT FROM AUTHOR]

The properties of the Pastro polynomials on the real line are studied with the help of a triplet of q-difference operators. The q-difference equation and recurrence relation these polynomials obey are shown to arise as generalized eigenvalue problems involving the triplet of operators, with the Pastro polynomials as solutions. Moreover, a discrete biorthogonality relation on the real line for the Pastro polynomials is obtained and is then understood using adjoint operators. The algebra realized by the triplet of q-difference operators is investigated. [ABSTRACT FROM AUTHOR]

In this paper we show that Gorensteinness, singularity categories and the finite generation condition Fg for the Hochschild cohomology are invariants under the arrow removal operation for a finite dimensional algebra. [ABSTRACT FROM AUTHOR]

In this paper we show that evolution algebras over any given field \Bbbk are universally finite. In other words, given any finite group G, there exist infinitely many regular evolution algebras X such that Aut(X)\cong G. The proof is built upon the construction of a covariant faithful functor from the category of finite simple (non oriented) graphs to the category of (finite dimensional) regular evolution algebras. Finally, we show that any constant finite algebraic affine group scheme \mathbf {G} over \Bbbk is isomorphic to the algebraic affine group scheme of automorphisms of a regular evolution algebra. [ABSTRACT FROM AUTHOR]

In this paper we give a version of Bergman's diamond lemma which applies to certain monoidal categories presented by generators and relations. In particular, it applies to: the Coxeter presentation of the symmetric groups, the quiver Hecke algebras of Khovanov-Lauda-Rouquier, the Webster tensor product algebras, and various generalizations of these. We also give an extension of Manin-Schechtmann theory to non-reduced expressions. [ABSTRACT FROM AUTHOR]

Eulerian polynomials are fundamental in combinatorics and algebra. In this paper we study the linear transformation \mathcal {A}: \mathbb {R}[t] \to \mathbb {R}[t] defined by \mathcal {A}(t^n) = A_n(t), where A_n(t) denotes the n-th Eulerian polynomial. We give combinatorial, topological and Ehrhart theoretic interpretations of the operator \mathcal {A}, and investigate questions of unimodality and real-rootedness. In particular, we disprove a conjecture by Brenti (1989) concerning the preservation of real zeros, and generalize and strengthen recent results of Haglund and Zhang (2019) on binomial Eulerian polynomials. [ABSTRACT FROM AUTHOR]

Let g be a finite simply-laced type simple Lie algebra. Baumann-Kamnitzer-Knutson recently defined an algebra morphism D on the coordinate ring C[N] related to Brion's equivariant multiplicities via the geometric Satake correspondence. This map is known to take distinguished values on the elements of the MV basis corresponding to smooth MV cycles, as well as on the elements of the dual canonical basis corresponding to Kleshchev-Ram's strongly homogeneous modules over quiver Hecke algebras. In this paper we show that when g is of type An or D4, the map D takes similar distinguished values on the set of all flag minors of C[N], raising the question of the smoothness of the corresponding MV cycles. We also exhibit certain relations between the values of D on flag minors belonging to the same standard seed, and we show that in any ADE type these relations are preserved under cluster mutations from one standard seed to another. The proofs of these results partly rely on Kang-Kashiwara-Kim-Oh's monoidal categorification of the cluster structure of C[N] via representations of quiver Hecke algebras. [ABSTRACT FROM AUTHOR]

In this paper we develop new reduction techniques for testing the finiteness of the finitistic dimension of a finite dimensional algebra over a field. Viewing the latter algebra as a quotient of a path algebra, we propose two operations on the quiver of the algebra, namely arrow removal and vertex removal. The former gives rise to cleft extensions and the latter to recollements. These two operations provide us new practical methods to detect algebras of finite finitistic dimension. We illustrate our methods with many examples. [ABSTRACT FROM AUTHOR]

Zeta values in Tate algebras were introduced by Pellarin in 2012. They are generalizations of Carlitz zeta values and play an increasingly important role in function field arithmetic. In this paper we prove a conjecture of Pellarin on identities for these zeta values. The proof is based on arithmetic properties of Carlitz zeta values and an explicit formula for Bernoulli-type polynomials attached to zeta values in Tate algebras. [ABSTRACT FROM AUTHOR]

We extend Nekrashevych's KK-duality for C^*-algebras of regular, recurrent, contracting self-similar group actions to regular, contracting self-similar groupoid actions on a graph, removing the recurrence condition entirely and generalising from a finite alphabet to a finite graph. More precisely, given a regular and contracting self-similar groupoid (G,E) acting faithfully on a finite directed graph E, we associate two C^*-algebras, \mathcal {O}(G,E) and \widehat {\mathcal {O}}(G,E), to it and prove that they are strongly Morita equivalent to the stable and unstable Ruelle C*-algebras of a Smale space arising from a Wieler solenoid of the self-similar limit space. That these algebras are Spanier-Whitehead dual in KK-theory follows from the general result for Ruelle algebras of irreducible Smale spaces proved by Kaminker, Putnam, and the last author. [ABSTRACT FROM AUTHOR]

Spin^h manifolds are the quaternionic analogue to \text {spin}^c manifolds. We compute the \text {spin}^h bordism groups at the prime 2 by proving a structure theorem for the cohomology of the \text {spin}^h bordism spectrum \mathrm {MSpin^h} as a module over the mod 2 Steenrod algebra. This provides a 2-local splitting of \mathrm {MSpin^h} as a wedge sum of familiar spectra. We also compute the decomposition of H^*(\mathrm {MSpin^h};\mathbb {Z}/2\mathbb {Z}) explicitly in degrees up through 30 via a counting process. [ABSTRACT FROM AUTHOR]

Consider ideals I of the form \[ I=(x_1^2,\dots, x_n^2)+\operatorname {RLex}(x_ix_j) \] where \operatorname {RLex}(x_ix_j) is the ideal generated by all the square-free monomials which are greater than or equal to x_ix_j in the reverse lexicographic order. We will determine some interesting properties regarding the shape of the Hilbert series of I. Using a theorem of Lindsey [Proc. Amer. Math. Soc. 139 (2011), no. 1, 79–92], this allows for a short proof that any algebra defined by I has the strong Lefschetz property when the underlying field is of characteristic zero. Building on recent work by Phuong and Tran [Colloq. Math. 173 (2023), no. 1, 1–8], this result is then extended to fields of sufficiently high positive characteristic. As a consequence, this shows that for any possible number of minimal generators for an artinian quadratic ideal there exists such an ideal minimally generated by that many monomials and defining an algebra with the strong Lefschetz property. [ABSTRACT FROM AUTHOR]

We work out the exact relationship between algebraic modular forms for a two-by-two general unitary group over a definite quaternion algebra, and those arising from genera of positive-definite quinary lattices, relating stabilisers of local lattices with specific open compact subgroups, paramodular at split places, and with Atkin-Lehner operators. Combining this with the recent work of Rösner and Weissauer, proving conjectures of Ibukiyama on Jacquet-Langlands type correspondences (mildly generalised here), provides an effective tool for computing Hecke eigenvalues for Siegel modular forms of degree two and paramodular level. It also enables us to prove examples of congruences of Hecke eigenvalues connecting Siegel modular forms of degrees two and one. These include some of a type conjectured by Harder at level one, supported by computations of Fretwell at higher levels, and a subtly different congruence discovered experimentally by Buzzard and Golyshev. [ABSTRACT FROM AUTHOR]

We prove that for any fixed unitary matrix U, any abelian self-adjoint algebra of matrices that is invariant under conjugation by U can be embedded into a maximal abelian self-adjoint algebra that is still invariant under conjugation by U. We use this result to analyse the structure of matrices A for which A^*A commutes with AA^*, and to characterize matrices that are unitarily equivalent to weighted permutations. [ABSTRACT FROM AUTHOR]

Let G be a reductive group over a non-archimedean local field F of residue characteristic p. We prove that the Hecke algebras of G(F), with coefficients in any noetherian \mathbb {Z}_{\ell }-algebra R with \ell \neq p, are finitely generated modules over their centers, and that these centers are finitely generated R-algebras. Following Bernstein's original strategy, we then deduce that "second adjointness" holds for smooth representations of G(F) with coefficients in any \mathbb {Z}[\frac {1}{p}]-algebra. These results had been conjectured for a long time. The crucial new tool that unlocks the problem is the Fargues-Scholze morphism between a certain "excursion algebra" defined on the Langlands parameters side and the Bernstein center of G(F). Using this bridge, our main results are representation theoretic counterparts of the finiteness of certain morphisms between coarse moduli spaces of local Langlands parameters that we also prove here, which may be of independent interest. [ABSTRACT FROM AUTHOR]

We establish a general framework for representability of a metric group on a (well-behaved) class of Banach spaces. More precisely, let \mathcal {G} be a topological group, and \mathcal {A} a unital symmetric C^*-subalgebra of \mathrm {UC}(\mathcal {G}), the algebra of bounded uniformly continuous functions on \mathcal {G}. Generalizing the notion of a stable metric, we study \mathcal {A}-metrics \delta, i.e., the function \delta (e, \cdot) belongs to \mathcal {A}; the case \mathcal {A}=W\hskip -0.7mm A\hskip -0.2mm P(\mathcal {G}), the algebra of weakly almost periodic functions on \mathcal {G}, recovers stability. If the topology of G is induced by a left invariant metric d, we prove that \mathcal {A} determines the topology of \mathcal {G} if and only if d is uniformly equivalent to a left invariant \mathcal {A}-metric. As an application, we show that the additive group of C[0,1] is not reflexively representable; this is a new proof of Megrelishvili [ Topological transformation groups: selected topics , Elsevier, 2007, Question 6.7] (the problem was already solved by Ferri and Galindo [Studia Math. 193 (2009), pp. 99–108] with different methods and later the results were generalized by Yaacov, Berenstein, and Ferri [Math. Z. 267 (2011), pp.129–138]). Let now \mathcal {G} be a metric group, and assume \mathcal {A}\subseteq \mathrm {LUC}(\mathcal {G}), the algebra of bounded left uniformly continuous functions on \mathcal {G}, is a unital C^*-algebra which is the uniform closure of coefficients of representations of \mathcal {G} on members of \mathscr {F}, where \mathscr {F} is a class of Banach spaces closed under \ell _2-direct sums. We prove that \mathcal {A} determines the topology of \mathcal {G} if and only if \mathcal {G} embeds into the isometry group of a member of \mathscr {F}, equipped with the weak operator topology. As applications, we obtain characterizations of unitary and reflexive representability. [ABSTRACT FROM AUTHOR]

We study the maximal abelian von Neumann algebra corresponding to L^\infty (\mathbb {R}) via the Bargmann transform. It is naturally an algebra of operators on the Fock space F^2, but it can also be realized as a function algebra contained in F^2. This provides an interesting example of a C^* algebra whose elements are analytic functions. [ABSTRACT FROM AUTHOR]

We provide sufficient conditions for systems of polynomial equations over general (real or complex) algebras to have a solution. This generalizes known results on quaternions, octonions and matrix algebras. We also generalize the fundamental theorem of algebra for quaternions to polynomials with two monomials in the leading form, while showing that it fails for three. [ABSTRACT FROM AUTHOR]

We determine the defining equations of the Rees algebra and of the special fiber ring of the ideal of maximal minors of a 2\times n sparse matrix. We prove that their initial algebras are ladder determinantal rings. This allows us to show that the Rees algebra and the special fiber ring are Cohen-Macaulay domains, they are Koszul, they have rational singularities in characteristic zero and are F-rational in positive characteristic. [ABSTRACT FROM AUTHOR]

For each odd integer n \geq 3, we construct a rank-3 graph \Lambda _n with involution \gamma _n whose real C^*-algebra C^*_{\scriptscriptstyle \mathbb {R}}(\Lambda _n, \gamma _n) is stably isomorphic to the exotic Cuntz algebra \mathcal E_n. This construction is optimal, as we prove that a rank-2 graph with involution (\Lambda,\gamma) can never satisfy C^*_{\scriptscriptstyle \mathbb {R}}(\Lambda, \gamma)\sim _{ME} \mathcal E_n, and Boersema reached the same conclusion for rank-1 graphs (directed graphs) in [Münster J. Math. 10 (2017), pp. 485–521, Corollary 4.3]. Our construction relies on a rank-1 graph with involution (\Lambda, \gamma) whose real C^*-algebra C^*_{\scriptscriptstyle \mathbb {R}}(\Lambda, \gamma) is stably isomorphic to the suspension S \mathbb {R}. In the Appendix, we show that the i-fold suspension S^i \mathbb {R} is stably isomorphic to a graph algebra iff -2 \leq i \leq 1. [ABSTRACT FROM AUTHOR]