Related papers: On the complexity of solving linear congruences an…

The representations of a quiver Q over a field k have been studied for a long time. It seems to be worthwhile to consider also representations of Q over arbitrary finite-dimensional k-algebras A. Here we draw the attention to the case when…

An integer $k$ is called regular (mod $n$) if there exists an integer $x$ such that $k^2x\equiv k$ (mod $n$). This holds true if and only if $k$ possesses a weak order (mod $n$), i.e., there is an integer $m\ge 1$ such that $k^{m+1} \equiv…

Higher-order modal fixpoint logic (HFL) is a higher-order extension of the modal mu-calculus, and strictly more expressive than the modal mu-calculus. It has recently been shown that various program verification problems can naturally be…

We study the L-functions associated to Siegel modular forms (equivalently, automorphic representations of ${\rm GSp}(4,\mathbb{A}_{\mathbb{Q}})$) both theoretically and numerically. For the L-functions of degrees 10, 14, and 16 we perform…

Using Quillen-Lurie deformation theory formalism we develop an obstruction theory for studying the stable $\infty$-category of modules over a given geometric $\infty$-stack. The obstruction theory studies the problem of lifting compact…

Let g be a cubic polynomial with integer coefficients and n>9 variables, and assume that the congruence g=0 modulo p^k is soluble for all prime powers p^k. We show that the equation g=0 has infinitely many integer solutions when the cubic…

We consider the following problem: given $d \times d$ rational matrices $A_1, \ldots, A_k$ and a polyhedral cone $\mathcal{C} \subset \mathbb{R}^d$, decide whether there exists a non-zero vector whose orbit under multiplication by $A_1,…

We construct a generalised notion of Kac-Moody algebras using smooth maps from the non-compact manifolds ${\cal M}=$SL$(2,\mathbb R)$ and ${\cal M}=$ SL$(2,\mathbb R)/U(1)$ to a finite-dimensional simple Lie group $G$. This construction is…

A decision problem is called parameterized if its input is a pair of strings. One of these strings is referred to as a parameter. The problem: given a propositional logic program P and a non-negative integer k, decide whether P has a stable…

Let K be an imaginary quadratic field with class number one and ring of integers O. We prove that mod l, a system of Hecke eigenvalues occurring in the first cohomology group of some congruence subgroup Gamma of SL(2,O) can be realized in…

In this paper we prove a conjectured modular equation of Farkas and Kra, which involving a half sum of certain modular form of weight $1$ for congruence subgroup $\Gamma_1(k)$ with any prime $k$. We prove that their conjectured identity…

Let n be a positive integer, and let R be a finitely presented (but not necessarily finite dimensional) associative algebra over a computable field. We examine algorithmic tests for deciding (1) if every n-dimensional representation of R is…

A central problem of linear algebra is solving linear systems. Regarding linear systems as equations over general semirings (V,otimes,oplus,0,1) instead of rings or fields makes traditional approaches impossible. Earlier work shows that the…

The notion of rigidity of Lie algebra is linked to the following problem: when does a Lie brackets $\mu$ on a vector space g satisfy that every Lie bracket $\mu_1$ sufficiently close to $\mu$ is of the form $\mu_1 = P.\mu $ for some P in…

We study which von Neumann algebras can be embedded into uniform Roe algebras and quasi-local algebras associated to a uniformly locally finite metric space $X$. Under weak assumptions, these $\mathrm{C}^*$-algebras contain embedded copies…

We investigate the solubility of the congruence xy=1 (mod p), where p is a prime and x,y are restricted to lie in suitable short intervals. Our work relies on a mean value theorem for incomplete Kloosterman sums.

Given a hyper loop algebra over a non-algebraically closed field, we address multiplicity problems in the underlying abelian tensor category of finite-dimensional representations. Namely, we give formulas for the l-characters of the simple…

We introduce notions of absolutely continuous functionals and representations on the non-commutative disk algebra $A_n$. Absolutely continuous functionals are used to help identify the type L part of the free semigroup algebra associated to…

Let $D$ be an bounded region in ${\bf R}^n$. The regularity of solutions of a family of quasilinear elliptic partial differential equations is studied, one example being $\Delta_nu=Vu^{n-1}$. The coefficients are assumed to be in the space…

In this paper, given a simple linear recurrence sequence of algebraic numbers, which has either a dominant characteristic root or exactly two characteristic roots of maximal modulus, we give some explicit lower bounds for the index beyond…