Search

Known as thin residually connected incidence geometry, hypertopes extend the framework of abstract polytopes, and can be built from Coxeter groups (not necessarily with linear diagrams). A regular hypertope is a flag-transitive hypertope. In this paper, we present infinite families of regular hypertopes of ranks 5, 6 and 7, in terms of a certain group covering approach (analogous to a method introduced by Conder and the author in an earlier paper on abstract chiral polytopes, but with wider adaptation). Although the illustrative examples within these families are derived from Coxeter groups exhibiting Y-shaped diagrams, this approach is applicable to obtaining regular hypertopes from Coxeter groups with other diagrams, such that the size of the family members grows linearly with entries of their types. [ABSTRACT FROM AUTHOR]

Let k be a field, let n ≥ 2 be a nonsquarefree integer not divisible by the characteristic of k. Assume that all roots of unity of degree n are contained in k. In the first part of the paper we consider pairs of symbol algebras over k with common slots D 1 ≃ (e , x) n ≃ (r , u) n , D 2 ≃ (e , y) n ≃ (r , v) n , exp D 1 = exp D 2 = n , and show that in general (e , x , y) n ≠ (r , u , v) n. As a consequence we prove that in general it is impossible to connect the pair { (e , x) n ; (e , y) n } and the pair { (r , u) n ; (r , v) n } by a chain of pairs of symbol algebras with a common slot and isomorphic to (D 1 ; D 2) in such a way that any two neighboring pairs in the chain are obtained from one another by a "natural" transformation. In the second part of the paper we prove that in contrast to the case n = 2 for any n divisible by 4 there exist symbol algebras D 1 , D 2 with deg ⁡ D 1 = deg ⁡ D 2 = n and exp D 1 = exp D 2 = n without common slot such that i D 1 + j D 2 is a symbol algebra of degree n for any i , j ∈ Z. [ABSTRACT FROM AUTHOR]

Let X be a finite connected poset, K a field of characteristic zero and I (X , K) the incidence algebra of X over K seen as a Lie algebra under the commutator product. In the first part of the paper we show that any 1 2 -derivation of I (X , K) decomposes into the sum of a central-valued 1 2 -derivation, an inner 1 2 -derivation and a 1 2 -derivation associated with a map σ : X < 2 → K that is constant on chains and cycles in X. In the second part of the paper we use this result to prove that any transposed Poisson structure on I (X , K) is the sum of a structure of Poisson type, a mutational structure and a structure determined by λ : X e 2 → K , where X e 2 is the set of (x , y) ∈ X 2 such that x < y is a maximal chain not contained in a cycle. [ABSTRACT FROM AUTHOR]

Let k be an algebraically closed field of characteristic 0. We study some cohomological properties of Lie subalgebras of the Witt algebra W = Der (k [ t , t − 1 ]) and the one-sided Witt algebra W ≥ − 1 = Der (k [ t ]). In the first part of the paper, we consider finite codimension subalgebras of W ≥ − 1. We compute derivations and one-dimensional extensions of such subalgebras. These correspond to Ext U (L) 1 (M , L) , where L is a subalgebra of W ≥ − 1 and M is a one-dimensional representation of L. We find that these subalgebras exhibit a kind of rigidity: their derivations and extensions are controlled by the full one-sided Witt algebra. As an application of these computations, we prove that any isomorphism between finite codimension subalgebras of W ≥ − 1 extends to an automorphism of W ≥ − 1. The second part of the paper is devoted to explaining the observed rigidity. We define a notion of "completely non-split extension" and prove that W ≥ − 1 is the universal completely non-split extension of any of its subalgebras of finite codimension. In some sense, this means that even when studying subalgebras of W ≥ − 1 as abstract Lie algebras, they remember that they are contained in W ≥ − 1. We also consider subalgebras of infinite codimension, explaining the similarities and differences between the finite and infinite codimension situations. Almost all of the results above are also true for subalgebras of the Witt algebra. We summarise results for W at the end of the paper. [ABSTRACT FROM AUTHOR]

