Related papers: Almost all binary forms of degree $\geq 3$ fail to…

In this paper, we answer affirmatively a question of H S Sim on representations in characteristic $0$, for a class of metabelian groups. Moreover, we provide examples to point out that the analogous answer is no longer valid if the solvable…

Let $\rho: SL(2,\mathbb{Z})\to GL(2,\mathbb{C})$ be an irreducible representation of the modular group such that $\rho(T)$ has finite order $N$. We study holomorphic vector-valued modular forms $F(\tau)$ of integral weight associated to…

Intrigued by a well-known theorem of Mathieu's on Harish-Chandra modules over the Virasoro algebra, we give an analogous result for a class of Block type Lie algebras $\BB$, where the parameter $q$ is a nonzero complex number. We also…

This is the author's diploma thesis. In the first part of the thesis the algebra structure on the Ext-spaces Ext^k(M(x), M(y)) of Verma modules M(x) and M(y) in the parabolic category O for the case of the parabolic subalgebras gl(n) x…

We show that for any positive forward density subset N \subset Z, there exists an integer m>0, such that, for all n>m, N contains almost perfect n-scaled reproductions of any previously chosen finite set of integers.

We prove that if $B$ is a set of $N$ positive integers such that $B\cdot B$ contains an arithmetic progression of length $M$, then for some absolute $C > 0$, $$ \pi(M) + C \frac {M^{2/3}}{\log^2 M} \leq N, $$ where $\pi$ is the prime…

The number of lattice points in $d$-dimensional hyperbolic or elliptic shells $\{m : a<Q[m]<b\}$, which are restricted to rescaled and growing domains $r\;\Omega$, is approximated by the volume. An effective error bound of order…

In this paper, we study a class of generalized intersection matrix Lie algebras $\gim(M_n)$, and prove that its every finite-dimensional semi-simple quotient is of type $M(n,{\bf a}, {\bf c},{\bf d})$. Particularly, any finite dimensional…

Let $s(n)$ be the number of nonzero bits in the binary digital expansion of the integer $n$. We study, for fixed $k,\ell,m$, the Diophantine system $$ s(ab)=k, \quad s(a)=\ell,\quad \mbox{and }\quad s(b)=m, $$ in odd integer variables…

We prove an upper bound for the length of an arithmetic progression represented by an irreducible integral binary quadratic form or a norm form, which depends only on the form and the progression's common difference. For quadratic forms,…

Our contribution is a bounded cubic compilation theorem. For each fixed resource parameter $k$, syntactic proof checking at resource level $k$ is faithfully represented by a finite bounded-domain system of cubic polynomial equations. Every…

We study a family of three-dimensional Lie algebras $L_\mu$ that depend on a continuous parameter $\mu$. We introduce certain quivers, which we denote by $Q_{m,n}$ $(m,n \in \mathbb{Z})$ and $Q_{\infty \times \infty}$, and prove that…

Let K be a field of characteristic different from 2 and let V be a vector space of dimension n over K. Let M be a non-zero subspace of symmetric bilinear forms defined on V x V and let r=rank(M) denote the set of different positive integers…

We survey recent work done on the values at integer points of irrational inhomogeneous quadratic forms, namely, inhomogeneous analogues of the famous Oppenheim conjecture. We also prove that the set of such forms in two variables whose set…

We present a formalization, in the theorem prover Lean, of the classification of solvable Lie algebras of dimension at most three over arbitrary fields. Lie algebras are algebraic objects which encode infinitesimal symmetries, and as such…

Let $q$ be a power of a prime $p$, $G$ be a finite abelian group, where $p$ does not divide $|G|$,and let $n$ be a positive integer. In this paper we find a formula for the number of irreducible representations of $G$ of a given dimension…

Huang, McKinnon, and Satriano conjectured that if $v \in \mathbb{R}^n$ has distinct coordinates and $n \geq 3$, then a hyperplane through the origin other than $\sum_i x_i = 0$ contains at most $2\lfloor n/2 \rfloor (n-2)!$ of the vectors…

Imaginary Verma modules, parabolic imaginary Verma modules, and Verma modules at level zero for double affine Lie algebras are constructed using three different triangular decompositions. Their relations are investigated, and several…

Higher degree forms are homogeneous polynomials of degree $d > 2,$ or equivalently symmetric $d$-linear spaces. This paper is mainly concerned about the algebraic structure of the centers of higher degree forms with applications…

Higher idempotent completion gives a formal inductive construction of the $n$-category of finite dimensional $n$-vector spaces starting with the complex numbers. We propose a manifestly unitary construction of low dimensional higher Hilbert…