Self-Dual Hopf Quivers

ABSTRACT

We study self-dual coradically graded pointed Hopf algebras with a help of the dual Gabriel theorem for pointed Hopf algebras (van Oystaeyen and Zhang, 2004 van Oystaeyen , F. , Zhang , P. ( 2004 ). Quiver Hopf algebras . J. Algebra 280 ( 2 ): 577 – 589 . [CSA] [CROSSREF]  [Google Scholar]). The co-Gabriel Quivers of such Hopf algebras are said to be self-dual. An explicit classification of self-dual Hopf quivers is obtained. We also prove that finite dimensional pointed Hopf algebras with self-dual graded versions are generated by group-like and skew-primitive elements as associative algebras. This partially justifies a conjecture of Andruskiewitsch and Schneider (2000 Andruskiewitsch , N. , Schneider , H.-J . ( 2000 ). Finite quantum groups and Cartan matrices . Adv. Math. 154 : 1 – 45 . [CSA] [CROSSREF] [Crossref], [Web of Science ®] , [Google Scholar]) and may help to classify finite dimensional self-dual coradically graded pointed Hopf algebras.     

ℤ3-Twisted Representations of Lattice Vertex Operator Algebras

Abstract

Let L be a positive definite even lattice and let g ∈ Aut L be a fixed point free automorphism of order 3. We determine the twisted Zhu's algebra A _? (V _L ) for the lattice vertex operator algebra V _L , where ? is an automorphism of V _L induced from g. As a result, we show that the set of all irreducible ?-twisted modules for V _L (up to isomorphism) are exactly those constructed by Dong and Lepowsky (1996 Dong, C. and Lepowsky, J. 1996. The algebraic structure of relative twisted vertex operators. J. Pure and Applied Algebra, 110: 259–295. [Crossref], [Web of Science ®] , [Google Scholar]) and Lepowsky (1985 Lepowsky, J. 1985. Calculus of twisted vertex operators. Proc. Natl. Acad. Sci. USA, 82: 8295–8299. [Crossref], [PubMed], [Web of Science ®] , [Google Scholar]).     

Local and Global Existence for an Aggregation Equation

The purpose of this work is to develop a satisfactory existence theory for a general class of aggregation equations. An aggregation equation is a non-linear, non-local partial differential equation that is a regularization of a backward diffusion process. The non-locality arises via convolution with a potential. Depending on how regular the potential is, we prove either local or global existence for the solutions. Aggregation equations have been used recently to model the dynamics of populations in which the individuals attract each other (Bodnar and Velazquez, 2005 Bodnar , M. , Velazquez , J. J. L. ( 2005 ). Derivation of macroscopic equations for individual cell-based models: a formal approach . Math. Methods Appl. Sci. 28 ( 15 ): 1757 – 1779 .[Crossref], [Web of Science ®] , [Google Scholar]; Holm and Putkaradze, 2005 Holm , D. D. , Putkaradze , V. ( 2005 ). Aggregation of finite size particles with variable mobility . Phys. Rev. Lett. 95 : 226106 . [Google Scholar]; Mogilner and Edelstein-Keshet, 1999 Mogilner , A. , Edelstein-Keshet , L. ( 1999 ). A non-local model for a swarm . J. Math. Biol. 38 ( 6 ): 534 – 570 .[Crossref], [Web of Science ®] , [Google Scholar]; Morale et al., 2005 Morale , D. , Capasso , V. , Oelschläger , K. ( 2005 ). An interacting particle system modelling aggregation behavior: from individuals to populations . J. Math. Biol. 50 ( 1 ): 49 – 66 .[Crossref], [PubMed], [Web of Science ®] , [Google Scholar]; Topaz and Bertozzi, 2004 Topaz , C. M. , Bertozzi , A. L. ( 2004 ). Swarming patterns in a two-dimensional kinematic model for biological groups . SIAM J. Appl. Math. 65 ( 1 ): 152 – 174 (electronic) .[Crossref], [Web of Science ®] , [Google Scholar]; Topaz et al., 2006 Topaz , C. M. , Bertozzi , A. L. , Lewis , M. A. ( 2006 ). A nonlocal continuum model for biological aggregation . Bull. Math. Biol. 68 ( 7 ): 1601 – 1623 .[Crossref], [PubMed], [Web of Science ®] , [Google Scholar]).     

Scattering Theory Below Energy for a Class of Hartree Type Equations