In 1935, the introduction of the norm of a group by Reinhold Baer is a turning point in group theory. In fact, Baer proved that there is a very strong relationship between the structure of the norm and that of the whole group (see [1] , [2] , [3] , [4] , [5]). Since then, the norm has been playing a very significant roles in many aspects of group theory and its applications: it has been used in [43] to describe the connection between Hopf–Galois structures and skew braces; it has been used in [23] to describe some special types of profinite groups; and it has been fundamental in the theory of subgroup lattices of groups (see [40]). In this paper, we weaken the original definition of norm by taking into account only those subgroups that are "large" in some sense. Depending on the chosen concept of largeness, the resulting norm can have an impact on the structure of the whole group that is even greater than that of Baer's norm. This is exactly what happens with the non-polycyclic norm , and in fact, Theorem 4.17 gives a precise description of generalized soluble groups in which the non-polycyclic norm is non-Dedekind (and can be considered as the main result of the paper). Other times, the resulting norms have their own peculiar behaviour; this is the case if "large" means "infinite", "having infinite rank", "being non-Černikov", or "having cardinality m " for some given uncountable cardinal number m. [ABSTRACT FROM AUTHOR]

This article is the final one in the series of papers by the authors devoted to finite-dimensional singular (simple right-alternative with zero product in the even part) superalgebras. In previous papers, algebraically generated singular superalgebras were studied and it was proved that any such superalgebra has the structure of an extended double. In this article, we prove that any singular superalgebra is algebraically generated and, therefore, has the structure of an extended double. [ABSTRACT FROM AUTHOR]

Let (R , m) be a Noetherian local ring, and I an R -ideal such that pd R R / I < ∞. If R / I satisfies a property P , it is natural to ask if R would also have the property P , we call this the generalized deformation problem. Our paper gives some properties that hold for the generalized deformation problems. There are two main parts in this paper. The first part is about F -singularities in the generalized deformation problems. Motivated by Aberbach's work, we show that if every maximal regular sequence on R / I is Frobenius closed, then every regular sequence on R is Frobenius closed. Moreover, under mild assumptions, Frobenius closed can be replaced by tightly closed. By these two results, we solve the generalized deformation problems for F -injectivity in the Cohen-Macaulay case and F -rationality under mild assumptions. Namely, if R is a Noetherian local ring of characteristic p , and I an R -ideal such that pd R R / I < ∞ , then if R is Cohen-Macaulay and R / I is F -injective, then R is F -injective. If R is excellent and R / I is F -rational, then R is F -rational. The second part is about some basic properties of rings in arbitrary characteristic. We prove that if R is a Noetherian local ring, I an R -ideal such that pd R R / I < ∞ , then if R / I is S k , R k + S k + 1 , normal, reduced or a domain, then so is R. [ABSTRACT FROM AUTHOR]

Since the 1974 paper by Peskine and Szpiro, liaison theory via complete intersections, and more generally via Gorenstein varieties, has become a standard tool kit in commutative algebra and algebraic geometry, allowing to compare algebraic features of linked varieties. In this paper we develop a liaison theory via quasi-Gorenstein varieties, a much broader class than Gorenstein varieties. As applications, we derive a connectedness property of quasi-Gorenstein subspace arrangements generalizing previous results by Benedetti and the first author, and we deduce the classical topological Lefschetz duality via the Stanley-Reisner correspondence. [ABSTRACT FROM AUTHOR]

In this paper we study the Diophantine problem in Chevalley groups G π (Φ , R) , where Φ is a reduced irreducible root system of rank >1, R is an arbitrary commutative ring with 1. We establish a variant of double centralizer theorem for elementary unipotents x α (1). This theorem is valid for arbitrary commutative rings with 1. The result is principal to show that any one-parametric subgroup X α , α ∈ Φ , is Diophantine in G. Then we prove that the Diophantine problem in G π (Φ , R) is polynomial time equivalent (more precisely, Karp equivalent) to the Diophantine problem in R. This fact gives rise to a number of model-theoretic corollaries for specific types of rings. [ABSTRACT FROM AUTHOR]

In this paper, we classify simple Harish-Chandra modules over simple generalized Witt algebras. [ABSTRACT FROM AUTHOR]

Let K be an algebraically closed field of characteristic p ≥ 0. Assume F , F (1) , F (2) , and (F (1)) p are the free group on n > 1 generators, the first and second derived subgroups of F , and the subgroup of F (1) generated by all p -powers, respectively. In this paper, among other results, we show that for any word w ∈ F (1) ∖ F (2) (F (1)) p , the corresponding word map w : ∏ n PSL 2 (K) → PSL 2 (K) is surjective. We show that the class of such words w contains, for instance, all (weakly) Engel words. [ABSTRACT FROM AUTHOR]

The goal of this paper is to generalize a statement by Drinfeld, asserting that Yangians can be constructed as limit forms of the quantum loop algebras, to the super case. We establish a connection between quantum loop superalgebra and super Yangian of the general linear Lie superalgebra gl M | N in RTT type presentation. In particular, we derive the Poincaré-Birkhoff-Witt(PBW) theorem for the quantum loop superalgebra U q (Lgl M | N). Additionally, we investigate the application of the same argument to twisted super Yangian of the ortho-symplectic Lie superalgebra. For this purpose, we introduce the twisted quantum loop superalgebra as a one-sided coideal of U q (Lgl M | 2 n) with respect to the comultiplication. [ABSTRACT FROM AUTHOR]

