Related papers: On integrality properties of hypergeometric series

We give a dimension formula for the space of logarithm-free series solutions to an A-hypergeometric (or a GKZ hypergeometric) system. In the case where the convex hull spanned by A is a simplex, we give a rank formula for the system,…

We consider convergence sets of formal power series of the form $f(z,t)=\sum_{n=0}^{\infty} f_n(z)t^n$, where $f_n(z)$ are holomorphic functions on a domain $\Omega$ in $\mathbb{C}$. A subset $E$ of $\Omega$ is said to be a convergence set…

We introduce several new identities combining basic hypergeometric sums and integrals. Such identities appear in the context of superconformal index computations for three-dimensional supersymmetric dual theories. We give both analytic…

We prove that a holonomic binomial $D$--module $M_A (I,\beta)$ is regular if and only if certain associated primes of $I$ determined by the parameter vector $\beta\in \CC^d$ are homogeneous. We further describe the slopes of $M_A(I,\beta)$…

Let $(a_n)_{n \geq 0}$ be a sequence of complex numbers such that its generating series satisfies $\sum_{n \geq 0} a_nt^n = \frac{h(t)}{(1-t)^d}$ for some polynomial $h(t)$. For any $r \geq 1$ we study the transformation of the coefficient…

In an earlier paper we showed that we can improve results by Emmy Noether and Alexander Ostrowski concerning the reducibility modulo p of absolutely irreducible polynomials with integer coefficients by giving the problem a geometric turn…

A thorough analysis is made of the Fourier coefficients for vector-valued modular forms associated to three-dimensional irreducible representations of the modular group. In particular, the following statement is verified for all but a…

A relative simplicial complex is a collection of sets of the form $\Delta \setminus \Gamma$, where $\Gamma \subset \Delta$ are simplicial complexes. Relative complexes played key roles in recent advances in algebraic, geometric, and…

Let $p$ be a prime integer and $\mathbb{Z}_p$ be the ring of $p$-adic integers. By a purely computational approach we prove that each nonzero normal element of a completed group algebra over the special linear group ${\rm…

Given $n+1$ unit vectors in $\mathbf{R}^n$ or $\mathbf{C}^n,$ consider the absolute values of the determinants of the vectors taken $n$ at a time. By taking a geometric perspective, we show that the minimum of these determinants is…

We give an analogue for vertex operator algebras and superalgebras of the notion of endomorphism ring of a vector space by means of a notion of ``local system of vertex operators'' for a (super) vector space. We first prove that any local…

Most algorithms constructing bases of finite-dimensional vector spaces return basis vectors which, apart from orthogonality, do not show any special properties. While every basis is sufficient to define the vector space, not all bases are…

Two $n$-dimensional vectors $A$ and $B$, $A,B \in \mathbb{R}^n$, are said to be \emph{trivially orthogonal} if in every coordinate $i \in [n]$, at least one of $A(i)$ or $B(i)$ is zero. Given the $n$-dimensional Hamming cube $\{0,1\}^n$, we…

Let $R$ be an associative unital algebra over a field $k,$ let $p$ be an element of $R,$ and let $R'=R\langle q\mid pqp= p\rangle.$ We obtain normal forms for elements of $R',$ and for elements of $R'$-modules arising by extension of…

Let $G$ be a semisimple algebraic group defined over an algebraically closed field of characteristic 0 and $P$ be a parabolic subgroup of $G$. Let $M$ be a $P$-module and $V$ be a $P$-stable closed subvariety of $M$. We show in this paper…

We consider positive solutions of the following elliptic Hamiltonian systems \begin{equation} \left\{ \begin{aligned} -\Delta u+u&=a(x)v^{p-1}~~~\text{in}~~A_R\\ -\Delta v+v&=b(x)u^{q-1}~~~\text{in}~~A_R~~~~~~~~~~~~~~~~~(0.1)\\ u,…

There is a Rota-Baxter algebra structure on the field $A=\mathbf{k}((t))$ with $ P$ being the projection map $A=\mathbf{k}[[t]]\oplus t^{-1}\mathbf{k}[t^{-1}]$ onto $ \mathbf{k}[[ t]]$. We study the representation theory and…

Let g be a basic classical Lie superalgebra over C. In the case of a typical weight whose every nonnegative integer multiple is also typical, we compute a closed form for the Hilbert series whose coefficients encode the dimensions of…

Explicit expressions for the hypergeometric series ${}_2F_1(-n, a; 2a\pm j;2)$ and ${}_2F_1(-n, a; -2n\pm j;2)$ for positive integer $n$ and arbitrary integer $j$ are obtained with the help of generalizations of Kummer's second and third…

Answering connectivity queries in real algebraic sets is a fundamental problem in effective real algebraic geometry that finds many applications in e.g. robotics where motion planning issues are topical. This computational problem is…