We prove the global existence and scattering for the Hartree-type equation in H ^s (?³) the low regularity space s < 1. We follow the ideas in Colliander et al. (2004 Colliander , J. , Keel , M. , Staffilani , G. , Takaoka , H. , Tao , T. ( 2004 ). Global existence and scattering for rough solutions of a nonlinear Schrödinger equation on ?³ . Comm. Pure Appl. Math. 57 : 987 – 1014 .[Crossref], [Web of Science ®] , [Google Scholar]) to the Hartree-type nonlinearity, and also develop the theory of the classical multilinear operator modifying the L ^p estimate in Coifman and Meyer (1978 Coifman , R. , Meyer , Y. ( 1978 ). Au delá des opérateurs pseudo-differentiel . Astérisque, Société Mathématique de France 57 . [Google Scholar]).     

Graded Left Symmetric Pseudo-algebras

In the present article, we introduce G-graded left symmetric H-pseudoalgebras, where G is a grading group, and H is a cocommutative Hopf algebra. Some results about associative H-pseudoalgebras in [23 Retakh , A. ( 2004 ). Unital associative pseudoalgebras and their representations . J. Algebra 227 : 769 – 805 .[Crossref] , [Google Scholar]] are generalized. The commutator algebras of the G-graded left symmetric H-pseudo-algebras are Lie H-pseudoalgebras, which are classified when the grading group is trivial in [3 Bakalov , B. , D'Andrea , A. , Kac , V. G. ( 2001 ). Theory of finite pseudoalgebras . Adv. in Math. 162 : 1 – 140 .[Crossref], [Web of Science ®] , [Google Scholar]]. We investigate the left symmetric structure of Lie H-pseudoalgebras W(𝔟), S(𝔟), and He defined in [3 Bakalov , B. , D'Andrea , A. , Kac , V. G. ( 2001 ). Theory of finite pseudoalgebras . Adv. in Math. 162 : 1 – 140 .[Crossref], [Web of Science ®] , [Google Scholar]].     

Calderón problem for connections

In this paper, we consider the problem of identifying a connection ? on a vector bundle up to gauge equivalence from the Dirichlet-to-Neumann map of the connection Laplacian ?*? over conformally transversally anisotropic (CTA) manifolds. This was proved in [9 Dos Santos Ferreira, D., Kenig, C., Salo, M., Uhlmann, G. (2009). Limiting Carleman weights and anisotropic inverse problems. Invent. Math. 178:119–171.[Crossref], [Web of Science ®] , [Google Scholar]] for line bundles in the case of the transversal manifold being simple—we generalize this result to the case where the transversal manifold only has an injective ray transform. Moreover, the construction of suitable Gaussian beam solutions on vector bundles is given for the case of the connection Laplacian and a potential, following the works of [11 Dos Santos Ferreira, D., Kurylev, Y., Lassas, M., Salo, M. (2016). The Calderón problem in transversally anisotropic geometries. J. Eur. Math. Soc., 18:2579–2626.[Crossref], [Web of Science ®] , [Google Scholar]]. This in turn enables us to construct the Complex Geometrical Optics (CGO) solutions and prove our main uniqueness result. We also reduce the problem to a new non-abelian X-ray transform for the case of simple transversal manifolds and higher rank vector bundles. Finally, we prove the recovery of a flat connection in general from the DN map, up to gauge equivalence, using an argument relating the Cauchy data of the connection Laplacian and the holonomy.     

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.     

Generalized Mean Curvature Flow in Carnot Groups

In this paper we study the generalized mean curvature flow of sets in the sub-Riemannian geometry of Carnot groups. We extend to our context the level sets method and the weak (viscosity) solutions introduced in the Euclidean setting in [4 Chen , Y. , Giga , Y. , Goto , S. ( 1991 ). Uniqueness and existence of viscosity solutions of generalized mean curvature flow equations . J. Diff. Geom. 33 : 749 – 786 .[Crossref], [Web of Science ®] , [Google Scholar]] and [12 Evans , L. C. , Spruck , J. ( 1991 ). Motion of level sets by mean curvature. I . J. Diff. Geom. 33 ( 3 ): 635 – 681 . [Google Scholar]]. We establish two special cases of the comparison principle, existence, uniqueness and basic geometric properties of the flow.     

Sharp estimates for solutions of mean field equations with collapsing singularity

