On Macbeath-Singerman symmetries of Belyi surfaces with PSL(2,p) as a group of automorphisms

The famous theorem of Belyi states that the compact Riemann surface X can be defined over the number field if and only if X can be uniformized by a finite index subgroup Γ of a Fuchsian triangle group Λ. As a result such surfaces are now called Belyi surfaces. The groups PSL(2,q),q=p ⁿ are known to act as the groups of automorphisms on such surfaces. Certain aspects of such actions have been extensively studied in the literature. In this paper, we deal with symmetries. Singerman showed, using acertain result of Macbeath, that such surfaces admit a symmetry which we shall call in this paper the Macbeath-Singerman symmetry. A classical theorem by Harnack states that the set of fixed points of a symmetry of a Riemann surface X of genus g consists of k disjoint Jordan curves called ovals for some k ranging between 0 and g+1. In this paper we show that given an odd prime p, a Macbetah-Singerman symmetry of Belyi surface with PSL(2,p) as a group of automorphisms has at most     

On the symmetry function of a convex set

We attempt a broad exploration of properties and connections between the symmetry function of a convex set S ${S \subset\mathbb{R}^n}We attempt a broad exploration of properties and connections between the symmetry function of a convex set S and other arenas of convexity including convex functions, convex geometry, probability theory on convex sets, and computational complexity. Given a point , let sym(x,S) denote the symmetry value of x in S: , which essentially measures how symmetric S is about the point x, and define x ^* is called a symmetry point of S if x ^* achieves the above maximum. The set S is a symmetric set if sym (S)=1. There are many important properties of symmetric convex sets; herein we explore how these properties extend as a function of sym (S) and/or sym (x,S). By accounting for the role of the symmetry function, we reduce the dependence of many mathematical results on the strong assumption that S is symmetric, and we are able to capture and otherwise quantify many of the ways that the symmetry function influences properties of convex sets and functions. The results in this paper include functional properties of sym (x,S), relations with several convex geometry quantities such as volume, distance, and cross-ratio distance, as well as set approximation results, including a refinement of the L?wner-John rounding theorems, and applications of symmetry to probability theory on convex sets. We provide a characterization of symmetry points x ^* for general convex sets. Finally, in the polyhedral case, we show how to efficiently compute sym(S) and a symmetry point x ^* using linear programming. The paper also contains discussions of open questions as well as unproved conjectures regarding the symmetry function and its connection to other areas of convexity theory. Dedicated to Clovis Gonzaga on the occasion of his 60th birthday.     

Gorenstein curves and symmetry of the semigroup of values

LetO be the local ring of a irreducible algebroid curve and S its semigroup of values, Kunz in [7] proves thatO is a Gorenstein ring if and only if S is symmetrical. In this paper we give a generalization of this fact for the case of reduced curves with an arbitrary number of branches, d. For it we introduce a concept of symmetry for the semigroup of values S₊ ^d which generalizes the well known symmetry for d=1 (i.e. the irreducible case). This concept of symmetry is also closely related to the symmetry introduced by García in [4] (for the d=2 case) and the author in [3] (for arbitrary d) with the main goal of the explicit determination of S (in the case of plane curves).     

Convex domains with stationary hot spots

Consider the problem of heat flow in a convex domain in ℝⁿ with Dirichlet boundary condition and constant initial temperature. We show that the solution has a fixed hot spot if the domain is invariant under the action of an essential symmetry group. © 1997 by B. G. Teubner Stuttgart–John Wiley & Sons Ltd.     

Obstructions to positive curvature and symmetry

We discuss new obstructions to positive sectional curvature and symmetry. The main result asserts that the index of the Dirac operator twisted with the tangent bundle vanishes on a 2-connected manifold of dimension ≠8 if the manifold admits a metric of positive sectional curvature and isometric effective S¹-action. The proof relies on the rigidity theorem for elliptic genera and properties of totally geodesic submanifolds.     

Planforms in three dimensions

