Related papers: A Generalized Blakers-Massey Theorem

We present a development of the theory of higher groups, including infinity groups and connective spectra, in homotopy type theory. An infinity group is simply the loops in a pointed, connected type, where the group structure comes from the…

We propose a generalization of the factorization method to the case when $\mathcal{G}$ is a finite dimensional Lie algebra such that $\mathcal{G}=\mathcal{G}_0\oplus M \oplus N$ (direct sum of vector spaces), where $\mathcal{G}_0$ is a…

We prove that Claas R\"over's Thompson-Grigorchuk simple group $V\mathcal{G}$ has type $F_\infty$. The proof involves constructing two complexes on which $V\mathcal{G}$ acts: a simplicial complex analogous to the Stein complex for $V$, and…

We show that the automorphism group of a linking system associated to a saturated fusion system $\mathcal{F}$ depends only on $\mathcal{F}$ as long as the object set of the linking system is $\mathrm{Aut}(\mathcal{F})$-invariant. This was…

In this paper we consider all possible generalizations of the B-type Hecke algebras, namely the cyclotomic and what we call 'generalized', and we construct Markov traces on each of them, so as to obtain all possible different levels of…

We use the topological quantum field theory description of states in Chern-Simons theory to discuss the relation between spacetime connectivity and entanglement, exploring the paradigm entanglement=topology. We define a special class of…

The Blok-Esakia theorem states that there is an isomorphism from the lattice of intermediate logics onto the lattice of normal extensions of Grzegorczyk modal logic. The extension for multi-conclusion consequence relations was obtained by…

This note generalizes factorization for formulas with multiplicities and conjectures that the connection method along with this feature is computationally as powerful as resolution, also seen from a complexity point of view.

We show that $\mathbb A^1$-connectedness of a large class of varieties over a field $k$ can be characterized as the condition that their generic point can be connected to a $k$-rational point using (not necessarily naive) $\mathbb…

In this paper we propose a general spectral theory for tensors. Our proposed factorization decomposes a tensor into a product of orthogonal and scaling tensors. At the same time, our factorization yields an expansion of a tensor as a…

We develop a theory of $\times$-homotopy, fundamental groupoids and covering spaces that apply to non-simple graphs, generalizing existing results for simple graphs. We prove that $\times$-homotopies from finite graphs can be decomposed…

Recently, we introduced a new class of symmetry algebras, called satellite algebras, which connect with one another wavefunctions belonging to different potentials of a given family, and corresponding to different energy eigenvalues. Here…

The reduction theorems for general linear and classical connections are generalized for operators with values in higher order gauge-natural bundles. We prove that natural operators depending on the $s_1$-jets of classical connections, on…

We prove a general Ramsey theorem for trees with a successor operation. This theorem is a common generalization of the Carlson-Simpson Theorem and the Milliken Tree Theorem for regularly branching trees. Our theorem has a number of…

The author presents the generalized Stokes theorem for R-linear forms on Lie algebroids (which can be non-local). We apply the Stokes formula on forms to prove that two homotopic homomorphisms of Lie algebroids implies the existence of a…

We prove that the monodromy group of a reduced irreducible square system of general polynomial equations equals the symmetric group. This is a natural first step towards the Galois theory of general systems of polynomial equations, because…

Thurston obtained a combinatorial characterization for generic branched self-coverings that preserve the orientation of the oriented 2-sphere by associating a planar graph to them [arXiv:1502.04760]. In this work, the Thurston result is…

We define an elementary $\infty$-topos that simultaneously generalizes an elementary topos and Grothendieck $\infty$-topos. We then prove it satisfies the expected topos theoretic properties, such as descent, local Cartesian closure,…

We prove that in a connected group of finite Morley rank the centralizers of decent tori are connected. We then apply this result to the analysis of minimal connected simple groups of finite Morley rank. Our applications include general…

We prove a generalization of the digital binomial theorem by constructing a one-parameter subgroup of generalized Sierpinski matrices. In addition, we derive new formulas for the coefficients of Prouhet-Thue-Morse polynomials and describe…