arXiv++ Combinatorics

We discuss relations between different notions of ranks for multilinear forms. In particular we show that the Schmidt and the analytic ranks for trilinear forms are essentially proportional.

We formulate a number of new results in Algebraic Geometry and outline their derivation from Theorem 2.12 which belongs to Algebraic Combinatorics.

Let $k$ be a field and $V$ an $k$-vector space. For a family $\bar P=\{ P_i\}_{1\leq i\leq c}, $ of polynomials on $V$, we denote by $\mathbb X _{\bar P}\subset V$ the subscheme defined by the ideal generated by $ \bar P$. We show the existence of $γ(c,d)$ such that the varieties $\mathbb X_{\bar P}$ are smooth outside of codimension $m$, if deg$(P_i)\leq d$ and rank (strength) $r_{nc}(\bar P)\geq γ(d,c) (1+m)^{γ(d,c)}$.

We use tools of additive combinatorics for the study of subvarieties defined by {\it high rank} families of polynomials in high dimensional $\mathbb{F} _q$-vector spaces. In the first, analytic part of the paper we prove a number properties of high rank systems of polynomials. In the second, we use these properties to deduce results in Algebraic Geometry, such as an effective Stillman conjecture over algebraically closed fields, an analogue of Nullstellensatz for varieties over finite fields, and a strengthening of a recent result of [5]. We also show that for $k$-varieties $\mathbb X \subset \mathbb{A}^n$ of high rank any weakly polynomial function on a set $\mathbb{X}(k)\subset k^n$ extends to a polynomial.

Let $k$ be a field, $V$ a $k$-vector space and $X$ be a subset of $V $. A function $f:X\to k$ is weakly polynomial of degree $\leq a$, if the restriction of $f$ on any affine subspace $L\subset X$ is a polynomial of degree $\leq a$. In this paper we consider the case when $X= \mathbb X (k)$ where $\mathbb X$ is a complete intersection of bounded codimension defined by a high rank polynomials of degrees $d, char(k)=0$ or $char (k)>d$ and either $k$ is algebraically closed, or $k=\mathbb F _q,q>ad$. We show that under these assumptions any $k$-valued weakly polynomial function of degree $ \leq a$ on $X$ is a restriction of a polynomial of degree $\leq a$ on $V$. Our proof is based on Theorem 1.11 on fibers of polynomial morphisms $P:\mathbb F _q^n\to \mathbb F _q^m$ of high rank. This result is of an independent interest. For example it immediately implies a strengthening of the result of [4].

Given a hypersurface $X\subset \mathbb{P}^{N+1}_{\mathbb{C}}$ Dimca gave a proof showing that the cohomologies of X are the same as the projective space in a range determined by the dimension of the singular locus of X. We prove the analog of Dimca's result case when $\mathbb{C}$ is replaced with an algebraically closed field of finite characteristic and singular cohomology is replaced with $\ell$-adic étale cohomology. The Weil conjectures allow relating results about éatle cohomology to counting problems over a finite field. Thus by applying this result, we are able to get a relationship between the algebraic properties of certain polynomials and the size of their zero set.

Let $V$ be a vector space over a field $k, P:V\to k, d\geq 3$. We show the existence of a function $C(r,d)$ such that $rank (P)\leq C(r,d)$ for any field $k,char (k)>d$, a finite-dimensional $k$-vector space $V$ and a polynomial $P:V\to k$ of degree $d$ such that $rank(\partial P/\partial t)\leq r$ for all $t\in V-0$. Our proof of this theorem is based on the application of results on Gowers norms for finite fields $k$. We don't know a direct proof in the case when $k=\mathbb C$.

Let $V$ be a vector space over a finite field $k$. We give a condition on a subset $A \subset V$ that allows for a local criterion for checking when a function $f:A \to k$ is a restriction of a polynomial function of degree $<m$ on $V$. In particular, we show that high rank hypersurfaces of $V$ of degree $\ge m$ satisfy this condition. In addition we show that the criterion is robust (namely locally testable in the theoretical computer science jargon).