For a ∈ C ⁎ there are two natural evaluation maps ev a and ev a from the affine Hecke algebra H ▵ (r) C to the Hecke algebra H (r) C. The maps ev a and ev a induce evaluation maps ev ˜ a and ev ˜ a from the affine quantum Schur algebra S ▵ (n , r) C to the quantum Schur algebra S (n , r) C , respectively. In this paper we prove that the evaluation map ev ˜ a (resp. ev ˜ a) is compatible with the evaluation map Ev a (resp. Ev (− 1) n a q n ) for quantum affine sl n. Furthermore we compute the Drinfeld polynomials associated with the simple S ▵ (n , r) C -modules which come from the simple S (n , r) C -modules via the evaluation maps ev ˜ a. Then we characterize finite-dimensional irreducible S ▵ (n , r) C -modules which are irreducible as S (n , r) C -modules for n > r. As an application, we characterize finite-dimensional irreducible modules for the affine Hecke algebra H ▵ (r) C which are irreducible as modules for the Hecke algebra H (r) C. [ABSTRACT FROM AUTHOR]

Let R be a commutative noetherian ring. In this paper, we find out close relationships between the module M being embedded in a module of projective dimension at most n and the (n + 1) -torsionfreeness of the n th syzygy of M. As an application, when R is local with residue field k , we compute the dimensions as k -vector spaces of Ext modules related to syzygies of k. [ABSTRACT FROM AUTHOR]

In our previous work with Grifo and Hà, we showed the stable Harbourne-Huneke containment and Chudnovsky's conjecture for the defining ideal of sufficiently many general points in P N. In this paper, we establish the conjectures for all remaining cases, and hence, give the affirmative answer to Harbourne-Huneke containment and Chudnovsky's conjecture for the general points in P N for all N. Our new technique is to develop the Cremona reduction process that provides effective lower bounds for the Waldschmidt constant of the defining ideals of generic points in projective spaces. [ABSTRACT FROM AUTHOR]

Let U q (g) denote the rational form of the quantized enveloping algebra associated to a complex simple Lie algebra g. Let λ be a nonzero dominant integral weight of g , and let V be the corresponding type 1 finite-dimensional irreducible representation of U q (g). Starting from this data, the R -matrix formalism for quantum groups outputs a Hopf algebra U R λ (g) defined in terms of a pair of generating matrices satisfying well-known quadratic matrix relations. In this paper, we prove that this Hopf algebra admits a Chevalley–Serre type presentation which can be recovered from that of U q (g) by adding a single invertible quantum Cartan element. We simultaneously establish that U R λ (g) can be realized as a Hopf subalgebra of the tensor product of the space of Laurent polynomials in a single variable with the quantized enveloping algebra associated to the lattice generated by the weights of V. The proofs of these results are based on a detailed analysis of the homogeneous components of the matrix equations and generating matrices defining U R λ (g) , with respect to a natural grading by the root lattice of g compatible with the weight space decomposition of End (V). [ABSTRACT FROM AUTHOR]

Semi-standard graded rings are a generalized notion of standard graded rings. In this paper, we compare generalized notions of the Gorenstein property in semi-standard graded rings. We discuss the commonalities between standard graded rings and semi-standard graded rings, as well as elucidate distinctive phenomena present in semi-standard graded rings that are absent in standard graded rings. [ABSTRACT FROM AUTHOR]

In this paper, a symplectic structure on a Leibniz algebra is defined to be a symmetric nondegenerate bilinear form satisfying certain compatibility condition, and a phase space of a Leibniz algebra is defined to be a symplectic Leibniz algebra satisfying certain conditions. We show that a Leibniz algebra has a phase space if and only if there is a compatible Leibniz-dendriform algebra, and phase spaces of Leibniz algebras are one-to-one corresponds to Manin triples of Leibniz-dendriform algebras. Product (paracomplex) structures and complex structures on Leibniz algebras are studied in terms of decompositions of Leibniz algebras. A para-Kähler structure on a Leibniz algebra is defined to be a symplectic structure and a paracomplex structure satisfying a compatibility condition. We show that a symplectic Leibniz algebra admits a para-Kähler structure if and only if the Leibniz algebra is the direct sum of two Lagrangian subalgebras as vector spaces. A complex product structure on a Leibniz algebra consists of a complex structure and a product structure satisfying a compatibility condition. A pseudo-Kähler structure on a Leibniz algebra is defined to be a symplectic structure and a complex structure satisfying a compatibility condition. Various properties and relations of complex product structures and pseudo-Kähler structures are studied. In particular, Leibniz-dendriform algebras give rise to complex product structures and pseudo-Kähler structures naturally. [ABSTRACT FROM AUTHOR]

