Definite Affine Spheres and Loop Groups

Mingheng Liang,Qingchun Ji

DOI: https://doi.org/10.1016/j.geomphys.2010.01.010

IF: 1.38

2010-01-01

Journal of Geometry and Physics

Abstract:We obtain the Weierstrass-type representation and the dressing transformation for definite affine spheres in this paper. As an application of the Weierstrass-type representation, we construct the entire family of finite-Symes type affine spheres.

What problem does this paper attempt to address?

Weierstrass Type Representation of Willmore Surfaces in S N

Qiao Ling Xia,Yi Bing Shen

DOI: https://doi.org/10.1007/s10114-004-0389-0

2004-01-01

Acta Mathematica Sinica

Abstract:In this paper, we reformulate the Euler-Lagrange equations of Willmore surfaces in S-n as the flatness of a family of certain loop algebra-valued 1-forms. Therefore we can give the Weierstrass type representation of conformal Willmore surfaces. We also discuss the relations between conformal Willmore surfaces in S-n and minimal surfaces in constant curvature spaces S-n, R-n, H-n, and prove that some special Willmore surfaces can be derived from minimal surfaces in S-n, R-n, H-n.
On group and loop spheres

Wolfgang Bertram

2024-10-23

Abstract:We investigate the problem of defining group or loop structures on spheres, where by ''sphere'' we mean the level set q(x) = c of a general K-valued quadratic form q, for an invertible scalar c. When K is a field and q non-degenerate, then this corresponds to the classical theory of composition algebras; in particular, for K = R and positive definite forms, we obtain the sequence of the four real division algebras R, C, H (quaternions), O (octonions). Our theory is more general, allowing that K is merely a ring, and the form q possibly degenerate. To achieve this goal, we give a more geometric formulation, replacing the theory of binary composition algebras by ternary algebraic structures, thus defining categories of group spherical and of Moufang spherical spaces. In particular, we develop a theory of ternary Moufang loops, and show how it is related to the Albert-Cayley-Dickson construction and to generalized ternary octonion algebras. At the bottom, a starting point of the whole theory is the (elementary) result that every 2-dimensional quadratic space carries a canonical structure of commutative group spherical space.

Group Theory
A representation formula for indefinite improper affine spheres

Daisuke Nakajo

DOI: https://doi.org/10.48550/arXiv.0801.4832

2008-01-31

Abstract:We construct a new representation formula for indefinite improper affine spheres in terms of two para-holomorphic functions and study singularities which appear in this representation formula. As a result, it follows that cuspidal cross caps never appear as the singularities on indefinite improper affine spheres and so on. Comparison with other representation formulae are also studied.

Differential Geometry
On Borel–de Siebenthal Representations

Jing-Song Huang,Yongzhi Luan,Binyong Sun

DOI: https://doi.org/10.1093/imrn/rnx304

2018-01-01

International Mathematics Research Notices

Abstract:Holomorphic representations are lowest weight representations for simple Lie groups of Hermitian type and have been studied extensively. Inspired by the work of Kobayashi on discrete series for indefinite Stiefel manifolds, Gross-Wallach on quaternonic discrete series and their analytic continuation, and Orsted-Wolf on Borel-de Siebenthal discrete series, we define and study Borel-de Siebenthal representations (also called quasi-holomorphic representations) associated with Borel-de Siebenthal root systems for simple Lie groups of non-Hermitian type.
The Cauchy problem for indefinite improper affine spheres and their Hessian equation

Francisco Milán

DOI: https://doi.org/10.48550/arXiv.1302.5550

2013-04-11

Abstract:We give a conformal representation for indefinite improper affine spheres which solve the Cauchy problem for their Hessian equation. As consequences, we can characterize their geodesics and obtain a generalized symmetry principle. Then, we classify the helicoidal indefinite improper affine spheres and find a new family with complete non flat affine metric. Moreover, we present interesting examples with singular curves and isolated singularities.

Differential Geometry
Symplectomorphisms and spherical objects in the conifold smoothing

Ailsa Keating,Ivan Smith

2024-05-20