The spatially periodic, steady-state solutions to systems of partial differential equations (PDE) are calledplanforms. There already exists a partial classification of the planforms for Euclidean equivariant systems of PDE inR ² (see [6, 7]), In this article we attempt to give such a classification for Euclidean equivariant systems of PDE inR ³. Based on the symmetry and spatial periodicity of each planform, 59 different planforms are found.We attempt to find the planforms on all lattices inR ³ that are forced to exist near a steady-state bifurcation from a trivial solution. The proof of our classification uses Liapunov-Schmidt reduction with symmetry (which can be used if we assume spatial periodicity of the solutions) and the Equivariant Branching Lemma. The analytical problem of finding planforms for systems of PDE is reduced to the algebraic problem of computing isotropy subgroups with one dimensional fixed point subspaces.The Navier-Stokes equations and reaction-diffusion equations (with constant diffusion coefficients) are examples of systems of PDE that satisfy the conditions of our classifications. In this article, we show that our classification applies to the Kuramoto-Sivashinsky equation.     

Geodesic flow on three-dimensional ellipsoids with equal semi-axes

Following on from our previous study of the geodesic flow on three dimensional ellipsoid with equal middle semi-axes, here we study the remaining cases: Ellipsoids with two sets of equal semi-axes with SO(2) × SO(2) symmetry, ellipsoids with equal larger or smaller semiaxes with SO(2) symmetry, and ellipsoids with three semi-axes coinciding with SO(3) symmetry. All of these cases are Liouville-integrable, and reduction of the symmetry leads to singular reduced systems on lower-dimensional ellipsoids. The critical values of the energy-momentum maps and their singular fibers are completely classified. In the cases with SO(2) symmetry there are corank 1 degenerate critical points; all other critical points are non-degenreate. We show that in the case with SO(2) × SO(2) symmetry three global action variables exist and the image of the energy surface under the energy-momentum map is a convex polyhedron. The case with SO(3) symmetry is non-commutatively integrable, and we show that the fibers over regular points of the energy-casimir map are T ² bundles over S ².      

Compact Sobolev embedding theorems involving symmetry and its application

Given a bounded regular domain with cylindrical symmetry, functions having such symmetry and belonging to W ^1,p can be embedded compactly into some weighted L ^q spaces, with q superior to the critical Sobolev exponent. A similar result is also obtained for variable exponent Sobolev space W ^1,p(x). Furthermore, we give a simple application to the p(x)-Laplacian problem.     

Symmetry in the vanishing of Ext over stably symmetric algebras

A Frobenius algebra over a field k is called symmetric if the Nakayama automorphism is an inner automorphism. A stably symmetric algebra is defined to be a generalization of a symmetric k-algebra. In this paper we will study symmetry in the vanishing of Ext for such algebras R, namely, for all finitely generated R-modules M and N, for all i0 if and only if for all i0. We show that a certain class of noetherian stably symmetric Gorenstein algebras, such as the group algebra of a finite group and the exterior algebra Λ(kⁿ) when n is odd, have this symmetry using Serre duality. We also show that every exterior algebra Λ(kⁿ), whether n is even or odd, has this symmetry for graded modules using Koszul duality.     

Graph of a Nearring with Respect to an Ideal

We introduce a concept called the graph of a nearring N with respect to an ideal I of N denoted by G _I (N). Then we define a new type of symmetry called ideal symmetry of G _I (N). The ideal symmetry of G _I (N) implies the symmetry determined by the automorphism group of G _I (N). We prove that if I is a 3-prime ideal of a zero-symmetric nearring N then G _I (N) is ideal symmetric. Under certain conditions, we find that if G _I (N) is ideal symmetric then I is 3-prime. Finally, we deduce that if N is an equiprime nearring then the prime graph of N is ideal symmetric.     

Symmetry Properties of Positive Solutions of Parabolic Equations on ℝ N : I. Asymptotic Symmetry for the Cauchy Problem

We consider quasilinear parabolic equations on ? ^N satisfying certain symmetry conditions. We prove that bounded positive solutions decaying to zero at spatial infinity are asymptotically radially symmetric about a center. The asymptotic center of symmetry is not fixed a priori (and depends on the solution) but it is independent of time. We also prove a similar theorem on reflectional symmetry.     

On some classes of algebraic surfaces with an infinite set of subspaces of skew symmetry

Special classes of (m – 1)-dimensional algebraic surfaces F ⁿ in a space E^m with inifinite set ofsubspaces of skew symmetry (in particular, orthogonal) are studied. It is assumed that directions of symmetry, as a rule, are asymptotic for F _n .Translated from Dinamicheskie Sistemy, No. 8, pp. 119–126, 1989.     

