Related papers: Multivariate Hypergeometric Terms

We prove a criterion for continuity of bilinear maps on countable direct sums of topological vector spaces. As a first application, we get a new proof for the fact (due to Hirai et al. 2001) that the map taking a pair of test functions on…

Let $(M, g)$ be a compact real analytic Riemannian manifold and $\pi \colon \widetilde{M} \to M$ its universal cover. Assume that $\widetilde{M}$ can be realised as a manifold definable in an o-minimal structure $\Sigma$ expanding…

In M-theory vacua with vanishing 4-form F, one can invoke the ordinary Riemannian holonomy H \subset SO(1,10) to account for unbroken supersymmetries n=1, 2, 3, 4, 6, 8, 16, 32. However, the generalized holonomy conjecture, valid for…

Using an infinitary version of the Hypergraph Removal Lemma due to Towsner, we prove a model-theoretic higher amalgamation result. In particular, we obtain an independent amalgamation property which holds in structures which are measurable…

Let $G$ be a connected reductive algebraic group over an algebraically closed field $\Bbbk$ of characteristic $p \ge 0$, and let $\mathcal{N}$ be its nilpotent cone. Under mild hypotheses, we construct for each nilpotent $G$-orbit $C$ and…

The holomorphy conjecture states roughly that Igusa's zeta function associated to a hypersurface and a character is holomorphic on $\mathbb{C}$ whenever the order of the character does not divide the order of any eigenvalue of the local…

We show that there is a pair of homogeneous polynomials such that the sets of roots of their Bernstein-Sato polynomials which are strictly supported at the origin are different although the sets of roots which are not strictly supported at…

We give conditions under which a germ of a holomorphic mapping in $\Bbb C^N$, mapping an irreducible real algebraic set into another of the same dimension, is actually algebraic. Let $A\subset \bC^N$ be an irreducible real algebraic set.…

Paley-Wiener type theorems describe the image of a given space of functions, often compactly supported functions, under an integral transform, usually a Fourier transform on a group or homogeneous space. Several authors have studied…

Kalantari's Geometric Modulus Principle describes the local behavior of the modulus of a polynomial. Specifically, if $p(z) = a_0 + \sum_{j=k}^n a_j\left(z-z_0\right)^j,\;a_0a_ka_n \neq 0$, then the complex plane near $z = z_0$ comprises…

We prove (and improve) the Muir-Suffridge conjecture for holomorphic convex maps. Namely, let $F:\mathbb B^n\to \mathbb C^n$ be a univalent map from the unit ball whose image $D$ is convex. Let $\mathcal S\subset \partial \mathbb B^n$ be…

Hilbert's Nullstellensatz is a fundamental result in algebraic geometry that gives a necessary and sufficient condition for a finite collection of multivariate polynomials to have a common zero in an algebraically closed field. Associated…

We study Hilbert spaces $H$ interpreted, in an appropriate sense, in a first-order theory. Under a new finiteness hypothesis that we call {\em scatteredness} we prove that $H$ is a direct sum of {\em asymptotically free} components, where…

A complete first order theory of a relational signature is called monomorphic iff all its models are monomorphic (i.e. have all the $n$-element substructures isomorphic, for each positive integer $n$). We show that a complete theory…

Consider an automorphism group of a finite-dimensional algebra. S. Halperin conjectured that the unity component of this group is solvable if the algebra is a complete intersection. The solvability criterion recently obtained by M. Schulze…

Alon and F\"uredi (European J. Combin., 1993) proved that any family of hyperplanes that covers every point of the Boolean cube $\{0,1\}^n$ except one must contain at least $n$ hyperplanes. We obtain two extensions of this result, in…

We prove a special case of the Dynamical Andre-Oort Conjecture formulated by Baker and DeMarco. For any integer d>1, we show that for a rational plane curve C parametrized by (t, h(t)) for some non-constant polynomial h with complex…

Let $K$ be a complete discretely valued field with residue field $\bar K$ of dimension $1$ (not necessarily perfect). This occurs if and only if $K$ has dimension $2$. We prove the following statements on the arithmetic of such fields: -…

In this note we aim to give a new, elementary proof of a statement that was first proved by Timofte. It says that a symmetric real polynomial $F$ of degree $d$ in $n$ variables is positive on $\R^n$ (on $\R^{n}_{\geq 0}$) if and only if it…

A set of integers is called sum-free if it contains no triple $(x,y,z)$ of not necessarily distinct elements with $x+y=z$. In this paper, we provide a structural characterisation of sum-free subsets of $\{1,2,\ldots,n\}$ of density at least…