GRADINGS OF SIMPLE JORDAN ALGEBRAS AND THEIR RELATION TO THE GRADINGS OF SIMPLE ASSOCIATIVE ALGEBRAS

In this paper we describe all group gradings of the simple Jordan algebra of a non-degenerate symmetric form on a vector space over a field of characteristic different from 2. If we use the notion of the Clifford algebra, then we are able to recover some of the gradings on matrix algebras obtained in an entirely different way in [BSZ] Bahturin, Y., Seghal, S. and Zaicev, M. in press. Group Gradings of Associative Algebras. J. Algebra, [Web of Science ®] , [Google Scholar].

     

Breadth and characteristic sequence of nilpotent Lie algebras

The notion of breadth of a nilpotent Lie algebra was introduced and used to approach problems of classification up to isomorphism in [5 Khuhirun, B., Misra, K. C., Stitzinger, E. (2015). On nilpotent Lie algebras of small breadth. J. Algebra 444:328–338.[Crossref], [Web of Science ®] , [Google Scholar]]. In the present paper, we study this invariant in terms of characteristic sequence, another invariant, introduced by Goze and Ancochea in [1 Ancochea-Bermúdez, J. M., Goze, M. (1986). Sur la classification des algèbres de Lie nilpotentes de dimension 7. C. R. Acad. Sci. Paris 302:611–613. [Google Scholar]]. This permits to complete the determination of Lie algebras of breadth 2 studied in [5 Khuhirun, B., Misra, K. C., Stitzinger, E. (2015). On nilpotent Lie algebras of small breadth. J. Algebra 444:328–338.[Crossref], [Web of Science ®] , [Google Scholar]] and to begin the work for Lie algebras with breadth greater than 2.     

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 deleting derivations algorithm and Poisson spectrum

Cauchon [5 Cauchon, G. (2003). Effacement des dérivations et spectres premiers des algèbres quantiques. J. Algebra 260(2):476–518.[Crossref], [Web of Science ®] , [Google Scholar]] introduced the so-called deleting derivations algorithm. This algorithm was first used in noncommutative algebra to prove catenarity in generic quantum matrices, and then to show that torus-invariant primes in these algebras are generated by quantum minors. Since then this algorithm has been used in various contexts. In particular, the matrix version makes a bridge between torus-invariant primes in generic quantum matrices, torus orbits of symplectic leaves in matrix Poisson varieties and totally non-negative cells in totally non-negative matrix varieties [12 Goodearl, K. R., Launois, S., Lenagan, T. (2011). Torus invariant prime ideals in quantum matrices, totally nonnegative cells and symplectic leaves. Math. Z. 269(1):29–45.[Crossref], [Web of Science ®] , [Google Scholar]]. This led to recent progress in the study of totally non-negative matrices such as new recognition tests [18 Launois, S., Lenagan, T. (2014). E?cient recognition of totally non-negative matrix cells. Found. Comput. Math. 14:371–387.[Crossref], [Web of Science ®] , [Google Scholar]]. The aim of this article is to develop a Poisson version of the deleting derivations algorithm to study the Poisson spectra of the members of a class 𝒫 of polynomial Poisson algebras. It has recently been shown that the Poisson Dixmier–Moeglin equivalence does not hold for all polynomial Poisson algebras [2 Bell, J., Launois, S., Sanchez, O. L., Moosa, R. Poisson algebras via model theory and differential-algebraic geometry. J. Eur. Math. Soc. (to appear). [Google Scholar]]. Our algorithm allows us to prove this equivalence for a significant class of Poisson algebras, when the base field is of characteristic zero. Finally, using our deleting derivations algorithm, we compare topologically spectra of quantum matrices with Poisson spectra of matrix Poisson varieties.     

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

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

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

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.     

ON FREE PRODUCTS OF ABSOLUTE GALOIS GROUPS. II

