Related papers: Irreducibility of A-hypergeometric systems

Consider the inductive limit of the general linear groups ${\rm GL}_0(2\infty,{\mathbb R})$ $= \varinjlim_{n}{\rm GL}(2n-1,{\mathbb R})$, acting on the space $X_m$ of $m$ rows, infinite in both directions, with Gaussian measure. This…

In this paper we present a conditional proof of Wojtkowski's Ergodicity Conjecture for the system of 1D perfectly elastic balls falling down in a half line under constant gravitational acceleration. Namely, we prove that almost every such…

We prove an explicit condition on the level $k$ for the irreducibility of a vacuum module $V^{k}$ over a (non-twisted) affine Lie superalgebra, which was conjectured by M. Gorelik and V.G. Kac. An immediate consequence of this work is the…

This work gathers new results concerning the semi-geostrophic equations: existence and stability of measure valued solutions, existence and uniqueness of solutions under certain continuity conditions for the density, convergence to the…

We consider extensions of the language of Peano arithmetic by transfinitely iterated truth definitions satisfying uniform Tarskian biconditionals. Without further axioms, such theories are known to be conservative extensions of the original…

Let $\Gamma$ be a countable abelian group. An (abstract) $\Gamma$-system $\mathrm{X}$ - that is, an (abstract) probability space equipped with an (abstract) probability-preserving action of $\Gamma$ - is said to be a Conze-Lesigne system if…

Non-holonomic mechanical systems can be described by a degenerate almost-Poisson structure (dropping the Jacobi identity) in the constrained space. If enough symmetries transversal to the constraints are present, the system reduces to a…

To a torus action on a complex vector space, Gelfand, Kapranov and Zelevinsky introduce a system of differential equations, called the GKZ hypergeometric system. Its solutions are GKZ hypergeometric functions. We study the $\ell$-adic…

In this paper, we provide a fairly general self-reference-free proof of the Second Incompleteness Theorem from Tarski's Theorem of the Undefinability of Truth.

If $G$ is a second countable locally compact Hausdorff groupoid with Haar system, we show that every representation induced from an irreducible representation of a stability group is irreducible.

Let H be a Hilbert space and let F be the family of all countable subsets of an orthonormal basis of H. We show that if F is infinite then F is equipollent with every linear basis of the vector space H. In doing so we also present a short…

Let $\Gamma$ be a countable abelian group, let $k\geq 1$, and let $\mathrm{X}=(X,\mathcal{X},\mu,T)$ be an ergodic $\Gamma$-system of order $k$ in the sense of Host--Kra--Ziegler. The $\Gamma$-system $\mathrm{X}$ is said to be totally…

Godel's First Incompleteness Theorem is generalized to definable theories, which are not necessarily recursively enumerable, by using a couple of syntactic-semantic notions, one is the consistency of a theory with the set of all true…

A noncommutative analogue of the Zariski cancellation problem asks whether $A[x]\cong B[x]$ implies $A\cong B$ when $A$ and $B$ are noncommutative algebras. We resolve this affirmatively in the case when $A$ is a noncommutative finitely…

We prove, for stably computably enumerable formal systems, direct analogues of the first and second incompleteness theorems of G\"odel. A typical stably computably enumerable set is the set of Diophantine equations with no integer…

A modified $A$-hypergeometric system is a system of differential equations for the function $f(t^w \cdot x)$ where $f(y)$ is a solution of an $A$-hypergeometric system in $n$ variables and $w$ is an $n$ dimensional integer vector, which is…

Most of results of Bestvina and Mogilski [\textit{Characterizing certain incomplete infinite-dimensional absolute retracts}, Michigan Math. J. \textbf{33} (1986), 291--313] on strong $Z$-sets in ANR's and absorbing sets is generalized to…

We develop a general theory for irreducible homogeneous spaces $M= G/H$, in relation to the nullity $\nu$ of their curvature tensor. We construct natural invariant (different and increasing) distributions associated with the nullity, that…

In this paper, we generalize the Kirchhoff-Sobolev parametrix of Klainerman and Rodnianski to systems of tensor wave equations with additional first-order terms. We also present a different derivation, which better highlights that such…

Let $F$ be a non-Archimedean locally compact field and let $D$ be a central division algebra over $F$. Let $\pi_1$ and $\pi_2$ be respectively two smooth irreducible representations of ${\rm GL}(n_1,D)$ and ${\rm GL}(n_2,F)$, $n_1, n_2 \geq…