BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Tamar Ziegler

Tamar Ziegler appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.DSmath.COmath.NTmath.AG

Catalog footprint

What is connected

20works
4topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

20 published item(s)

preprint2020arXiv

On the codimension of the singular locus

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)}$.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Properties of high rank subvarieties of affine spaces

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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Polynomial patterns in the primes

Let $P_1,\dots,P_k \colon {\bf Z} \to {\bf Z}$ be polynomials of degree at most $d$ for some $d \geq 1$, with the degree $d$ coefficients all distinct, and admissible in the sense that for every prime $p$, there exists integers $n,m$ such that $n+P_1(m),\dots,n+P_k(m)$ are all not divisible by $p$. We show that there exist infinitely many natural numbers $n,m$ such that $n+P_1(m),\dots,n+P_k(m)$ are simultaneously prime, generalizing a previous result of the authors, which was restricted to the special case $P_1(0)=\dots=P_k(0)=0$ (though it allowed for the top degree coefficients to coincide). Furthermore, we obtain an asymptotic for the number of such prime pairs $n,m$ with $n \leq N$ and $m \leq M$ with $M$ slightly less than $N^{1/d}$. Our arguments rely on four ingredients. The first is a (slightly modified) generalized von Neumann theorem of the authors, reducing matters to controlling certain averaged local Gowers norms of (suitable normalizations of) the von Mangoldt function. The second is a more recent concatenation theorem of the authors, controlling these averaged local Gowers norms by global Gowers norms. The third ingredient is the work of Green and the authors on linear equations in primes, allowing one to compute these global Gowers norms for the normalized von Mangoldt functions. Finally, we use the Conlon-Fox-Zhao densification approach to the transference principle to combine the preceding three ingredients together. In the special case $P_1(0)=\dots=P_k(0)=0$, our methods also give infinitely many $n,m$ with $n+P_1(m),\dots,n+P_k(m)$ in a specified set primes of positive relative density $δ$, with $m$ bounded by $\log^L n$ for some $L$ independent of the density $δ$. This improves slightly on a result from our previous paper, in which $L$ was allowed to depend on $δ$.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Narrow progressions in the primes

In a previous paper of the authors, we showed that for any polynomials $P_1,\dots,P_k \in \Z[\mathbf{m}]$ with $P_1(0)=\dots=P_k(0)$ and any subset $A$ of the primes in $[N] = \{1,\dots,N\}$ of relative density at least $δ>0$, one can find a "polynomial progression" $a+P_1(r),\dots,a+P_k(r)$ in $A$ with $0 < |r| \leq N^{o(1)}$, if $N$ is sufficiently large depending on $k,P_1,\dots,P_k$ and $δ$. In this paper we shorten the size of this progression to $0 < |r| \leq \log^L N$, where $L$ depends on $k,P_1,\dots,P_k$ and $δ$. In the linear case $P_i = (i-1)\mathbf{m}$, we can take $L$ independent of $δ$. The main new ingredient is the use of the densification method of Conlon, Fox, and Zhao to avoid having to directly correlate the enveloping sieve with dual functions of unbounded functions.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

A multi-dimensional Szemerédi theorem for the primes via a correspondence principle

We establish a version of the Furstenberg-Katznelson multi-dimensional Szemerédi in the primes ${\mathcal P} := \{2,3,5,\ldots\}$, which roughly speaking asserts that any dense subset of ${\mathcal P}^d$ contains constellations of any given shape. Our arguments are based on a weighted version of the Furstenberg correspondence principle, relative to a weight which obeys an infinite number of pseudorandomness (or "linear forms") conditions, combined with the main results of a series of papers by Green and the authors which establish such an infinite number of pseudorandomness conditions for a weight associated with the primes. The same result, by a rather different method, has been simultaneously established by Cook, Magyar, and Titichetrakun.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Multiple recurrence and convergence results associated to $\mathbb{F}_{p}^ω$-actions

Using an ergodic inverse theorem obtained in our previous paper, we obtain limit formulae for multiple ergodic averages associated with the action of $\mathbb{F}_{p}^ω$. From this we deduce multiple Khintchine-type recurrence results analogous to those for $\mathbb{Z}$-systems obtained by Bergelson, Host, and Kra, and also present some new counterexamples in this setting.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

The primes contain arbitrarily long polynomial progressions

We establish the existence of infinitely many \emph{polynomial} progressions in the primes; more precisely, given any integer-valued polynomials $P_1, >..., P_k \in \Z[\m]$ in one unknown $\m$ with $P_1(0) = ... = P_k(0) = 0$ and any $\eps > 0$, we show that there are infinitely many integers $x,m$ with $1 \leq m \leq x^\eps$ such that $x+P_1(m), ..., x+P_k(m)$ are simultaneously prime. The arguments are based on those in Green and Tao, which treated the linear case $P_i = (i-1)\m$ and $\eps=1$; the main new features are a localization of the shift parameters (and the attendant Gowers norm objects) to both coarse and fine scales, the use of PET induction to linearize the polynomial averaging, and some elementary estimates for the number of points over finite fields in certain algebraic varieties.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

An inverse theorem for the Gowers U^{s+1}[N]-norm (announcement)

In this note we announce the proof of the inverse conjecture for the Gowers U^{s+1}[N]-norm for all s => 3; this is new for s => 4, the cases s = 1,2,3 having been previously established. More precisely we outline a proof (details of which will appear in a forthcoming paper) that if f : [N] -> [-1,1] is a function with || f ||_{U^{s+1}[N]} => δthen there is a bounded-complexity s-step nilsequence F(g(n)Γ) which correlates with f, where the bounds on the complexity and correlation depend only on s and δ. From previous results, this conjecture implies the Hardy-Littlewood prime tuples conjecture for any linear system of finite complexity. In particular, one obtains an asymptotic formula for the number of k-term arithmetic progressions p_1 < p_2 < ... < p_k <= N of primes, for every k => 3.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

