DOCSLIB.ORG

Arxiv:0705.3572V1 [Math.CA]

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Arxiv:0705.3572V1 [Math.CA] (ANTI)SYMMETRIC MULTIVARIATE EXPONENTIAL FUNCTIONS AND CORRESPONDING FOURIER TRANSFORMS A. KLIMYK AND J. PATERA Abstract. We define and study symmetrized and antisymmetrized multi- variate exponential functions. They are defined as determinants and antide- terminants of matrices whose entries are exponential functions of one variable. These functions are eigenfunctions of the Laplace operator on corresponding fundamental domains satisfying certain boundary conditions. To symmetric and antisymmetric multivariate exponential functions there correspond Fourier transforms. There are three types of such Fourier transforms: expansions into corresponding Fourier series, integral Fourier transforms, and multivariate fi- nite Fourier transforms. Eigenfunctions of the integral Fourier transforms are found. 1. Introduction In mathematical and theoretical physics, very often we deal with functions on the Euclidean space En which are symmetric or antisymmetric with respect to the per- mutation (symmetric) group Sn. For example, such functions describe collections of identical particles. Symmetric and antisymmetric solutions appear in the theory of integrable systems. Characters of finite dimensional representations of semisimple Lie algebras are symmetric functions. Moreover, according to the Weyl formula for these characters, each such character is a ratio of antisymmetric functions. The aim of this paper is to describe and to study symmetrized and antisym- metrized multivariate exponential functions and the corresponding Fourier trans- forms. Antisymmetric multivariate exponential functions (we denote them by − Eλ (x), λ = (λ1, λ2,...,λn), x = (x1, x2,...,xn)) are determinants of n n ma- ×− trices, whose entries are the usual exponential functions of one variable, Eλ (x) = 2πiλixj n + det(e )i,j=1. Symmetric multivariate exponential functions Eλ (x) are antide- arXiv:0705.3572v1 [math.CA] 24 May 2007 terminants of the same n n matrices (a definition of antideterminants see below). As in the case of the exponential× functions of one variable, we may consider three types of antisymmetric and symmetric multivariate exponential functions: − + Z (a) functions Em(x) and Em(x) with m = (m1,m2,...,mn), mi ; they determine Fourier series expansions in multivariate symmetric and antisymmetric∈ exponential functions; − + R (b) functions Eλ (x) and Eλ (x) with λ = (λ1, λ2,...,λn), λi ; these functions determine integral multivariate Fourier transforms; ∈ − + (c) functions Eλ (x) and Eλ (x), where x = (x1, x2,...,xn) take a finite set of values; they determine multivariate finite Fourier transforms. Functions (b) are antisymmetric (symmetric) with respect to elements of the permutation group Sn. (Anti)symmetries of functions (a) are described by a wider 1 2 A. KLIMYK AND J. PATERA group, since exponential functions e2πimx, m Z, of one variable are invariant with respect to shifts x x + k, k Z. These∈ (anti)symmetries are described by → ∈ aff elements of the affine symmetric group Sn which is a product of the group Sn and the group Tn, consisting of shifts in the space En by vectors r = (r1, r2,...,rn), Z aff aff rj . A fundamental domain F (Sn ) of the group Sn is a certain bounded subset∈ of Rn (see subsection 2.2). + The functions Eλ (x) give solutions of the Neumann boundary value problem on − a closure of the fundamental domain F (Sn). The functions Eλ (x) are solutions of the Laplace equation ∆f = µf on the domain F (Sn) vanishing on the boundary ∂F (Sn) of F (Sn). aff Functions on the fundamental domain F (Sn ) can be expanded into series in the functions (a). These expansions are an analogue of the usual Fourier series for functions of one variable. Functions (b) determine an (anti)symmetrized Fourier integral transforms on the fundamental domain F (Sn) of the symmetric group Sn. This domain consists of points x En such that x1 > x2 > > xn. Functions (c) are used to determine∈ (anti)symmetric finite··· (that is, on a finite set) Fourier transforms. These finite Fourier transforms are given on grids consisting of aff points in the fundamental domain F (Sn ). Symmetric and antisymmetric exponential functions are closely related to sym- metric and antisymmetric orbit functions defined in [1], [2] and studied in detail in [3] and [4]. In fact, symmetric and antisymmetric exponential functions are connected with orbit functions corresponding to the Coxeter–Dynkin diagram An. Discrete orbit function transforms, corresponding to Coxeter–Dynkin diagrams of low order, were detailly studied and it was shown that they are very useful for applications [5]–[13]. The exposition of the theory of orbit functions in [3] and [4] strongly depends on the theory of Weyl groups, properties of root systems, etc. In this paper we avoid this dependence. We use only the permutation (symmetric) group and prop- erties of determinants and antideterminants. It is well-known that a determinant det(a )n of the n n matrix (a )n is defined as ij i,j=1 × ij i,j=1 det(a )n = (det w)a a a ij i,j=1 1,w(1) 2,w(2) ··· n,w(n) wX∈Sn = (det w)a a a , (1) w(1),1 w(2),2 ··· w(n),n wX∈Sn where Sn is the symmetric group of n symbols 1, 2,...,n, the set (w(1), w(2),... , w(n)) means the set w(1, 2,...,n), and det w denotes a determinant of the trans- form w, that is, det w = 1 if w is an even permutation and det w = 1 otherwise. Along with a determinant, we shall use an antideterminant det+ of− the matrix n (aij )i,j=1 which is defined as a sum of all terms, entering to the expression for the corresponding determinant, taken with the sign +, det+(a )n = a a a = a a a . ij i,j=1 1,w(1) 2,w(2) ··· n,w(n) w(1),1 w(2),2 ··· w(n),n wX∈Sn wX∈Sn (2) Symmetrized and antisymmetrized multivariate polynomials were studied by sev- eral authors (see, for example, [14] and [15]). In this paper we investigate symmetric and antisymmetric multivariate exponential functions. (ANTI)SYMMETRIC MULTIVARIATE EXPONENTIAL FUNCTIONS 3 2. Symmetric and antisymmetric multivariate exponential functions 2.1. Definition. A symmetric multivariate exponential function of x = (x1, x2, ...,xn) is defined as the function n E+(x) E+ (x) = det+ e2πiλixj λ (λ1,λ2,...,λn) i,j=1 ≡ e2πiλ1x1 e2πiλ1x2 e2πiλ1xn ··· e2πiλ2x1 e2πiλ2x2 e2πiλ2xn =det+ ··· ············ e2πiλnx1 e2πiλnx2 e2πiλnxn ··· e2πiλ1xw(1) e2πiλ2xw(2) e2πiλnxw(n) = e2πihλ,wxi, (3) ≡ ··· wX∈Sn wX∈Sn where λ = (λ1, λ2,...,λn) is a set of real numbers, which determines the function + Eλ (x), and λ, x denotes the scalar product in the n-dimensional Euclidean space E , λ, x =h ni λ x . When λ , λ ,...,λ are integers, we denote this set of n h i i=1 i i 1 2 n numbers as mP (m ,m ,...,m ), ≡ 1 2 n n E+ (x) = det+ e2πimixj . (4) m1,m2,...,mn i,j=1 It is seen from the expression (2) for an antideterminant det+ that the symmetric + exponential functions Eλ (x) satisfy the relation + 2πi(λ1+λ2+···+λn)a + Eλ (x1 + a, x2 + a,...,xn + a)= e Eλ (x). (5) + This means that it is enough to consider the function Eλ (x) on the hyperplane x + x + + x = b, 1 2 ··· n where b is a fixed number (we denote this hyperplane by ). A transition from one Hb hyperplane b to another c is fulfilled by multiplication by a usual exponential function e2πHi|λ|(c−b), where Hλ = λ + λ + + λ , | | 1 2 ··· n E+(x) = e2πi(λ1+λ2+···+λn)(c−b)E+(x) . λ |x∈Hb λ |x∈Hc + It is useful to consider the functions Eλ (x) on the hyperplane 0. For x 0 we have the relation H ∈ H E+ (x)= E+(x). (6) λ1+ν,λ2+ν,...,λn+ν λ It is seen from the expression (2) for an antideterminant det+ that its expression does not change under permutations of rows or under permutations of columns. This means that for any permutation w S we have ∈ n + + + + Eλ (wx)= Eλ (x), Ewλ(x)= Eλ (x). (7) + Therefore, it is enough to consider only symmetric exponential functions Eλ (x) with λ = (λ1, λ2,...,λn) such that λ λ λ . 1 ≥ 2 ≥···≥ n Such λ are called dominant. The set of all dominant λ is denoted by D+. Below, considering symmetric exponential functions E+(x), we assume that λ D . λ ∈ + 4 A. KLIMYK AND J. PATERA Antisymmetric multivariate exponential functions of x = (x1, x2,...,xn) are defined as the functions n E−(x) E− (x) := det e2πiλixj λ (λ1,λ2,...,λn) i,j=1 ≡ e2πiλ1x1 e2πiλ1x2 e2πiλ1xn ··· e2πiλ2x1 e2πiλ2x2 e2πiλ2xn det ··· ≡ ············ e2πiλnx1 e2πiλnx2 e2πiλnxn ··· (det w)e2πiλ1 xw(1) e2πiλ2xw(2) e2πiλnxw(n) = (det w)e2πihλ,wxi, ≡ ··· wX∈Sn wX∈Sn (8) where λ = (λ1, λ2,...,λn) is a set of realnumbers. When λ1, λ2,...,λn are integers, we denote them as m = (m1,m2,...,mn), − 2πimixj n Em(x) = det e i,j=1 . (9) − It is seen from properties of determinants that the functions Eλ (x) satisfy the relation − 2πi(λ1+λ2+···+λn)a − Eλ (x1 + a, x2 + a,...,xn + a)= e Eλ (x), (10) that is, it is enough to consider functions E−(x) on some hyperplane . As in the λ Hb case of symmetric exponential functions, a transition from one hyperplane b to − H another c for the function Eλ is fulfilled by means of multiplication by a usual H 2πi|λ|(c−b) exponential function e , where λ = λ1 + λ2 + + λn. For points x of the hyperplane we have the relation | | ··· H0 E− (x)= E−(x). (11) λ1+ν,λ2+ν,...,λn+ν λ − It follows from properties of determinants that Eλ (x) = 0 if λ has at least two coinciding numbers or if x has at least two coinciding coordinates.
Load more

