Related papers: Barycentric Subdivision and Isomorphisms of Groupo…

We develop realizability models of intensional type theory, based on groupoids, wherein realizers themselves carry non-trivial (non-discrete) homotopical structure. In the spirit of realizability, this is intended to formalize a homotopical…

A topological groupoid G is K-pointed, if it is equipped with a homomorphism from a topological group K to G. We describe the homotopy groups of such K-pointed topological groupoids and relate these groups to the ordinary homotopy groups in…

Two natural symplectic constructions, the Lagrangian suspension and Seidel's quantum representation of the fundamental group of the group of Hamiltonian diffeomorphisms, Ham(M), with (M,\omega) a monotone symplectic manifold, admit…

Let $G$ be a finite group and $H$ be a subgroup of $G$. Then $H$ is said to be a $p$-$CAP$-subgroup of $G$, if $H$ covers or avoids any $pd$-chief factor of $G$. Furthermore, $H$ is said to be a strong $p$-$CAP$-subgroup of $G$, if for any…

We show that the groupoids of two directed graphs are isomorphic if and only if the two graphs are orbit equivalent by an orbit equivalence that preserves isolated eventually periodic points. We also give a complete description of the…

In this paper we construct a symmetric monoidal closed model category of coherently commutative Picard groupoids. We construct another model category structure on the category of (small) permutative categories whose fibrant objects are…

Let $Covering$ be the category of the category of fuzzy coverings, and $Partition$, the category of fuzzy partitions. We geometrically construct an isomorphism of categories between $Partition$ and a full subcategory of $Covering$, which…

Let $F$ be a non-archimedean local field of residual characteristic $p$. Let $\mathbb{G}$ be a reductive group defined over $F$ which splits over a tamely ramified extension and set $G=\mathbb{G}(F)$. We assume that $p$ does not divide the…

Let $p$ be a prime number, let $d$ be an integer and let $G$ be a $d$-generated finite $p$-group of nilpotency class smaller than $p$. Then the number of possible isomorphism types for the mod $p$ cohomology algebra $H^*(G;{\mathbb F}_p)$…

We consider the oriented graph whose vertices are isomorphism classes of finitely generated groups, with an edge from G to H if, for some generating set T in H and some sequence of generating sets S_i in G, the marked balls of radius i in…

For a finite group $G$, let $\sigma(G)$ be the number of subgroups of $G$ and $\sigma_\iota(G)$ the number of isomorphism types of subgroups of $G$. Let $L=L_r(p^e)$ denote a simple group of Lie type, rank $r$, over a field of order $p^e$…

Let $p$ be an odd prime. From a simple undirected graph $G$, through the classical procedures of Baer (Trans. Am. Math. Soc., 1938), Tutte (J. Lond. Math. Soc., 1947) and Lov\'asz (B. Braz. Math. Soc., 1989), there is a $p$-group $P_G$ of…

It is well-known that every finite subgroup of GL_d(Q_{\ell}) is conjugate to a subgroup of GL_d(Z_{\ell}). However, this does not remain true if we replace general linear groups by symplectic groups. We say that G is a group of inertia…

We show that given a $G$-structure $P$ on a differentiable manifold $M$, if the group $G(M)$ of automorphisms of $P$ is big enough, then there exists the quotient of an stochastic flows $phi_t$ by $G(M)$, in the sense that $\phi_t = \xi_t…

The main objects of study in this article are pairs $(G, \mathcal{H})$ where $G$ is a topological group with a compact open subgroup, and $\mathcal{H}$ is a finite collection of open subgroups. We develop geometric techniques to study the…

We consider an arbitrary topological group $G$ definable in a structure $\mathcal M$, such that some basis for the topology of $G$ consists of sets definable in $\mathcal M$. To each such group $G$ we associate a compact $G$-space of…

Let $G=\ast_{i=1}^{n}G_{i}$ and let $\phi$ be a symmetric endomorphism of $G$. If $\phi$ is a monomorphism or if $G$ is a finitely generated residually finite group, then the fixed subgroup $Fix(\phi)=\{g\in G:\phi(g)=g\}$ of $\phi$ has…

We ascertain conditions and structures on categories and semigroups which admit the construction of pseudo-products and trace products respectively, making their connection as precise as possible. This topic is modelled on the ESN Theorem…

We study the isometry groups of compact spherical orientable $3$-orbifolds $S^3/G$, where $G$ is a finite subgroup of $\mathrm{SO}(4)$, by determining their isomorphism type. Moreover, we prove that the inclusion of $\mbox{Isom}(S^3/G)$…

We define and study fibrations of topological groupoids. We interpret a groupoid fibration L->H with fibre G as an action of H on G by groupoid equivalences. Our main result shows that a crossed product for an action of L is isomorphic to…