Let G be an infinite simple group of finite Morley rank and of Prüfer 2-rank 1 which admits a supertight automorphism α such that the fixed-point subgroup C G (α n) is pseudofinite for all integers n > 0. The main result of this paper is the identification of G with PGL 2 (K) for some algebraically closed field K of characteristic ≠2. [ABSTRACT FROM AUTHOR]

There are several classical characterisations of the valuative dimension of a commutative ring. Constructive versions of this dimension have been given and proven to be equivalent to the classical notion within classical mathematics, and they can be used for the usual examples of commutative rings. To the contrary of the classical versions, the constructive versions have a clear computational content. This paper investigates the computational relationship between three possible constructive definitions of the valuative dimension of a commutative ring. In doing so, it proves these constructive versions to be equivalent within constructive mathematics. [ABSTRACT FROM AUTHOR]

To prove that a modular variety is of general type, there are three types of obstructions: reflective, cusp and elliptic obstructions. In this paper, we give a quantitative estimate of the reflective obstructions for the unitary case. This shows in particular that the reflective obstructions are small enough in higher dimension, say greater than 138. Our result reduces the study of the Kodaira dimension of unitary modular varieties to the construction of a cusp form of small weight in a quantitative manner. As a byproduct, we formulate and partially prove the finiteness of Hermitian lattices admitting reflective modular forms, which is a unitary analog of the conjecture by Gritsenko-Nikulin in the orthogonal case. Our estimate of the reflective obstructions uses Prasad's volume formula. [ABSTRACT FROM AUTHOR]

Resolvent degree is an invariant measuring the complexity of algebraic and geometric phenomena, including the complexity of finite groups. To date, the resolvent degree of a finite simple group G has only been investigated when G is a cyclic group; an alternating group; a simple factor of a Weyl group of type E 6 , E 7 , or E 8 ; or PSL (2 , F 7). In this paper, we establish upper bounds on the resolvent degrees of the sporadic groups by using the invariant theory of their projective representations. To do so, we introduce the notion of (weak) RD k ≤ d -versality, which we connect to the existence of "special points" on varieties. [ABSTRACT FROM AUTHOR]

The solubilizer of an element x of a profinite group G is the set of the elements y of G such that the subgroup of G generated by x and y is prosoluble. We propose the following conjecture: the solubilizer of x in G has positive Haar measure if and only if x centralizes 'almost all' the non-abelian chief factors of G. We reduce the proof of this conjecture to another conjecture concerning finite almost simple groups: there exists a positive c such that, for every finite simple group S and every (a , b) ∈ (Aut (S) ∖ { 1 }) × Aut (S) , the number of s is S such that 〈 a , b s 〉 is insoluble is at least c | S |. Work in progress by Fulman, Garzoni and Guralnick is leading to prove the conjecture when S is a simple group of Lie type. In this paper we prove the conjecture for alternating groups. [ABSTRACT FROM AUTHOR]

In [16] , a theory of universal extensions in abelian categories is developed; in particular, the notion of Ext 1 -universal object is presented. In the present paper, we show that an Ab3 abelian category which is Ext 1 -small satisfies the Ab4 condition if, and only if, each one of its objects is Ext 1 -universal. We use the dual of this result to construct projective effacements in Grothendieck categories. In particular, we complete the classical result of Roos on Grothendieck categories which are Ab4*, with a new proof, independent of [20]. We also give a characterization of the co- Ext 1 -universal objects of the category of torsion abelian groups. In particular, we show that such groups are the ones admitting a decomposition Q ⊕ R , in which Q is injective and R is a reduced group in which each p -component is bounded. [ABSTRACT FROM AUTHOR]

In this paper we study the classifying spaces of graph products of simplicial groups and connected Hopf algebras over a field, and show that they can be uniformly treated under the framework of polyhedral products. It turns out that these graph products are models of the loop spaces of polyhedral products over a flag complex and their homology, respectively. Certain morphisms between graph products are also considered. In the end we prove the structure theorems of such graph products in the form we need. [ABSTRACT FROM AUTHOR]