The pioneering work of Brezis-Merle [7 Brezis, H., Merle, F. (1991). Uniform estimates and blow-up behavior for solutions of ?Δu = V(x)e^u in two dimensions. Commun. Partial Differential Equation 16:1223–1254.[Taylor & Francis Online], [Web of Science ®] , [Google Scholar]], Li-Shafrir [27 Li, Y.Y., Shafrir, I. (1994). Blow-up analysis for solutions of ?Δu = V(x)e^u in dimension two. Indiana Univ. Math. J. 43:1255–1270.[Crossref], [Web of Science ®] , [Google Scholar]], Li [26 Li, Y.Y. (1999). Harnack inequality: the method of moving planes. Commun. Math. Phys. 200:421–444.[Crossref], [Web of Science ®] , [Google Scholar]], and Bartolucci-Tarantello [3 Bartolucci, D., Tarantello, G. (2002). Liouville type equations with singular data and their applications to periodic multivortices for the electroweak theory. Commun. Math. Phys. 229:3–47.[Crossref], [Web of Science ®] , [Google Scholar]] showed that any sequence of blow-up solutions for (singular) mean field equations of Liouville type must exhibit a “mass concentration” property. A typical situation of blowup occurs when we let the singular (vortex) points involved in the equation (see (1.1) below) collapse together. However in this case, Lin-Tarantello in [30 Lin, C.S., Tarantello, G. (2016). When “blow-up” does not imply “concentration”: A detour from Brezis-Merle’s result. C. R. Math. Acad. Sci. Paris 354:493–498.[Crossref], [Web of Science ®] , [Google Scholar]] pointed out that the phenomenon: “bubbling implies mass concentration” might not occur and new scenarios open for investigation. In this paper, we present two explicit examples which illustrate (with mathematical rigor) how a “nonconcentration” situation does happen and its new features. Among other facts, we show that in certain situations, the collapsing rate of the singularities can be used as blow-up parameter to describe the bubbling properties of the solution-sequence. In this way, we are able to establish accurate estimates around the blow-up points which we hope to use toward a degree counting formula for the shadow system (1.34) below.     

Splitting of operations for alternative and Malcev structures

In this paper, we define pre-Malcev algebras and alternative quadri-algebras and prove that they generalize pre-Lie algebras and quadri-algebras, respectively, to the alternative setting. We use the results and techniques from [4 Bai, C., Bellier, O., Guo, L., Ni, X. (2013). Splitting of operations, Manin products, and Rota-Baxter operators. Int. Math. Res. Not. 2013(3):485–524. [Google Scholar], 14 Gubarev, V. Y., Kolesnikov, P. S. (2013). Embedding of dendriform algebras into Rota-Baxter algebras. Cent. Eur. J. Math. 11(2):226–245.[Crossref], [Web of Science ®] , [Google Scholar]] to discuss and give explicit computations of different constructions in terms of bimodules, splitting of operations, and Rota–Baxter operators.     

The h-Vector of a Relatively Compressed Level Algebra

The purpose of this note is to supply an upper and a lower bound (which are in general sharp) for the h-vector of a level algebra which is relatively compressed with respect to any arbitrary level algebra A.

The useful concept of relatively compressed algebra was recently introduced in Migliore et al. (2005 Migliore , J. , Miró-Roig , R. , Nagel , U. ( 2005 ). Minimal resolution of relatively compressed level algebras . J. Algebra 284 ( 1 ): 337 – 370 .[Crossref] , [Google Scholar]) (whose investigations mainly focused on the particular case of A a complete intersection). The key idea of this note is the simple observation that the level algebras which are relatively compressed with respect to A coincide (after an obvious isomorphism) with the generic level quotients of suitable truncations of A. Therefore, we are able to apply to relatively compressed algebras the main result of our recent work, Zanello (2007 Zanello , F. ( 2007 ). Partial derivatives of a generic subspace of a vector space of forms: quotients of level algebras of arbitrary type . Trans. Amer. Math. Soc. 359 ( 6 ): 2675 – 2686 .[Crossref], [Web of Science ®] , [Google Scholar]).     

Polynomial extensions of SCN rings need not be SCN

In this article, we show that there exists an SCN ring R such that the polynomial ring R[x] is not SCN. This answers a question posed by T. K. Kwak et al. in [2 Kwak, T. K., Lee, M. J., Lee, Y. (2014). On sums of coe?cients of products of polynomials. Comm. Algebra 42(9):4033–4046.[Taylor & Francis Online], [Web of Science ®] , [Google Scholar]].     

Support Varieties for Modules Over Stacked Monomial Algebras

