Related papers: Trivial Unit conjecture and Homotopy Theory
The Herzog-Sch\"onheim conjecture states that if $H_1, \ldots, H_k$ are subgroups of a group $G$ and $x_1, \ldots, x_k$ are elements of $G$ such that $H_1x_1, \ldots, H_kx_k$ is a partition of $G$ into cosets, then two of these subgroups…
In the paper we consider the following conjecture: if a finite group $G$ possesses a solvable $\pi$-Hall subgroup $H$, then there exist elements $x,y,z,t\in G$ such that the identity $H\cap H^x\cap H^y\cap H^z\cap H^t=O_\pi(G)$ holds. The…
We give a survey of recent developments in the investigation of the various local-global conjectures for representations of finite groups.
Let ${\cal O}$ be a quantizable coadjoint orbit of a semisimple Lie group $G$. Under certain hypotheses we prove that $#(\pi_1(\text{Ham}({\cal O})))\geq #(Z(G))$, where $\text{Ham}({\cal O})$ is the group of Hamiltonian symplectomorphisms…
Recent work on homotopy type theory exploits an exciting new correspondence between Martin-Lof's dependent type theory and the mathematical disciplines of category theory and homotopy theory. The category theory and homotopy theory suggest…
We investigate inductive types in type theory, using the insights provided by homotopy type theory and univalent foundations of mathematics. We do so by introducing the new notion of a homotopy-initial algebra. This notion is defined by a…
We describe the $C_2$-equivariant homotopy type of the space of commuting n-tuples in the stable unitary group in terms of Real K-theory. The result is used to give a complete calculation of the homotopy groups of the space of commuting…
A homotopy analogue of the notion of a triangular Lie bialgebra is proposed with a goal of extending the basic notions of theory of quantum groups to the context of homotopy algebras and, in particular, introducing a homotopical…
We show that if a complex has free finitely generated reduced homology groups for two consecutive dimensions and trivial homology for all other dimensions, then it must have the homotopy type of a wedge of spheres of two consecutive…
In condensed matter physics and related areas, topological defects play important roles in phase transitions and critical phenomena. Homotopy theory facilitates the classification of such topological defects. After a pedagogic introduction…
We will give a pure combinatorial proof of the Eisenbud-Goto conjecture for arbitrary monomial curves. Moreover, we will show that the conjecture holds for certain simplicial affine semigroup rings.
Many of the conjectures of current interest in the representation theory of finite groups in characteristic $p$ are local-to-global statements, in that they predict consequences for the representations of a finite group $G$ given data about…
We give a new description of Rosenthal's generalized homotopy fixed point spaces as homotopy limits over the orbit category. This is achieved using a simple categorical model for classifying spaces with respect to families of subgroups.
In this paper, we study the question of when the symmetric units in an integral group ring ZG form a multiplicative group. When G is periodic, necessary and sufficient conditions are given for this to occur.
In the present paper we study some homotopy invariants which can be defined by means of bundles with fiber a matrix algebra. We also introduce some generalization of the Brauer group in the topological context and show that any its element…
We describe various path homology theories constructed for a directed hypergraph. We introduce the category of directed hypergraphs and the notion of a homotopy in this category. Also, we investigate the functoriality and the homotopy…
We study the Section Conjecture in \'etale homotopy theory for varieties over $\mathbb{R}$. We prove its pro-$2$ variant for equivariantly triangulable varieties. Examples include all smooth varieties as well as all (possibly singular)…
Inspired by classical puzzles in geometry that ask about probabilities of geometric phenomena, we give an explicit formula for the probability that a random triangle on a flat torus is homotopically trivial. Our main tool for this…
Let $RG$ be the gruop ring of the group $G$ over ring $R$ and $\mathscr{U}(RG)$ be its unit group. Finding the structure of the unit group of a finite group ring is an old topic in ring theory. In, G. Tang et al: Unit Groups of Group…
Given a diagram of rings, one may consider the category of modules over them. We are interested in the homotopy theory of categories of this type: given a suitable diagram of model categories M(s) (as s runs through the diagram), we…