Let $k$ be a field, $V$ be a $k$-vector space and $X\subset V$ an algebraic irreducible subvariety. We say that a function $f:X(k) \to k$ is weakly linear if its restriction to any two-dimensional linear subspace $W$ of $V$ contained in $X$ is linear and that it is weakly quadratic if its restriction to any three-dimensional linear subspace $W$ of $V$ contained in $X$ is quadratic. We say that $X$ is admissible if any weakly linear function on $X$ is a restriction of a linear function on $V$ and any weakly quadratic function on $X$ is a restriction of a quadratic function on $V$. The main result in the paper concerns the case when the field $k$ is a finite. We show that for any $d,L\geq 1$ there exists $r=r(d,L,k)\in \mathbb Z _+$ such that any complete intersection $X\in V$ in a vector space $V$ of codimension $L$, degree $d$ and rank $\geq r$ is admissible. Moreover we show the existence of a function $r(d,L)$ such that one can take $r(d,L,k)=r(d,L)$ for all finite fields $k$ of characteristic $>d$. The proof of the admissibility for finite fields $k$ is based on bounds on the number of $k$-points on ancillary varieties $E(X)$. These results allow us to bound the dimension of varieties $E(X)$. Using these results we were able to prove the admissibility of complex homogeneous varieties of high rank. Using the results of \cite{br} one can extend our proofs to show the admissibility of varieties of high rank over local non-archimedian fields. Also using Corollary $4.3$ of \cite{cmpv} one can dispense with the assumption that $X$ is a complete intersection.

Let $k$ be a field, $G$ be an abelian group and $r\in \mathbb N$. Let $L$ be an infinite dimensional $k$-vector space. For any $m\in End_k(L)$ we denote by $r(m)\in [0,\infty ]$ the rank of $m$. We define by $R(G,r,k)\in [0,\infty]$ the minimal $R$ such that for any map $A:G \to End_k(L)$ with $r(A(g'+g'')-A(g')-A(g''))\leq r$, $g',g''\in G$ there exists a homomorphism $χ:G\to End_k(L)$ such that $r(A(g)-χ(g))\leq R(G, r, k)$ for all $g\in G$. We show the finiteness of $R(G,r,k)$ for the case when $k$ is a finite field, $G=V$ is a $k$-vector space $V$ of countable dimension. We actually prove a generalization of this result. In addition we introduce a notion of {\it Approximate Cohomology} groups $H^k_{\mathcal F} (V,M)$ (which is a purely algebraic analogue of the notion of $ε$-representation (\cite{ep})) and interperate our result as a computation of the group $H^1_{\mathcal F} (V,M)$ for some $V$-modules $M$.

Let $V$ be a vector space over a finite field $k=\mathbb{F} _q$ of dimension $n$. For a polynomial $P:V\to k$ we define the bias of $P$ to be $$b_1(P)=\frac {|\sum _{v\in V}ψ(P(V))|}{q^n}$$ where $ψ:k\to \mathbb{C} ^\star$ is a non-trivial additive character. A. Bhowmick and S. Lovett proved that for any $d\geq 1$ and $c>0$ there exists $r=r(d,c)$ such that any polynomial $P$ of degree $d$ with $b_1(P)\geq c$ can be written as a sum $P=\sum _{i=1}^rQ_iR_i$ where $Q_i,R_i:V\to k$ are non constant polynomials. We show the validity of a modified version of the converse statement for the case $d=3$.

Expander graphs have been intensively studied in the last four decades. In recent years a high dimensional theory of expanders has emerged, and several variants have been studied. Among them stand out coboundary expansion and topological expansion. It is known that for every $d$ there are unbounded degree simplicial complexes of dimension $d$ with these properties. However, a major open problem, formulated by Gromov, is whether bounded degree high dimensional expanders exist for $d \geq 2$. We present an explicit construction of bounded degree complexes of dimension $d=2$ which are topological expanders, thus answering Gromov's question in the affirmative. Conditional on a conjecture of Serre on the congruence subgroup property, infinite sub-family of these give also a family of bounded degree coboundary expanders. The main technical tools are new isoperimetric inequalities for Ramanujan Complexes. We prove linear size bounds on $F_2$ systolic invariants of these complexes, which seem to be the first linear $F_2$ systolic bounds. The expansion results are deduced from these isoperimetric inequalities.

Expander graphs have been a focus of attention in computer science in the last four decades. In recent years a high dimensional theory of expanders is emerging. There are several possible generalizations of the theory of expansion to simplicial complexes, among them stand out coboundary expansion and topological expanders. It is known that for every d there are unbounded degree simplicial complexes of dimension d with these properties. However, a major open problem, formulated by Gromov, is whether bounded degree high dimensional expanders, according to these definitions, exist for d >= 2. We present an explicit construction of bounded degree complexes of dimension d = 2 which are high dimensional expanders. More precisely, our main result says that the 2-skeletons of the 3-dimensional Ramanujan complexes are topological expanders. Assuming a conjecture of Serre on the congruence subgroup property, infinitely many of them are also coboundary expanders.