Related papers: Loop groups and diffeomorphism groups of the circl…

We study spacetime diffeomorphisms in Hamiltonian and Lagrangian formalisms of generally covariant systems. We show that the gauge group for such a system is characterized by having generators which are projectable under the Legendre map.…

We consider all connected and simply connected 7-dimensional Lie groups whose Lie algebras have nilradical $\g_{5,2} = \s \{X_1, X_2, X_3, X_4, X_5 \colon [X_1, X_2] = X_4, [X_1, X_3] = X_5\}$ of Dixmier. First, we give a geometric…

We investigate the finite-dimensional Lie groups whose points are separated by the continuous homomorphisms into groups of invertible elements of locally convex algebras with continuous inversion that satisfy an appropriate completeness…

In this note we give a re-interpretation of the algebraic fundamental group for proper schemes that is rather close to the original definition of the fundamental group for topological spaces. The idea is to replace the standard interval…

We prove that the groups of orientation-preserving homeomorphisms and diffeomorphisms of $\mathbb{R}^n$ are boundedly acyclic, in all regularities. This is the first full computation of the bounded cohomology of a transformation group that…

We provide an alternative proof of Lurie's result that the wide subcategory of the $\infty$-category of $\infty$-topoi spanned by the \'etale morphisms is closed under small colimits. Our proof is based on a new characterization of \'etale…

We show that algebraic analogues of universal group covers, surjective group homomorphisms from a $\mathbb{Q}$-vector space to $F^{\times}$ with "standard kernel", are determined up to isomorphism of the algebraic structure by the…

In this paper, we develop a representation-theoretic formulation of discrete-time linear systems. We show that such systems are naturally viewed as representations of time groups acting on vector spaces, thereby endowing the state space…

We compute the homology of the space of equivariant loops on the classifying space of a simplicial monoid $M$ with anti-involution, provided $\pi_0 (M)$ is central in the homology ring of $M$. The proof is similar to McDuff and Segal's…

Diffeological and differential spaces are generalisations of smooth structures on manifolds. We show that the "intersection" of these two categories is isomorphic to Fr\"olicher spaces, another generalisation of smooth structures. We then…

We provide isomorphism results for Hopf algebras that are obtained as graded twistings of function algebras on finite groups by cocentral actions of cyclic groups. More generally , we also consider the isomorphism problem for…

In this paper we discuss the relationship between groups of diffeomorphisms of spheres and balls. We survey results of a topological nature and then address the relationship as abstract (discrete) groups. We prove that the identity…

We start with a small paradigm shift about group representations, namely the observation that restriction to a subgroup can be understood as an extension-of-scalars. We deduce that, given a group $G$, the derived and the stable categories…

The affine diffeomorphism group $\mathrm{Aff}(S,q)$ of a half-translation surface $(S,q)$ comprise the self-diffeomorphisms with constant differential away from the singularities. This group coincides with the stabiliser of the associated…

This manuscript represents the author's PhD dissertation thesis.The first part studies decision problems in Thompson's groups F,T,V and some generalizations. The simultaneous conjugacy problem is determined to be solvable for Thompson's…

We proved a new Siegel-Weil formula for orthogonal and symplectic groups, which will be used later to prove a generalization of Siegel-Weil formula for loop groups.

For a compact convex subset K with non-empty interior in a finite-dimensional vector space, let G be the group of all smooth diffeomorphisms of K which fix the boundary of K pointwise. We show that G is a C^0-regular infinite-dimensional…

In this note we illustrate by a few examples the general principle: interesting algebras and representations defined over Z_+ come from category theory, and are best understood when their categorical origination has been discovered. We show…

We give a geometric description of a certain class of epimorphisms between complex reflection groups. We classify these epimorphisms, which can be interpreted as ``morphisms'' between the diagrams symbolizing standard presentations by…

We show that a group of diffeomorphisms $\D$ on the open unit interval $I,$ equipped with the topology of uniform convergence on any compact set of the derivatives at any order, is non regular: the exponential map is not defined for some…