Let Λ be a finite-dimensional (D, A)-stacked monomial algebra. In this article, we give necessary and sufficient conditions for the variety of a simple Λ-module to be nontrivial. This is then used to give structural information on the algebra Λ, as it is shown that if the variety of every simple module is nontrivial, then Λ is a D-Koszul monomial algebra. We also provide examples of (D, A)-stacked monomial algebras which are not self-injective but nevertheless satisfy the finite generation conditions (Fg1) and (Fg2) of [4 Erdmann , K. , Holloway , M. , Snashall , N. , Solberg , Ø. , Taillefer , R. ( 2004 ). Support varieties for selfinjective algebras . K-Theory 33 : 67 – 87 .[Crossref] , [Google Scholar]], from which we can characterize all modules with trivial variety.     

Corrigendum to “New algebraic properties of an amalgamated algebra along an ideal”

At some point, after publication, we realized that Proposition 4.1(2) and Theorem 4.4 in [2 D’Anna, M., Finocchiaro, C. A., Fontana, M. (2016). New algebraic properties of an amalgamated algebra along an ideal. Commun. Algebra 44(5):1836–1851.[Taylor & Francis Online], [Web of Science ®] , [Google Scholar]] hold under the assumption (not explicitly declared) that B = f(A)+J. Furthermore, we provide here the exact value for the embedding dimension of A?^fJ, also when B≠f(A)+J, under the hypothesis that J is finitely generated as an ideal of the ring f(A)+J.     

A note on semicentral idempotents

In this note we answer the question raised by Han et al. in [3 Han, J., Lee, Y., Park, S. (2014). Semicentral idempotents in a ring. J. Korean Math. Soc. 51(3):463–472, MR3206399.[Crossref], [Web of Science ®] , [Google Scholar]] whether an idempotent isomorphic to a semicentral idempotent is itself semicentral. We show that rings with this property are precisely the Dedekind-finite rings. An application to module theory is given.     

Characterizations of power indices based on null player free winning coalitions

Abstract

In this paper, we characterize two power indices introduced in [1 Alonso-Meijide JM, Ferreira F, Álvarez-Mozos M, Pinto AA. Two new power indices based on winning coalitions. J. Differ. Equ. Appl. 2011;17:1095–1100.[Taylor & Francis Online], [Web of Science ®] , [Google Scholar]] using two different modifications of the monotonicity property first stated by [2 Young HP. Monotonic solutions of cooperative games. Internat. J. Game Theory. 1985;14:62–72.[Crossref] , [Google Scholar]]. The sets of properties are easily comparable among them and with previous characterizations of other power indices.     

On an Ingelstam's Theorem

A well-known Ingelstam's Theorem asserts that every real Hilbert space A with an associative unital product satisfying ‖ xy‖ ≤ ‖ x‖ ‖ y‖ and ‖ 1‖ = 1 is isomorphic to the reals ?, or the complex numbers ?, or the quaternions ?. This note deals with a nonunital and nonassociative extension of the Ingelstam Theorem. So the assumptions about associativity and existence of unity are weakened to the existence of a nonzero central idempotent e such that ‖ ex‖ = ‖e‖ ‖ x‖ for all x, and that in A holds a determined kind of algebraic identity strictly weaker that alternativeness. We prove that, up to isomorphisms, there are only seven algebras satisfying these assumptions, even without the requirement of completeness. On the other hand, Section 3 presents another characterization of the obtained algebras with the flavor of one of the main theorems in Bhatt et al. (1998 Bhatt , S. J. , Karia , D. J. , Kulkarni , S. H. , Shimpi , M. E. ( 1998 ). A note on the Gelfand-Mazur theorem . Proc. Amer. Math. Soc. 126 ( 10 ): 2999 – 3005 .[Crossref], [Web of Science ®] , [Google Scholar]).     

The minimal non-Koszul A(Γ)

The algebras A(Γ), where Γ is a directed layered graph, were first constructed by Gelfand et al. [5 Gelfand, I., Serconek, S., Retakh, V., Wilson, R. L. (2005). On a class of algebras associated to directed graphs. Selecta Math. (N.S.) 11(2):281–295.[Crossref], [Web of Science ®] , [Google Scholar]]. These algebras are generalizations of the algebras Q_n, which are related to factorizations of non-commutative polynomials. It was originally conjectured that these algebras were Koszul. In 2008, Cassidy and Shelton found a counterexample to this claim, a non-Koszul A(Γ) corresponding to a graph Γ with 18 edges and 11 vertices. We produce an example of a directed layered graph Γ with 13 edges and 9 vertices, which produces a non-Koszul A(Γ). We also show this is the minimal example with this property.