Related papers: New topological methods to solve equations over gr…

We develop a new tool, namely polynomial and linear algebraic methods, for studying systems of word equations. We illustrate its usefulness by giving essentially simpler proofs of several hard problems. At the same time we prove extensions…

We prove a general homological stability theorem for certain families of groups equipped with product maps, followed by two theorems of a new kind that give information about the last two homology groups outside the stable range. (These…

Rallis and Soudry have proven the stability under twists by highly ramified characters of the local gamma factor arising from the doubling method, in the case of a symplectic group or orthogonal group G over a local non-archimedean field F…

A new technique is proposed to classify a topological field in abelian lattice gauge theories. We perform the classification by regarding the topological field as a local composite field of the gauge field tensor instead of the vector…

Kapustin-Witten (KW) equations are encountered in the localization of the topological N=4 SYM theory. Mikhaylov has constructed model solutions of KW equations for the boundary 't~Hooft operators on a half space. Direct proof of the…

In this paper, we show that each finite group $G$ containing at most $p^2$ Sylow $p$-subgroups for each odd prime number $p$, is a solvable group. In fact, we give a positive answer to the conjecture in \cite{Rob}.

A locally compact contraction group is a pair (G,f) where G is a locally compact group and f an automorphism of G which is contractive in the sense that the forward orbit under f of each g in G converges to the neutral element e, as n tends…

We extend Gow's theorem on products of semisimple regular conjugacy classes to finite groups whose generalized Fitting subgroup is Z(G)S where S is a quasisimple group of Lie type in characteristic p and Z(G) has order prime to p.

Previous formulations of group theory in ACL2 and Nqthm, based on either "encapsulate" or "defn-sk", have been limited by their failure to provide a path to proof by induction on the order of a group, which is required for most interesting…

We show that some classical results on expander graphs imply growth results on normal subsets in finite simple groups. As one application, it is shown that given a nontrivial normal subset $ A $ of a finite simple group $ G $ of Lie type of…

Let $X$ and $Y$ be finite simplicial sets (e.g. finite simplicial complexes), both equipped with a free simplicial action of a finite group $G$. Assuming that $Y$ is $d$-connected and $\dim X\le 2d$, for some $d\geq 1$, we provide an…

Hrushovski proved the Lie model theorem in full generality with model theoretic methods. The theorem states that for every approximate group there exists a generalized definable locally compact model, which, simplifying, is a…

An equation over a group with one unknown is called regular if the exponent sum of the unknown is nonzero. In this paper we prove that some regular equations of exponent $rp^s$, where $r \in \mathbb{Z}$, $s \in \mathbb{N}$, $\gcd(r,p)=1$,…

It is proved that if a finite $p$-soluble group $G$ admits an automorphism $\varphi$ of order $p^n$ having at most $m$ fixed points on every $\varphi$-invariant elementary abelian $p'$-section of $G$, then the $p$-length of $G$ is bounded…

Let $M$ be a locally symmetric irreducible closed manifold of dimension $\ge 3$. A result of Borel [Bo] combined with Mostow rigidity imply that there exists a finite group $G = G(M)$ such that any finite subgroup of $\text{Homeo}^+(M)$ is…

We show how locally smooth actions of compact Lie groups on a manifold $X$ can be used to obtain new upper bounds for the topological complexity $\TC(X)$, in the sense of Farber. We also obtain new bounds for the topological complexity of…

For D an infinite set, k>1 and W the set of k-sets from D, there is a natural closed permutation group G_k which is a non-split extension of \mathbb{Z}_2^W by \Sym(D). We classify the closed subgroups of G_k which project onto \Sym(D)$. The…

We say that a topological group $G$ is partially box $\kappa$-resolvable if there exist a dense subset $B$ of $G$ and a subset $A $ of $G$, $|A|=\kappa$ such that the subsets $\{ aB: a\in A\}$ are pairwise disjoint. If $G=AB$ then $G$ is…

The solution is given for the $c=3$ topological matter model whose underlying conformal theory has Landau-Ginzburg model $W=-\qa (x^4 +y^4)+\af x^2y^2$. While consistency conditions are used to solve it, this model is probably at the limit…

We obtain global $W^{2,\delta}$ estimates for a type of singular fully nonlinear elliptic equations where the right hand side term belongs to $L^\infty$. The main idea of the proof is to slide paraboloids from below and above to touch the…