Recommended publications
  • Finite Generation of Symmetric Ideals
    FINITE GENERATION OF SYMMETRIC IDEALS MATTHIAS ASCHENBRENNER AND CHRISTOPHER J. HILLAR In memoriam Karin Gatermann (1965–2005 ). Abstract. Let A be a commutative Noetherian ring, and let R = A[X] be the polynomial ring in an infinite collection X of indeterminates over A. Let SX be the group of permutations of X. The group SX acts on R in a natural way, and this in turn gives R the structure of a left module over the left group ring R[SX ]. We prove that all ideals of R invariant under the action of SX are finitely generated as R[SX ]-modules. The proof involves introducing a certain well-quasi-ordering on monomials and developing a theory of Gr¨obner bases and reduction in this setting. We also consider the concept of an invariant chain of ideals for finite-dimensional polynomial rings and relate it to the finite generation result mentioned above. Finally, a motivating question from chemistry is presented, with the above framework providing a suitable context in which to study it. 1. Introduction A pervasive theme in invariant theory is that of finite generation. A fundamen- tal example is a theorem of Hilbert stating that the invariant subrings of finite- dimensional polynomial algebras over finite groups are finitely generated [6, Corol- lary 1.5]. In this article, we study invariant ideals of infinite-dimensional polynomial rings. Of course, when the number of indeterminates is finite, Hilbert’s basis theo- rem tells us that any ideal (invariant or not) is finitely generated. Our setup is as follows. Let X be an infinite collection of indeterminates, and let SX be the group of permutations of X.
    [Show full text]
  • Math 263A Notes: Algebraic Combinatorics and Symmetric Functions
    MATH 263A NOTES: ALGEBRAIC COMBINATORICS AND SYMMETRIC FUNCTIONS AARON LANDESMAN CONTENTS 1. Introduction 4 2. 10/26/16 5 2.1. Logistics 5 2.2. Overview 5 2.3. Down to Math 5 2.4. Partitions 6 2.5. Partial Orders 7 2.6. Monomial Symmetric Functions 7 2.7. Elementary symmetric functions 8 2.8. Course Outline 8 3. 9/28/16 9 3.1. Elementary symmetric functions eλ 9 3.2. Homogeneous symmetric functions, hλ 10 3.3. Power sums pλ 12 4. 9/30/16 14 5. 10/3/16 20 5.1. Expected Number of Fixed Points 20 5.2. Random Matrix Groups 22 5.3. Schur Functions 23 6. 10/5/16 24 6.1. Review 24 6.2. Schur Basis 24 6.3. Hall Inner product 27 7. 10/7/16 29 7.1. Basic properties of the Cauchy product 29 7.2. Discussion of the Cauchy product and related formulas 30 8. 10/10/16 32 8.1. Finishing up last class 32 8.2. Skew-Schur Functions 33 8.3. Jacobi-Trudi 36 9. 10/12/16 37 1 2 AARON LANDESMAN 9.1. Eigenvalues of unitary matrices 37 9.2. Application 39 9.3. Strong Szego limit theorem 40 10. 10/14/16 41 10.1. Background on Tableau 43 10.2. KOSKA Numbers 44 11. 10/17/16 45 11.1. Relations of skew-Schur functions to other fields 45 11.2. Characters of the symmetric group 46 12. 10/19/16 49 13. 10/21/16 55 13.1.
    [Show full text]
  • Categories with Negation 3
    CATEGORIES WITH NEGATION JAIUNG JUN 1 AND LOUIS ROWEN 2 In honor of our friend and colleague, S.K. Jain. Abstract. We continue the theory of T -systems from the work of the second author, describing both ground systems and module systems over a ground system (paralleling the theory of modules over an algebra). Prime ground systems are introduced as a way of developing geometry. One basic result is that the polynomial system over a prime system is prime. For module systems, special attention also is paid to tensor products and Hom. Abelian categories are replaced by “semi-abelian” categories (where Hom(A, B) is not a group) with a negation morphism. The theory, summarized categorically at the end, encapsulates general algebraic structures lacking negation but possessing a map resembling negation, such as tropical algebras, hyperfields and fuzzy rings. We see explicitly how it encompasses tropical algebraic theory and hyperfields. Contents 1. Introduction 2 1.1. Objectives 3 1.2. Main results 3 2. Background 4 2.1. Basic structures 4 2.2. Symmetrization and the twist action 7 2.3. Ground systems and module systems 8 2.4. Morphisms of systems 10 2.5. Function triples 11 2.6. The role of universal algebra 13 3. The structure theory of ground triples via congruences 14 3.1. The role of congruences 14 3.2. Prime T -systems and prime T -congruences 15 3.3. Annihilators, maximal T -congruences, and simple T -systems 17 4. The geometry of prime systems 17 4.1. Primeness of the polynomial system A[λ] 17 4.2.
    [Show full text]
  • BRST Inner Product Spaces and the Gribov Obstruction
    PITHA – 98/27 BRST Inner Product Spaces and the Gribov Obstruction Norbert DUCHTING¨ 1∗, Sergei V. SHABANOV2†‡, Thomas STROBL1§ 1 Institut f¨ur Theoretische Physik, RWTH Aachen D-52056 Aachen, Germany 2 Department of Mathematics, University of Florida, Gainesville, FL 32611–8105, USA Abstract A global extension of the Batalin–Marnelius proposal for a BRST inner product to gauge theories with topologically nontrivial gauge orbits is discussed. It is shown that their (appropriately adapted) method is applicable to a large class of mechanical models with a semisimple gauge group in the adjoint and fundamental representa- tion. This includes cases where the Faddeev–Popov method fails. arXiv:hep-th/9808151v1 25 Aug 1998 Simple models are found also, however, which do not allow for a well– defined global extension of the Batalin–Marnelius inner product due to a Gribov obstruction. Reasons for the partial success and failure are worked out and possible ways to circumvent the problem are briefly discussed. ∗email: [email protected] †email: [email protected]fl.edu ‡On leave from the Laboratory of Theoretical Physics, JINR, Dubna, Russia §email: [email protected] 1 Introduction and Overview Canonical quantization of gauge theories leads, in general, to an ill–defined scalar product for physical states. In the Dirac approach [1] physical states are selected by the quantum constraints. Assuming that the theory under consideration is of the Yang–Mills type with its gauge group acting on some configuration space, the total Hilbert space may be realized by square in- tegrable functions on the configuration space and the quantum constraints imply gauge invariance of these wave functions.
    [Show full text]
  • Extending Robustness & Randomization from Consensus To
    Extending robustness & randomization from Consensus to Symmetrization Algorithms Luca Mazzarella∗ Francesco Ticozzi† Alain Sarlette‡ June 16, 2015 Abstract This work interprets and generalizes consensus-type algorithms as switching dynamics lead- ing to symmetrization of some vector variables with respect to the actions of a finite group. We show how the symmetrization framework we develop covers applications as diverse as consensus on probability distributions (either classical or quantum), uniform random state generation, and open-loop disturbance rejection by quantum dynamical decoupling. Robust convergence results are explicitly provided in a group-theoretic formulation, both for deterministic and for randomized dynamics. This indicates a way to directly extend the robustness and randomization properties of consensus-type algorithms to more fields of application. 1 Introduction The investigation of randomized and robust algorithmic procedures has been a prominent development of applied mathematics and dynamical systems theory in the last decades [?, ?]. Among these, one of the most studied class of algorithms in the automatic control literature are those designed to reach average consensus [?, ?, ?, ?]: the most basic form entails a linear algorithm based on local iterations that reach agreement on a mean value among network nodes. Linear consensus, despite its simplicity, is used as a subtask for several distributed tasks like distributed estimation [?, ?], motion coordination [?], clock synchronization [?], optimization [?], and of course load balancing; an example is presented later in the paper, while more applications are covered in [?]. A universally appreciated feature of linear consensus is its robustness to parameter values and perfect behavior under time-varying network structure. In the present paper, inspired by linear consensus, we present an abstract framework that pro- duces linear procedures to solve a variety of (a priori apparently unrelated) symmetrization problems with respect to the action of finite groups.
    [Show full text]
  • REALIZABILITY of ALGEBRAIC GALOIS EXTENSIONS by STRICTLY COMMUTATIVE RING SPECTRA Introduction We Discuss Some Ideas on Galois T
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 359, Number 2, February 2007, Pages 827–857 S 0002-9947(06)04201-2 Article electronically published on September 12, 2006 REALIZABILITY OF ALGEBRAIC GALOIS EXTENSIONS BY STRICTLY COMMUTATIVE RING SPECTRA ANDREW BAKER AND BIRGIT RICHTER Abstract. We discuss some of the basic ideas of Galois theory for commuta- tive S-algebras originally formulated by John Rognes. We restrict our attention to the case of finite Galois groups and to global Galois extensions. We describe parts of the general framework developed by Rognes. Central rˆoles are played by the notion of strong duality and a trace mapping con- structed by Greenlees and May in the context of generalized Tate cohomology. We give some examples where algebraic data on coefficient rings ensures strong topological consequences. We consider the issue of passage from algebraic Ga- lois extensions to topological ones by applying obstruction theories of Robinson and Goerss-Hopkins to produce topological models for algebraic Galois exten- sions and the necessary morphisms of commutative S-algebras. Examples such as the complex K-theory spectrum as a KO-algebra indicate that more ex- otic phenomena occur in the topological setting. We show how in certain cases topological abelian Galois extensions are classified by the same Harrison groups as algebraic ones, and this leads to computable Harrison groups for such spectra. We end by proving an analogue of Hilbert’s theorem 90 for the units associated with a Galois extension. Introduction We discuss some ideas on Galois theory for commutative S-algebras, also known as brave new (commutative) rings, originally formulated by John Rognes.
    [Show full text]
  • Algebraic Geometry Over Hyperrings
    ALGEBRAIC GEOMETRY OVER HYPERRINGS JAIUNG JUN Abstract. We develop basic notions and methods of algebraic geometry over the algebraic objects called hyperrings. Roughly speaking, hyperrings gener- alize rings in such a way that an addition is ‘multi-valued’. This paper largely consisits of two parts; algebraic aspects and geometric aspects of hyperrings. We first investigate several technical algebraic properties of a hyperring. In the second part, we begin by giving another interpretation of a tropical va- riety as an algebraic set over the hyperfield which canonically arises from a totally ordered semifield. Then we define a notion of an integral hyperring scheme (X, X ) and prove that Γ(X, X ) R for any integral affine hyper- ring schemeOX = Spec R. O ≃ Contents 1. Introduction 1 2. Review: Hyperrings 4 3. Algebraic aspects of Hyperrings 7 3.1. Quotients of hyperrings 8 3.2. Congruence relations 10 3.3. Analogues of classical lemmas 13 4. Geometric aspects of Hyperrings 16 4.1. A tropical variety as an algebraic set over a hyperfield 16 4.2. Construction of hyperring schemes 23 4.3. From hyperring schemes to the classical schemes 31 Appendix A. From semistructures to hyperstructures 33 A.1. Basic definitions of semiring theory 33 A.2. The symmetrization process 34 References 36 arXiv:1512.04837v1 [math.AG] 15 Dec 2015 1. Introduction An idea of algebraic objects with a multi-valued operation has been first considered by F.Marty in 1934 (see [33]). Marty introduced the notion of hypergroups which general- izes groups by stating that an addition is multi-valued.
    [Show full text]
  • Symmetrization and Sharp Sobolev Inequalities in Metric Spaces
    Symmetrization and Sharp Sobolev Inequalities in Metric Spaces Jan KALISˇ and Mario MILMAN Department of Mathematics Florida Atlantic University Boca Raton, Fl 33431 — USA [email protected] [email protected] Received: January 22, 2009 Accepted: March 6, 2009 ABSTRACT We derive sharp Sobolev inequalities for Sobolev spaces on metric spaces. In particular, we obtain new sharp Sobolev embeddings and Faber-Krahn estimates for H¨ormander vector fields. Key words: Sobolev, embedding, metric, vector fields, symmetrization. 2000 Mathematics Subject Classification: Primary: 46E30, 26D10. 1. Introduction Recently, a rich theory of Sobolev spaces on metric spaces has been developed (see [6,8], and the references therein). In particular, this has led to the unification of some aspects of the classical theory of Sobolev spaces with the theory of Sobolev spaces of vector fields satisfying H¨ormander’s condition. At the root of these developments are suitable forms of Poincar´e inequalities which, in fact, can be used to provide a natural method to define the notion of a gradient in the setting of metric spaces. In the theory of H¨ormander vector fields, the relevant Poincar´e inequalities had been obtained much earlier by Jerison [9]: 1/2 1/2 1 2 1 2 |f − f | dx ≤ Cr(B) |Xf| dx , | | B | | B B B B ∞ where X =(X1,...,Xm) is a family of C H¨ormander vector fields, 1 2 2 / |Xf| = |Xif| , Rev. Mat. Complut. 22 (2009), no. 2, 499–515 499 ISSN: 1139-1138 http://dx.doi.org/10.5209/rev_REMA.2009.v22.n2.16292 J. Kaliˇs/M.
    [Show full text]
  • An Elementary Classification of Symmetric 2-Cocycles
    An Elementary Classification of Symmetric 2-Cocycles ∗ Adam Hughes, JohnMark Lau, Eric Peterson November 25, 2008 Abstract We present a classification of the so-called \additive symmetric 2-cocycles" of arbitrary degree and dimension over Zp, along with a partial result and some conjectures for m-cocycles over Zp, m > 2. This expands greatly on a result originally due to Lazard and more recently investigated by Ando, Hopkins, and Strickland, which together with their work culminates in a complete classification of 2-cocycles over an arbitrary commutative ring. The ring classifying these polynomials finds application in algebraic topology, including generalizations of formal group laws and of cubical structures. Contents 1 Overview 2 2 Applications 5 2.1 The Functor spec H∗BUh2ki .................................... 5 2.2 Formal Group Laws . 7 2.3 Split Extensions and Higher Cubical Structures . 8 3 Characterization of Additive Cocycles 11 3.1 Preliminaries . 11 3.2 Basic Results . 13 3.3 Gathering . 15 3.4 Integral Projection . 18 3.5 Counting Additive 2-Cocycles . 21 3.6 The Generalized Lazard Ring . 22 3.7 For Higher m ............................................. 23 A Tables of Modular Additive 2-Cocycles 24 A.1 Characteristic 2 . 24 A.2 Characteristic 3 . 25 arXiv:0811.4159v1 [math.AC] 25 Nov 2008 A.3 Characteristic 5 . 26 B Notation 27 ∗The authors were supported by NSF grant DMS-0705233. 1 1. Overview An additive symmetric 2-cocycle in k-variables over a commutative ring A (or simply \a cocycle") is a symmetric polynomial f 2 A[x1; : : : ; xk] that satisfies the following equation: f(x1; x2; x3; : : : ; xk) − f(x0 + x1; x2; x3; : : : ; xk) + f(x0; x1 + x2; x3; : : : ; xk) − f(x0; x1; x3; : : : ; xk) = 0: When k = 2, these polynomials were classified by Lazard in [Laz55] in the context of formal group laws, where he exhibited a countable basis for the space of cocycles of the form −1 n n n n fn(x; y) = gcd ((x + y) − x − y ) ; 0<i<n i one for each n 2 N.
    [Show full text]
  • The Perimeter Inequality Under Steiner Symmetrization: Cases of Equality
    Annals of Mathematics, 162 (2005), 525–555 The perimeter inequality under Steiner symmetrization: Cases of equality By Miroslav Chleb´ık, Andrea Cianchi, and Nicola Fusco Abstract Steiner symmetrization is known not to increase perimeter of sets in Rn. The sets whose perimeter is preserved under this symmetrization are charac- terized in the present paper. 1. Introduction and main results Steiner symmetrization, one of the simplest and most powerful symmetriza- tion processes ever introduced in analysis, is a classical and very well-known device, which has seen a number of remarkable applications to problems of geometric and functional nature. Its importance stems from the fact that, besides preserving Lebesgue measure, it acts monotonically on several geo- metric and analytic quantities associated with subsets of Rn. Among these, perimeter certainly holds a prominent position. Actually, the proof of the isoperimetric property of the ball was the original motivation for Steiner to introduce his symmetrization in [18]. The main property of perimeter in connection with Steiner symmetrization is that if E is any set of finite perimeter P (E)inRn, n ≥ 2, and H is any hyperplane, then also its Steiner symmetral Es about H is of finite perimeter, and (1.1) P (Es) ≤ P (E) . Recall that Es is a set enjoying the property that its intersection with any straight line L orthogonal to H is a segment, symmetric about H, whose length equals the (1-dimensional) measure of L ∩ E. More precisely, let us label the n n−1 points x =(x1,...,xn) ∈ R as x =(x ,y), where x =(x1,...,xn−1) ∈ R n−1 and y = xn, assume, without loss of generality, that H = {(x , 0) : x ∈ R }, and set n−1 (1.2) Ex = {y ∈ R :(x ,y) ∈ E} for x ∈ R , 1 n−1 (1.3) (x )=L (Ex ) for x ∈ R , 526 MIROSLAV CHLEB´ıK, ANDREA CIANCHI, AND NICOLA FUSCO and − (1.4) π(E)+ = {x ∈ Rn 1 : (x ) > 0} , where Lm denotes the outer Lebesgue measure in Rm.
    [Show full text]
  • Divided Symmetrization and Quasisymmetric Functions 1
    DIVIDED SYMMETRIZATION AND QUASISYMMETRIC FUNCTIONS PHILIPPE NADEAU AND VASU TEWARI Abstract. Motivated by a question in Schubert calculus, we study various aspects of the divided symmetrization operator, which was introduced by Postnikov in the context of volume polynomials of permutahedra. Divided symmetrization is a linear form which acts on the space of polynomials in n indeterminates of degree n−1. Our main results are related to quasisymmetric polynomials: First, we show that divided symmetrization applied to a quasisymmetric polynomial in m < n indetermi- nates has a natural interpretation. Then, that the divided symmetrization of any polynomial can be naturally computed with respect to a direct sum decomposition due to Aval-Bergeron-Bergeron, involving the ideal generated by positive degree quasisymmetric polynomials in n indeterminates. Several examples with a strong combinatorial flavor are given. 1. Introduction In his seminal work [Pos09], Postnikov introduced an operator called divided symmetrization that plays a key role in computing volume polynomials of permutahedra. This operator takes a polynomial f(x1; : : : ; xn) as input and outputs a symmetric polynomial f(x1; : : : ; xn) n defined by ! X f(x1; : : : ; xn) : f(x1; : : : ; xn) n = w · Q ; 1≤i≤n−1(xi − xi+1) w2Sn where Sn denotes the symmetric group on n letters, naturally acting by permuting variables. n Given a = (a1; : : : ; an) 2 R , the permutahedron Pa is the convex hull of all points of the form (aw(1); : : : ; aw(n)) where w ranges over all permutations in Sn. Postnikov [Pos09, Section 3] shows 1 n−1 that the volume of Pa is given by (n−1)! (a1x1 + ··· + anxn) n.
    [Show full text]
  • Group Theory –
    DRAFT 2019 February 26 Mathematical Methods in Physics - 231B { Group Theory { Eric D'Hoker Mani L. Bhaumik Institute for Theoretical Physics Department of Physics and Astronomy University of California, Los Angeles, CA 90095, USA [email protected] The purpose of this course is to present an introduction to standard and widely used methods of group theory in Physics, including Lie groups and Lie algebras, representation theory, tensors, spinors, structure theory of solvable and simple Lie algebras, homogeneous and symmetric spaces. Contents 1 Definition and examples of groups 5 1.1 A little history . .5 1.2 Groups . .6 1.3 Topological groups . .9 1.4 Lie Groups . 12 1.5 Vector spaces . 13 1.6 Lie Algebras . 13 1.7 Relating Lie groups and Lie algebras . 15 1.8 Tangent vectors, tangent space, and cotangent space . 16 2 Matrix Lie groups and Lie algebras 18 2.1 The general linear group GL(n)........................ 18 2.2 Closed subgroups of the general linear group . 21 2.3 The orthogonal groups SO(n) and Lie algebras so(n)............ 21 2.4 The symplectic group Sp(2n) and Lie algebra sp(2n)............ 23 2.5 The unitary group SU(n) and Lie algebra su(n)............... 25 2.6 Cartan subalgebras and subgroups and the center . 26 2.7 Summary of matrix Lie groups and Lie algebras . 26 2.8 Non-semi-simple matrix groups . 30 2.9 Invariant differential forms, metric, and measure . 31 2.10 Spontaneous symmetry breaking, order parameters . 37 2.11 Lie supergroups and Lie superalgebras . 38 3 Representations 41 3.1 Representations of groups .
    [Show full text]