-
Fano 3-folds and classification of constantly curved holomorphic $2$-spheres of degree $6$ in the complex Grassmannian $G(2,5)$
Authors:
Quo-Shin Chi,
Zhenxiao Xie,
Yan Xu
Abstract:
Up to now the only known example in the literature of constantly curved holomorphic $2$-sphere of degree 6 in the complex $G(2,5)$ has been the first associated curve of the Veronese curve of degree 4. By exploring the rich interplay between the Riemann sphere and projectively equivalent Fano $3$-folds of index $2$ and degree $5$, we prove, up to the ambient unitary equivalence, that the moduli sp…
▽ More
Up to now the only known example in the literature of constantly curved holomorphic $2$-sphere of degree 6 in the complex $G(2,5)$ has been the first associated curve of the Veronese curve of degree 4. By exploring the rich interplay between the Riemann sphere and projectively equivalent Fano $3$-folds of index $2$ and degree $5$, we prove, up to the ambient unitary equivalence, that the moduli space of generic (to be precisely defined) such $2$-spheres is semialgebraic of dimension 2. All these $2$-spheres are verified to have non-parallel second fundamental form except for the above known example.
△ Less
Submitted 17 August, 2022;
originally announced August 2022.
-
Efficient Joint-Dimensional Search with Solution Space Regularization for Real-Time Semantic Segmentation
Authors:
Peng Ye,
Baopu Li,
Tao Chen,
Jiayuan Fan,
Zhen Mei,
Chen Lin,
Chongyan Zuo,
Qinghua Chi,
Wanli Ouyan
Abstract:
Semantic segmentation is a popular research topic in computer vision, and many efforts have been made on it with impressive results. In this paper, we intend to search an optimal network structure that can run in real-time for this problem. Towards this goal, we jointly search the depth, channel, dilation rate and feature spatial resolution, which results in a search space consisting of about 2.78…
▽ More
Semantic segmentation is a popular research topic in computer vision, and many efforts have been made on it with impressive results. In this paper, we intend to search an optimal network structure that can run in real-time for this problem. Towards this goal, we jointly search the depth, channel, dilation rate and feature spatial resolution, which results in a search space consisting of about 2.78*10^324 possible choices. To handle such a large search space, we leverage differential architecture search methods. However, the architecture parameters searched using existing differential methods need to be discretized, which causes the discretization gap between the architecture parameters found by the differential methods and their discretized version as the final solution for the architecture search. Hence, we relieve the problem of discretization gap from the innovative perspective of solution space regularization. Specifically, a novel Solution Space Regularization (SSR) loss is first proposed to effectively encourage the supernet to converge to its discrete one. Then, a new Hierarchical and Progressive Solution Space Shrinking method is presented to further achieve high efficiency of searching. In addition, we theoretically show that the optimization of SSR loss is equivalent to the L_0-norm regularization, which accounts for the improved search-evaluation gap. Comprehensive experiments show that the proposed search scheme can efficiently find an optimal network structure that yields an extremely fast speed (175 FPS) of segmentation with a small model size (1 M) while maintaining comparable accuracy.
△ Less
Submitted 10 August, 2022;
originally announced August 2022.
-
EADNet: Efficient Asymmetric Dilated Network for Semantic Segmentation
Authors:
Qihang Yang,
Tao Chen,
Jiayuan Fan,
Ye Lu,
Chongyan Zuo,
Qinghua Chi
Abstract:
Due to real-time image semantic segmentation needs on power constrained edge devices, there has been an increasing desire to design lightweight semantic segmentation neural network, to simultaneously reduce computational cost and increase inference speed. In this paper, we propose an efficient asymmetric dilated semantic segmentation network, named EADNet, which consists of multiple developed asym…
▽ More
Due to real-time image semantic segmentation needs on power constrained edge devices, there has been an increasing desire to design lightweight semantic segmentation neural network, to simultaneously reduce computational cost and increase inference speed. In this paper, we propose an efficient asymmetric dilated semantic segmentation network, named EADNet, which consists of multiple developed asymmetric convolution branches with different dilation rates to capture the variable shapes and scales information of an image. Specially, a multi-scale multi-shape receptive field convolution (MMRFC) block with only a few parameters is designed to capture such information. Experimental results on the Cityscapes dataset demonstrate that our proposed EADNet achieves segmentation mIoU of 67.1 with smallest number of parameters (only 0.35M) among mainstream lightweight semantic segmentation networks.
△ Less
Submitted 16 March, 2021;
originally announced March 2021.
-
The Isoparametric Story, a Heritage of Élie Cartan
Authors:
Quo-Shin Chi
Abstract:
In this article, we survey along the historical route the classification of isoparametric hypersurfaces in the sphere, paying attention to the employed techniques in the case of four principal curvatures.
In this article, we survey along the historical route the classification of isoparametric hypersurfaces in the sphere, paying attention to the employed techniques in the case of four principal curvatures.
△ Less
Submitted 4 July, 2020;
originally announced July 2020.
-
Structure of minimal 2-spheres of constant curvature in the complex hyperquadric
Authors:
Quo-Shin Chi,
Zhenxiao Xie,
Yan Xu
Abstract:
In this paper, the singular-value decomposition theory of complex matrices is explored to study constantly curved 2-spheres minimal in both $\mathbb{C}P^n$ and the hyperquadric of $\mathbb{C}P^n$. The moduli space of all those noncongruent ones is introduced, which can be described by certain complex symmetric matrices modulo an appropriate group action. Using this description, many examples, such…
▽ More
In this paper, the singular-value decomposition theory of complex matrices is explored to study constantly curved 2-spheres minimal in both $\mathbb{C}P^n$ and the hyperquadric of $\mathbb{C}P^n$. The moduli space of all those noncongruent ones is introduced, which can be described by certain complex symmetric matrices modulo an appropriate group action. Using this description, many examples, such as constantly curved holomorphic 2-spheres of higher degree, nonhomogenous minimal 2-spheres of constant curvature, etc., are constructed. Uniqueness is proven for the totally real constantly curved 2-sphere minimal in both the hyperquadric and $\mathbb{C}P^n$.
△ Less
Submitted 29 June, 2020; v1 submitted 27 March, 2019;
originally announced March 2019.
-
Management and Orchestration of Network Slices in 5G, Fog, Edge and Clouds
Authors:
Adel Nadjaran Toosi,
Redowan Mahmud,
Qinghua Chi,
Rajkumar Buyya
Abstract:
Network slicing allows network operators to build multiple isolated virtual networks on a shared physical network to accommodate a wide variety of services and applications. With network slicing, service providers can provide a cost-efficient solution towards meeting diverse performance requirements of deployed applications and services. Despite slicing benefits, End-to-End orchestration and manag…
▽ More
Network slicing allows network operators to build multiple isolated virtual networks on a shared physical network to accommodate a wide variety of services and applications. With network slicing, service providers can provide a cost-efficient solution towards meeting diverse performance requirements of deployed applications and services. Despite slicing benefits, End-to-End orchestration and management of network slices is a challenging and complicated task. In this chapter, we intend to survey all the relevant aspects of network slicing, with the focus on networking technologies such as Software-defined networking (SDN) and Network Function Virtualization (NFV) in 5G, Fog/Edge and Cloud Computing platforms. To build the required background, this chapter begins with a brief overview of 5G, Fog/Edge and Cloud computing, and their interplay. Then we cover the 5G vision for network slicing and extend it to the Fog and Cloud computing through surveying the state-of-the-art slicing approaches in these platforms. We conclude the chapter by discussing future directions, analyzing gaps and trends towards the network slicing realization.
△ Less
Submitted 3 December, 2018;
originally announced December 2018.
-
Orthogonal multiplications of type $[3,4,p], p\leq 12$
Authors:
Quo-Shin Chi,
Haiyang Wang
Abstract:
We describe the moduli space of orthogonal multiplications of type $[3,4,p], p\leq 12,$ and its application to the hypersurface theory.
We describe the moduli space of orthogonal multiplications of type $[3,4,p], p\leq 12,$ and its application to the hypersurface theory.
△ Less
Submitted 12 May, 2017;
originally announced May 2017.
-
Isoparametric hypersurfaces with four principal curvatures, IV
Authors:
Quo-Shin Chi
Abstract:
We prove that an isoparametric hypersurface with four principal curvatures and multiplicity pair $(7,8)$ is either the one constructed by Ozeki and Takeuchi, or one of the two constructed by Ferus, Karcher, and Münzner. This completes the classification of isoparametric hypersurfaces in spheres that É. Cartan initiated in the late 1930s.
We prove that an isoparametric hypersurface with four principal curvatures and multiplicity pair $(7,8)$ is either the one constructed by Ozeki and Takeuchi, or one of the two constructed by Ferus, Karcher, and Münzner. This completes the classification of isoparametric hypersurfaces in spheres that É. Cartan initiated in the late 1930s.
△ Less
Submitted 4 June, 2017; v1 submitted 3 May, 2016;
originally announced May 2016.
-
Ideal theory and classification of isoparametric hypersurfaces
Authors:
Quo-Shin Chi
Abstract:
The classification of isoparametric hypersurfaces with four principal curvatures in the sphere interplays in a deep fashion with commutative algebra, whose abstract and comprehensive nature might obscure a differential geometer's insight into the classification problem that encompasses a wide spectrum of geometry and topology. In this paper, we make an effort to bridge the gap by walking through t…
▽ More
The classification of isoparametric hypersurfaces with four principal curvatures in the sphere interplays in a deep fashion with commutative algebra, whose abstract and comprehensive nature might obscure a differential geometer's insight into the classification problem that encompasses a wide spectrum of geometry and topology. In this paper, we make an effort to bridge the gap by walking through the important part of commutative algebra central to the classification of such hypersurfaces, such that all the essential ideal-theoretic ingredients are laid out in a way as much intuitive, motivating and geometric with rigor maintained as possible. We then explain how we developed the technical side of the entailed ideal theory, pertinent to isoparametric hypersurfaces with four principal curvatures, for the classification done in our papers~\cite{CCJ},~\cite{Ch1} and~\cite{Ch3}.
△ Less
Submitted 22 May, 2014;
originally announced May 2014.
-
Isoparametric hypersurfaces with four principal curvatures, III
Authors:
Quo-Shin Chi
Abstract:
The classification work [5], [9] left unsettled only those anomalous isoparametric hypersurfaces with four principal curvatures and multiplicity pair $\{4,5\},\{6,9\}$ or $\{7,8\}$ in the sphere.
By systematically exploring the ideal theory in commutative algebra in conjunction with the geometry of isoparametric hypersurfaces, we show that an isoparametric hypersurface with four principal curvat…
▽ More
The classification work [5], [9] left unsettled only those anomalous isoparametric hypersurfaces with four principal curvatures and multiplicity pair $\{4,5\},\{6,9\}$ or $\{7,8\}$ in the sphere.
By systematically exploring the ideal theory in commutative algebra in conjunction with the geometry of isoparametric hypersurfaces, we show that an isoparametric hypersurface with four principal curvatures and multiplicities $\{4,5\}$ in $S^{19}$ is homogeneous, and, moreover, an isoparametric hypersurface with four principal curvatures and multiplicities $\{6,9\}$ in $S^{31}$ is either the inhomogeneous one constructed by Ferus, Karcher and Münzner, or the one that is homogeneous.
This classification reveals the striking resemblance between these two rather different types of isoparametric hypersurfaces in the homogeneous category, even though the one with multiplicities $\{6,9\}$ is of the type constructed by Ferus, Karcher and Münzner and the one with multiplicities $\{4,5\}$ stands alone by itself. The quaternion and the octonion algebras play a fundamental role in their geometric structures.
A unifying theme in [5]. [9] and the present sequel to them is Serre's criterion of normal varieties. Its technical side pertinent to our situation that we developed in [5], [9] and extend in this sequel is instrumental.
The classification leaves only the case of multiplicity pair $\{7,8\}$ open.
△ Less
Submitted 20 May, 2011; v1 submitted 16 April, 2011;
originally announced April 2011.
-
Taut submanifolds are algebraic
Authors:
Quo-Shin Chi
Abstract:
We prove that every (compact) taut submanifold in Euclidean space is real algebraic, i.e., is a connected component of a real irreducible algebraic variety in the same ambient space. This answers affirmatively a question of Nicolaas Kuiper raised in the 1980s.
We prove that every (compact) taut submanifold in Euclidean space is real algebraic, i.e., is a connected component of a real irreducible algebraic variety in the same ambient space. This answers affirmatively a question of Nicolaas Kuiper raised in the 1980s.
△ Less
Submitted 19 October, 2014; v1 submitted 8 February, 2011;
originally announced February 2011.
-
Isoparametric hypersurfaces with four principal curvatures, II
Authors:
Quo-Shin Chi
Abstract:
In this sequel, employing more commutative algebra than that explored in \cite{CCJ}, we show that an isoparametric hypersurface with four principal curvatures and multiplicities $(3,4)$ in $S^{15}$ is one constructed by Ozeki-Takeuchi \cite[I]{OT} and Ferus-Karcher-Münzner \cite{FKM}, referred to collectively as of OT-FKM type.
In fact, this new approach also gives a considerably simpler, both s…
▽ More
In this sequel, employing more commutative algebra than that explored in \cite{CCJ}, we show that an isoparametric hypersurface with four principal curvatures and multiplicities $(3,4)$ in $S^{15}$ is one constructed by Ozeki-Takeuchi \cite[I]{OT} and Ferus-Karcher-Münzner \cite{FKM}, referred to collectively as of OT-FKM type.
In fact, this new approach also gives a considerably simpler, both structurally and technically, proof \cite{CCJ} that an isoparametric hypersurface with four principal curvatures in spheres with the multiplicity constraint $m_2\geq 2m_1-1$ is of OT-FKM type, which left unsettled exactly the four anomalous multiplicity pairs $(4,5),(3,4),(7,8)$ and $(6,9)$, where the last three are closely tied, respectively, with the quaternion algebra, the octonion algebra and the complexified octonion algebra, whereas the first stands alone by itself in that it cannot be of OT-FKM type.
A byproduct of this new approach is that we see that Condition B, introduced by Ozeki and Takeuchi \cite[I]{OT} in their construction of inhomogeneous isoparametric hypersurfaces, naturally arises.
The cases for the multiplicity pairs $(4,5),(6,9)$ and $(7,8)$ remain open now.
△ Less
Submitted 3 June, 2010; v1 submitted 5 February, 2010;
originally announced February 2010.
-
A new look at Condition A
Authors:
Quo-Shin Chi
Abstract:
Ozeki and Takeuchi \cite[I]{OT} introduced the notion of Condition A and Condition B to construct two classes of inhomogeneous isoparametric hypersurfaces with four principal curvatures in spheres, which were later generalized by Ferus, Karcher and Münzner to many more examples via the Clifford representations; we will refer to these examples of Ozeki and Takeuchi and of Ferus, Karcher and Münzn…
▽ More
Ozeki and Takeuchi \cite[I]{OT} introduced the notion of Condition A and Condition B to construct two classes of inhomogeneous isoparametric hypersurfaces with four principal curvatures in spheres, which were later generalized by Ferus, Karcher and Münzner to many more examples via the Clifford representations; we will refer to these examples of Ozeki and Takeuchi and of Ferus, Karcher and Münzner collectively as OT-FKM type throughout the paper. Dorfmeister and Neher \cite{DN} then employed isoparametric triple systems \cite{DN1}, which are algebraic in nature, to prove that Condition A alone implies the isoparametric hypersurface is of OT-FKM type. Their proof for the case of multiplicity pairs $\{3,4\}$ and $\{7,8\}$ rests on a fairly involved algebraic classification result \cite{Mc} about composition triples.
In light of the classification \cite{CCJ} that leaves only the four exceptional multiplicity pairs $\{4,5\},\{3,4\},\{7,8\}$ and $\{6,9\}$ unsettled, it appears that Condition A may hold the key to the classification when the multiplicity pairs are $\{3,4\}$ and $\{7,8\}$. Thus Condition A deserves to be scrutinized and understood more thoroughly from different angles.
In this paper, we give a fairly short and rather straightforward proof of the result of Dorfmeister and Neher, with emphasis on the multiplicity pairs $\{3,4\}$ and $\{7,8\}$, based on more geometric considerations. We make it explicit and apparent that the octonian algebra governs the underlying isoparametric structure.
△ Less
Submitted 2 July, 2009;
originally announced July 2009.
-
Isoparametric hypersurfaces with four principal curvatures revisited
Authors:
Quo-Shin Chi
Abstract:
The classification of isoparametric hypersurfaces with four principal curvatures in spheres in [2] hinges on a crucial characterization, in terms of four sets of equations of the 2nd fundamental form tensors of a focal submanifold, of an isoparametric hypersurface of the type constructed by Ferus, Karcher and Münzner. The proof of the characterization in [2] is an extremely long calculation by e…
▽ More
The classification of isoparametric hypersurfaces with four principal curvatures in spheres in [2] hinges on a crucial characterization, in terms of four sets of equations of the 2nd fundamental form tensors of a focal submanifold, of an isoparametric hypersurface of the type constructed by Ferus, Karcher and Münzner. The proof of the characterization in [2] is an extremely long calculation by exterior derivatives with remarkable cancellations, which is motivated by the idea that an isoparametric hypersurface is defined by an over-determined system of partial differential equations. Therefore, exterior differentiating sufficiently many times should gather us enough information for the conclusion. In spite of its elementary nature, the magnitude of the calculation and the surprisingly pleasant cancellations make it desirable to understand the underlying geometric principles.
In this paper, we give a conceptual, and considerably shorter, proof of the characterization based on Ozeki and Takeuchi's expansion formula for the Cartan-Münzner polynomial. Along the way the geometric meaning of these four sets of equations also becomes clear.
△ Less
Submitted 9 March, 2008;
originally announced March 2008.
-
Dupin hypersurfaces with four principal curvatures, II
Authors:
Thomas Cecil,
Quo-Shin Chi,
Gary Jensen
Abstract:
If $M$ is an isoparametric hypersurface in a sphere $S^n$ with four distrinct principal curvatures, then the principal curvatures $κ_1,...,κ_4$ can be ordered so that their multiplicities satisfy $m_1=m_2$ and $m_3=m_4$, and the cross-ratio $r$ of the principal curvatures (the Lie curvature) equals -1. In this paper, we prove that if $M$ is an irreducible connected proper Dupin hypersurface in…
▽ More
If $M$ is an isoparametric hypersurface in a sphere $S^n$ with four distrinct principal curvatures, then the principal curvatures $κ_1,...,κ_4$ can be ordered so that their multiplicities satisfy $m_1=m_2$ and $m_3=m_4$, and the cross-ratio $r$ of the principal curvatures (the Lie curvature) equals -1. In this paper, we prove that if $M$ is an irreducible connected proper Dupin hypersurface in $\R^n$ (or $S^n$) with four distinct principal curvatures with multiplicities $m_1=m_2 \geq 1$ and $m_3=m_4=1$, and constant Lie curvature $r=-1$, then $M$ is equivalent by Lie sphere transformation to an isoparametric hypersurface in a sphere. This result remains true if the assumption of irreducibility is replaced by compactness and $r$ is merely assumed to be constant.
△ Less
Submitted 5 December, 2005;
originally announced December 2005.
-
On Kuiper's conjecture
Authors:
Thomas Cecil,
Quo-Shin Chi,
Gary Jensen
Abstract:
We prove that any connected proper Dupin hypersurface in $\R^n$ is analytic algebraic and is an open subset of a connected component of an irreducible algebraic set. We prove the same result for any connected non-proper Dupin hypersurface in $\R^n$ that satisfies a certain finiteness condition. Hence any taut submanifold M in $\R^n$, whose tube $M_ε$ satisfies this finiteness condition, is analy…
▽ More
We prove that any connected proper Dupin hypersurface in $\R^n$ is analytic algebraic and is an open subset of a connected component of an irreducible algebraic set. We prove the same result for any connected non-proper Dupin hypersurface in $\R^n$ that satisfies a certain finiteness condition. Hence any taut submanifold M in $\R^n$, whose tube $M_ε$ satisfies this finiteness condition, is analytic algebraic and is a connected component of an irreducible algebraic set. In particular, we prove that every taut submanifold of dimension $m \leq 4$ is algebraic.
△ Less
Submitted 30 July, 2007; v1 submitted 5 December, 2005;
originally announced December 2005.
-
Analytic Controllability of Time-Dependent Quantum Control Systems
Authors:
Chunhua Lan,
Tzyh-Jong Tarn,
Quo-Shin Chi,
John W. Clark
Abstract:
The question of controllability is investigated for a quantum control system in which the Hamiltonian operator components carry explicit time dependence which is not under the control of an external agent. We consider the general situation in which the state moves in an infinite-dimensional Hilbert space, a drift term is present, and the operators driving the state evolution may be unbounded. Ho…
▽ More
The question of controllability is investigated for a quantum control system in which the Hamiltonian operator components carry explicit time dependence which is not under the control of an external agent. We consider the general situation in which the state moves in an infinite-dimensional Hilbert space, a drift term is present, and the operators driving the state evolution may be unbounded. However, considerations are restricted by the assumption that there exists an analytic domain, dense in the state space, on which solutions of the controlled Schrodinger equation may be expressed globally in exponential form. The issue of controllability then naturally focuses on the ability to steer the quantum state on a finite-dimensional submanifold of the unit sphere in Hilbert space -- and thus on analytic controllability. A relatively straightforward strategy allows the extension of Lie-algebraic conditions for strong analytic controllability derived earlier for the simpler, time-independent system in which the drift Hamiltonian and the interaction Hamiltonia have no intrinsic time dependence. Enlarging the state space by one dimension corresponding to the time variable, we construct an augmented control system that can be treated as time-independent. Methods developed by Kunita can then be implemented to establish controllability conditions for the one-dimension-reduced system defined by the original time-dependent Schrodinger control problem. The applicability of the resulting theorem is illustrated with selected examples.
△ Less
Submitted 21 September, 2004;
originally announced September 2004.
-
Strong Analytic Controllability for Hydrogen Control Systems
Authors:
Chunhua Lan,
Tzyh-Jong Tarn,
Quo-Shin Chi,
John W. Clark
Abstract:
The realization and representation of so(4,2) associated with the hydrogen atom Hamiltonian are derived. By choosing operators from the realization of so(4,2) as interacting Hamiltonians, a hydrogen atom control system is constructed, and it is proved that this control system is strongly analytically controllable based on a time-dependent strong analytic controllability theorem.
The realization and representation of so(4,2) associated with the hydrogen atom Hamiltonian are derived. By choosing operators from the realization of so(4,2) as interacting Hamiltonians, a hydrogen atom control system is constructed, and it is proved that this control system is strongly analytically controllable based on a time-dependent strong analytic controllability theorem.
△ Less
Submitted 8 January, 2005; v1 submitted 21 September, 2004;
originally announced September 2004.
-
Isoparametric hypersurfaces with four principal curvatures
Authors:
Tom Cecil,
Quo-Shin Chi,
Gary Jensen
Abstract:
Let $M$ be an isoparametric hypersurface in the sphere $S^n$ with four distinct principal curvatures. Münzner showed that the four principal curvatures can have at most two distinct multiplicities $m_1, m_2$, and Stolz showed that the pair $(m_1,m_2)$ must either be $(2,2)$, $(4,5)$, or be equal to the multiplicities of an isoparametric hypersurface of FKM-type, constructed by Ferus, Karcher and…
▽ More
Let $M$ be an isoparametric hypersurface in the sphere $S^n$ with four distinct principal curvatures. Münzner showed that the four principal curvatures can have at most two distinct multiplicities $m_1, m_2$, and Stolz showed that the pair $(m_1,m_2)$ must either be $(2,2)$, $(4,5)$, or be equal to the multiplicities of an isoparametric hypersurface of FKM-type, constructed by Ferus, Karcher and Münzner from orthogonal representations of Clifford algebras. In this paper, we prove that if the multiplicities satisfy $m_2 \geq 3m_1 - 1$, then the isoparametric hypersurface $M$ must be of FKM-type. Together with known results of Takagi for the case $m_1 = 1$, and Ozeki and Takeuchi for $m_1 = 2$, this handles all possible pairs of multiplicities except for 10 cases, for which the classification problem remains open. The paper improves the result of a pre-existing preprint with the same title, in which 14 cases remained open.
△ Less
Submitted 17 February, 2004;
originally announced February 2004.
-
Exotic holonomies $\E_7^{(a)}$
Authors:
Q. -S. Chi,
S. A. Merkulov,
L. J. Schwachhöfer
Abstract:
It is proved that the Lie groups $\E_7^{(5)}$ and $\E^{(7)}_7$ represented in $\R^{56}$ and the Lie group $\E_7^{\C}$ represented in $\R^{112}$ occur as holonomies of torsion-free affine connections. It is also shown that the moduli spaces of torsion-free affine connnections with these holonomies are finite dimensional, and that every such connection has a local symmetry group of positive dimens…
▽ More
It is proved that the Lie groups $\E_7^{(5)}$ and $\E^{(7)}_7$ represented in $\R^{56}$ and the Lie group $\E_7^{\C}$ represented in $\R^{112}$ occur as holonomies of torsion-free affine connections. It is also shown that the moduli spaces of torsion-free affine connnections with these holonomies are finite dimensional, and that every such connection has a local symmetry group of positive dimension.
△ Less
Submitted 18 July, 1996;
originally announced July 1996.
-
On the Incompleteness of Berger's List of Holonomy Representations
Authors:
Quo-Shin Chi,
Sergey A. Merkulov,
Lorenz J. Schwachhöfer
Abstract:
In 1955, Berger \cite{Ber} gave a list of irreducible reductive representations which can occur as the holonomy of a torsion-free affine connection. This list was stated to be complete up to possibly a finite number of missing entries. In this paper, we show that there is, in fact, an infinite family of representations which are missing from this list, thereby showing the incompleteness of Berge…
▽ More
In 1955, Berger \cite{Ber} gave a list of irreducible reductive representations which can occur as the holonomy of a torsion-free affine connection. This list was stated to be complete up to possibly a finite number of missing entries. In this paper, we show that there is, in fact, an infinite family of representations which are missing from this list, thereby showing the incompleteness of Berger's classification. Moreover, we develop a method to construct torsion-free connections with prescribed holonomy, and use it to give a complete description of the torsion-free affine connections with these new holonomies. We also deduce some striking facts about their global behaviour.
△ Less
Submitted 30 August, 1995;
originally announced August 1995.
-
Exotic Holonomy on Moduli Spaces of Rational Curves
Authors:
Quo-Shin Chi,
Lorenz J Schwachhöfer
Abstract:
Bryant \cite{Br} proved the existence of torsion free connections with exotic holonomy, i.e. with holonomy that does not occur on the classical list of Berger \cite{Ber}. These connections occur on moduli spaces $\Y$ of rational contact curves in a contact threefold $\W$. Therefore, they are naturally contained in the moduli space $\Z$ of all rational curves in $\W$. We construct a connection on…
▽ More
Bryant \cite{Br} proved the existence of torsion free connections with exotic holonomy, i.e. with holonomy that does not occur on the classical list of Berger \cite{Ber}. These connections occur on moduli spaces $\Y$ of rational contact curves in a contact threefold $\W$. Therefore, they are naturally contained in the moduli space $\Z$ of all rational curves in $\W$. We construct a connection on $\Z$ whose restriction to $\Y$ is torsion free. However, the connection on $\Z$ has torsion unless both $\Y$ and $\Z$ are flat. We also show the existence of a new exotic holonomy which is a certain sixdimensional representation of $\Sl \times \Sl$. We show that every regular $H_3$-connection (cf. \cite{Br}) is the restriction of a unique connection with this holonomy.
△ Less
Submitted 2 January, 1995;
originally announced January 1995.