In this paper we mainly consider the notion of Drinfeld double for two weak multiplier Hopf (⁎-)algebras which are paired with each other. Then we show that the Drinfeld double is again a weak multiplier Hopf (⁎-)algebra. Furthermore, we study integrals on the Drinfeld double. Finally, we establish the correspondence between modules over a Drinfeld double D (A) and Yetter-Drinfeld modules over a weak algebraic quantum group A. [ABSTRACT FROM AUTHOR]

This paper concerns commutative plenary train algebras of rank m and their idempotents. We obtain the Peirce decomposition of these algebras having an idempotent element and the multiplication table of Peirce components when the plenary train roots are mutually different. We show that a backcrossing algebra is a plenary train algebra of rank m if and only if, it is a principal train one of rank m. For the backcrossing train algebras, we confirm a first conjecture of Juan Carlos Gutiérrez Fernández on the relation between plenary train roots and principal train roots. A second conjecture on the existence of idempotent in train algebras also obtains a positive answer in the class of backcrossing algebras. [ABSTRACT FROM AUTHOR]

A pseudo-Riemannian Lie group is a connected Lie group endowed with a left-invariant pseudo-Riemannian metric of signature (p , q). In this paper, we study pseudo-Riemannian Lie groups (G , 〈 ⋅ , ⋅ 〉) with non-Killing left-invariant conformal vector fields. Firstly, we prove that if h is a Cartan subalgebra for a semisimple Levi factor of the Lie algebra g , then dim ⁡ h ≤ max ⁡ { 0 , min ⁡ { p , q } − 2 }. Secondly, we classify trans-Lorentzian Lie groups (i.e., min ⁡ { p , q } = 2) with non-Killing left-invariant conformal vector fields, and prove that [ g , g ] is at most three-step nilpotent. Thirdly, based on the classification of the trans-Lorentzian Lie groups, we show that the corresponding Ricci operators are nilpotent, and consequently the scalar curvatures vanish. As a byproduct, we prove that four-dimensional trans-Lorentzian Lie groups with non-Killing left-invariant conformal vector fields are necessarily conformally flat, and construct a family of five-dimensional ones which are not conformally flat. [ABSTRACT FROM AUTHOR]

We deal with Perazzo hypersurfaces X = V (f) in P n + 2 defined by a homogeneous polynomial f (x 0 , x 1 , ... , x n , u , v) = p 0 (u , v) x 0 + p 1 (u , v) x 1 + ⋯ + p n (u , v) x n + g (u , v) , where p 0 , p 1 , ... , p n are algebraically dependent but linearly independent forms of degree d − 1 in K [ u , v ] and g is a form in K [ u , v ] of degree d. Perazzo hypersurfaces have vanishing hessian and, hence, the associated graded artinian Gorenstein algebra A f fails the strong Lefschetz property. In this paper, we first determine the maximum and minimum Hilbert function of A f , we prove that the Hilbert function of A f is always unimodal and we determine when A f satisfies the weak Lefschetz property. We illustrate our results with many examples and we show that our results do not generalize to Perazzo hypersurfaces X = V (f) in P n + 3 defined by a homogeneous polynomial f (x 0 , x 1 , ... , x n , u , v , w) = p 0 (u , v , w) x 0 + p 1 (u , v , w) x 1 + ⋯ + p n (u , v , w) x n + g (u , v , w) , where p 0 , p 1 , ... , p n are algebraically dependent but linearly independent forms of degree d − 1 in K [ u , v , w ] and g is a form in K [ u , v , w ] of degree d. [ABSTRACT FROM AUTHOR]

For a smooth affine algebra R of dimension d ≥ 3 over a field k and an invertible alternating matrix χ of rank 2 n , the group S p (χ) of invertible matrices of rank 2 n over R which are symplectic with respect to χ acts on the right on the set U m 2 n (R) of unimodular rows of length 2 n over R. In this paper, we prove that S p (χ) acts transitively on U m 2 n (R) if k is algebraically closed, d ! ∈ k × and 2 n ≥ d. [ABSTRACT FROM AUTHOR]

It is known since the works of Zariski that the essential difficulty in the local uniformization problem is met already in the case of valuations of height one. In this paper we prove that local uniformization of schemes and non-archimedean analytic spaces rigorously follows from the case of valuations of height one. For non-archimedean spaces this result reduces the problem to studying local structure of smooth Berkovich spaces. [ABSTRACT FROM AUTHOR]