In [1] Ershov, Yu. L. 1997. On Free Products of Absolute Galois Groups. Dokl. Math., 56(3): 915–917.  [Google Scholar], the author gave a positive solution to the problem in the survey of Jarden [2] Jarden, M. 1996. “Infinite Galois Theory”. In Handbook of Algebra I Amsterdam: Elsevier Sci.. [Crossref] , [Google Scholar] on the closedness of the class of profinite groups that are isomorphic to absolute Galois groups of fields with respect to finite free products. In [3] Mel'nikov, O. V. 1999. On Free Products of Absolute Galois Groups. Sib. Mat. J., 40(1): 95–99. [Crossref], [Web of Science ®] , [Google Scholar], O. V. Mel'nikov solved this problem for separable profinite groups ([3] Mel'nikov, O. V. 1999. On Free Products of Absolute Galois Groups. Sib. Mat. J., 40(1): 95–99. [Crossref], [Web of Science ®] , [Google Scholar] was done earlier than [1] Ershov, Yu. L. 1997. On Free Products of Absolute Galois Groups. Dokl. Math., 56(3): 915–917.  [Google Scholar]). In the same case, a more exact result on the absolute Galois groups of fields of fixed characteristic was obtained there. The proof proposed in 4-5 Koenigsmann, J. in press. Relatively Projective Groups as Absolute Galois Groups. Haran, D., Jarden, M. and Koenigsmann, J. in press. Free Products of Absolute Galois Groups.   is simpler than that in [1] Ershov, Yu. L. 1997. On Free Products of Absolute Galois Groups. Dokl. Math., 56(3): 915–917.  [Google Scholar] and, in addition, provides the results of Mel'nikov.

On February, 2000, the author (knowing nothing about 4-5 Koenigsmann, J. in press. Relatively Projective Groups as Absolute Galois Groups. Haran, D., Jarden, M. and Koenigsmann, J. in press. Free Products of Absolute Galois Groups.  ) found one more proof of these results. In the author opinion, this proof is the simplest and the construction used in the proof, as well as its properties (cf. Propositio n 1) can have other applications.     

ON RESULTANT CRITERIA AND FORMULAS FOR THE INVERSION OF A POLYNOMIAL MAP

Concerning the inversion of a polynomial map F: K ² ? K ² over an arbitrary field K, it is natural to consider the following questions: (1) Can we find a necessary and sufficient criterion in terms of resultants for F to be invertible with polynomial ((2) resp. rational) inverse such that, this criterion gives an explicit formula to compute the inverse of F in this case? MacKay and Wang [5] McKay, J. and Wang, S. S. 1986. An Inversion Formula for Two Polynomials in Two Variables. J. of Pure and Appl. Algebra., 40: 245–257. [Crossref], [Web of Science ®] , [Google Scholar] gave a partial answer to question (1), by giving an explicit expression of the inverse of F, when F is invertible without constant terms. On the other hand, Adjamagbo and van den Essen [3] Adjamagbo, K. and van den Essen, A. 1990. A Resultant Criterion and Formula for the Inversion of a Polynomial Map in Two Variables. J. of Pure and Appl. Algebra., 64: 1–6. North-Holland [Google Scholar] have fully answered question (2) and have furnished a necessary and sufficient criterion which relies on the existence of some constants λ₁, λ₂ in K ^*. We improve this result by giving an explicit relation between λ₁, λ₂ and constants of the Theorem of MacKay and Wang [5] McKay, J. and Wang, S. S. 1986. An Inversion Formula for Two Polynomials in Two Variables. J. of Pure and Appl. Algebra., 40: 245–257. [Crossref], [Web of Science ®] , [Google Scholar].

Concerning question (2), Adjamagbo and Boury [2] Adjamagbo, K. and Boury, P. 1992. A Resultant Criterion and Formula for the Inversion of a Rational Map in Two Variables. J. of Pure and Appl. Algebra., 79: 1–13. North-Holland [Google Scholar] give a criterion for rational maps which relies on the existence of two polynomials λ₁, λ₂. We also improve this result, by expliciting the relations between these λ₁, λ₂ and the coefficients of F. This improvement enables us, first to give an explicit proof of the corresponding Theorem of Abhyankhar [1] Abhyankar, S. S. 1990. Algebraic Geometry for Scientists and Engineers. Math. Surveys and Monographs., 5: 267–273.  [Google Scholar], and secondly, to give a counter example where these λ₁, λ₂ are not in K ^*, contrary to claim of Yu [6] Yu, J.-T. 1993. Computing Minimal Polynomials and the Inverse via GCP. Comm. Algebra, 21(No.7): 2279–2294.  [Google Scholar].     

A QUANTITATIVE VERSION OF A THEOREM DUE TO BORWEIN-REICH-SHAFRIR

We give a quantitative analysis of a result due to Borwein, Reich and Shafrir on the asymptotic behaviour of the general Krasnoselski-Mann iteration for nonexpansive self-mappings of convex sets in arbitrary normed spaces. Besides providing explicit bounds we also get new qualitative results concerning the independence of the rate of asymptotic regularity of that iteration from various input data. In the special case of bounded convex sets, where by well-known results of Ishikawa, Edelstein/O'Brien and Goebel/Kirk the norm of the iteration converges to zero, we obtain uniform bounds which do not depend on the starting point of the iteration and the nonexpansive function, but only depend on the error ε, an upper bound on the diameter of C and some very general information on the sequence of scalars λ _k used in the iteration. Only in the special situation, where λ _k := λ is constant, uniform bounds were known in that bounded case. For the unbounded case, no quantitative information was known before. Our results were obtained in a case study of analysing non-effective proofs in analysis by certain logical methods. General logical meta-theorems of the author guarantee (at least under some additional restrictions) the extractability of such bounds from proofs of a certain kind and provide an algorithm to extract them. Our results in the present paper (which we present here without any reference to that logical background) were found by applying that method to the original proof of the Borwein/Reich/Shafrir theorem. The general logical method which led to these results will be discussed (with further examples) in [22] Kohlenbach, U. On the computational content of the Krasnoselski and Ishikawa fixed point theorems. Proceedings of the Fourth Workshop on Computability and Complexity in Analysis. San Sebastian. Edited by: Blanck, J., Brattka, V. and Hertling, P. Springer LNCS 2064.  [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]].     

The Cauchy Problem for the Klein–Gordon–Schrödinger System in Low Dimensions Below the Energy Space

ABSTRACT

We show that the Klein–Gordon–Schrödinger system in one, two, and three dimensions has a global solution below the energy space. The proof uses the I-method recently introduced by Colliander et al. (2001 Colliander , J. , Keel , M. , Staffilani , G. , Takaoka , H. , Tao , T. ( 2001 ). Global well-posedness for Schrödinger equations with derivative . SIAM J. Math. Anal. 33 ( 3 ): 649 – 669 . [CROSSREF]  [Google Scholar]) and mixed type Strichartz estimates for the solutions of Schrödinger and Klein–Gordon equations, respectively.     

Asymptotic results for finite superpositions of Ornstein–Uhlenbeck processes

A model of intermittency based on superposition of Lévy driven Ornstein–Uhlenbeck processes is studied in [6 Grahovac, D., Leonenko, N., Sikorskii, A., and Te?niak, I. 2016. Intermittency of superpositions of Ornstein–Uhlenbeck type processes. J. Stat. Phys. 165:390–408.[Crossref], [Web of Science ®] , [Google Scholar]]. In particular, as shown in Theorem 5.1 in that paper, finite superpositions obey a (sample path) central limit theorem under suitable hypotheses. In this paper we prove large (and moderate) deviation results associated with this central limit theorem.     

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.     

Global Existence for a Kinetic Model of Chemotaxis via Dispersion and Strichartz Estimates

We investigate further the existence of solutions to kinetic models of chemotaxis. These are nonlinear transport-scattering equations with a quadratic nonlinearity which have been used to describe the motion of bacteria since the 80's when experimental observations have shown they move by a series of ‘run and tumble’. The existence of solutions has been obtained in several papers Chalub et al. (2004 Chalub , F. A. C. C. , Markowich , P. A. , Perthame , B. , Schmeiser , C. ( 2004 ). Kinetic models for chemotaxis and their drift-diffusion limits . Monatsh. Math. 142 : 123 – 141 .[Crossref], [Web of Science ®] , [Google Scholar]), Hwang et al. (2005a Hwang , H. J. , Kang , K. , Stevens , A. ( 2005a ). Global solutions of nonlinear transport equations for chemosensitive movement . SIAM J. Math. Anal. 36 ( 4 ): 1177 – 1199 . [Google Scholar] b Hwang , H. J. , Kang , K. , Stevens , A. ( 2005b ). Drift-diffusion limits of kinetic models for chemotaxis: a generalization . Discrete Contin. Dyn. Syst. Ser. B 5 ( 2 ): 319 – 334 . [Google Scholar]) using direct and strong dispersive effects.

Here, we use the weak dispersion estimates of Castella and Perthame (1996 Castella , F. , Perthame , B. ( 1996 ). Estimations de Strichartz pour les équations de transport cinétique. [Strichartz’ estimates for kinetic transport equations.] C. R. Acad. Sci. Paris Sér. I 322 ( 6 ): 535 – 540 . [Google Scholar]) to prove global existence in various situations depending on the turning kernel. In the most difficult cases, where both the velocities before and after tumbling appear, with the known methods, only Strichartz estimates can give a result, with a smallness assumption.     

The Larson–Sweedler theorem for weak multiplier Hopf algebras

The Larson–Sweedler theorem says that a finite-dimensional bialgebra with a faithful integral is a Hopf algebra [15 Larson, R. G., Sweedler, M. E. (1969). An associative orthogonal bilinear form for Hopf algebras. Amer. J. Math. 91:75–93.[Crossref], [Web of Science ®] , [Google Scholar]]. The result has been generalized to finite-dimensional weak Hopf algebras by Vecsernyés [44 Vecsernyés, P. (2003). Larson–Sweedler theorem and the role of grouplike elements in weak Hopf algebras. J. Algebra 270:471–520. See also arXiv: 0111045v3 [math.QA] for an extended version.[Crossref], [Web of Science ®] , [Google Scholar]]. In this paper, we show that the result is still true for weak multiplier Hopf algebras. The notion of a weak multiplier bialgebra was introduced by Böhm et al. in [4 Böhm, G., Gómez-Torecillas, J., López-Centella, E. (2015). Weak multiplier bialgebras. Weak multiplier bialgebras. 367(12):8681–8872. See also arXiv: 1306.1466 [math.QA]. [Google Scholar]]. In this note it is shown that a weak multiplier bialgebra with a regular and full coproduct is a regular weak multiplier Hopf algebra if there is a faithful set of integrals. Weak multiplier Hopf algebras are introduced and studied in [40 Van Daele, A., Wang, S. (2015). Weak multiplier Hopf algebras I. The main theory. J. Ange. Math. (Crelles J.) 705:155–209, ISSN (Online) 1435-5345, ISSN (Print) 0075-4102, DOI: 10.1515/crelle-2013-0053, July 2013. See also arXiv:1210.4395v1 [math.RA].[Web of Science ®] , [Google Scholar]]. Integrals on (regular) weak multiplier Hopf algebras are treated in [43 Van Daele, A., Wang, S. (2016). Weak multiplier Hopf algebras III. Integrals and duality. Preprint University of Leuven (Belgium) and Southeast University of Nanjing (China), See arXiv: 1701.04951.v3 [math.RA]. [Google Scholar]]. This result is important for the development of the theory of locally compact quantum groupoids in the operator algebra setting, see [13 Kahng, B.-J., Van Daele, A. A class of C*-algebraic locally compact quantum groupoids I. Preprint Canisius College Buffalo (USA) and University of Leuven (Belgium). [Google Scholar]] and [14 Kahng, B.-J., Van Daele, A. A class of C*-algebraic locally compact quantum groupoids II. Preprint Canisius College Buffalo (USA) and University of Leuven (Belgium). [Google Scholar]]. Our treatment of this material is motivated by the prospect of such a theory.     

Superconvergence of Solution Derivatives for the Shortley–Weller Difference Approximation of Poisson's Equation. II. Singularity Problems

Abstract

This is a continued analysis on superconvergence of solution derivatives for the Shortley–Weller approximation in Li (Li, Z. C., Yamamoto, T., Fang, Q. ([2003] Li, Z. C., Yamamoto, T. and Fang, Q. 2003. Superconvergence of solution derivatives for the Shortley–Weller difference approximation of Poisson's equation, Part I. Smoothness problems. J. Comp. and Appl. Math., 152(2): 307–333.  [Google Scholar]): Superconvergence of solution derivatives for the Shortley–Weller difference approximation of Poisson's equation, Part I. Smoothness problems. J. Comp. and Appl. Math. 152(2):307–333), which is to explore superconvergence for unbounded derivatives near the boundary. By using the stretching function proposed in Yamamoto (Yamamoto, T. ([2002] Yamamoto, T. 2002. Convergence of consistant and inconsistent finite difference schemes and an acceleration technique. J. Comp. Appl. Math., 140: 849–866. [Crossref], [Web of Science ®] , [Google Scholar]): Convergence of consistant and inconsistent finite difference schemes and an acceleration technique. J. Comp. Appl. Math. 140:849–866), the second order superconvergence for the solution derivatives can be established. Moreover, numerical experiments are provided to support the error analysis made. The analytical approaches in this article are non-trivial, intriguing, and different from Li, Z. C., Yamamoto, T., Fang, Q. ([2003] Li, Z. C., Yamamoto, T. and Fang, Q. 2003. Superconvergence of solution derivatives for the Shortley–Weller difference approximation of Poisson's equation, Part I. Smoothness problems. J. Comp. and Appl. Math., 152(2): 307–333.  [Google Scholar]). This article also provides the superconvergence analysis for the bilinear finite element method and the finite difference method with nine nodes.     

ADIABATIC DECOMPOSITION OF THE -DETERMINANT OF THE DIRAC LAPLACIAN. I. THE CASE OF AN INVERTIBLE TANGENTIAL OPERATOR

ABSTRACT

We discuss the decomposition of the ζ-determinant of the square of the Dirac operator into the contributions coming from the different parts of the manifold. The result was announced in the Note Ref. [16]. The proof sketched in the Note was based on results of Brüning and Lesch (see Ref. [4]). In the meantime we have found another proof, more direct and elementary, and closer to the spirit of the original papers which initiated the study of the adiabatic decomposition of the spectral invariants (see Refs. [7] Douglas, R.G. and Wojciechowski, K.P. 1991. Adiabatic Limits of the η-Invariants. The Odd-dimensional Atiyah–Patodi–Singer Problem. Comm. Math. Phys., 142: 139–168. [Crossref], [Web of Science ®] , [Google Scholar] and [21] Singer, I.M. 1988. “The η-Invariant and the Index”. In Mathematical Aspects of String Theory Edited by: Yau, S.-T. pp. 239–258. Singapore: World Scientific Press.  [Google Scholar]). We discuss this proof in detail. We study the general case (non-invertible tangential operator) in forthcoming work (see Refs. [17] Park, J. and Wojciechowski, K.P. 2001. Scattering Theory and Adiabatic Decomposition of the ζ-Determinant of the Dirac Laplacian 01–02. IUPUI Preprint [Google Scholar] and [18] Park, J. and Wojciechowski, K.P. 2001. Adiabatic Decomposition of the ζ-Determinant of the Dirac Laplacian II. The Case of Non-invertible Tangential Operator In preparation [Google Scholar]). In the Appendix we present the computation of the cylinder contribution to the ζ-function of the Dirac Laplacian on a manifold with boundary, which we need in the main body of the paper. This computation is also used to show the vanishing result for the ζ-function on a manifold with boundary.