On the Codimension of the Singular Locus

Total Page:16

File Type:pdf, Size:1020Kb

On the Codimension of the Singular Locus ON THE CODIMENSION OF THE SINGULAR LOCUS DAVID KAZHDAN AND TAMAR ZIEGLER Abstract. Let k be a field and V an k-vector space. For a family P¯ = X {Pi}1≤i≤c, of polynomials on V , we denote by P¯ ⊂ V the subscheme defined by the ideal generated by P¯. We show the existence of γ(c, d) such that varieties X P¯ are smooth outside of codimension m, if deg(Pi) ≤ d and rank (strength) γ(d,c) rnc(P¯) ≥ γ(d, c)(1 + m) . 1. Introduction Let k be a field and V an k-vector space. For a family P¯ = {Pi}1≤i≤c, of X V polynomials on V we denote by P¯ ⊂ the subscheme defined by a the ideal Xsing X ¯ {Pi} and by P¯ ⊂ P¯ the subscheme of singularities. We denote by κ(P ) the Xsing X X X codimension of P¯ in P¯. If c = 1 we write P instead of P¯. For a polynomial P : V → k we denote by dP : V → V∨ the differential −1 V Xsing X −1 dP (v)(h) := ∂P/∂h(v), h ∈ . Then P = P ∩ dP (0) = dP (0) where dP (v): V → A ⊕ V∨ is given by dP (v)=(P (v),dP (v)). For a polynomial P : V → k we denote by P˜ : V d → k the multilinearf symmet- ˜ d ricf form associated with P definedf by P (h1,...,hd) := ∆h1 ... ∆hd P : V → k, where ∆hP (x)= P (x + h) − P (x). The rank r(P ) is the minimal number r such r that P can be written in the form P = i=1 QiRi, where Qi, Ri are polynomials on V of degrees <d. We define the non-classical rank (nc-rank) rnc(P ) to be the P rank of P˜, and observe that if char(k) >d (or char(k) = 0) then r(P ) ≤ rnc(P ), .since P˜ ◦ ∆= d!P where ∆ : V ֒→ V d is the diagonal imbedding The following statement is proven in [1]. Claim 1.1. There exist a function C(d,c,m) such that κ(P¯) ≥ m for any family P¯ = {Pi}1≤i≤c of polynomials Pi on V , with deg(Pi) ≤ d for 1 ≤ i ≤ c, such that r(P¯) ≥ C(d,c,m) where r(P¯) is the algebraic rank (see section 2). arXiv:1907.11750v2 [math.AG] 26 May 2020 The goal of this paper is to obtain an explicit upper bound on C(d,c,m). We first consider the special case when c = 1. Theorem 1.2. Let d > 0. There exists a function γ(d) such that for any field k, and a polynomial P of degree d and of nc-rank ≥ γ(d)(1 + m)γ(d), we have κ(P ) ≥ m. The second author is supported by ERC grant ErgComNum 682150. 1 2 DAVIDKAZHDANANDTAMARZIEGLER Remark 1.3. It is sufficient to consider the case when P ∈ k[x1,...,xn] is a homogeneous polynomial. Really for such a polynomial P of degree d there exists a unique homogeneous polynomial Q ∈ k[x0, x1,...,xn] of degree d such that Q(1, x1,...,xn) = P (x1,...,xn). Since r(Q) ≥ r(P ) and κ(P ) = κ(Q) the inequality κ(Q) ≥ m implies the inequality κ(P ) ≥ m. Now we state the Theorem in the general case. Let P¯ = {Pi}1≤i≤c be a family of polynomials on V of degrees di, 1 ≤ i ≤ c. Theorem 1.4. There exists a function γ(d,c) such that for any field k and any family P¯ of degree d¯ and nc-rank γ(c,d)(1 + m)γ(c,d), we have κ(P¯) ≥ m. Remark 1.5. Our proof only shows that the dependence of C on c and d is double exponential. Here is an outline of the proof. We denote by dP¯ : V → (Λc(V ))∨ the map ¯ such that dP (v)(h1,...,hc) := det(∆P,h¯ 1,...,hc (v)) where ∆P,h¯ 1,...,hc (v) is the (c×c)- matrix with elements {∂Pi/∂hj (v)}, 1 ≤ i, j ≤ c. Let dP¯(v) := (P¯(v),dP¯(v)). The following statement is well known. −1 Claim 1.6. Xsing ¯ f P¯ = dP (0). c c ∨ For any subspace fL ⊂ Λ (V ) we denote by pL : Λ (V ) → L the natural ∨ projection and by Q¯L the composition pL ◦ dP¯ : V → L . We see that for a −1 proof of Theorem 1.4 it is sufficient to find a good upper bound on dim(dP¯ (0)). To obtain such a bound we construct a large fsubspace L ⊂ Λc(V ) such that the map Q¯L is of analytic rank > dim(L). Then (see Claim 3.3 ) all fibersf of Q¯L −1 ¯ ¯−1 are of dimension dim(V ) − dim(L). Since dP (0)) ⊂ QL (0) we see that the Xsing X codimension of P¯ in P¯ is not less than dim(L) − c. f 2. definitions Let k be a field and k¯ it algebraic closure. Definition 2.1. Let P be a polynomial of degree d on a k-vector space V . (1) We denote by P˜ : V d → k the multilinear symmetric form associated with ˜ d P defined by P (h1,...,hd) := ∆h1 ... ∆hd P : V → k, where ∆hP (x) = P (x + h) − P (x). ¯ V X V (2) For a family P = {Pi}1≤i≤c, of polynomials on we denote by V¯ ⊂ the subscheme defined by the system {v : Pi(v)=0} of equations. (3) For a polynomial P ∈ k[x1,...,xN ] of degree d > 1 we define the rank r(P ) as the minimal number r such that P can be written as a sum r P = j=1 QiRi where Qj, Rj ∈ k[x1,...,xN ] are polynomials of degrees P ONTHECODIMENSIONOFTHESINGULARLOCUS 3 <d 1. For d = 1 we define the rank to be infinite and for d = 0 we define it as 0. (4) We define the non-classical rank (nc-rank) rnc(P ) to be the rank of P˜. (5) For a d tensor T : V d → k we define the partition rank (p-rank) pr(T ) as the minimal number r such that T can be written as a sum T (x1,...,xd)= c Ji⊂[1,d],i∈[r] Qj((xl)l∈Ji )Rj((xl)l∈Ji ) where Qj, Rj are degree <d tensors. (6) If k = F and P : V → k, we define b(P )= ψ(T (v))/qdim(V ) where P q v∈V ψ : k → C⋆ is a non-trivial additive character and define the analytic rank ˜ P ar(P ) as − logq(b(P )). (7) For a linear subspace L ⊂ k[x1,...,xN ] we define r(L) := minP ∈L−{0} r(P ), and rnc(L), ar(L) similarly. (8) For a linearly independent family P¯ = {Pi}1≤i≤c, of polynomials we define r(P¯) := r(L(P¯)), where L(P¯) is the linear span of P¯, and rnc(P¯), ar(P¯) similarly. (9) For a subscheme X ⊂ V we define r(X),rnc(X), ar(X), as the maximal ¯ ¯ ¯ ¯ X X rank of r(P ),rnc(P ), ar(P ) for families P = {Pi}1≤i≤c, such that = P¯. (10) For a family P¯ we denote by κ(P¯) the codimension of the singular locus Xsing X P¯ ⊂ P¯. Remark 2.2. (1) If char(k) >d then r(P ) ≤ rnc(P ). (2) In low characteristic it can happen that P is of high rank and P˜ is of low rank, for example in characteristic 2 the polynomial P (x)= 1<i<j<k<l≤n xixjxkxl is of rank ∼ n, but of nc-rank 3, see d P (3) rnc(P ) ≤ pr(P˜) ≤ Cdrnc(P ), Cd ≤ 4 . (see [3]). In char >d, Cd = 1. Remark 2.3. (1) For any tensor T we have that b(T ) ≥ 0 and does not depend on a choice of a character ψ. (2) For any tensor T , we have that pr(T ) ≤ − logq b(T ) (see [2], [5]). (3) |b(P )|2d ≤ b(P˜). ¯ c ¯ Claim 2.4. Let P = {Pi}l=1 be a family of polynomials with r(P ) =6 0. Then (1) dim(L(P¯)) = c. j ¯ (2) There exists a basis Qi in L(P ) such that j (a) deg(Qi )= j. ¯j j ¯ (b) For any j the family Q = {Qi } is of rank ≥ r(P ). X ¯ Remark 2.5. Since the subscheme P¯ depends only on the space L(P ), we can (and will) assume that all the families P¯ we consider satisfy the conditions of Claim 2.4 on Q¯. Definition 2.6. Let L ⊂ k[x1,...,xN ] be a finite dimensional subspace. 1 Also known as h-invariant, or strength. For tensors it is known as the partition rank. 4 DAVIDKAZHDANANDTAMARZIEGLER ∨ (1) We denote by φL : V → L the map given by φL(v)(P ) := P (v) for P ∈ L and v ∈ V . ∨ −1 −1 (2) For λ ∈ L we define f(λ) := |V | |φL (λ)|. (3) We denote by fˆ : L → C the Fourier transform of f given by fˆ(l) := ψ(hλ,li)f(λ). ∨ λX∈L (4) For a polynomial P on V, h ∈ V we write Ph(v)= P (v + h) − P (v). (5) For a subspace W ⊂ V we denote by L(W ) the subspace of polynomials on V spanned by P and Pw, w ∈ W . 3. Results from the additive combinatorics From now on we fix a non-trivial additive character ψ : k → C⋆. We denote E −1 s∈S = |S| s∈S. Denote by Ud the Gowers Ud-uniformity norm for functions f : V → C defined by: P d 2d E ω kfkUd = x,v1,....vd∈V f (x + ωivi) d i=1 ω∈{Y0,1k X ω ¯ d ω where f = f if |ω| = i=1 ωi is odd and otherwise f = f.
Recommended publications
  • Properties of High Rank Subvarieties of Affine Spaces 3
    PROPERTIES OF HIGH RANK SUBVARIETIES OF AFFINE SPACES DAVID KAZHDAN AND TAMAR ZIEGLER Abstract. We use tools of additive combinatorics for the study of subvarieties defined by high rank families of polynomials in high dimensional Fq-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 X ⊂ An of high rank any weakly polynomial function on a set X(k) ⊂ kn extends to a polynomial. 1. Introduction Let k be a field. For an algebraic k-variety X we write X(k) := X(k). To simplify notations we often write X instead of X(k). In particular we write V := V(k) when V is a vector space and write kN for AN (k). For a k-vector space V we denote by Pd(V) the algebraic variety of polynomials on V of degree ≤ d and by Pd(V ) the set of polynomials functions P : V → k of degree ≤ d. We always assume that d< |k|, so the restriction map Pd(V)(k) → Pd(V ) is a bijection. For a family P¯ = {Pi} of polynomials on V we denote by X V P¯ ⊂ the subscheme defined by the ideal generated by {Pi} and by XP¯ the set XP (k) ⊂ V . We will not distinguish between the set of affine k-subspaces of V and the set of affine subspaces of V since for an affine k-subspace W ⊂ V, the map W → W(k) is a bijection.
    [Show full text]
  • Arxiv:1910.04675V1 [Math.DS] 10 Oct 2019 UNIAIEDSONNS FNILFLOWS of DISJOINTNESS QUANTITATIVE Ekts,Cmie Ihtesrcua Hoesfrnlosby Ziegler
    QUANTITATIVE DISJOINTNESS OF NILFLOWS FROM HOROSPHERICAL FLOWS ASAF KATZ Abstract. We prove a quantitative variant of a disjointness the- orem of nilflows from horospherical flows following a technique of Venkatesh, combined with the structural theorems for nilflows by Green, Tao and Ziegler. arXiv:1910.04675v1 [math.DS] 10 Oct 2019 1 2 1. Introduction In a landmark paper [10], H. Furstenberg introduced the notion of joinings of two dynamical systems and the concept of disjoint dynam- ical systems. Ever since, this property has played a major role in the field of dynamics, leading to many fundamental results. In his paper, Furstenberg proved the following characterization of a weakly-mixing dynamical system: 1.1. Theorem (Furstenberg [10], Theorem 1.4). A dynamical system (X,β,µ,T ) is weakly-mixing if and only if (X, T ) is disjoint from any Kronecker system. Namely, given any compact abelian group A, equipped with the ac- tion of A on itself by left-translation Ra, the only joining between (X, T ) and (A, Ra) is the trivial joining given by the product mea- sure on the product dynamical system (X A, T R ). The Wiener- × × a Wintner ergodic theorem readily follows from Furstenberg’s theorem. In [2], J. Bourgain derived a strengthening of Furstenberg’s disjoint- ness theorem, which amounts to the uniform Wiener-Wintner theorem. The proof is along the lines of Furstenberg’s but utilizing the Van-der- Corput trick to show uniformity over various Kronecker systems. In a recent work [41], A. Venkatesh gave a quantitative statement of the uniform Wiener-Wintner theorem for the case of the horocyclic flow on compact homogeneous spaces of SL2(R) (and in principal, his proof works also for non-compact spaces as well, by allowing the decay rate to depend on Diophantine properties of the origin point of the orbit).
    [Show full text]
  • Arxiv:1006.0205V4 [Math.NT]
    AN INVERSE THEOREM FOR THE GOWERS U s+1[N]-NORM BEN GREEN, TERENCE TAO, AND TAMAR ZIEGLER Abstract. This is an announcement of 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 that if f : [N] → [−1, 1] is a function with kfkUs+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 progres- sions p1 <p2 < ··· <pk 6 N of primes, for every k > 3. 1. Introduction This is an announcement and summary of our much longer paper [20], the pur- pose of which is to establish the general case of the Inverse Conjecture for the Gowers norms, conjectured by the first two authors in [15, Conjecture 8.3]. If N is a (typically large) positive integer then we write [N] := {1,...,N}. Throughout the paper we write D = {z ∈ C : |z| 6 1}. For each integer s > 1 the inverse conjec- ture GI(s), whose statement we recall shortly, describes the structure of functions st f :[N] → D whose (s + 1) Gowers norm kfkU s+1[N] is large.
    [Show full text]
  • Jakub M. Konieczny Curriculum Vitae
    Jakub M. Konieczny Curriculum Vitae E-mail: [email protected] CONTACT Einstein Institute of Mathematics Webpages: INFORMATION Edmond J. Safra Campus The Hebrew University of Jerusalem mathematics.huji.ac.il/people/jakub-konieczny Givat Ram. Jerusalem, 9190401, Israel jakubmichalkonieczny.wordpress.com RESEARCH Ergodic theory and dynamical systems. Applications to combinatorial number theory. Sym- INTERESTS bolic dynamics. Fourier analysis. Higher order Fourier analysis. Dynamics on nilmani- folds. Generalised polynomials. Automatic sequences. q-multiplicative sequences. Ultrafil- ters. Ramsey theory. Extremal combinatorics. CURRENT Postdoctoral Fellow, October 2017 to present ACADEMIC Einstein Institute of Mathematics, The Hebrew University of Jerusalem APPOINTMENTS under ERC grant: Ergodic Theory and Additive Combinatorics Advisor: Tamar Ziegler EDUCATION University of Oxford Doctor of Philosophy in Mathematics, 1 August 2017 • Supervisor: Ben Green • Area of study: Ergodic theory/Additive combinatorics • Thesis title: On combinatorial properties of nil-Bohr sets of integers and related problems Jagiellonian University, Kraków and Vrije Universiteit, Amsterdam (joint degree) Master of Science in Mathematics, 18 July 2013 (UJ) | 30 August 2013 (VU) • Supervisor: P. Niemiec (UJ) and T. Eisner-Lobova (VU) and A. J. Homburg (VU) • Area of study: Ergodic theory/Combinatorial number theory • Thesis title: Applications of ultrafilters in ergodic theory and combinatorial number theory Jagiellonian University, Kraków Bachelor of Science in Mathematics, 15 July 2011 • Individualised Studies in Mathematics and Natural Sciences (SMP) programme • Extended curriculum incorporating material from Computer Science and Physics JOURNAL PAPERS [1] J. Byszewski, J. Konieczny, and E. Krawczyk. Substitutive systems and a finitary version (PUBLISHED OR of Cobham’s theorem. To appear in Combinatorica, available at arXiv: 1908.11244 ACCEPTED FOR [math.CO] PUBLICATION) [2] J.
    [Show full text]
  • Issue 118 ISSN 1027-488X
    NEWSLETTER OF THE EUROPEAN MATHEMATICAL SOCIETY S E European M M Mathematical E S Society December 2020 Issue 118 ISSN 1027-488X Obituary Sir Vaughan Jones Interviews Hillel Furstenberg Gregory Margulis Discussion Women in Editorial Boards Books published by the Individual members of the EMS, member S societies or societies with a reciprocity agree- E European ment (such as the American, Australian and M M Mathematical Canadian Mathematical Societies) are entitled to a discount of 20% on any book purchases, if E S Society ordered directly at the EMS Publishing House. Recent books in the EMS Monographs in Mathematics series Massimiliano Berti (SISSA, Trieste, Italy) and Philippe Bolle (Avignon Université, France) Quasi-Periodic Solutions of Nonlinear Wave Equations on the d-Dimensional Torus 978-3-03719-211-5. 2020. 374 pages. Hardcover. 16.5 x 23.5 cm. 69.00 Euro Many partial differential equations (PDEs) arising in physics, such as the nonlinear wave equation and the Schrödinger equation, can be viewed as infinite-dimensional Hamiltonian systems. In the last thirty years, several existence results of time quasi-periodic solutions have been proved adopting a “dynamical systems” point of view. Most of them deal with equations in one space dimension, whereas for multidimensional PDEs a satisfactory picture is still under construction. An updated introduction to the now rich subject of KAM theory for PDEs is provided in the first part of this research monograph. We then focus on the nonlinear wave equation, endowed with periodic boundary conditions. The main result of the monograph proves the bifurcation of small amplitude finite-dimensional invariant tori for this equation, in any space dimension.
    [Show full text]
  • Additive and Analytic Combinatorics
    IMA Workshops September 29-October 3, 2014 Additive and Analytic Combinatorics ORGANIZERS SPEAKERS David Conlon, University of Oxford Tim Austin, Courant Institute of Mathematical Sciences Ernie Croot, Georgia Institute of Technology Vitaly Bergelson, The Ohio State Van Vu, Yale University University Tamar Ziegler, Hebrew University Emmanuel Breuillard, Université de Paris XI (Paris-Sud) Boris Bukh, Carnegie Mellon University Mei-Chu Chang, University of California, Additive combinatorics is the theory of counting Riverside additive structures in sets. This theory has seen David Conlon, University of Oxford exciting developments and dramatic changes in Ernie Croot, Georgia Institute of direction in recent years thanks to its connections Technology with areas such as harmonic analysis, ergodic Jacob Fox, Massachusetts Institute of Technology theory, and representation theory. As it turns out, Bob Guralnick, University of Southern many combinatorial ideas that have existed in the California combinatorics community for quite some time can Akos Magyar, University of British be used to attack notorious problems in other areas Columbia of mathematics. A typical example is the Green- Hamed Hatami, McGill University Tao theorem on the existence of long arithmetic Frederick Manners, University of Oxford progressions in primes, which uses a famous Lilian Matthiesen, Institut de theorem of Szemerédi on arithmetic progressions Mathematiques de Jussieu in dense sets as a key component. The field is also Jozsef Solymosi, University of British of great interest to computer scientists; a number of Columbia the techniques and theorems have seen application Terence Tao, University of California, Los Angeles in, for example, communication complexity, Van Vu, Yale University property testing, and the design of randomness Melanie Wood, University of Wisconsin, extractors.
    [Show full text]
  • An Inverse Theorem for the Gowers U4-Norm
    Glasgow Math. J. 53 (2011) 1–50. C Glasgow Mathematical Journal Trust 2010. doi:10.1017/S0017089510000546. AN INVERSE THEOREM FOR THE GOWERS U4-NORM BEN GREEN Centre for Mathematical Sciences, Wilberforce Road, Cambridge CB3 0WA, UK e-mail: [email protected] TERENCE TAO UCLA Department of Mathematics, Los Angeles, CA 90095-1555, USA e-mail: [email protected] and TAMAR ZIEGLER Department of Mathematics, Technion - Israel Institute of Technology, Haifa 32000, Israel e-mail: [email protected] (Received 30 November 2009; accepted 18 June 2010; first published online 25 August 2010) Abstract. 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 show that if f :[N] → ރ is a function with |f (n)| 1 for all n and f U4 δ 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 4as well, and a longer paper will follow concerning this. By combining the main result of the present paper with several previous results 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 p1 < p2 < p3 < p4 < p5 N of primes. 2010 Mathematics Subject Classification. Primary: 11B30; Secondary: 37A17. NOTATION . By a 1-bounded function on a set X we mean a function f : X → ރ with |f (x)| 1 for all x∈ X.
    [Show full text]
  • Joint Journals Catalogue EMS / MSP 2020
    Joint Journals Cataloguemsp EMS / MSP 1 2020 Super package deal inside! msp 1 EEuropean Mathematical Society Mathematical Science Publishers msp 1 The EMS Publishing House is a not-for-profit Mathematical Sciences Publishers is a California organization dedicated to the publication of high- nonprofit corporation based in Berkeley. MSP quality peer-reviewed journals and high-quality honors the best traditions of quality publishing books, on all academic levels and in all fields of while moving with the cutting edge of information pure and applied mathematics. The proceeds from technology. We publish more than 16,000 pages the sale of our publications will be used to keep per year, produce and distribute scientific and the Publishing House on a sound financial footing; research literature of the highest caliber at the any excess funds will be spent in compliance lowest sustainable prices, and provide the top with the purposes of the European Mathematical quality of mathematically literate copyediting and Society. The prices of our products will be set as typesetting in the industry. low as is practicable in the light of our mission and We believe scientific publishing should be an market conditions. industry that helps rather than hinders scholarly activity. High-quality research demands high- Contact addresses quality communication – widely, rapidly and easily European Mathematical Society Publishing House accessible to all – and MSP works to facilitate it. Technische Universität Berlin, Mathematikgebäude Straße des 17. Juni 136, 10623 Berlin, Germany Contact addresses Email: [email protected] Mathematical Sciences Publishers Web: www.ems-ph.org 798 Evans Hall #3840 c/o University of California Managing Director: Berkeley, CA 94720-3840, USA Dr.
    [Show full text]
  • Ewm Newsletter23.Pdf
    Newsletter 23 Edited by Sara Munday (University of Bristol, UK) and Elena Resmerita (University of Klagenfurt, Austria) 2013/2 In this issue This issue is dedicated to the EWM general meeting which took place in September 2013 at the Hausdorff Centre for Mathematics, Bonn. A report and the minutes of the meeting are included below, followed by interesting data related to gender in Math publications provided by colleagues from Zentralblatt Math (presented also at the meeting). The interviews focus on the change of convenor: Marie-Francoise Roy (former convenor) and Susanna Terracini (new convenor), and on Tamar Ziegler, a guest speaker at Bonn who has been the European Mathematics Society 2013 lecturer. The series of articles on the STEM situation in different European countries continues here with Germany and Italy. An article published a few years ago in the magazine "Role Model Book" of the Nagoya University, Japan is included courtesy to its author: Yukari Ito. Prestigious prizes for research awarded to woman mathematicians this year in Europe are highlighted. A series of announcements on Math events and miscellanea are pointed out at the end of this issue. The 2013 EWM general meeting Report from the meeting The meeting was opened by the EWM convenor Marie-Francoise Roy and by Dr. Michael Meier, Chief Administrator of HCM Bonn, who talked about the mission and activities of HCM, as well as the personality of the mathematician Felix Hausdorff , who on top of his contributions to topology and many other topics in mathematics was also a philosopher and playwrighter under the pseudonym Paul Mongré.
    [Show full text]
  • Prof. Tamar Ziegler Department of Mathematics the Hebrew University of Jerusalem
    Prof. Tamar Ziegler Department of Mathematics The Hebrew University of Jerusalem Prof. Tamar Ziegler received her Ph.D. in Mathematics from the Hebrew University. She spent five years in the US as a postdoc at the Ohio State University, the Institute for Advanced Study in Princeton, and the University of Michigan. She was a faculty member at the Technion in the years 2007-2013, and joined the Hebrew University in the Fall of 2013 as a full professor. Prof. Ziegler’s research interests are in ergodic theory and its connection with combinatorics and number theory. One of her major contributions is the resolution of a long standing open problem in number theory regarding patterns in the prime numbers. Together with Green and Tao she showed the existence of solutions to any admissible affine linear systems of finite complexity in the prime numbers. Prof. Ziegler received several awards and honors for her work including an Ostrowski fellowship in 2008, an Alon fellowship for outstanding new faculty members in Israeli universities in 2008-2011, a Landau Fellowship of the Taub Foundation in 2008-2010, and the Erdos prize in mathematics in 2011. She was the European Mathematical Society lecturer of the year in 2013, and an invited speaker at the 2014 ICM. Selected publications: Universal Characteristic Factors and Furstenberg Averages. J. Amer. Math. Soc. 20 (2007), 53-97. The primes contain arbitrarily long polynomial progression, with Terence Tao. Acta Math. 201 (2008), no. 2, 213--305. An inverse theorem for the Gowers Us+1[N]-norm, with Ben Green, Terence Tao. Annals of Math, Volume 176 (2012), Issue 2, 1231-1372.
    [Show full text]
  • Furstenberg and Margulis Awarded 2020 Abel Prize
    COMMUNICATION Furstenberg and Margulis Awarded 2020 Abel Prize The Norwegian Academy of Science and Letters has awarded the Abel Prize for 2020 to Hillel Furstenberg of the Hebrew University of Jerusalem and Gregory Margulis of Yale University “for pioneering the use of methods from probability and dynamics in group theory, number theory, and combinatorics.” Starting from the study of random products of matrices, in 1963, Hillel Furstenberg introduced and classified a no- tion of fundamental importance, now called “Furstenberg boundary.” Using this, he gave a Poisson-type formula expressing harmonic functions on a general group in terms of their boundary values. In his works on random walks at the beginning of the 1960s, some in collaboration with Harry Kesten, he also obtained an important criterion for the positivity of the largest Lyapunov exponent. Motivated by Diophantine approximation, in 1967, Furstenberg introduced the notion of disjointness of er- godic systems, a notion akin to that of being coprime for Hillel Furstenberg Gregory Margulis integers. This natural notion turned out to be extremely deep and to have applications to a wide range of areas, Citation including signal processing and filtering questions in A central branch of probability theory is the study of ran- electrical engineering, the geometry of fractal sets, homoge- dom walks, such as the route taken by a tourist exploring neous flows, and number theory. His “×2 ×3 conjecture” is an unknown city by flipping a coin to decide between a beautifully simple example which has led to many further turning left or right at every cross. Hillel Furstenberg and developments.
    [Show full text]
  • Multiple Recurrence and Finding Patterns in Dense Sets
    1 These notes were written to accompany a mini-course at the Easter School on ‘Dynamics and Analytic Number Theory’ held at Durham University, U.K., in April 2014. Multiple Recurrence and Finding Patterns in Dense Sets (‘the Chapter’) was first published by Cambridge University Press as part of a multi-volume work edited by Dzmitry Badziahin, Alexander Gorodnik and Norbert Peyerimhoff entitled “Dynamics and Analytic Number Theory” (‘the Volume’). c in the Chapter, Tim Austin, 2015 c in the Volume, Cambridge University Press, 2015 Cambridge University Press’s catalogue entry for the Volume can be found at www.cambridge.org/9781107552371. NB: The copy of the Chapter as displayed on this website is a draft, pre- publication copy only. The final, published version of the Chapter can be pur- chased through Cambridge University Press and other standard distribution channels as part of the wider, edited Volume. This draft copy is made available for personal use only and must not be sold or re-distributed. DRAFT Contents 1 Multiple Recurrence and Finding Patterns in Dense Sets T. Austin page 3 1.1 Szemeredi’s´ Theorem and its relatives 3 1.2 Multiple recurrence 6 1.3 Background from ergodic theory 11 1.4 Multiple recurrence in terms of self-joinings 25 1.5 Weak mixing 34 1.6 Roth’s Theorem 42 1.7 Towards convergence in general 49 1.8 Sated systems and pleasant extensions 53 1.9 Further reading 60 Index 69 DRAFT 1 Multiple Recurrence and Finding Patterns in Dense Sets Tim Austin (Courant Institute, NYU) 251 Mercer St, New York, NY 10012, U.S.A.
    [Show full text]