This paper is a commutative algebra introduction to the homological theory of quasi-coherent sheaves and contraherent cosheaves over quasi-compact semi-separated schemes. Antilocality is an alternative way in which global properties are locally controlled in a finite affine open covering. For example, injectivity of modules over non-Noetherian commutative rings is not preserved by localizations, while homotopy injectivity of complexes of modules is not preserved by localizations even for Noetherian rings. The latter also applies to the contraadjustedness and cotorsion properties. All the mentioned properties of modules or complexes over commutative rings are actually antilocal. They are also colocal, if one presumes contraadjustedness. Generally, if the left class in a (hereditary complete) cotorsion theory for modules or complexes of modules over commutative rings is local and preserved by direct images with respect to affine open immersions, then the right class is antilocal. If the right class in a cotorsion theory for contraadjusted modules or complexes of contraadjusted modules is colocal and preserved by such direct images, then the left class is antilocal. As further examples, the class of flat contraadjusted modules is antilocal, and so are the classes of acyclic, Becker-coacyclic, or Becker-contraacyclic complexes of contraadjusted modules. The same applies to the classes of homotopy flat complexes of flat contraadjusted modules and acyclic complexes of flat contraadjusted modules with flat modules of cocycles. [ABSTRACT FROM AUTHOR]

The duality relation is a basic family of linear relations for multiple zeta values. The extended double shuffle relation (EDSR) is one of the families of relations expected to generate all linear relations among multiple zeta values, but it remains unclear as to whether all duality relations can be deduced from the EDSR. In the present paper, regarding the family generated by the duality relation and the family generated by the derivation relation, an explicit characterization of their intersection is obtained. Here, the derivation relation is a specialization of the EDSR. [ABSTRACT FROM AUTHOR]

The extension dimensions of an Artin algebra give a reasonable way of measuring how far an algebra is from being representation-finite. In this paper we mainly study the behavior of the extensions dimensions of algebras under different equivalences. We show that the difference of the extension dimensions of two derived equivalent algebras is bounded above by the length of the tilting complex associated with the derived equivalence, and that the extension dimension is an invariant under the stable equivalence. In addition, we provide two sufficient conditions such that the extension dimension is an invariant under particular derived equivalences. [ABSTRACT FROM AUTHOR]

Let R d be the space of stable sheaves F which satisfy the Hilbert polynomial χ (F (m)) = d m + 1 and are supported on rational curves in the projective plane P 2. Then R 1 (resp. R 2) is isomorphic to P 2 (resp. P 5). In addition, R 3 is well-known to be a P 6 -bundle over P 2. In particular, R d is smooth for d ≤ 3. However, for d ≥ 4 , in general, the space R d is no longer smooth because of the complexity of boundary curves. In this paper, we obtained an SL (3 , C) -equivariant smooth resolution of R 4 for d = 4 , which is a P 5 -bundle over a blow-up of a Kronecker modules space. [ABSTRACT FROM AUTHOR]

A difference Lie group is a Lie group equipped with a difference operator, equivalently a crossed homomorphism with respect to the adjoint action. In this paper, first we introduce the notion of a representation of a difference Lie group, and establish the relation between representations of difference Lie groups and representations of difference Lie algebras via differentiation and integration. Then we introduce a cohomology theory for difference Lie groups and justify it via the van Est theorem. Finally, we classify abelian extensions of difference Lie groups using the second cohomology group as applications. [ABSTRACT FROM AUTHOR]

Let A be a finite-dimensional algebra, and M be a d -cluster tilting subcategory of mod A. From the viewpoint of higher homological algebra, a natural question to ask is when M induces a d -cluster tilting subcategory in Mod A. In this paper, we investigate this question in a more general form. We consider M as an essentially small d -abelian category, known to be equivalent to a d -cluster tilting subcategory of an abelian category A. The completion of M , denoted by Ind (M) , is defined as the universal completion of M with respect to filtered colimits. We explore Ind (M) and demonstrate its equivalence to the full subcategory L d (M) of Mod M , comprising left d -exact functors. Notably, Ind (M) as a subcategory of Mod M Eff (M) falls short of being a d -cluster tilting subcategory since it satisfies all properties of a d -cluster tilting subcategory except d -rigidity. For a d -cluster tilting subcategory M of mod A , M → consists of all filtered colimits of objects from M , is a generating-cogenerating, functorially finite subcategory of Mod A. The question of whether M → is a d -rigid subcategory remains unanswered. However, if it is indeed d -rigid, it qualifies as a d -cluster tilting subcategory. In the case d = 2 , employing cotorsion theory, we establish that M → is a 2-cluster tilting subcategory if and only if M is of finite type. Thus, the question regarding whether M → is a d -cluster tilting subcategory of Mod A appears to be equivalent to Iyama's question about the finiteness of M. Furthermore, for general d , we address the problem and present several equivalent conditions for Iyama's question. [ABSTRACT FROM AUTHOR]