Abstract:Let $X$ denote the `conifold smoothing', the symplectic Weinstein manifold which is the complement of a smooth conic in $T^*S^3$, or equivalently the plumbing of two copies of $T^*S^3$ along a Hopf link. Let $Y$ denote the `conifold resolution', by which we mean the complement of a smooth divisor in $\mathcal{O}(-1) \oplus \mathcal{O}(-1) \to \mathbb{P}^1$. We prove that the compactly supported symplectic mapping class group of $X$ splits off a copy of an infinite rank free group, in particular is infinitely generated; and we classify spherical objects in the bounded derived category $D(Y)$ (the three-dimensional `affine $A_1$-case'). Our results build on work of Chan-Pomerleano-Ueda and Toda, and both theorems make essential use of working on the `other side' of the mirror.

Symplectic Geometry,Algebraic Geometry
Spherical Complexes Attached to Symplectic Lattices

Wilberd van der Kallen,Eduard Looijenga

DOI: https://doi.org/10.1007/s10711-010-9553-0

2010-01-01

Geometriae Dedicata

Abstract:To the integral symplectic group Sp(2g,Z) we associate two posets of which we prove that they have the Cohen-Macaulay property. As an application we show that the locus of marked decomposable principally polarized abelian varieties in the Siegel space of genus g has the homotopy type of a bouquet of (g-2)-spheres. This, in turn, implies that the rational homology of moduli space of (unmarked) principal polarized abelian varieties of genus g modulo the decomposable ones vanishes in degree g-2 or lower. Another application is an improved stability range for the homology of the symplectic groups over Euclidean rings. But the original motivation comes from envisaged applications to the homology of groups of Torelli type. The proof of our main result rests on a refined nerve theorem for posets that may have an interest in its own right.
Realizing congruence subgroups inside the diffeomorphism group of a product of homotopy spheres

Somnath Basu,F. Thomas Farrell

DOI: https://doi.org/10.1016/j.topol.2016.01.002

IF: 0.583

2016-01-01

Topology and its Applications

Abstract:Let M be a smooth manifold which is homeomorphic to the n-fold product of Sk, where k is odd. There is an induced homomorphism from the group of diffeomorphisms of M to the automorphism group of Hk(M;Z). We prove that the image of this homomorphism contains a congruence subgroup of SLn(Z) whenever n is at least 3.
Braid groups, free groups, and the loop space of the 2-sphere

F.R. Cohen,J. Wu

DOI: https://doi.org/10.48550/arXiv.math/0409307

2004-09-18

Abstract:The purpose of this article is to describe connections between the loop space of the 2-sphere, Artin's braid groups, a choice of simplicial group whose homotopy groups are given by modules called Lie(n), as well as work of Milnor, and Habegger-Lin on "homotopy string links". The current article exploits Lie algebras associated to Vassiliev invariants in work of T. Kohno, and provides connections between these various topics. Two consequences are as follows: 1) the homotopy groups of spheres are identified as "natural" sub-quotients of free products of pure braid groups, and 2) an axiomatization of certain simplicial groups arising from braid groups is shown to characterize the homotopy types of connected $CW$-complexes.

Algebraic Topology,Geometric Topology
Spherical functions on homogeneous superspaces

Ruibin Zhang,Yi Ming Zou

DOI: https://doi.org/10.1063/1.1868859

2009-02-04

Abstract:Homogeneous superspaces arising from the general linear supergroup are studied within a Hopf algebraic framework. Spherical functions on homogeneous superspaces are introduced, and the structures of the superalgebras of the spherical functions on classes of homogeneous superspaces are described explicitly.

Representation Theory,Mathematical Physics
The Family Seiberg-Witten Invariant and Nonsymplectic Loops of Diffeomorphisms

Jianfeng Lin

DOI: https://doi.org/10.48550/arxiv.2208.12082

2022-01-01

Abstract:By extending a result of Kronheimer-Mrowka to the family setting, we prove a gluing formula for the family Seiberg-Witten invariant. This formula allows one to compute the invariant for a smooth family of 4-manifolds by cutting it open along a product family of 3-manifolds and studying the induced maps on monopole Floer (co)homology. When the cutting 3-manifold is an L-space, this formula implies a relation between the family Seiberg-Witten invariant, the Seiberg-Witten invariant of the fiber and the index of the family Dirac operator. We use this relation to calculate the Seiberg-Witten invariant of families of 4-manifolds that arise when resolving an ADE singularity using a hyperkähler family of complex structures near the singularity. Several applications are obtained. First, we establish a large family of simply-connected 4-manifolds M (e.g. all elliptic surfaces) such that π_1(Diff(M)) has a ℤ^∞-summand . For such M, the product S^2× M smoothly fibers over S^2 with fiber M in infinitely many distinct ways. Second, we show that on any closed symplectic 4-manifold that contains a smoothly embedded sphere of self-intersection -1 or -2, there is a loop of diffeomorphisms that is not homotopic to a loop of symplectormorphisms. This generalizes a previous result by Smirnov and confirms a conjecture by McDuff in dimension 4. It also provides many new examples of 4-manifolds whose space of symplectic forms has a nontrivial fundamental group or first homology group.
Infinite loop spaces associated to affine Kac-Moody groups

Lin Xianzu

DOI: https://doi.org/10.48550/arXiv.1012.5331

2011-04-13

Abstract:It is well known that to each infinite class of classical groups over a commutative ring $R$, we can associate an infinite loop space by Quillen's plus construction. In this paper we generalize this fact to the case of affine Kac-Moody groups.

Algebraic Topology
Admissible Homomorphisms and Equivariant Relations Between Weighted Projective Lines

Jianmin Chen,Yanan Lin,Shiquan Ruan,Hongxia Zhang

DOI: https://doi.org/10.1093/imrn/rnac364

2023-02-04

International Mathematics Research Notices

Abstract:Abstract The string group acts on the category of coherent sheaves over a weighted projective line by degree-shift actions. We study the equivariant relations induced by degree-shift actions between weighted projective lines. We prove that such an equivariant relation is characterized by an admissible homomorphism between the associated string groups. We classify all these equivariant relations for the weighted projective lines of domestic and tubular types, respectively.

mathematics
Diffeomorphisms of the 4-sphere, Cerf theory and Montesinos twins

David T. Gay

2024-09-18

Abstract:One way to better understand the smooth mapping class group of the 4-sphere would be to give a list of generators in the form of explicit diffeomorphisms supported in neighborhoods of submanifolds, in analogy with Dehn twists on surfaces. As a step in this direction, we describe a surjective homomorphism from a group associated to loops of 2-spheres in $S^2 \times S^2$'s onto this smooth mapping class group, discuss two natural and in some sense complementary subgroups of the domain of this homomomorphism, show that one is in the kernel, and give generators as above for the image of the other. These generators are described as twists along Montesinos twins, i.e. pairs of embedded 2-spheres in the 4-sphere intersecting transversely at two points.

Geometric Topology
Geometric approach to stable homotopy groups of spheres, III. Abelian, cyclic and quaternionic structure for mappings with singularities

Petr M. Akhmet'ev

DOI: https://doi.org/10.48550/arXiv.1007.2805

2012-01-26

Abstract:Collection of (equivariant) $\rm{PL}$-mappings admitting a relative abelian, cyclic, quaternionic, bicyclic, and quaternionic-cyclic structures are constructed.

Algebraic Topology
The existence of $S^1\times C_p$-maps between representation spheres and its applications

Ikumitsu Nagasaki

2024-10-10

Abstract:We show the existence of $S^1\times C_p$-maps between certain representation spheres. As an application, we show that, in the family of abelian compact Lie groups, a group $G$ has the weak Borsuk-Ulam property (in the sense of Bartsch) if and only if $G$ is either a finite abelian $p$-group or a $k$-torus.

Algebraic Topology
On decorated representation spaces associated to spherical surfaces

Gabriele Mondello,Dmitri Panov

2023-06-29

Abstract:We analyse local features of the spaces of representations of the fundamental group of a punctured surface in $\mathrm{SU}_2$ equipped with a decoration, namely a choice of a logarithm of the representation at peripheral loops. Such decorated representations naturally arise as monodromies of spherical surfaces with conical points. Among other things, in this paper we determine the smooth locus of such absolute and relative decorated representation spaces: in particular, in the relative case (with few special exceptions) such smooth locus is dense, connected, and exactly consists of non-coaxial representations. The present study sheds some light on the local structure of the moduli space of spherical surfaces with conical points, which is locally modelled on the above-mentioned decorated representation spaces.

Differential Geometry,Algebraic Geometry
Affine deformations of quasi-divisible convex cones

Xin Nie,Andrea Seppi

DOI: https://doi.org/10.1112/plms.12537

2020-09-26

Abstract:For any subgroup of $\mathrm{SL}(3,\mathbb{R})\ltimes\mathbb{R}^3$ obtained by adding a translation part to a subgroup of $\mathrm{SL}(3,\mathbb{R})$ which is the fundamental group of a finite-volume convex projective surface, we first show that under a natural condition on the translation parts of parabolic elements, the affine action of the group on $\mathbb{R}^3$ has convex domains of discontinuity that are regular in a certain sense, generalizing a result of Mess for globally hyperbolic flat spacetimes. We then classify all these domains and show that the quotient of each of them is an affine manifold foliated by convex surfaces with constant affine Gaussian curvature. The proof is based on a correspondence between the geometry of an affine space endowed with a convex cone and the geometry of a convex tube domain. As an independent result, we show that the moduli space of such groups is a vector bundle over the moduli space of finite-volume convex projective structures, with rank equaling the dimension of the Teichmüller space.

Differential Geometry,Geometric Topology
A Differentiable Sphere Theorem for Compact Lagrangian Submanifolds in Complex Euclidean Space and Complex Projective Space

Haizhong Li,Xianfeng Wang

DOI: https://doi.org/10.4310/cag.2014.v22.n2.a4

2014-01-01

Communications in Analysis and Geometry

Abstract:We obtain a new differentiable sphere theorem for compact Lagrangian submanifolds in complex Euclidean space and complex projective space.
Finite Presentations for Spherical/braid Twist Groups from Decorated Marked Surfaces

Yu Qiu,Yu Zhou

DOI: https://doi.org/10.1112/topo.12135

2020-01-01

Journal of Topology

Abstract:We give a finite presentation for the braid twist group of a decorated surface. If the decorated surface arises from a triangulated marked surface without punctures, we obtain a finite presentation for the spherical twist group of the associated 3‐Calabi–Yau triangulated category. The motivation/application is that the result will be used to show that the (principal component of) space of stability conditions on the 3‐Calabi–Yau category is simply connected in the sequel [King and Qiu, Invent. Math., to appear].

Definite Affine Spheres and Loop Groups

Weierstrass Type Representation of Willmore Surfaces in S N

On group and loop spheres

A representation formula for indefinite improper affine spheres

On Borel–de Siebenthal Representations

The Cauchy problem for indefinite improper affine spheres and their Hessian equation

Symplectomorphisms and spherical objects in the conifold smoothing

Spherical Complexes Attached to Symplectic Lattices

Realizing congruence subgroups inside the diffeomorphism group of a product of homotopy spheres

Braid groups, free groups, and the loop space of the 2-sphere

Spherical functions on homogeneous superspaces

The Family Seiberg-Witten Invariant and Nonsymplectic Loops of Diffeomorphisms

Infinite loop spaces associated to affine Kac-Moody groups

Admissible Homomorphisms and Equivariant Relations Between Weighted Projective Lines

Diffeomorphisms of the 4-sphere, Cerf theory and Montesinos twins

Geometric approach to stable homotopy groups of spheres, III. Abelian, cyclic and quaternionic structure for mappings with singularities

The existence of $S^1\times C_p$-maps between representation spheres and its applications

On decorated representation spaces associated to spherical surfaces

Affine deformations of quasi-divisible convex cones

A Differentiable Sphere Theorem for Compact Lagrangian Submanifolds in Complex Euclidean Space and Complex Projective Space

Finite Presentations for Spherical/braid Twist Groups from Decorated Marked Surfaces