arxiv: v1 [math.ds] 27 Jan 2017
|
|
- Noah Small
- 5 years ago
- Views:
Transcription
1 QUANTITATIVE MULTIPLE RECURRENCE FOR TWO AND THREE TRANSFORMATIONS arxiv: v1 [math.ds] 7 Jan 017 SEBASTIÁN DONOSO AND WENBO SUN Abstract. We provide various counter examples for quantitative multiple recurrence problems for systems with more than one transformation. We show that There exists an ergodic system (X,X,µ, T 1, T ) with two commuting transformations such that for every 0 < l < 4, there exists A Xsuch that µ(a T n 1 A T n A)<µ(A)l for every n 0; There exists an ergodic system (X,X,µ, T 1, T, T 3 ) with three commuting transformations such that for every l > 0, there exists A Xsuch that µ(a T n 1 A T n A T n 3 A)<µ(A)l for every n 0; There exists an ergodic system (X,X,µ, T 1, T ) with two transformations generating a -step nilpotent group such that for every l>0, there exists A Xsuch that µ(a T n 1 A T n A)<µ(A)l for every n Introduction 1.1. Quantitative recurrence. The Poincaré recurrence theorem states that for every measure preserving system (X,X,µ, T) and every A X with µ(a)>0, the set {n Z:µ(A T n A)>0} is infinite. A quantitative version of it was provided by Khintchine [8], who showed that for everyǫ> 0, the set{n N:µ(A T n A)>µ(A) ǫ} is syndetic, meaning that it has bounded gaps. Multiple recurrence problems refers to the ones concerning the behavior of the set A T n 1 A T n d A. In the case T i= T i for an ergodic transformation T, Furstenberg [6] showed that the set {n Z:µ(A T n A T dn A)>0} 010 Mathematics Subject Classification. Primary: 37A30. Key words and phrases. Poincaré recurrence, multiple recurrence, commuting transformations. The first author is supported by Fondecyt Iniciación en Investigación grant
2 SEBASTIÁN DONOSO AND WENBO SUN is infinite. This result is now known as the Furstenberg Multiple Recurrence Theorem. The quantitative version of the multiple recurrence problems concerns not only the positivity of the measure of the set A T n 1 A T n d A, but also how far from 0 this measure is. More precisely, we ask: Question 1.1. Let (X,X,µ, T 1,..., T d ) be a measure preserving system and F : [0, 1] R 0 be a non-negative function. Is the set {n Z:µ(A T n 1 A T n A T n d A) F(µ(A))} syndetic for all A X? If the answer to the question is affirmative for some T 1,..., T d and F, we say that F is good for (T 1,..., T d ). Based on the result of Khintchine [8] stating that F(x)= x ǫ is good for (T) (with a single term), a natural conjecture would be that the function F(x)= x d+1 ǫ is good for (T 1,..., T d ). The case T i = T i was solved by Bergelson, Host and Kra [3]. They showed that if (X,X,µ, T) is ergodic, then F(x) = x d+1 ǫ is good for (T, T,...,T d ) for allǫ> 0 for d= or 3. They also showed two surprising phenomena. First, the hypothesis of ergodicity cannot be removed: there exists a non-ergodic system (X,X,µ, T) such that F(x)=x l is not good for (T, T ) for alll>0. Secondly, if d 4, then F(x)=x l is not good for (T, T,...,T d ) for alll>0. In [7], Furstenberg and Katznelson proved a multiple recurrence theorem for commuting transformations. For two commuting transformations, its quantitative study was done by Chu [4] who proved that for every system (X,X,µ, T 1, T ) with two commuting transformations T 1 and T (meaning that T 1 T = T T 1 ), ergodic for T 1, T, and everyǫ> 0, F(x)= x 4 ǫ is good for (T 1, T ). Here it is worth to stress that the exponent for (T 1, T ) is 4 while the exponent for (T, T ) is 3. Indeed, in the same paper, Chu constructed an example showing that F(x)= x 3 is not good for (T 1, T ). In a later work, Chu and Zorin-Kranich [5] improved this example, showing that F(x)= x 3.19 is not good for (T 1, T ). In this paper, we study the best componentl for which F(x)= x l is good for (T 1,..., T d ) in an ergodic system (X,X,µ, T 1,..., T d ) with commuting transformations. The result of Chu and Zorin-Kranich [5] suggested that the largestlnot good for (T 1, T ) is between 3.19 and 4. We show thatl can be sufficiently close to 4: Theorem 1.. There exists a measure preserving system (X,X,µ, T 1, T ) with commuting transformations T 1 and T, ergodic for T 1, T such that for every 0<l<4, F(x)= x l is not good for (T 1, T ), i.e. there exists a set A X such that µ(a T n 1 A T n A)<µ(A)l
3 QUANTITATIVE MULTIPLE RECURRENCE FOR TWO AND THREE TRANSFORMATIONS3 for every n 0. Chu raised another question [4] on whether F(x)= x l is good for (T 1, T,..., T d ) in an ergodic system with d commuting transformations for d 3. We show that this is not the case: Theorem 1.3. There exists a measure preserving system (X,µ, T 1, T, T 3 ) with three commuting transformations T 1 and T and T 3, ergodic for T 1, T, T 3 such that for everyl>0, F(x)= x l is not good for (T 1, T, T 3 ), i.e. there exists a subset A X such that for every n 0. µ(a T n 1 A T n A T n 3 A)<µ(A)l If we relax the condition of commutativity of the transformations, the natural condition to look at is nilpotency. Outside the abelian category, we show that there is no polynomial quantitative recurrence even for two transformations T 1 and T spanning a -step nilpotent group. We show Theorem 1.4. There exists a measure preserving system (X,X,µ, T 1, T ) such that T 1 and T generate a -step nilpotent group T 1, T, whose actions is ergodic and such that for everyl>0, F(x)=x l is not good for (T 1, T ), i.e. there exists subset A Xsuch that for every n 0. µ(a T n 1 A T n A)<µ(A)l 1.. Notation and conventions. A measure preserving system (or a system for short) is a tuple (X,X,µ, T 1,...,T d ), where (X,X,µ) is a probability space and T 1,..., T d : X Xare actions such that for all A X, 1 i d, Ti 1 A X andµ(ti 1 A)=µ(A). We use T 1, T,..., T d to denote the group spanned by the transformations T 1,..., T d. We say that X is ergodic for T 1,..., T d if A X, Ti 1 A=A for all 1 i dimplies thatµ(a)=0 or 1. For a positive integer number N, the subset{1,..., N} is denoted by [N].. Combinatorial constructions In this section we study subsets ofn andn 3 satisfying special combinatorial conditions that help us construct the counter examples we need. The construction of such sets is inspired by the methods used by Salem and Spencer [11] and Behrend [] in building large subsets of [N] with no arithmetic progressions of length 3. The ways to make use of special subsets in Theorems 1., 1.3 and 1.4 are motivated by the examples constructed in Bergelson, Host and Kra [3] and Chu [4]. We remark that the combinatorial properties studied in this section are of independent interest.
4 4 SEBASTIÁN DONOSO AND WENBO SUN.1. Corner-free subsets ofn. The first combinatorial problem we study is how large a subsetλ [N] can be without a corner. Definition.1. We say that a setλ [N] is corner-free if (x, y), (x, y) and (x, y ) Λand x y= x y implies that x= x and y=y. We have Theorem.. Let ν(n) denote the largest cardinality of corner-free subsets of [N]. Then 4 log +ǫ ν(n)>n loglog N as N for allǫ> 0. It is worth noting that Atjai and Szemerédi [1] had a similar estimate for the largest cardinality of the setλ [N] such that (x, y), (x, y) and (x, y ) Λ, x > x and x y= x y implies that x= x and y=y (with an additional but not essential assumption that x > x). Since our proof is different from their method, we write it down for completeness. We thank T. Ziegler for bringing us to this reference. Proof. Let 1 d n be two parameters to be chosen later and assume that n is divisible by d. LetΛbe the set of points (x, y) [(d) n ] such that the following condition holds: expand x= x 0 + x 1 (d 1)+ + x n 1 (d 1) n 1 and y=y 0 +y 1 (d 1)+ +y n 1 (d 1) n 1 0 x i, y i d for 0 i n 1. Consider the n pairs of integers (x 0, y 0 ), (x 1, y 1 ),..., (x n 1, y n 1 ). DefineΛ by (x, y) Λif and only if among the pairs (x 0, y 0 ), (x 1, y 1 ),..., (x n 1, y n 1 ), there are exactly n of them that are equal to (i, j) for all 0 i, j d 1. d Recall for a set S of cardinality k and k k! that divides k, (k/k )! k is the number of different patitions of S where each atom has exactly k elements. Using this formula, we get that n! Λ = (( n )!) d. d We claim thatλsatisfies the properties we are looking for. We first estimate the size ofλ. Set n=d ω(d), whereω:n N is an increasing function such thatω(d+1) ω(d)=o(1), ω(d) logω(d) and 0 as log d log d d. For every N N, pick d Nsuch that (.1) (d 1) d ω(d) N< (d+ 1) (d+1) ω(d+1). By the Stirling formula, if d and n/d =ω(d) are large enough, we have that n! n n πne n 1 dn (( n )!) d> d [(n/d ) n/d π(n/d )e n/d ] d Cd ( γn ) = ddω(d) d d / (γω(d)), d /
5 QUANTITATIVE MULTIPLE RECURRENCE FOR TWO AND THREE TRANSFORMATIONS5 whereγ=πc, and C is a constant as close to 1 as we want. So (.) ( ) N ω(d+1) log < log (d+1)(d+1) <log ω(d+1) (γω(d)) (d+1)(d+1) d / L L d d ω(d) = (d+ 1) ω(d+1) log(d+ 1) d ω(d) log d+ d (logγ+logω(d)) = d ω(d)( log +o(1)), where in the last step we repeatedly used the properties ofω(d). On the other hand, by (.1), we have and log N d ω(d) log(d 1) log log N< log(d+ 1)+logω(d+ 1)+log log(d+ 1), which implies that (.3) log N log log N > d ω(d)(1/+o(1)). Combining (.) and (.3), we have that as N for allǫ> 0. 4 log +ǫ Λ >N log log N Now we show thatλis corner-free. Suppose that (x, y), (x, y) and (x, y ) belong toλand that x y= x y. Expand w = w 0 + w 1 (d 1)+ + w n 1 (d 1) n 1, 0 w 0,..., w n 1 d 1 for w= x, y, x, y. Since 0 x i, y i, x i, y i d 1 for every 0 i n 1, we have that necessarily (.4) y i x i = y i x i for all 0 i n 1. If y i x i = (d 1) for some 0 i n 1, then by the construction of Λ, we have x i = d 1 and y i = 0. By (.4), y i x i= y i x i = (d 1), and so x i = d 1and y i = 0. Therefore x i=x i and y i= y i. Now suppose that (d 1) y i x i h implies that (x i, y i )=(x i, y i ) for all 0 i n 1 for some (d 1) h d. We show that y i x i = h+1 also implies that (x i, y i )=(x i, y i ) for all 0 i n 1. By the construction ofλ, the number of the pairs (x i, y i ) such that 0 y i x i h is the same as the number of the pairs (x i, y i ) such that 0 y i x i h, and is the same as the number of the pairs (x i, y i) such that 0 y i x i h. Therefore,
6 6 SEBASTIÁN DONOSO AND WENBO SUN by induction hypothesis, if y i x i = h+1, we have y i x i h+1 and y i x i h+1. So y i x i= (y i x i)+(y i x i ) (y i x i ) (h+1)+(h+1) (h+1)=h+1=y i x i. By (.4), we have that y i x i= y i x i= h+1=y i x i, which implies that x i = x i and y i= y i and we are done. We conclude that 4 log +ǫ ν(n) Λ >N log log N as N for allǫ> 0... Three point free subsets ofn 3. We study another combinatorial problem in this section. Definition.3. LetΛbe a subset of [N] 3. We say thatλis three point free if (x, y, z ), (x, y, z), (x, y, z) Λimplies that x= x, y=y, z=z. In particular, (x, y, z ) and (x, y, z) Λ implies that z=z. soλcontains at most one point on each line parallel to Z-axis. Similarly,Λcontains at most one point along any line parallel to the X or Y-axis. Remark.4. To a three point free setλ [N] 3 we can associate a N N matrix A(Λ)=(a i, j ) i, j [N]. To do so, we look at the line{(i, j, k) : k [N]}. If there is a point ofλin such a line we set a i, j to be the unique integer in [N] such that (i, j, a i, j ) Λ. If there is no point in such a line we just set a i, j = 0. IfΛis a three point free set, the matrix A(Λ) has the following properties: (1) For every k [N], k appears at most once in each row and each column of A(Λ). () For every k [N], if a i, j = k and a i, j = k then a i, j = a i, j= 0. Conversely, if A is a N N matrix that satisfies conditions (1) and (), then there is a three point free setλ [N] 3 such that A=A(Λ). The setλ is just{(i, j, a i, j ) : a i, j 0} and note that the cardinality ofλis the number of non-zero entries of A(Λ). The combinatorial problem we study is how large such a set three point free set can be. It is clear that ifλ [N] 3 is a three point free set, then Λ N. We show that in fact Λ can be sufficiently close to N : Theorem.5. Let w(n) denote the largest cardinality of a three point free subset of [N] 3. Then 4 log +ǫ w(n)>n loglog N as N for allǫ> 0.
7 QUANTITATIVE MULTIPLE RECURRENCE FOR TWO AND THREE TRANSFORMATIONS7 Proof. Let n, d, N andλbe given in the proof of Theorem.. Define and We have that for big enough N, V := { (x, y, z): (x, y) Λ } [N] 3. V s := { (x, y, z) V : x+y+z= s }. 3N 3 s=0 4 log +ǫ V s = V =N N log log N. So there exists 0 s 3N 3 such that V s V 3N = 4log +ǫ 4 log +ǫ N log log N /3>N loglog N provided N is large enough. We verify that V s is three point free. Suppose that (x, y, z ), (x, y, z) and (x, y, z) belong to V s. Then in particular we have that (x, y), (x, y ) and (x, y) belong toλand s x y = z= s x y. So x x=y y. SinceΛis corner-free, we have that x= x and y=y. This implies that z = s x y= s x y=z and we conclude that V s is three point free. It follows immediately that provided that N is large enough. 4 log +ǫ w(n) V s N loglog N 3. Nilsystems and affine nilsystems In all that follows, we make use of the class of nilsystems, specially of affine nilsystems and we briefly introduce them Affine nilsystems with a single transformation. Let G be a group. For a, b G, [a, b] := aba 1 b 1 denotes the commutator of a and b and for A and B subsets of G, and [A, B] denotes the group generated by all the commutators [a, b] for a A and b B. The commutator subgroups are defined recursively as G 1 = G and G j+1 = [G j, G], j 1. We say that G is d-step nilpotent if G d+1 ={1}. Let G a d-step nilpotent Lie group andγbe a discrete a cocompact subgroup of G. The compact manifold G/Γ is a d-step nilmanifold. The group G acts on G/Γ as left translations and there is a unique probability measure µ which invariant under such action (called the Haar measure). A dynamical system of the form (G/Γ,B(G/Γ),µ, T 1,..., T n ) is called a nilsystem, whereb(g/γ) is the Borelσ-algebra of G/Γ, and each T i is given by the rotation by a fixedτ i G, i.e. T i : G/Γ G/Γ, x τ i x.
8 8 SEBASTIÁN DONOSO AND WENBO SUN An important class of such systems are the affine nilsystems. The affine nilsytems for a single transformation are defined as follows. Letα T d and let A be a d d unipotent integer matrix (i.e. (A I) d = 0). Let T :T d T d be the affine transformation x Ax+α. Let G be the group of transformations oft d generated by A and the translations oft d. That is, every element g Gis a map x A i x+βfor some i Z andβ T d. The group G acts transitively ont d and we may identify this space with G/Γ, whereγis the stabilizer of 0, which consists of the powers of A. The system (T d,µ d, T) is called an affine nilsystem (hereµis the Haar measure ont). Properties such as transitivity, minimality, ergodicity and unique ergodicity are equivalent for a system in this class and this can be checked by looking at the rotation induced byαon the projectiont d /Ker(A I) [10]. 3.. Affine nilsystems with several transformations. When we consider different affine transformations T i :T d T d, x A i x+α i, where A i is unipotent for every i=1,..., n, we can still regard the system (T d,b(t d ),µ d, T 1,..., T n ) as a nilsystem as long as the matrices commute. Indeed, let G be the group of transformations oft d generated by the matrices A 1,..., A n and the translations oft d. Then every element g G is a map x A(g)x+β(g), where A(g)=A m 1 1 Am n n, m 1,..., m n Zandβ(g) T d. A simple computation shows that if g 1, g G, the commutator [g 1, g ] is the map x x+(a(g 1 ) I)β(g )+(A(g ) I)β(g 1 ) and thus is a translation oft d. In the other hand, if g G andβ T d, then [g,β] is the translation x x + (A(g) I)β. It follows that the iterated commutator [ [[g 1, g ], g 3 ] g k ] belongs tot d and is contained in the image of (A(g 3 ) I) (A(g k ) I). If k is large enough, this product is trivial. So G is a nilpotent Lie group. The torust d can be identified with G/Γ, whereγis the stabilizer of 0, which is the group generated by the matrices A 1,..., A n. We refer to (T d,b(t d ),µ d, T 1,..., T n ) as an affine nilsystem with n transformations. It is worth noting that the transformations T i and T j commute if (A i I)α j = (A j I)α i int d. By a theorem from Leibman [9], we get: Proposition 3.1. Let (T d,b(t d ),µ d, T 1,..., T n ) be an affine nilsystem with n transformations. Then the properties of transitivity, minimality, ergodicity and unique ergodicity under the action of T 1...,T n are equivalent. Recall that (T d,b(t d ),µ d, T 1,..., T n ) is minimal under T 1..., T n if the orbit closure of every x T d under T 1...,T n ist d (in this paper we do not need the concepts of transitivity and unique ergodicity). We refer to [9] for a modern reference on nilmanifolds and nilsystems.
9 QUANTITATIVE MULTIPLE RECURRENCE FOR TWO AND THREE TRANSFORMATIONS9 4. Proofsofthemaintheorems We are now ready to prove the main theorems. Proof of Theorem 1.. Let α, β R\Q be rationally independent numbers. Let X=T 6 with transformations T 1 (x 1, x, x 3 ; y 1, y, y 3 )=(x 1 +α, x +β, x 3 ; y 1 + x 1, y, y 3 + x 1 + x + x 3 ) and T (x 1, x, x 3 ; y 1, y, y 3 )=(x 1, x +β, x 3 +α; y 1, y + x 3, y 3 + x 1 + x + x 3 ). We have that (X,B(T 6 ),µ µ µ µ µ µ, T 1, T ) is an affine nilsystem with two transformations, whereµis the Haar measure ont. Notice that T 1 T (x 1, x, x 3 ; y 1, y, y 3 )=T T 1 (x 1, x, x 3 ; y 1, y, y 3 ) = (x 1 +α, x + β, x 3 +α; y 1 + x 1, y + x 3, y 3 + x 1 + x + x 3 +α+β). We first claim that the system is minimal and ergodic. To see this, let (x 1, x, x 3 ; y 1, y, y 3 ) and (x 1, x, x 3 ; y 1, y, y 3 ) T6. It is not hard to see that (x 1, x ; x 3, y 1, y, y 3 ) belongs to the orbit closure of (x 1, x, x 3 ; y 1, y, y 3 ) under the transformation T 1. We also have that (x 1, x, x 3 ; y 1, y, y 3 ) is in the orbit closure of (x 1, x, x 3, y 1, y, y 3 ) under the transformation T (here we use the fact that for fixed x 1, the transformation (x, x 3, y, y 3 ) (x + β, x 3 +α, y + x 3, y 3 + x 1 + x + x 3 ) is minimal int 4 ). We conclude that (x 1, x, x 3, y 1, y, y 3 ) is in the orbit closure of (x 1, x, x 3 ; y 1, y, y 3 ) under T 1, T. Since since the points are arbitrary, the system is minimal and hence ergodic by Proposition 3.1. Let N N to be chosen later andλ [N] 3 be a three point free set. For (a, b, c) [N] 3, denote Q a,b,c = ( a N, a N + 1 ) ( b N N, b N + 1 ) ( c N N, c N + 1 ) T 3 N and let B= (a,b,c) Λ Q a,b,c, A=T 3 B. Then On the other hand, µ µ µ µ µ µ(a)= Λ 8N 3. µ µ µ µ µ µ(a T n 1 A T n A) = 1 B (y 1, y, y 3 )1 B (y 1, y, y 3 )1 B(y 1, y, y 3 )dµ µ(x 1, x, x 3 ; y 1, y, y 3 ), T 6 where ( ) ( ) ( ) n n n y 1 = y 1+nx 1 + α, y = y +nx + α, y 3 = y 3+n(x 1 +x +x 3 )+ (α+β).
10 10 SEBASTIÁN DONOSO AND WENBO SUN Suppose that the product of the functions inside the integral is nonzero. Then we may assume that (y 1, y, y 3 ) Q a,b,c, (y 1, y, y 3 ) Q a,b,c and (y 1, y, y 3 ) Q a,b,c for some (a, b, c), (a, b, c ) and (a, b, c ) that belong toλ. SinceΛis three point free, we have that a=a, b=b and c=c. This implies that nx 1 + ( n Therefore, ) α, nx + ( ) n α, y 3 + n(x 1 + x + x 3 )+ () n (α+β) ( 1 N, 1 N ). µ µ µ µ µ µ(a T n 1 A T n A) = 1 B (y 1, y, y 3 )1 B (y 1, y, y 3 )1 B(y 1, y, y 3 )dµ µ(x 1, x, x 3 ; y 1, y, y 3 ) T 6 = 1 N 3 T 3 1 B (y 1, y, y 3 )dµ(y 1 )dµ(y )dµ(y 3 )= 1 N 3 Λ 8N 3. We have thatµ µ µ µ µ µ(a T n 1 A T n Λ A)= 8N 6 if and only if (4.1) l log(8) log( Λ ) log(n) log(n). Λ l (8N 3 ) l =µ(a) l By Theorem.5, we can takeλof cardinality larger than N ǫ and thus the right hand side in (4.1) can be as close to 4 as we want. This finishes the proof. Proof of Theorem 1.4. Letα R\Q. Let X=T 3 with transformations and T 1 (x, y, z)=(x+α, y+ x, z) T (x, y, z)=(x+α, y, z+ x). It is an affine nilsystem with two transformations. We first claim that the system (X,B(T 3 ),µ µ µ, T 1, T ) is minimal and ergodic, whereµis the Haar measure ont. To see this, take (x 0, y 0, z 0 ) T 3 and note that the closure of the orbit of this point under the transformation T 1 ist T {z 0 }. Let (x, y, z) T 3 be an arbitrary point and notice that this point is contained in the orbit closure of (x 0, y, z 0 ) under the transformation T. So the closure of the orbit of (x 0, y 0, z 0 ) under T 1, T ist 3. We conclude that the system is minimal and thus ergodic by Proposition 3.1. It is easy to verify that [T 1, T ](x, y, z)=(x, y+α, z α) commutes with T 1 and T. So T 1 and T generate a -step nilpotent group.
11 QUANTITATIVE MULTIPLE RECURRENCE FOR TWO AND THREE TRANSFORMATIONS 11 Let N N to be chosen later andλ [N] be a corner-free set. For (a, b) [N], denote Q a,b = ( a N, a N + 1 ) ( b N N, b N + 1 ) T N and let B= (a,b) Λ Q a,b and A=T B. Then On the other hand, µ µ µ(a)= Λ 4N. µ µ µ(a T n 1 A T n A) ( ( ) n = 1 B (y, z)1 B y+nx+ α, z ) ( ( ) n 1 B y, z+nx+ α ) dµ(x)dµ(y)dµ(z). T 3 Suppose that the product of the functions inside the integral is nonzero. Write c=nx+ ( n ) α for convenience. Then we may assume that (y, z) Qa,b, (y+c, z) Q a,b and (y, z+c) Q a,b for some (a, b), (a, b) (a, b ) that belong toλ. Since (y+c) y=(z+c) z, by the construction of the Q a,b s, we must have that a a=b b. SinceΛis L-free, we have that a=a and b=b. This implies that c=nx+ ( ) n α ( 1 ). Therefore, N, 1 N µ µ µ(a T n 1 A T n A) ( ( ) n = 1 B (y, z)1 B y+nx+ α, z ) ( ( ) n 1 B y, z+nx+ α ) dµ(x)dµ(y)dµ(z) T B (y, z)dµ(y)dµ(z)= 1 Λ N T N 4N. We have thatµ µ µ(a T n 1 A T n Λ A)= 4N 3 only if (4.) l log(4) log( Λ ) log(n) log(n) Λ l (4N ) l =µ(a) l if and By Theorem., we can takeλof cardinality larger than N ǫ and thus the right hand side in (4.) can be arbitrarily large. This finishes the proof. For Theorem 1.3, we make use of the following theorem in [3] which gives a negative answer to Question 1.1 in the non-ergodic case. Theorem 4.1. Let (T,B(T ),µ µ, T) be a measure preserving system on T, whereµis the Lebesgue measure ontand T is the transformation (x, y) (x, y+ x). For everyl>0, there exists B B(T ) such that µ(b T n B T n B) µ(b) l
12 1 SEBASTIÁN DONOSO AND WENBO SUN for every n 0. Remark 4.. It is worth noting that the subset B is constructed with the help of Behrend Theorem s on subsets of integers with no arithmetic progressions of length 3 []. The system in Theorem 4.1 is not ergodic. The idea to prove Theorem 1.3 is to take an extension of the system in Theorem 4.1 and add a transformation to make it ergodic. Proof of Theorem 1.3. Letµbe the Haar measure ontand letα R\Q. Consider X=T T T and its Haar measureµ µ µ. Let T = T 1 and Since T 1 (x, y, z)=(x+α, y, z+y), T 3 (x, y, z)=(x, y+α, z+ x). T 1 T 3 (x, y, z)=t 3 T 1 (x, y, z)=(x+α, y+α, z+ x+y+α), T 1, T and T 3 commute. We leave its proof to the readers that the action generated by T 1, T, T 3 is minimal and hence ergodic in X=T T T by Proposition 3.1. By Theorem 4.1, for everyl>0, we can find a subset B T T such that µ µ(b T n B T n B) µ(b) l for all n 0. Now it suffices to consider the set A=T B T T T and notice that µ µ µ(a T n 1 A T n A T n 3 A) µ µ(b T n B T n B) µ µ(b) l =µ µ µ(a) l for every n 0. References [1] M. Ajtai and E. Szemerédi, Sets of lattice points that form no squares, Stud. Sci. Math. Hungar. 9 (1974), [] F. A. Behrend. On sets of integers which contain no three in arithmetic progression. Proc. Nat. Acad. Sci. 3 (1946), [3] V. Bergelson, B. Host and B. Kra, Multiple recurrence and nilsequences. With an appendix by Imre Ruzsa, Invent. Math. 160 (005), no., [4] Q. Chu, Multiple recurrence for two commuting transformations, Ergodic Theory Dynam. Systems 31 (011), no. 3, [5] Q. Chu and P. Zorin-Kranich, Lower bound in the Roth theorem for amenable groups, Ergodic Theory Dynam. Systems 35 (015), no. 6, [6] H. Furstenberg, Ergodic behavior of diagonal measures and a theorem of Szemerédi on arithmetic progressions, J. Analyse Math. 31 (1977),
13 QUANTITATIVE MULTIPLE RECURRENCE FOR TWO AND THREE TRANSFORMATIONS 13 [7] H. Furstenberg and Y. Katznelson, An ergodic Szemerédi theorem for commuting transformations, J. Analyse Math. 34 (1978), [8] A. Khintchine, Eine Verschärfung des Poincaréschen Wiederkehrsatzes. (German), Compositio Math. 1 (1935), [9] Pointwise convergence of ergodic averages for polynomial sequences of translations on a nilmanifold, Ergodic Theory Dynam. Systems 5 (005), no. 1, [10] W. Parry, Ergodic properties of affine transformations and flows on nilmanifolds, Amer. J. Math. 91 (1969) [11] R. Salem and D. C. Spencer, On sets of integers which contain no three terms in arithmetical progression, Proc. Nat. Acad. Sci. U. S. A. 8, (194) Centro de Modelamiento Matemático, CNRS-UMI 807, Universidad de Chile, Beauchef 851, Santiago, Chile. address:sdonosof@gmail.com Department of Mathematics, The Ohio State University, 31 West 18th Avenue, Columbus OH, , USA address:sun.1991@osu.edu
ERGODIC AVERAGES FOR INDEPENDENT POLYNOMIALS AND APPLICATIONS
ERGODIC AVERAGES FOR INDEPENDENT POLYNOMIALS AND APPLICATIONS NIKOS FRANTZIKINAKIS AND BRYNA KRA Abstract. Szemerédi s Theorem states that a set of integers with positive upper density contains arbitrarily
More informationRESEARCH STATEMENT WENBO SUN
RESEARCH STATEMENT WENBO SUN My research focus is on ergodic theory, especially on problems that are at the intersection of dynamics, combinatorics, harmonic analysis, and number theory. To be more precise,
More informationDept of Math., SCU+USTC
2015 s s Joint work with Xiaosheng Wu Dept of Math., SCU+USTC April, 2015 Outlineµ s 1 Background 2 A conjecture 3 Bohr 4 Main result 1. Background s Given a subset S = {s 1 < s 2 < } of natural numbers
More informationCONVERGENCE OF MULTIPLE ERGODIC AVERAGES FOR SOME COMMUTING TRANSFORMATIONS
CONVERGENCE OF MULTIPLE ERGODIC AVERAGES FOR SOME COMMUTING TRANSFORMATIONS NIKOS FRANTZIKINAKIS AND BRYNA KRA Abstract. We prove the L 2 convergence for the linear multiple ergodic averages of commuting
More informationFrom combinatorics to ergodic theory and back again
From combinatorics to ergodic theory and back again Bryna Kra Abstract. Multiple ergodic averages, such as the average of expressions like f 1(T n x) f 2(T 2n x)... f k (T kn x), were first studied in
More informationFrom combinatorics to ergodic theory and back again
From combinatorics to ergodic theory and back again Bryna Kra Abstract. Multiple ergodic averages, such as the average of expressions like f (T n x) f 2 (T 2n x)...f k (T kn x), were first studied in the
More informationBERNARD HOST AND BRYNA KRA
UIFORMITY SEMIORMS O l AD A IVERSE THEOREM SUMMARY OF RESULTS BERARD HOST AD BRYA KRA Abstract. For each integer k, we define seminorms on l (Z), analogous to the seminorms defined by the authors on bounded
More informationPOINCARÉ RECURRENCE AND NUMBER THEORY: THIRTY YEARS LATER
POINCARÉ RECURRENCE AND NUMBER THEORY: THIRTY YEARS LATER BRYNA KRA Hillel Furstenberg s 1981 article in the Bulletin gives an elegant introduction to the interplay between dynamics and number theory,
More informationOPTIMAL LOWER BOUNDS FOR MULTIPLE RECURRENCE
OPTIMAL LOWER BOUNDS FOR MULTIPLE RECURRENCE SEBASTIÁN DONOSO, ANH NGOC LE, JOEL MOREIRA, AND WENBO SUN Abstract. Let X, B, µ, T ) be an ergodic measure preserving system, A B and ɛ > 0. We study the largeness
More informationCONVERGENCE OF POLYNOMIAL ERGODIC AVERAGES
CONVERGENCE OF POLYNOMIAL ERGODIC AVERAGES BERNARD HOST AND BRYNA KRA Abstract. We prove the L 2 convergence for an ergodic average of a product of functions evaluated along polynomial times in a totally
More informationVARIATIONS ON TOPOLOGICAL RECURRENCE
VARIATIONS ON TOPOLOGICAL RECURRENCE BERNARD HOST, BRYNA KRA, AND ALEJANDRO MAASS Abstract. Recurrence properties of systems and associated sets of integers that suffice for recurrence are classical objects
More informationErgodic methods in additive combinatorics
Ergodic methods in additive combinatorics Bryna Kra Abstract. Shortly after Szemerédi s proof that a set of positive upper density contains arbitrarily long arithmetic progressions, Furstenberg gave a
More informationCHARACTERISTIC POLYNOMIAL PATTERNS IN DIFFERENCE SETS OF MATRICES
CHARACTERISTIC POLYNOMIAL PATTERNS IN DIFFERENCE SETS OF MATRICES MICHAEL BJÖRKLUND AND ALEXANDER FISH Abstract. We show that for every subset E of positive density in the set of integer squarematrices
More informationANALYSIS OF TWO STEP NILSEQUENCES
ANALYSIS OF TWO STEP NILSEQUENCES BERNARD HOST AND BRYNA KRA Abstract. Nilsequences arose in the study of the multiple ergodic averages associated to Furstenberg s proof of Szemerédi s Theorem and have
More informationAVERAGING ALONG CUBES
AVERAGING ALONG CUBES BERNARD HOST AND BRYNA KRA Abstract. We study the convergence of an average of eight functions, where the average is taken along cubes whose sizes tend to + and show that this reduces
More informationNonconventional ergodic averages and nilmanifolds
Annals of Mathematics, 161 (2005), 397 488 Nonconventional ergodic averages and nilmanifolds By Bernard Host and Bryna Kra Abstract We study the L 2 -convergence of two types of ergodic averages. The first
More informationDYNAMICAL CUBES AND A CRITERIA FOR SYSTEMS HAVING PRODUCT EXTENSIONS
DYNAMICAL CUBES AND A CRITERIA FOR SYSTEMS HAVING PRODUCT EXTENSIONS SEBASTIÁN DONOSO AND WENBO SUN Abstract. For minimal Z 2 -topological dynamical systems, we introduce a cube structure and a variation
More informationarxiv: v1 [math.ds] 13 Jul 2015
CHARACTERISTIC POLYNOMIAL PATTERNS IN DIFFERENCE SETS OF MATRICES MICHAEL BJÖRKLUND AND ALEXANDER FISH arxiv:1507.03380v1 [math.ds] 13 Jul 2015 Abstract. We show that for every subset E of positive density
More informationMargulis Superrigidity I & II
Margulis Superrigidity I & II Alastair Litterick 1,2 and Yuri Santos Rego 1 Universität Bielefeld 1 and Ruhr-Universität Bochum 2 Block seminar on arithmetic groups and rigidity Universität Bielefeld 22nd
More informationNilpotency and the number of word maps of a finite group
Nilpotency and the number of word maps of a finite group arxiv:1704.08214v1 [math.gr] 26 Apr 2017 Alexander Bors September 20, 2018 Abstract For a finite group G and a non-negative integer d, denote by
More informationMORDELL EXCEPTIONAL LOCUS FOR SUBVARIETIES OF THE ADDITIVE GROUP
MORDELL EXCEPTIONAL LOCUS FOR SUBVARIETIES OF THE ADDITIVE GROUP DRAGOS GHIOCA Abstract. We define the Mordell exceptional locus Z(V ) for affine varieties V G g a with respect to the action of a product
More informationRationally almost periodic sequences, polynomial multiple recurrence and symbolic dynamics
Ergod. Th. & Dynam. Sys. (First published online 208), page of 52 doi:0.07/etds.207.30 c Cambridge University Press, 208 Provisional final page numbers to be inserted when paper edition is published Rationally
More informationErgodic theorem involving additive and multiplicative groups of a field and
Ergod. Th. & Dynam. Sys. (207), 37, 673 692 doi:0.07/etds.205.68 c Cambridge University Press, 205 Ergodic theorem involving additive and multiplicative groups of a field and {x + y, x y} patterns VITALY
More informationSYNCHRONOUS RECURRENCE. Contents
SYNCHRONOUS RECURRENCE KAMEL HADDAD, WILLIAM OTT, AND RONNIE PAVLOV Abstract. Auslander and Furstenberg asked the following question in [1]: If (x, y) is recurrent for all uniformly recurrent points y,
More informationOn the convergence of spherical multiergodic averages for Markov action groups
On the convergence of spherical multiergodic averages for Markov action groups A.M. Mesón and F. Vericat Abstract. In this note we study the norm convergence of multiple ergodic spherical averages from
More informationThe structure of unitary actions of finitely generated nilpotent groups
The structure of unitary actions of finitely generated nilpotent groups A. Leibman Department of Mathematics The Ohio State University Columbus, OH 4320, USA e-mail: leibman@math.ohio-state.edu Abstract
More informationA lattice point problem and additive number theory
A lattice point problem and additive number theory Noga Alon and Moshe Dubiner Department of Mathematics Raymond and Beverly Sackler Faculty of Exact Sciences Tel Aviv University, Tel Aviv, Israel Abstract
More informationRESEARCH ANNOUNCEMENTS
RESEARCH ANNOUNCEMENTS BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 24, Number 2, April 1991 DISTRIBUTION RIGIDITY FOR UNIPOTENT ACTIONS ON HOMOGENEOUS SPACES MARINA RATNER In this
More informationRoth s Theorem on 3-term Arithmetic Progressions
Roth s Theorem on 3-term Arithmetic Progressions Mustazee Rahman 1 Introduction This article is a discussion about the proof of a classical theorem of Roth s regarding the existence of three term arithmetic
More informationarxiv: v4 [math.ds] 15 Jun 2017
SPHERICAL RECURRENCE AND LOCALLY ISOMETRIC EMBEDDINGS OF TREES INTO POSITIVE DENSITY SUBSETS OF Z d KAMIL BULINSKI School of Mathematics and Statistics F07, University of Sydney, NSW 006, Australia arxiv:1606.07596v4
More informationA SUM-PRODUCT ESTIMATE IN ALGEBRAIC DIVISION ALGEBRAS OVER R. Department of Mathematics University of California Riverside, CA
A SUM-PRODUCT ESTIMATE IN ALGEBRAIC DIVISION ALGEBRAS OVER R 1 Mei-Chu Chang Department of Mathematics University of California Riverside, CA 951 mcc@math.ucr.edu Let A be a finite subset of an integral
More informationPolynomials of small degree evaluated on matrices
Polynomials of small degree evaluated on matrices Zachary Mesyan January 1, 2013 Abstract A celebrated theorem of Shoda states that over any field K (of characteristic 0), every matrix with trace 0 can
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #24 12/03/2013
18.78 Introduction to Arithmetic Geometry Fall 013 Lecture #4 1/03/013 4.1 Isogenies of elliptic curves Definition 4.1. Let E 1 /k and E /k be elliptic curves with distinguished rational points O 1 and
More informationLecture 1. (i,j) N 2 kx i y j, and this makes k[x, y]
Lecture 1 1. Polynomial Rings, Gröbner Bases Definition 1.1. Let R be a ring, G an abelian semigroup, and R = i G R i a direct sum decomposition of abelian groups. R is graded (G-graded) if R i R j R i+j
More informationl(y j ) = 0 for all y j (1)
Problem 1. The closed linear span of a subset {y j } of a normed vector space is defined as the intersection of all closed subspaces containing all y j and thus the smallest such subspace. 1 Show that
More informationMath 210C. The representation ring
Math 210C. The representation ring 1. Introduction Let G be a nontrivial connected compact Lie group that is semisimple and simply connected (e.g., SU(n) for n 2, Sp(n) for n 1, or Spin(n) for n 3). Let
More informationMATH 423 Linear Algebra II Lecture 3: Subspaces of vector spaces. Review of complex numbers. Vector space over a field.
MATH 423 Linear Algebra II Lecture 3: Subspaces of vector spaces. Review of complex numbers. Vector space over a field. Vector space A vector space is a set V equipped with two operations, addition V V
More informationIntroduction to Group Theory
Chapter 10 Introduction to Group Theory Since symmetries described by groups play such an important role in modern physics, we will take a little time to introduce the basic structure (as seen by a physicist)
More informationarxiv: v1 [math.ds] 9 May 2016
Distribution of orbits of unipotent groups on S-arithmetic homogeneous spaces Keivan Mallahi-Karai April 9, 208 arxiv:605.02436v [math.ds] 9 May 206 Abstract We will prove an S-arithmetic version of a
More informationarxiv: v1 [math.co] 10 Jan 2019
THE LARGEST ()-SUM-FREE SETS IN COMPACT ABELIAN GROUPS arxiv:90.03233v [math.co] 0 Jan 209 NOAH KRAVITZ Abstract. A subset A of a finite abelian group is called ()-sum-free if ka la =. In thie paper, we
More informationarxiv:math/ v1 [math.rt] 1 Jul 1996
SUPERRIGID SUBGROUPS OF SOLVABLE LIE GROUPS DAVE WITTE arxiv:math/9607221v1 [math.rt] 1 Jul 1996 Abstract. Let Γ be a discrete subgroup of a simply connected, solvable Lie group G, such that Ad G Γ has
More informationLINEAR EQUATIONS WITH UNKNOWNS FROM A MULTIPLICATIVE GROUP IN A FUNCTION FIELD. To Professor Wolfgang Schmidt on his 75th birthday
LINEAR EQUATIONS WITH UNKNOWNS FROM A MULTIPLICATIVE GROUP IN A FUNCTION FIELD JAN-HENDRIK EVERTSE AND UMBERTO ZANNIER To Professor Wolfgang Schmidt on his 75th birthday 1. Introduction Let K be a field
More informationPolynomialExponential Equations in Two Variables
journal of number theory 62, 428438 (1997) article no. NT972058 PolynomialExponential Equations in Two Variables Scott D. Ahlgren* Department of Mathematics, University of Colorado, Boulder, Campus Box
More informationECEN 5682 Theory and Practice of Error Control Codes
ECEN 5682 Theory and Practice of Error Control Codes Introduction to Algebra University of Colorado Spring 2007 Motivation and For convolutional codes it was convenient to express the datawords and the
More informationHow many units can a commutative ring have?
How many units can a commutative ring have? Sunil K. Chebolu and Keir Locridge Abstract. László Fuchs posed the following problem in 960, which remains open: classify the abelian groups occurring as the
More informationThe dichotomy between structure and randomness. International Congress of Mathematicians, Aug Terence Tao (UCLA)
The dichotomy between structure and randomness International Congress of Mathematicians, Aug 23 2006 Terence Tao (UCLA) 1 A basic problem that occurs in many areas of analysis, combinatorics, PDE, and
More informationALGEBRAIC GROUPS J. WARNER
ALGEBRAIC GROUPS J. WARNER Let k be an algebraically closed field. varieties unless otherwise stated. 1. Definitions and Examples For simplicity we will work strictly with affine Definition 1.1. An algebraic
More informationMULTIPLE RECURRENCE AND CONVERGENCE FOR CERTAIN AVERAGES ALONG SHIFTED PRIMES
MULTIPLE RECURRECE AD COVERGECE FOR CERTAI AVERAGES ALOG SHIFTED PRIMES WEBO SU Abstract. We show that any subset A with positive upper Banach density contains the pattern {m, m + [nα],..., m + k[nα]},
More informationManfred Einsiedler Thomas Ward. Ergodic Theory. with a view towards Number Theory. ^ Springer
Manfred Einsiedler Thomas Ward Ergodic Theory with a view towards Number Theory ^ Springer 1 Motivation 1 1.1 Examples of Ergodic Behavior 1 1.2 Equidistribution for Polynomials 3 1.3 Szemeredi's Theorem
More informationQUIVERS AND LATTICES.
QUIVERS AND LATTICES. KEVIN MCGERTY We will discuss two classification results in quite different areas which turn out to have the same answer. This note is an slightly expanded version of the talk given
More informationSolutions to odd-numbered exercises Peter J. Cameron, Introduction to Algebra, Chapter 3
Solutions to odd-numbered exercises Peter J. Cameron, Introduction to Algebra, Chapter 3 3. (a) Yes; (b) No; (c) No; (d) No; (e) Yes; (f) Yes; (g) Yes; (h) No; (i) Yes. Comments: (a) is the additive group
More information#A63 INTEGERS 17 (2017) CONCERNING PARTITION REGULAR MATRICES
#A63 INTEGERS 17 (2017) CONCERNING PARTITION REGULAR MATRICES Sourav Kanti Patra 1 Department of Mathematics, Ramakrishna Mission Vidyamandira, Belur Math, Howrah, West Bengal, India souravkantipatra@gmail.com
More informationOn groups of diffeomorphisms of the interval with finitely many fixed points I. Azer Akhmedov
On groups of diffeomorphisms of the interval with finitely many fixed points I Azer Akhmedov Abstract: We strengthen the results of [1], consequently, we improve the claims of [2] obtaining the best possible
More informationGroups of Prime Power Order with Derived Subgroup of Prime Order
Journal of Algebra 219, 625 657 (1999) Article ID jabr.1998.7909, available online at http://www.idealibrary.com on Groups of Prime Power Order with Derived Subgroup of Prime Order Simon R. Blackburn*
More informationSOLVABLE GROUPS OF EXPONENTIAL GROWTH AND HNN EXTENSIONS. Roger C. Alperin
SOLVABLE GROUPS OF EXPONENTIAL GROWTH AND HNN EXTENSIONS Roger C. Alperin An extraordinary theorem of Gromov, [Gv], characterizes the finitely generated groups of polynomial growth; a group has polynomial
More informationMath 203A - Solution Set 1
Math 203A - Solution Set 1 Problem 1. Show that the Zariski topology on A 2 is not the product of the Zariski topologies on A 1 A 1. Answer: Clearly, the diagonal Z = {(x, y) : x y = 0} A 2 is closed in
More informationarxiv: v3 [math.nt] 14 Feb 2018
THE LOGARITHMIC SARNAK CONJECTURE FOR ERGODIC WEIGHTS NIKOS FRANTZIKINAKIS AND BERNARD HOST arxiv:1708.00677v3 [math.nt] 14 Feb 2018 Abstract. The Möbius disjointness conjecture of Sarnak states that the
More information0 Sets and Induction. Sets
0 Sets and Induction Sets A set is an unordered collection of objects, called elements or members of the set. A set is said to contain its elements. We write a A to denote that a is an element of the set
More informationErgodic Theory and Topological Groups
Ergodic Theory and Topological Groups Christopher White November 15, 2012 Throughout this talk (G, B, µ) will denote a measure space. We call the space a probability space if µ(g) = 1. We will also assume
More informationarxiv: v1 [math.co] 3 Nov 2014
SPARSE MATRICES DESCRIBING ITERATIONS OF INTEGER-VALUED FUNCTIONS BERND C. KELLNER arxiv:1411.0590v1 [math.co] 3 Nov 014 Abstract. We consider iterations of integer-valued functions φ, which have no fixed
More informationOn combinatorial properties of nil Bohr sets of integers and related problems
On combinatorial properties of nil Bohr sets of integers and related problems Jakub Konieczny St Johns s College University of Oxford A thesis submitted for the degree of Doctor of Philosophy Abstract
More informationRudiments of Ergodic Theory
Rudiments of Ergodic Theory Zefeng Chen September 24, 203 Abstract In this note we intend to present basic ergodic theory. We begin with the notion of a measure preserving transformation. We then define
More informationLeapfrog Constructions: From Continuant Polynomials to Permanents of Matrices
Leapfrog Constructions: From Continuant Polynomials to Permanents of Matrices Alberto Facchini Dipartimento di Matematica Università di Padova Padova, Italy facchini@mathunipdit André Leroy Faculté Jean
More informationSzemerédi s Theorem via Ergodic Theory
Szemerédi s Theorem via Ergodic Theory Yufei Zhao April 20, 20 Abstract We provide an expository account of Furstenberg s ergodic theoretic proof of Szemerédi s theorem, which states that every subset
More informationExponential triples. Alessandro Sisto. Mathematical Institute, St Giles, Oxford OX1 3LB, United Kingdom
Exponential triples Alessandro Sisto Mathematical Institute, 24-29 St Giles, Oxford OX1 3LB, United Kingdom sisto@maths.ox.ac.uk Submitted: Mar 6, 2011; Accepted: Jul 6, 2011; Published: Jul 15, 2011 Mathematics
More informationIdempotent Ultrafilters, Multiple Weak Mixing and Szemerédi s Theorem for Generalized Polynomials
Idempotent Ultrafilters, Multiple Weak Mixing and Szemerédi s Theorem for Generalized Polynomials V. Bergelson and R. McCutcheon It is possible to formulate the polynomial Szemerédi theorem as follows:
More informationProblem Solving in Math (Math 43900) Fall 2013
Problem Solving in Math (Math 43900) Fall 203 Week six (October ) problems recurrences Instructor: David Galvin Definition of a recurrence relation We met recurrences in the induction hand-out. Sometimes
More informationarxiv: v2 [math.ds] 9 Feb 2018
Rationally almost periodic sequences, polynomial multiple recurrence and symbolic dynamics V. Bergelson J. Kułaga-Przymus M. Lemańczyk F. K. Richter arxiv:6.08392v2 [math.ds] 9 Feb 208 Abstract A set R
More informationMath 249B. Geometric Bruhat decomposition
Math 249B. Geometric Bruhat decomposition 1. Introduction Let (G, T ) be a split connected reductive group over a field k, and Φ = Φ(G, T ). Fix a positive system of roots Φ Φ, and let B be the unique
More information* 8 Groups, with Appendix containing Rings and Fields.
* 8 Groups, with Appendix containing Rings and Fields Binary Operations Definition We say that is a binary operation on a set S if, and only if, a, b, a b S Implicit in this definition is the idea that
More informationFree Subgroups of the Fundamental Group of the Hawaiian Earring
Journal of Algebra 219, 598 605 (1999) Article ID jabr.1999.7912, available online at http://www.idealibrary.com on Free Subgroups of the Fundamental Group of the Hawaiian Earring Katsuya Eda School of
More informationTheorem 5.3. Let E/F, E = F (u), be a simple field extension. Then u is algebraic if and only if E/F is finite. In this case, [E : F ] = deg f u.
5. Fields 5.1. Field extensions. Let F E be a subfield of the field E. We also describe this situation by saying that E is an extension field of F, and we write E/F to express this fact. If E/F is a field
More informationA Generalization of Wilson s Theorem
A Generalization of Wilson s Theorem R. Andrew Ohana June 3, 2009 Contents 1 Introduction 2 2 Background Algebra 2 2.1 Groups................................. 2 2.2 Rings.................................
More informationSets of large values of correlation functions for polynomial cubic configurations
Sets of large values of correlation functions for polynomial cubic configurations V. Bergelson and A. Leibman April 8, 2016 Abstract We prove that for any set E Z with upper Banach density d (E) > 0, the
More informationDIVISIBLE MULTIPLICATIVE GROUPS OF FIELDS
DIVISIBLE MULTIPLICATIVE GROUPS OF FIELDS GREG OMAN Abstract. Some time ago, Laszlo Fuchs asked the following question: which abelian groups can be realized as the multiplicative group of (nonzero elements
More informationarxiv: v1 [math.co] 13 Sep 2018
SIDON SETS AND 2-CAPS IN F n 3 YIXUAN HUANG, MICHAEL TAIT, AND ROBERT WON arxiv:1809.05117v1 [math.co] 13 Sep 2018 Abstract. For each natural number d, we introduce the concept of a d-cap in F n 3. A subset
More informationVitaly Bergelson and Tomasz Downarowicz May 22, Introduction Let (X, B, µ, T ) be an invertible ergodic probability measure preserving system.
LARGE SETS OF INTEGERS AND HIERARCHY OF MIXING PROPERTIES OF MEASURE-PRESERVING SYSTEMS Vitaly Bergelson and Tomasz Downarowicz May 22, 2007 Abstract. We consider a hierarchy of notions of largeness for
More informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
More informationMeasurable functions are approximately nice, even if look terrible.
Tel Aviv University, 2015 Functions of real variables 74 7 Approximation 7a A terrible integrable function........... 74 7b Approximation of sets................ 76 7c Approximation of functions............
More informationIrreducible subgroups of algebraic groups
Irreducible subgroups of algebraic groups Martin W. Liebeck Department of Mathematics Imperial College London SW7 2BZ England Donna M. Testerman Department of Mathematics University of Lausanne Switzerland
More informationEXERCISE SET 5.1. = (kx + kx + k, ky + ky + k ) = (kx + kx + 1, ky + ky + 1) = ((k + )x + 1, (k + )y + 1)
EXERCISE SET 5. 6. The pair (, 2) is in the set but the pair ( )(, 2) = (, 2) is not because the first component is negative; hence Axiom 6 fails. Axiom 5 also fails. 8. Axioms, 2, 3, 6, 9, and are easily
More informationDefinitions, Theorems and Exercises. Abstract Algebra Math 332. Ethan D. Bloch
Definitions, Theorems and Exercises Abstract Algebra Math 332 Ethan D. Bloch December 26, 2013 ii Contents 1 Binary Operations 3 1.1 Binary Operations............................... 4 1.2 Isomorphic Binary
More informationMath 203A - Solution Set 1
Math 203A - Solution Set 1 Problem 1. Show that the Zariski topology on A 2 is not the product of the Zariski topologies on A 1 A 1. Answer: Clearly, the diagonal Z = {(x, y) : x y = 0} A 2 is closed in
More informationChapter 3. Vector spaces
Chapter 3. Vector spaces Lecture notes for MA1111 P. Karageorgis pete@maths.tcd.ie 1/22 Linear combinations Suppose that v 1,v 2,...,v n and v are vectors in R m. Definition 3.1 Linear combination We say
More informationTopology. Xiaolong Han. Department of Mathematics, California State University, Northridge, CA 91330, USA address:
Topology Xiaolong Han Department of Mathematics, California State University, Northridge, CA 91330, USA E-mail address: Xiaolong.Han@csun.edu Remark. You are entitled to a reward of 1 point toward a homework
More informationMath 249B. Nilpotence of connected solvable groups
Math 249B. Nilpotence of connected solvable groups 1. Motivation and examples In abstract group theory, the descending central series {C i (G)} of a group G is defined recursively by C 0 (G) = G and C
More informationON RIGIDITY OF ALGEBRAIC DYNAMICAL SYSTEMS
ON RIGIDITY OF ALGEBRAIC DYNAMICAL SYSTEMS ALEX CLARK AND ROBBERT FOKKINK Abstract. We study topological rigidity of algebraic dynamical systems. In the first part of this paper we give an algebraic condition
More informationTIGHT CLOSURE IN NON EQUIDIMENSIONAL RINGS ANURAG K. SINGH
TIGHT CLOSURE IN NON EQUIDIMENSIONAL RINGS ANURAG K. SINGH 1. Introduction Throughout our discussion, all rings are commutative, Noetherian and have an identity element. The notion of the tight closure
More informationLinear and Bilinear Algebra (2WF04) Jan Draisma
Linear and Bilinear Algebra (2WF04) Jan Draisma CHAPTER 3 The minimal polynomial and nilpotent maps 3.1. Minimal polynomial Throughout this chapter, V is a finite-dimensional vector space of dimension
More informationLecture 6: Finite Fields
CCS Discrete Math I Professor: Padraic Bartlett Lecture 6: Finite Fields Week 6 UCSB 2014 It ain t what they call you, it s what you answer to. W. C. Fields 1 Fields In the next two weeks, we re going
More informationOn the solvability of groups with four class sizes.
On the solvability of groups with four class sizes. Antonio Beltrán Departamento de Matemáticas, Universidad Jaume I, 12071 Castellón, Spain e-mail: abeltran@mat.uji.es and María José Felipe Instituto
More informationSolutions to odd-numbered exercises Peter J. Cameron, Introduction to Algebra, Chapter 2
Solutions to odd-numbered exercises Peter J Cameron, Introduction to Algebra, Chapter 1 The answers are a No; b No; c Yes; d Yes; e No; f Yes; g Yes; h No; i Yes; j No a No: The inverse law for addition
More informationLarge Sets in Boolean and Non-Boolean Groups and Topology
axioms Article Large Sets in Boolean and Non-Boolean Groups and Topology Ol ga V. Sipacheva ID Department of General Topology and Geometry, Lomonosov Moscow State University, Leninskie Gory 1, Moscow 119991,
More informationAnalytic Number Theory Solutions
Analytic Number Theory Solutions Sean Li Cornell University sxl6@cornell.edu Jan. 03 Introduction This document is a work-in-progress solution manual for Tom Apostol s Introduction to Analytic Number Theory.
More informationCover Page. The handle holds various files of this Leiden University dissertation
Cover Page The handle http://hdl.handle.net/1887/57796 holds various files of this Leiden University dissertation Author: Mirandola, Diego Title: On products of linear error correcting codes Date: 2017-12-06
More informationCommuting nilpotent matrices and pairs of partitions
Commuting nilpotent matrices and pairs of partitions Roberta Basili Algebraic Combinatorics Meets Inverse Systems Montréal, January 19-21, 2007 We will explain some results on commuting n n matrices and
More informationarxiv: v1 [math.nt] 8 Jan 2014
A NOTE ON p-adic VALUATIONS OF THE SCHENKER SUMS PIOTR MISKA arxiv:1401.1717v1 [math.nt] 8 Jan 2014 Abstract. A prime number p is called a Schenker prime if there exists such n N + that p nandp a n, wherea
More informationGALOIS GROUPS OF CUBICS AND QUARTICS (NOT IN CHARACTERISTIC 2)
GALOIS GROUPS OF CUBICS AND QUARTICS (NOT IN CHARACTERISTIC 2) KEITH CONRAD We will describe a procedure for figuring out the Galois groups of separable irreducible polynomials in degrees 3 and 4 over
More informationRoth s Theorem on Arithmetic Progressions
September 25, 2014 The Theorema of Szemerédi and Roth For Λ N the (upper asymptotic) density of Λ is the number σ(λ) := lim sup N Λ [1, N] N [0, 1] The Theorema of Szemerédi and Roth For Λ N the (upper
More information