A pseudo-Euclidean non-associative algebra (g , •) is a finite dimensional algebra over a field K that has a metric, i.e., a bilinear, symmetric, and non-degenerate form 〈 , 〉. The metric is considered L-invariant (resp. R-invariant) if all left multiplications (resp. right multiplications) are skew-symmetric. The metric is called associative if 〈 u • v , w 〉 = 〈 u , v • w 〉 for all u , v , w ∈ g. These three notions coincide when g is a Lie algebra and in this case g endowed with the metric is known as a quadratic Lie algebra. This paper provides a complete description of L-invariant, R-invariant, or associative pseudo-Euclidean metrics on left Leibniz algebras over a commutative field of characteristic zero. It shows that a left Leibniz algebra with an associative metric is also right Leibniz and can be obtained easily from its underlying Lie algebra, which is a quadratic Lie algebra. Additionally, it shows that at the core of a left Leibniz algebra endowed with a L-invariant or R-invariant metric, there are two Lie algebras with one quadratic and the left Leibniz algebra can be built from these Lie algebras. We derive many important results from this complete description. Finally, the paper provides a list of left Leibniz algebras with an associative metric up to dimension 6, as well as a list of left Leibniz algebras with an L-invariant metric, up to dimension 4, and R-invariant metric up to dimension 5. [ABSTRACT FROM AUTHOR]

BiHom-associative algebras are generalized associative algebras with two multiplicative linear maps. In this paper, we give the Hochschild homology and cyclic homology structure of BiHom-associative algebras. Then, generalize the dual bimodule action to define the cyclic cohomology. Finally, we introduce the crossed modules of BiHom-associative algebras and show that the Hochschild cohomology of BiHom-associative algebra classifies crossed modules. [ABSTRACT FROM AUTHOR]

This paper is about the orbifold theory of affine vertex operator superalgebras. Among the main results, we classify the irreducible modules and determine the fusion rules for the orbifold of the simple affine vertex operator superalgebra L o s p (1 | 2) ˆ (k , 0). [ABSTRACT FROM AUTHOR]

In this paper we begin the study of set-theoretic type solution of the braid equation. Our theory includes set-theoretical solutions as basic examples. More precisely, the linear solution associated to a set-theoretic solution on a set X can be regarded as coming from the coalgebra kX , where k is a field and the elements of X are grouplike. We introduce and study a broader class of linear solutions associated in a similar way to more general coalgebras. We show that the relationships between set-theoretical solutions, q -cycle sets, q -braces, skew-braces, matched pairs of groups and invertible 1-cocycles remain valid in our setting. [ABSTRACT FROM AUTHOR]

Given a finite group G and an irreducible complex character χ of G , the codegree of χ is defined as the integer cod (χ) = | G : ker (χ) | / χ (1). It was conjectured by G. Qian in [16] that, for every element g of G , there exists an irreducible character χ of G such that cod (χ) is a multiple of the order of g ; the conjecture has been verified under the assumption that G is solvable ([16]) or almost-simple ([13]). In this paper, we prove that Qian's conjecture is true for every finite group whose Fitting subgroup is trivial, and we show that the analysis of the full conjecture can be reduced to groups having a solvable socle. [ABSTRACT FROM AUTHOR]

In the present paper, we give some sufficient conditions for Cl (k [ P ]) to be torsionfree, where Cl (k [ P ]) denote the divisor class group of the toric ring k [ P ] of an integral polytope P. We prove that Cl (k [ P ]) is torsionfree if P is compressed, and Cl (k [ P ]) is torsionfree if P is a (0 , 1) -polytope which has at most dim ⁡ P + 2 facets. Moreover, we characterize the toric rings of (0 , 1) -polytopes in the case Cl (k [ P ]) ≅ Z. [ABSTRACT FROM AUTHOR]

Let g be a complex simple Lie algebra and Z (g) be the center of the universal enveloping algebra U (g). Denote by V λ the finite-dimensional irreducible g -module with highest weight λ. Lehrer and Zhang defined the notion of strongly multiplicity free representations for simple Lie algebras motivated by studying the structure of the endomorphism algebra End U (g) (V λ ⊗ r) in terms of the quotients of the Kohno's infinitesimal braid algebra. Kostant introduced the g -invariant endomorphism algebras R λ (g) = (End V λ ⊗ U (g)) g and R λ , π (g) = (End V λ ⊗ π (U (g))) g. In this paper, we give some other criteria for a multiplicity free representation to be strongly multiplicity free by classifying the pairs (g , V λ) , which are multiplicity free and for such pairs, R λ (g) and R λ , π (g) are generated by generalizations of the quadratic Casimir elements of Z (g). [ABSTRACT FROM AUTHOR]

