Related papers: Solving the membership problem for certain subgrou…

We show that if one selects uniformly independently and identically distributed matrices $A_1, \ldots, A_s \in \mathrm{SL}_2(\mathbb{Z})$ from a ball of large radius $X$ then with probability at least $1 - X^{-1 + o(1)}$ the matrices $A_1,…

For a group G and a positive integer n write B_n(G) = {x \in G : |x^G | \le n}. If s is a positive integer and w is a group word, say that G satisfies the (n,s)-covering condition with respect to the word w if there exists a subset S of G…

The research described in this note aims at solving the constructive membership problem for the class of quasisimple classical groups. Our algorithms are developed in the black-box group model; that is, they do not require specific…

We investigate the generalized moment membership problem for matrices, a formulation equivalent to Skolem's problem for linear recurrence sequences. We show decidability for orthogonal, unitary, and real eigenvalue matrices, and…

In this paper we consider the following problem $$\begin{cases} -\Delta_{g}u+V(x)u=\lambda\alpha(x)f(u), & \mbox{in }M\\ u\geq0, & \mbox{in }M\\ u\to0, & \mbox{as }d_{g}(x_{0},x)\to\infty \end{cases}$$where $(M,g)$ is a $N$-dimensional…

In this paper, we prove the existence of positive solutions $(\lambda_1,\lambda_2, u,v)\in \R^2\times H^1(\R^N, \R^2)$ to the following coupled Schr\"odinger system $$\begin{cases} -\Delta u + \lambda_1 u= \mu_1|u|^{p-2}u+\beta v \quad…

In this paper, we treat $\mathscr{D}$-modules on the basic affine space $G/U$ and their global sections for a semisimple complex algebraic group $G$. Our aim is to prepare basic results about large non-irreducible modules for the branching…

Motivated by approaches to the word problem for one-relation monoids arising from work of Adian and Oganesian (1987), Guba (1997), and Ivanov, Margolis and Meakin (2001), we study the submonoid and rational subset membership problems in…

Given a finite-dimensional faithful representation $V$ of a linearly reductive group $G$ over a field $K=\bar K$, we consider the growth of the number of irreducible factors of $V^{\otimes n}$ when $n$ is large. We prove that there exist…

We construct a categorification of the modular data associated with every family of unipotent characters of the spetsial complex reflection group $G(d,1,n)$. The construction of the category follows the decomposition of the Fourier matrix…

Let $G$ be a finite group, $\Z G$ the integral group ring of $G$ and $\U(\Z G)$ the group of units of $\Z G$. The Congruence Subgroup Problem for $\U(\Z G)$ is the problem of deciding if every subgroup of finite index of $\U(\Z G)$ contains…

The action of $SL(2,\mathbb{Z})$ on the integer torus and its quotient by central symmetry and Artin's presentation of three strings braids, produces a presentation with parabolic generators $\pmatrix{1& -1\cr 0& 1\cr}$ and $\pmatrix{1&…

We show that ${\rm End}_{\bf U}(V_\lambda\otimes V^{\otimes n})$ is generated by the affine braid group $AB_n$ where ${\bf U}=U_q\mathfrak g(G_2)$, $V$ is its 7-dimensional irreducible representation and $V_\lambda$ is an arbitrary…

Given a representation V of a group G, there are two natural ways of defining a representation of the group algebra k[G] in the external power V^{\wedge m}. The set L(V) of elements of k[G] for which these two ways give the same result is a…

The problem of faithfulness of the (reduced) Burau representation for $n =4$ is known to be equivalent to the problem of whether certain two matrices $A$ and $B$ generate a free group of rank two. It is known that $A^3$ and $B^3$ generate a…

Let $a$ and $n$ be positive integers and let $S=\{x_1, \cdots, x_n\}$ be a set of $n$ distinct positive integers. For $x\in S$, one defines $G_{S}(x)=\{d\in S: d<x, d|x \ {\rm and} \ (d|y|x, y\in S)\Rightarrow y\in \{d,x\}\}$. We denote by…

A unifying overview of the ways to parameterize the linear group GL(4.C) and its subgroups is given. As parameters for this group there are taken 16 coefficients G = G(A,B,A_{k}, B_{k}, F_{kl}) in resolving matrix G in terms of 16 basic…

We study the freeness problem for subgroups of $\operatorname{SL}_2(\mathbb{C})$ generated by two parabolic matrices. For $q = r/p \in \mathbb{Q} \cap (0,4)$, where $p$ is prime and $\gcd(r,p)=1$, we initiate the study of the algebraic…

Let $q=2^f$, and let $G=\mathrm{SO}_8^+(q)$ and $U$ be a Sylow $2$-subgroup of $G$. We first describe the fusion of the conjugacy classes of $U$ in $G$. We then use this information to prove the unitriangularity of the $\ell$-decomposition…

A Theorem of V.Ovsienko characterizes sequences of positive integers $(a_1,a_2,\ldots,a_n)$ such that the $(2\times2)$-matrix $\begin{pmatrix} a_n & -1 \\ 1 & 0 \end{pmatrix}\cdots \begin{pmatrix} a_1 & -1 \\ 1 & 0 \end{pmatrix}$ is equal…