Existence, uniqueness, and attainability of periodic solutions of the Navier-Stokes equations in exterior domains

For an arbitrary domain Ω ⊂ ℝⁿ, n=2,3, Ω ≠ ℝⁿ, we prove the existence of weak periodic solutions to the Navier-Stokes equations and of regular solutions if the data are small or satisfy certain symmetry conditions. We also show that the periodic regular solutions are stable. Bibliography: 38 titles. Published inZapiski Nauchnykh Seminarov POMI, Vol. 233, 1996, pp. 142–182.     

A group-theoretic approach to the geometry of elastic rings

Summary All globally possible solutions of a twisted, homogeneous, elastic ring with circular cross section and no external load are characterized by their symmetry groups. The symmetry group of the untwisted, trivial solution is identified as _S ^t0 = O(2) ×Z ₂, and symmetry groups for the nontrivial solutions are found among the subgroups of _S ^t0 .     

A symmetry of sphere map implies its chaos*

A well-known example, given by Shub, shows that for any |d| ≥ 2 there is a self-map of the sphere Sⁿ, n ≥ 2, of degree d for which the set of non-wandering points consists of two points. It is natural to ask which additional assumptions guarantee an infinite number of periodic points of such a map. In this paper we show that if a continuous map f : Sⁿ → Sⁿ commutes with a free homeomorphism g : Sⁿ → Sⁿ of a finite order, then f has infinitely many minimal periods, and consequently infinitely many periodic points. In other words the assumption of the symmetry of f originates a kind of chaos. We also give an estimate of the number of periodic points. *Research supported by KBN grant nr 2 P03A 045 22.     

Fusion of Baxter’s Elliptic R-Matrix and the Vertex-Face Correspondence

The matrix elements of the 2 × 2 fusion of Baxter’s elliptic R-matrix, R^(2,2)(u), are given explicitly. Then a gauge equivalence between R^(2,2)(u) and Fateev’s R-matrix for the 21-vertex model is shown. This part is based on an unpublished note by Jimbo. We then derive the crossing symmetry formula for R^(2,2)(u). We also consider the fusion of the vertex-face correspondence relation and derive a crossing symmetry relation between the fusion of the intertwining vectors and their dual vectors. Communicated by Vincent Rivasseau To the memory of Daniel Arnaudon Submitted: January 27, 2006; Accepted: April 30, 2006     

Self‐dual and self‐petrie‐dual regular maps

Regular maps are cellular decompositions of surfaces with the “highest level of symmetry”, not necessarily orientation‐preserving. Such maps can be identified with three‐generator presentations of groups G of the form G = 〈a, b, c|a² = b² = c² = (ab)^k = (bc)^m = (ca)² = … = 1〉; the positive integers k and m are the face length and the vertex degree of the map. A regular map (G;a, b, c) is self‐dual if the assignment b?b, c?a and a?c extends to an automorphism of G, and self‐Petrie‐dual if G admits an automorphism fixing b and c and interchanging a with ca. In this note we show that for infinitely many numbers k there exist finite, self‐dual and self‐Petrie‐dual regular maps of vertex degree and face length equal to k. We also prove that no such map with odd vertex degree is a normal Cayley map. Copyright © 2011 Wiley Periodicals, Inc. J Graph Theory 69:152‐159, 2012     

Symmetry Properties of Positive Solutions of Parabolic Equations on ℝ N : II. Entire Solutions

We consider nonautonomous quasilinear parabolic equations satisfying certain symmetry conditions. We prove that each positive bounded solution u on ? ^N  × (?∞, T) decaying to zero at spatial infinity uniformly with respect to time is radially symmetric around some origin in ? ^N . The origin depends on the solution but is independent of time. We also consider the linearized equation along u and prove that each bounded (positive or not) solution is a linear combination of a radially symmetric solution and (nonsymmetric) spatial derivatives of u. Theorems on reflectional symmetry are also given.     

A Measure Of Asymmetry For Positive Semidefinite Matrices

It is known that a continuous map is the gradient of a convex function if and only if it is cyclically monotone. Also, a differentiable map F is the gradient of a function if and only if the matrices F ′(x) are symmetric for all x in the domain. Based on this connection between symmetry and monotonicity, we define a measure of asymmetry for positive semidefinite matrices.