In recent years, averaging operators on Lie algebras (also called embedding tensors in the physics literature) and associated tensor hierarchies have formed an efficient tool for constructing supergravity and higher gauge theories. A Lie algebra with an averaging operator is called an averaging Lie algebra. In the present paper, we introduce 2-term averaging L ∞ -algebras and give characterizations of some particular classes of such homotopy algebras. Next, we study non-abelian extensions of an averaging Lie algebra by another averaging Lie algebra. We define the second non-abelian cohomology group to classify the equivalence classes of such non-abelian extensions. Next, given a non-abelian extension of averaging Lie algebras, we show that the obstruction for a pair of averaging Lie algebra automorphisms to be inducible can be seen as the image of a suitable Wells map. Finally, we discuss the Wells short exact sequence in the above context. [ABSTRACT FROM AUTHOR]

We study the category of representations of sl m + 2 n over a field of characteristic p with p ≫ 0 , whose p -character is a nilpotent whose Jordan type is the two-row partition (m + n , n). In a previous paper with Anno, we used Bezrukavnikov-Mirkovic-Rumynin's theory of positive characteristic localization and exotic t-structures to give a geometric parametrization of the simples using annular crossingless matchings. Building on this, here we give combinatorial dimension formulae for the simple objects, and compute the Jordan-Hölder multiplicities of the simples inside the baby Vermas. We use Cautis-Kamnitzer's geometric categorification of the tangle calculus to study the images of the simple objects under the BMR equivalence. Our results generalize Jantzen's formulae in the subregular nilpotent case (i.e. when n = 1), and may be viewed as a positive characteristic analogue of the combinatorial description for Kazhdan-Lusztig polynomials of Grassmannian permutations due to Lascoux and Schutzenberger. [ABSTRACT FROM AUTHOR]

A finitely generated residually finite group G is an O E ˆ -group if any action of its profinite completion G ˆ on a profinite tree with finite edge stabilizers admits a global fixed point. In this paper, we study the profinite genus of free products G 1 ⁎ H G 2 of O E ˆ -groups G 1 , G 2 with finite amalgamation H. Given such G 1 , G 2 , H we give precise formulas for the number of isomorphism classes of G 1 ⁎ H G 2 and of its profinite completion. We compute the genus of G 1 ⁎ H G 2 and list various situations when the formula for the genus simplifies. [ABSTRACT FROM AUTHOR]

In recent years, the notion of characteristic polynomials of representations of Lie algebras has been widely studied. This paper provides more properties of these characteristic polynomials. For simple Lie algebras, we characterize the linearization of characteristic polynomials. Additionally, we characterize nilpotent Lie algebras via characteristic polynomials of the adjoint representation. [ABSTRACT FROM AUTHOR]

Let K be a field of characteristic 0, let S be a complete local ring with coefficient field K , let K [ [ x 1 , ... , x n ] ] be the ring of formal power series in variables x 1 , ... , x n with coefficients from K , let K [ [ x 1 , ... , x n ] ] → S be a K -algebra surjection and let E • • , • be the associated Hodge-de Rham spectral sequence for the computation of the de Rham homology of S. Nicholas Switala [12] proved that this spectral sequence is independent of the surjection beginning with the E 2 page, and the groups E 2 p , q are all finite-dimensional over K. In this paper we extend this result to affine varieties. Namely, let Y be an affine variety over K , let X be a non-singular affine variety over K , let Y ⊂ X be an embedding over K and let E • • , • be the associated Hodge-de Rham spectral sequence for the computation of the de Rham homology of Y. Then this spectral sequence is independent of the embedding beginning with the E 2 page, and the groups E 2 p , q are all finite-dimensional over K. [ABSTRACT FROM AUTHOR]

Let A be a finite nilpotent group acting fixed point freely on the finite (solvable) group G by automorphisms. It is conjectured that the nilpotent length of G is bounded above by ℓ (A) , the number of primes dividing the order of A counted with multiplicities. In the present paper we consider the case A is cyclic and obtain that the nilpotent length of G is at most 2 ℓ (A) if | G | is odd. More generally we prove that the nilpotent length of G is at most 2 ℓ (A) + c (G ; A) when G is of odd order and A normalizes a Sylow system of G where c (G ; A) denotes the number of trivial A -modules appearing in an A -composition series of G. [ABSTRACT FROM AUTHOR]