arXiv research

Compact holonomy groups found in symmetric spaces.

We survey the existing parts of a classification of finite groups generated by orthogonal transformations in a finite-dimensional Euclidean space whose fixed point subspace has codimension one or two and extend it to a complete classification. These groups naturally arise in the study of the quotient of a Euclidean spa…

This is a survey on old and new results as well as an introduction to various related basic notions and concepts, based on two talks given at the International Workshop on Geometry and Analysis in Kemerovo (Sobolev Institute of Mathematics, Kemerovo State University) and at the University of Krasnojarsk in June 2011. W…

We show that a finite group which admits a faithful, smooth, orientation-preserving action on a homology 4-sphere, and in particular on the 4-sphere, is isomorphic to a subgroup of the orthogonal group SO(5), by explicitly determining the various groups which can occur (up to an indetermination of index two in the case…

We characterize finite groups G generated by orthogonal transformations in a finite-dimensional Euclidean space V whose fixed point subspace has codimension one or two in terms of the corresponding quotient space V/G with its quotient piecewise linear structure.

Classifies symmetries of knots using group actions and orthogonal representation theory.

The standard actions of finite groups on spheres S^d are linear actions, i.e. by finite subgroups of the orthogonal group O(d+1). We prove that, in each dimension d>5, there is a finite group G which admits a faithful, topological action on a sphere S^d but is not isomorphic to a subgroup of O(d+1). The situation remai…

We consider orientation-preserving actions of a finite group G on the 3-sphere S^3 (and also on Euclidean space R^3). By the geometrization of finite group actions on 3-manifolds, if such an action is smooth then it is conjugate to an orthogonal action, and in particular G is isomorphic to a subgroup of the orthogonal …

We find algebraic parametrizations of extended solutions of harmonic maps of finite uniton number from a surface to the orthogonal group O(n) in terms of free holomorphic data which lead to formulae for all such harmonic maps. Our work reveals an interesting correspondence between certain harmonic maps and the free Wei…

A linking pairing is a symetric bilinear pairing lambda: GxG --> Q/Z on a finite abelian group. The set of isomorphism classes of linking pairings is a non-cancellative monoid E under orthogonal sum, which is infinitely generated and infinitely related. We propose a new presentation of E that enables one to detect whet…

Let G be a finite group. The unit sphere in a finite-dimensional orthogonal G-representation motivates the definition of homotopy representations, due to tom Dieck. We introduce an algebraic analogue, and establish its basic properties including the Borel-Smith conditions and realization by finite G-CW-complexes.

We consider finite groups which admit a faithful, smooth action on an acyclic manifold of dimension three, four or five (e.g. euclidean space). Our first main result states that a finite group acting on an acyclic 3- or 4-manifold is isomorphic to a subgroup of the orthogonal group O(3) or O(4), respectively. The analo…

Manifold submetries of the round sphere are a class of partitions of the round sphere that generalizes both singular Riemannian foliations, and the orbit decompositions by the orthogonal representations of compact groups. We exhibit a one-to-one correspondence between such manifold submetries and maximal Laplacian alge…

We give new explicit formulas for the representations of the mapping class group of a genus one surface with one boundary component which arise from Integral TQFT. Our formulas allow one to compute the h-adic expansion of the TQFT-matrix associated to a mapping class in a straightforward way. Truncating the h-adic expa…

Study isotropy groups for complex orthogonal and skew-symmetric matrices.

The paper classifies topological holonomy groups in $SO(3)$.

Extends Fried's result to arbitrary representations of compact hyperbolic manifolds.

GOPO optimizes large models in Hilbert space, avoiding Kullback-Leibler's curvature.

MuonEq improves training of matrix-valued parameters by rebalancing momentum before orthogonalization.

Constructs coordinate systems from spectral curve sheaves.

Maximal Laplacian algebras applied to invariant theory solved inverse problems.

We classify orthogonal actions of finite groups on Euclidean vector spaces for which the corresponding quotient space is a topological, homological or Lipschitz manifold, possibly with boundary. In particular, our results answer the question of when the underlying space of an orbifold is a manifold.

A lemma of Tits establishes a connection between the simple connectivity of an incidence geometry and the universal completion of an amalgam induced by a sufficiently transitive group of automorphisms of that geometry. In the present paper, we generalize this lemma to intransitive geometries, thus opening the door for …

Minimal surfaces with symmetries exist under certain group actions.

Formula for Laplace-Beltrami on orthogonal group in Euclidean coords.

For a closed Riemannian manifold we extend the definition of analytic and Reidemeister torsion associated to an orthogonal representation of fundamental group on a Hilbert module of finite type over a finite von Neumann algebra. If the representation is of determinant class we prove, generalizing the Cheeger-Müller the…

Let $M$ be a simply connected pseudo-Riemannian homogeneous space of finite volume with isometry group $G$. We show that $M$ is compact and that the solvable radical of $G$ is abelian and the Levi factor is a compact semisimple Lie group acting transitively on $M$. For metric index less than three, we find that the iso…

A Lie group is called orthogonal if it carries a bi-invariant pseudo Riemannian metric. Oscillator Lie groups constitutes a subclass of the class of orthogonal Lie groups. In this paper, we determine the Lie bialgebra structures and the solutions of the classical Yang-Baxter equation on a generic class of oscillator Li…

We explore the class of triples (M, nabla, P) where M is a manifold, nabla is an affine connection in M and P is a G-structure in M. Inside this class there are infinitesimally homogeneous manifolds, characterized by having G-constant curvature, torsion and inner torsion. For each matrix Lie group G subgroup of GL(Rn) …

Consider the cyclic group C_2 of order two acting by complex-conjugation on the unit circle S^1. The main result is that a finitely dominated manifold W of dimension > 4 admits a cocompact, free, discontinuous action by the infinite dihedral group D_\infty if and only if W is the infinite cyclic cover of a free C_2-man…

Non-transitive subgroups of the orthogonal group play an important role in the non-Euclidean geometry. If $G$ is a closed subgroup in the orthogonal group such that the orbit of a single Euclidean unit vector does not cover the (Euclidean) unit sphere centered at the origin then there always exists a non-Euclidean Mink…

Develops neural networks for reductive Lie groups, enhancing symmetry respect.

Algorithm finds isotropy subgroups of orthogonal similarity on symmetric matrices.

Computes isotropy subgroups of orthogonal matrices acting on Hermitian matrices.

Recall that a pseudofree group action on a space is one whose singular set consists only of isolated points. In this paper, we classify all of the finite groups which admit pseudofree actions on S^2 x S^2. The groups turn out to be exactly the expected ones: those which admit orthogonal pseudofree actions on S^2 x S^2 …

Integrable geodesics found on special orthogonal group.

Study optimizes estimation of orthogonal and rotation matrices from noisy data.

EbC learns equivariant embeddings from unlabeled group actions.

We introduce a novel approach to perform first-order optimization with orthogonal and unitary constraints. This approach is based on a parametrization stemming from Lie group theory through the exponential map. The parametrization transforms the constrained optimization problem into an unconstrained one over a Euclidea…

We prove that a polar orthogonal representation of a real reductive algebraic group has the same closed orbits as the isotropy representation of a pseudo-Riemannian symmetric space. We also develop a partial structural theory of polar orthogonal representations of real reductive algebraic groups which slightly generali…

We construct an explicit topological model (similar to the topological Springer fibers appearing in work of Khovanov and Russell) for every two-row Springer fiber associated with the even orthogonal group and prove that the respective topological model is homeomorphic to its corresponding Springer fiber. This confirms …

New optimization algorithms on orthogonal group for machine learning.

Paper derives local Plücker formulas for special orthogonal groups.

An algorithm for efficient computation of equivariant neural network layers.

We study the Chern-Simons partition function of orthogonal quantum group invariants, and propose a new orthogonal Labastida-Mariño-Ooguri-Vafa conjecture as well as degree conjecture for free energy associated to the orthogonal Chern-Simons partition function. We prove the degree conjecture and some interesting cases o…

The purpose of this article is to give a proof of the Orbifold Theorem announced by Thurston in late 1981: If $O$ is a compact, connected, orientable, irreducible and topologically atoroidal 3-orbifold with non-empty ramification locus, then $O$ is geometric. As a corollary, any smooth orientation preserving non-free f…

Proof of $K(π, 1)$ conjecture for affine Artin groups.

In every dimension $n\ge 3$ we introduce a class of orthogonal graph-manifolds and prove that the fundamental group of any orthogonal graph-manifold quasi-isometrically embeds into a product of $n$ trees. As a consequence, we obtain that asymptotic and linearly-controlled asymptotic dimensions of such group are equal t…