The inverse conjecture for the Gowers norm over finite fields in low characteristic

We establish the \emph{inverse conjecture for the Gowers norm over finite fields}, which asserts (roughly speaking) that if a bounded function $f: V \to \C$ on a finite-dimensional vector space $V$ over a finite field $\F$ has large Gowers uniformity norm $\|f\|_{U^{s+1}(V)}$, then there exists a (non-classical) polynomial $P: V \to \T$ of degree at most $s$ such that $f$ correlates with the phase $e(P) = e^{2πi P}$. This conjecture had already been established in the "high characteristic case", when the characteristic of $\F$ is at least as large as $s$. Our proof relies on the weak form of the inverse conjecture established earlier by the authors and Bergelson, together with new results on the structure and equidistribution of non-classical polynomials, in the spirit of the work of Green and the first author and of Kaufman and Lovett.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

An inverse theorem for the Gowers U^4 norm

We prove the so-called inverse conjecture for the Gowers U^{s+1}-norm in the case s = 3 (the cases s < 3 being established in previous literature). That is, we establish that if f : [N] -> C is a function with |f(n)| <= 1 for all n and || f ||_{U^4} >= δthen there is a bounded complexity 3-step nilsequence F(g(n)Γ) which correlates with f. The approach seems to generalise so as to prove the inverse conjecture for s >= 4 as well, and a longer paper will follow concerning this. By combining this with several previous papers of the first two authors one obtains the generalised Hardy-Littlewood prime-tuples conjecture for any linear system of complexity at most 3. In particular, we have an asymptotic for the number of 5-term arithmetic progressions p_1 < p_2 < p_3 < p_4 < p_5 <= N of primes.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

An inverse theorem for the uniformity seminorms associated with the action of $F^ω$

Let $\F$ a finite field. We show that the universal characteristic factor for the Gowers-Host-Kra uniformity seminorm $U^k(\X)$ for an ergodic action $(T_g)_{g \in \F^ω}$ of the infinite abelian group $\F^ω$ on a probability space $X = (X,\B,μ)$ is generated by phase polynomials $ϕ: X \to S^1$ of degree less than $C(k)$ on $X$, where $C(k)$ depends only on $k$. In the case where $k \leq \charac(\F)$ we obtain the sharp result $C(k)=k$. This is a finite field counterpart of an analogous result for $\Z$ by Host and Kra. In a companion paper to this paper, we shall combine this result with a correspondence principle to establish the inverse theorem for the Gowers norm in finite fields in the high characteristic case $k \leq \charac(\F)$, with a partial result in low characteristic.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

The inverse conjecture for the Gowers norm over finite fields via the correspondence principle

The inverse conjecture for the Gowers norms $U^d(V)$ for finite-dimensional vector spaces $V$ over a finite field $\F$ asserts, roughly speaking, that a bounded function $f$ has large Gowers norm $\|f\|_{U^d(V)}$ if and only if it correlates with a phase polynomial $ϕ= e_\F(P)$ of degree at most $d-1$, thus $P: V \to \F$ is a polynomial of degree at most $d-1$. In this paper, we develop a variant of the Furstenberg correspondence principle which allows us to establish this conjecture in the large characteristic case $\charac(F) \geq d$ from an ergodic theory counterpart, which was recently established by Bergelson and the authors. In low characteristic we obtain a partial result, in which the phase polynomial $ϕ$ is allowed to be of some larger degree $C(d)$. The full inverse conjecture remains open in low characteristic; the counterexamples by Lovett-Meshulam-Samorodnitsky or Green-Tao in this setting can be avoided by a slight reformulation of the conjecture.

0 citations0 reviewsNo code linkedOpen access
preprint2005arXiv

Nilfactors of R^m-actions and configurations in sets of positive upper density in R^m

We use ergodic theoretic tools to solve a classical problem in geometric Ramsey theory. Let E be a measurable subset of R^m, with positive upper density. Let V={0,v_1,...,v_k} be a subset of R^m. We show that for r large enough, we can find an isometric copy of rV arbitrarily close to E. This is a generalization of a theorem of Furstenberg, Katznelson and Weiss showing a similar property for m=k=2.

0 citations0 reviewsNo code linkedOpen access
preprint2004arXiv

Universal Characteristic Factors and Furstenberg Averages

Let X=(X^0,μ,T) be an ergodic measure preserving system. For a natural number k we consider the averages (*) 1/N \sum_{n=1}^N \prod_{j=1}^k f_j(T^{n a_j}x) where the functions f_j are bounded, and a_j are integers. A factor of X is characteristic for averaging schemes of length k (or k-characteristic) if for any non zero distinct integers a_1,...,a_k, the limiting L^2(μ) behavior of the averages in (*) is unaltered if we first project the functions f_j onto the factor. A factor of X is a k-universal characteristic factor (k-u.c.f)} if it is a k-characteristic factor, and a factor of any k-characteristic factor. We show that there exists a unique k-u.c.f, and it has a structure of a (k-1)-step nilsystem, more specifically an inverse limit of (k-1)-step nilflows. Using this we show that the averages in (*) converge in L^2(μ). This provides an alternative proof to the one given by Host and Kra in 2002.

0 citations0 reviewsNo code linkedOpen access