Pith. sign in

REVIEW 1 cited by

Indiscernible arrays and rational functions with algebraic constraint

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1506.07489 v1 pith:YD7LYKWI submitted 2015-06-24 math.LO math.AG

classification math.LOmath.AG
keywords algebraicconstraintarraysfunctionsindiscerniblerationalvariablesalgebraically
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
abstract

Let $k$ be an algebraically closed field of characteristic zero and $P(x,y)\in k[x,y]$ be a polynomial which depends on all its variables. $P$ has an algebraic constraint if the set $\{(P(a,b),(P(a',b'),P(a',b),P(a,b')\,|\,a,a',b,b'\in k\}$ does not have the maximal Zariski-dimension. Tao proved that if $P$ has an algebraic constraint then it can be decomposed: there exists $Q,F,G\in k[x]$ such that $P(x_{1},x_{2})=Q(F(x_{1})+G(x_{2}))$, or $P(x_{1},x_{2})=Q(F(x_{1})\cdot G(x_{2}))$. In this paper we give an answer to a question raised by Hrushovski and Zilber regarding 3-dimensional indiscernible arrays in stable theories. As an application of this result we find a decomposition of rational functions in three variables which has an algebraic constraint.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. On n-dependent groups and fields III. Multilinear forms and invariant connected components

    math.LO 2024-12 accept novelty 8.0 of 10

    Over NIP fields, infinite dimensional alternating n-linear spaces are strictly n-dependent and NSOP1, proved via a new composition lemma for NIP relations and connected-component analysis.

Pith tools