On the absolute continuity of Gaussian measures on locally compact groups
|
|
- Arleen Dixon
- 5 years ago
- Views:
Transcription
1 On the absolute continuity of Gaussian measures on locally compact groups A. Bendikov Department of mathematics Cornell University L. Saloff-Coste Department of mathematics Cornell University August 6, 2001 Abstract This note discusses the topological necessary and sufficient conditions for a locally compact connected group to admit a Gaussian measure that is absolutely continuous with respect to Haar measure. 1 Introduction The aim of this note is to discuss, extend and complement a theorem due to H. Heyer and E. Siebert concerning the existence of Gaussian measures that are absolutely continuous with respect to Haar measure. Let G be a locally compact group equipped with a fixed (left-invariant) Haar measure m. Definition 1.1 A weakly continuous convolution semigroup (µ t ) t>0 of probability measures on G is called Gaussian if 1 lim t 0 t µ t(g \ V ) = 0 for every open neighborhood V of the neutral element e G. Definition 1.2 A probability measure µ on G is called Gaussian if there exists a Gaussian convolution semigroup (µ t ) t>0 such that µ = µ 1. This definition of Gaussian measures is due to Courrège [6]. On locally compact Abelian groups, it coincides with other classical definitions based on duality theory. See also [10, 14]. Research partially supported by NSF grant DMS
2 Let G 0 denote the connected component of the identity in G. Let (µ t ) t>0 be a Gaussian convolution semigroup on G. Then, for each t, µ t is Gaussian and supported on G 0. See [10, 6.2.3, 6.2.4]. Thus, without loss of generality, we will assume in the sequel that G is connected. Our aim is to discuss the following basic theorem in the theory of Gaussian measures on locally compact connected groups. Theorem 1.3 For any locally compact connected group G the following two properties are equivalent: 1. G carries a Gaussian measure which is absolutely continuous w.r.t. Haar measure. 2. G is locally connected and has a countable basis for its topology. Moreover, if G is not locally connected, then any Gaussian measure is singular w.r.t. Haar measure. More precisely, there exists a proper dense Borel measurable subgroup M of G such that any Gaussian measure µ on G satisfies µ(m) = 1. Remark 1.4 Implicit in the last statement of this theorem is the well-known fact that in a connected locally compact group any Borel measurable subgroup is either equal to G or has Haar measure zero. In the case of compact groups (more generally, groups of the type R n K with K compact) this theorem was proved by H. Heyer and E. Siebert, see [10, ,6.412]. The last statement for Abelian groups having a countable basis for their topology was proved independently by G. Feldman [7]. Theorem 1.3 leads to the following open question. Question 1.5 Suppose that G is a locally compact (or even compact) connected group that does not admit a countable basis for its topology. Is any Gaussain measure on G singular w.r.t Haar measure? We note the following simple examples for which the answer is positive. Example 1.6 Let G = T ω where T is the circle R/Z and ω is uncountable. Let µ be a Gaussian product measure on G, µ = α ω µ α where each µ α is a Gaussian measure on T α = T. As the normalized Haar measure on G is the product of the normalized Haar measures on the T α s, a simple application of Kakutani s dichotomy theorem implies that µ is singular w.r.t Haar measure. Note that Question 1.5 is open for general Gaussian measure on T ω. Example 1.7 Let G be a compact connected semisimple group (i.e., G = G, see [11]). Then there exists a family of simple connected simply connected compact Lie groups {G α, α ω} and a closed central subgroup H of Σ = α G α such that G = Σ/H. As the center of G α is 2
3 a finite group Z α, H α Z α = Z. Let µ be a Gaussian measure on G. Assume that µ is central, that is, µ(gug 1 ) = µ(u) for any open set U and g G. Let G α = G α /Z α. G α is a compact connected simple Lie group with trivial center and set Σ = α G α = Σ/Z. Obviously, G is a quotient of G, in fact G = G/(Z/H), and µ projects to a central Gaussian measure µ on G. Moreover, because µ is central and G = α G α, it follows that µ is a product measure µ = α µ α where each µ α is a central Gaussian measure on the Lie group G α. See, e.g., [2]. Now, if G does not have a countable basis for its topology, ω must be uncountable. Then Kakutani s dichotomy theorem shows that µ, hence µ, must be singular with respect to Haar measure. That is, any central Gaussian measure on any connected compact semisimple group without countable basis for its topology must be singular w.r.t Haar measure. 2 Existence of absolutely continuous Gaussian measures The goal of this section is to give a proof of the part 2 1 in Theorem 1.3. That is, a proof of the existence of an absolutely continuous Gaussian measure on any connected, locally connected, locally compact group G having a countable basis for its topology. For compact groups this was proved by Siebert [13]. See also [10]. To treat the non-compact case we use a recent result of Berestovskii and Plaut [4, Proposition 2]. The Gleason-Iwasawa- Yamabe theory of locally compact groups (see [8, Theorem A]) asserts that a connected locally compact group splits locally as a product of a local Lie group and a compact group. We learned the following result from Berestovskii and Plaut [4]. See also [12]. Theorem 2.1 Given a locally compact connected group G, there exist a connected simply connected Lie group L, a compact group K, and a surjective homorphism π : L K G which is a local isomorphism. Moreover, if G is locally connected, then K is connected and locally connected and π is a covering map. Remark 2.2 Note that the kernel of π above is a discrete subgroup of L K. Proof of Theorem 1.3, 2 1 Let G be a connected locally connected, locally compact group having a countable basis for its topology. Let π : L K G be the covering given by Theorem 2.1. On the Lie group L, an absolutely continuous Gaussian semigroup (µ L t ) t>0 having a smooth positive density is easily obtained by considering the heat diffusion semigroup H t = e t associated with some fixed left-invariant Laplace-Beltrami operator on L. As H t commutes with left translations, we can write H t f = f µ t and set µ L = µ L 1. This is a Gaussian measure on L which is absolutely continuous and has a smooth positive density w.r.t. Haar measure. See, e.g., [14, 16]. As K is compact connected and locally connected, a result of 3
4 Siebert [13] shows that K carries a Gaussian measure µ K which is absolutely continuous and has a continuous density w.r.t. Haar measure. Thus µ = µ H µ K is a Gaussian measure on L K which is absolutely continuous w.r.t. Haar measure and so is its projection µ = π(µ) on G since π is a covering. See Lemma 3.3 below. Remark 2.3 In fact, it is possible to choose µ K so that µ is absolutely continuous and has a continuous density. See [1, Theorem 5.3]. The references [1, 2, 3] contain further results in this direction. 3 Proof of Theorem 1.3, 1 2 We will need the following lifting result. Theorem 3.1 Let G be a locally compact group. Let H be a closed totally disconnected normal subgroup of G and let π : G G/H be the canonical projection. Any Gaussian measure ν on G/H can be lifted uniquely to a Gaussian measure µ on G such that ν = π(µ). In the case where H is discrete, this is proved in [10, ]. For the general case, we refer to [2, 3]. It is possible that G/H is connected even if G is not connected. In any case, µ and ν are supported by the connected component of G/H and G respectively. Example 3.2 Let G be a connected locally compact group and let π : L K G be as in Theorem 2.1. By Remark 2.2, the kernel of π is discrete. Hence, any Gaussian measure µ on G lifts uniquely to a Gaussian measure µ on G = L K such that π(µ) = µ. We will need the following lemma which refer to this setting. Lemma 3.3 The measure µ is absolutely continuous w.r.t. Haar measure if and only if µ is absolutely continuous w.r.t. Haar measure. The lemma holds whenever π : G G has discrete kernel. The result may fail if the kernel is totally disconnected but not discrete. Proof Denote by m, m the Haar measures on G and G respectively. First we note that it is of course not true that π(m) = m (unless the kernel is finite). However, by Fubini theorem, m(a) = 0 implies m(π 1 (A)) = 0. Moreover, for any set B G, m(b) = 0 implies m(π(b)) = 0 (this last assertion use the discreteness of the kernel). Indeed, it sufficesses to show that m(π(d)) = 0 for any compact set D contained in B. We can cover D by a finite union of translates of any fixed neighborhood of the neutral element in G. By hypothesis, we can pick a neighborhood U such that π U : U π(u) = U is an isomorphism. Moreover, for any Borel subset V of U, m(v ) = m(π(v )). This proves the claim. To finish the proof of the lemma, note that for any Borel subset B of G, µ(b) µ(π(b)) and for any Borel subset A of G, µ(a) = µ(π 1 (A)). 4
5 3.1 Existence of a countable basis We want to show that the existence of an absolutely continuous Gaussian measure µ on a connected locally compact group G implies that G has a countable basis for its topology. When G is connected and compact, this is a consequence of the special form of the Fourier transform of Gaussian measures and the Riemann-Lebesgue Lemma for compact groups, See [10, ]. We give a proof of the general case assuming that we know that the existence of a Gaussian measure that is absolutely continuous w.r.t Haar measure implies that G is locally connected, a fact that will be proved in next section. Accordingly, it suffices to consider the case where G is locally connected. Thus let G be a locally compact connected locally connected group. Let π : L K G be the covering given by Theorem 2.1. In the present case, K is compact, connected and locally connected. Let µ be the (unique) Gaussian measure on L K such that π(µ) = µ. By Lemma 3.3 and the hypothesis that µ is absolutely continuous, µ is absolutely continuous. By Fubini Theorem, it follows that its projection µ K on K is absolutely continuous. Since K is connected and compact and µ K is a Gaussian measure, this implies that K must have a countable basis for its topology. Hence so do L K and its quotient G = π(l K). 3.2 Local connectedness The part of 1 implies 2 relative to local connectedness and the last statement in Theorem 1.3 are contained in the following result. Theorem 3.4 Let G be a locally compact, connected and not locally connected group. Then any Gaussian measure on G is singular w.r.t. Haar measure. More precisely, there exists a dense proper Borel measurable subgroup M of G such that µ(m) = 1 for any Gaussian measure µ on G. This Theorem is due to Heyer [10, ]. For the sake of completness we comment on the proof. Definition 3.5 A connected locally compact group G is said to be finite dimensional if there exists a totally disconnected compact normal subgroup H G such that G/H is a Lie group. The following non-trivial example illustrate this definition. Example 3.6 Let p be a prime. The p-adic solenoid S p can be defined as follows. Let (T k ) 0 be a sequence of circle groups, T k = {z C : z = 1}. For integers l k, let πk,l : T k T l be given by π k,l (z) = z pk l. The sequence (T k, π k,l ) l k is a projective sequence of compact groups and the solenoid S p is the projective limit of this projective sequence. That is, S p is the 5
6 subgroup of 0 T k of those sequences z = (z k ) 0 satisfying z l = z pk l k is compact and connected, S p is a compact connected group. Let for all l k. As each T k S j p S p 0 T k be the compact subgroup of all sequences (z k ) 0 such that z l = 1 for all l j. The subgroup Sp 0 is the projective limit of the finite cylic groups Sp/S 0 p k. It follows that Sp 0 is totally disconnected. Moreover, one can show that S p /Sp 0 = T. Hence S p is a finite dimensional group (in fact, of dimension 1). Theorem 3.7 ([15, 2.2,2.4]) For each locally compact connected finite dimensional group G there exists a Lie group L, a totally disconnected compact Abelian group H and a surjective homorphism and local isomorphism π : L H G. The restriction of π to L is a continuous homomorphism from L onto the arc-connected component G arc of the neutral element e G. The group G arc is a dense Borel measurable subgroup of G. In addition, G is arcwise connected (locally connected) if and only if G is a Lie group. Example 3.8 Let S p be the p-adic solenoid. It is well-known that S p = R p N where p is the group of the p-adic integers and N = {(n, n) : n N} is the group of the natural integers embedded diagonally in R p. The group p is a compact Abelian totally disconnected group. The map π : R p S p is given by π : (φ, a) (z k ) 0 where φ R, a = 0 a lp l p and z k = exp ( ( 2πi φ + p k )) k a k p l. 0 Thus, π(r {0}) = {(z k ) S p : z k = exp(2πiφ/p k ), φ R} is the arc-connected component of the neutral element in S p. It is a dense proper Borel measurable subgroup of S p. Theorem 3.9 ([15, 2.5]) Let G be a connected locally compact group. Then G is locally connected if and only if every finite dimensional factor group is locally connected. 6
7 We are now ready to prove Theorem 3.4. Proof of Theorem 3.4 Assume first that G is finite dimensional. Let π : L H G be as in Theorem 3.7. Let µ be a Gaussian measure on G. Let µ be the unique Gaussian measure on L H such that π(µ) = µ. Since H is totally disconnected, µ is supported in the connected component L {e H } of L H. As L {e H } is σ-compact, M = π(l {e H }) is Borel measurable subgroup of G. By Theorem 3.7, M is the arc-component of G and is a dense proper subgroup of G. Moreover µ(m) = µ(l {e H }) = 1. This proves Theorem 3.4 in the finite dimensional case. In general, if G is not locally connected, then by Theorem 3.9, there exists a compact normal subgroup K of G such that G/K is finite dimensional, not locally connected. Let M 1 G/K be a proper dense Borel measurable subgroup of G/K such that any Gaussian measure ν on G/K satisfy ν(m 1 ) = 1. If ψ : G G/K is the canonical projection then M = ψ 1 (M 1 ) is a subgroup of G having the desired property. Remark 3.10 Given a locally compact connected not locally connected group G, Theorem 3.4 asserts the existence of a proper dense Borel measurable subgroup M such that any Gaussian measure µ on G satisfies µ(m) = 1. In the case of finite dimensional group the proof shows that M can be taken to be the arc-connected component of the neutral element. The following question arises. Question 3.10 Is it true or not that any Gaussian measure µ on a connected locally compact group G satisfy µ(m) = 1 for some arcwise connected Borel measurable subgroup M? In next section we provide a positive answer when G has a countable basis for its topology. 4 Groups having a countable basis Recall that for a locally compact group, to have a countable basis for its topology is equivalent to be metrizable. Recall also that a locally compact connected group having a countable basis is arcwise connected if and only if it is locally connected. See [11, Th 9.68] for the compact case. The extension to the non-compact case follows from Iwasawa local splitting theorem. The aim of this section is to prove the following result. Theorem 4.1 Let G be a connected, locally compact group. Assume that G has a countable basis for its topology. Then 1. The arc component G arc of G is a Borel set and, for any Gaussian measure µ, µ(g arc ) = For any Gaussian measure µ on G, there exists an arcwise connected subgroup M of G which is a countable union of compact sets in G and such that µ(m) = 1. 7
8 Remark 4.2 Note that we are not claiming that M is independent of µ. In general, it is not clear that G arc is a countable union of compact sets. Proof of Theorem 4.1(1) The fact that G arc is a Borel set is not an obvious fact. For metrizable groups, it is proved by K. Hofmann in [12] who also discusses the logically intricate case of non metrizable groups. Once we know that G arc is a Borel set, it is obvious from a probabilistic point of view that µ(g arc ) = 1. This is because µ is the law of X 1 where (X t ) t>0 is a stochastic process having continuous paths almost surely. See [10, Chapter 5]. Of course, if one starts from the Gaussian measure µ, embeded in a convolution semigroup (µ t ) t>0, constructing the process (X t ) t>0 and showing that it has continuous paths requires some work. Note also that this seems to require being in the metric case (i.e., having a countable basis for the topology). The argument given below for the second statement of Theorem 4.1 gives an alternative proof. Proof of Theorem 4.1(2) The proof of the second statement of Theorem 4.1 is several steps. Step 1 Fix a connected locally compact group G. Theorem 2.1 yields a connected Lie group L and a compact group K such that G is the image of a continuous homorphism π : L K G which is also a local isomorphism. Let K 0 be the connected component of the neutral element in K. Let π 0 be the restriction of π to L K 0. Claim 4.3 For any Gaussian measure µ on G there is a unique Gaussian measure µ 0 on L K 0 such that π(µ 0 ) = µ. This claim follows from Theorem 3.1 and the fact that any Gaussian measure is supported by the the component of the neutral element. Step 2 Consider the connected component Z 0 of the center of K 0 and the commutator group K 0. By the Lévy-Malcev decomposition of connected compact groups (see [11, Theorem 9.24]), we have K 0 = (Z0 K 0)/H where H = Z 0 K 0 is totally disconnected. Consider the natural projection π 1 from G 1 = L Z 0 K 0 onto L K 0. Then the kernel of π 1 is isomorphic to H. Thus, for any Gaussian measure µ 0 on L K 0, there exists a unique Gaussian measure µ 1 on G 1 such that π 1 (µ 1 ) = µ 0. Step 3 The compact connected Abelian group Z 0 is the projective limit of torii T α, α Ω. Denote by R α the Lie algebra of T α. By construction, the family L T α K 0 is projective with limit L Z 0 K 0. Similarly, the family L R α K 0 is projective with limit L R 0 K 0 where R 0 is the projective limit of the R α s. R 0 is a topological vector space which is a closed subspace of α Ω R α. Observe that, if the group G has a countable basis, then the set Ω is finite or countable. Let µ 1 be a Gaussian measure on L Z 0 K 0. For each α, µ 1 yields by projection a Gaussian measure µ α 1 on L T α K 0. Obviously, the projective limit of (µ α 1 ) α is µ 1. By Theorem 3.1, 8
9 each µ α 1 yields a Gaussian measure µ α 2 on L R α K 0. This yields a projective system of probability measures. By Kolmogorov s theorem, there exists a unique probability measure µ 2 on L R 0 K 0 whose projection on L R α K 0 is µ α 2 for each α. Although L R 0 K 0 might not be locally compact, µ 2 is a Gaussian measure in the following sense: Its projection to any Lie quotient of L R 0 K 0 is Gaussian. Step 4 Let µ 2 and L R 0 K 0 be as in step 3 and assume that G has a countable basis. Then R 0 is a closed subspace of R. In fact, it can be shown that R 0 is isomorphic to either R n or R (this easily follows from [5]). Claim 4.4 There exists a Hilbert subspace H of R 0 such that µ 2 is supported by L H K 0. Consider the projection of µ 2 onto R 0. This is a probability measure ν with the property that any finite dimensional projection is Gaussian. The claim above will follow if we can show that ν is supported by some Hilbert subspace of R 0. Without loss of generality, we can assume that ν is symmetric. The case R 0 = R n is trivial, so assume that R 0 = R. Viewing ν as a measure on R, consider its covariance matrix A = (a i,j ). Let (b i ) be a sequence such that i b ia i,i < and set (Bx, x) = i b ix 2 i. Then the well-known formula (Bx, x)dν A (x) = 1 b i a i,i = Tr(BA) < shows that ν = ν A is supported by the Hilbert space i H = {x R : (Bx, x) < }. Step 5 This is the last step. Let G be a connected, locally compact group having a coutable basis. Let µ be a Gaussian measure on G. By steps 1,2,3,4, there exists a connected Lie group L, a separable Hilbert space H, a compact connected semisimple group K 0, a probability measure µ 2 on L H K 0 and a continuous homomorphism such that ψ : L H K 0 G µ = ψ(µ 2 ). Since H is σ-compact in the weak topology, M = ψ(l H K 0) is an arc-connected Borel measurable subgroup of G with µ(m) = 1. Remark 4.5 Hofmann [12] proves that G arc is a Borel set under the asumption that Z 0 /H is metrizable. The proof of part 2 of Theorem 4.1 also works exactly under this hypothesis. Indeed, although Z 0 /H can be metrizable and Z 0 not metrizable, they have the same Lie algebra because H is totally disconnected. It follows that if Z 0 /H is metric, R 0 in steps 4 is again either R n or R. 9
10 Theorem 4.6 Let G be a connected, locally compact group. Referring to the Levy-Malcev decomposition of G, assume that Z 0 /(Z 0 G ) = G/G has a countable basis for its topology. Then the two conclusions of Theorem 4.1 still hold true. References [1] Bendikov A. and Saloff-Coste L. Potential theory on infinite products and groups. Potential Analysis, 11, , [2] Bendikov A. and Saloff-Coste L. Central Gaussian semigroups of measures with continuous density, To appear in J. Funct. Anal. [3] Bendikov A. and Saloff-Coste L. Gaussian semigroups of measures on locally compact locally connected groups, Preprint [4] Berestovskii V.W. and Plaut C. Homogeneous spaces of curvature bounded below. Preprint Univ. Tenesse, Knoxville, 1995, to appear in Journal of Geometric Analysis. [5] Born E. Projective Lie Algebra Bases of a Locally Compact Group and Uniform Differentiability. Math. Zeit. 200, 1989, [6] Courrège Ph. Générateur infinitésimal d un semigroupe de convolution sur R n et formule de Lévy-Khinchine. Bull. Sci. Math. 2ème série, 88, 1964, [7] Feldman G. On Gaussian distributions on locally compact Abelian groups. Theory of Probability and its Application, 3, 1978, [8] Glushkov V.N. The structure of locally compact groups and Hilbert s Fifth Problem. AMS Translations 15, 1960, [9] Grenander U. Probability on Algebraic Structures. Amquist & Wiksell, 1963, Stockholm- Göteborg-Upsalla. [10] Heyer H. Probability Measures on Locally Compact Groups. Ergeb. der Math. und ihren Grenzgeb. 94, Springer, Berlin-Heildelberg-New York, [11] Hofmann K. and Morris S. The structure of compact groups. W. de Gruyter, [12] Hofmann K. Arc components in locally compact groups are Borel sets. Preprint, [13] Siebert E. Absolut-Stetigkeit und Träger von Gauss-Verteilungen auf lokalkompakten Gruppen. Math. Ann. 210, 1977, [14] Siebert E. Absolute continuity, singularity and supports of Gaussian semigroups on a Lie group. Monatshefte für Math. 93, 1982,
11 [15] Rickert Some properties of locally compact groups. J. Austral. Math. Soc. 7, 1967, [16] Varopoulos, Saloff-Coste and Coulhon, Analysis and geometry on groups. Cambridge University Press,
A Crash Course in Topological Groups
A Crash Course in Topological Groups Iian B. Smythe Department of Mathematics Cornell University Olivetti Club November 8, 2011 Iian B. Smythe (Cornell) Topological Groups Nov. 8, 2011 1 / 28 Outline 1
More informationON THE REGULARITY OF SAMPLE PATHS OF SUB-ELLIPTIC DIFFUSIONS ON MANIFOLDS
Bendikov, A. and Saloff-Coste, L. Osaka J. Math. 4 (5), 677 7 ON THE REGULARITY OF SAMPLE PATHS OF SUB-ELLIPTIC DIFFUSIONS ON MANIFOLDS ALEXANDER BENDIKOV and LAURENT SALOFF-COSTE (Received March 4, 4)
More informationA BOOLEAN ACTION OF C(M, U(1)) WITHOUT A SPATIAL MODEL AND A RE-EXAMINATION OF THE CAMERON MARTIN THEOREM
A BOOLEAN ACTION OF C(M, U(1)) WITHOUT A SPATIAL MODEL AND A RE-EXAMINATION OF THE CAMERON MARTIN THEOREM JUSTIN TATCH MOORE AND S LAWOMIR SOLECKI Abstract. We will demonstrate that if M is an uncountable
More informationINVERSE LIMITS AND PROFINITE GROUPS
INVERSE LIMITS AND PROFINITE GROUPS BRIAN OSSERMAN We discuss the inverse limit construction, and consider the special case of inverse limits of finite groups, which should best be considered as topological
More informationTools from Lebesgue integration
Tools from Lebesgue integration E.P. van den Ban Fall 2005 Introduction In these notes we describe some of the basic tools from the theory of Lebesgue integration. Definitions and results will be given
More informationPart V. 17 Introduction: What are measures and why measurable sets. Lebesgue Integration Theory
Part V 7 Introduction: What are measures and why measurable sets Lebesgue Integration Theory Definition 7. (Preliminary). A measure on a set is a function :2 [ ] such that. () = 2. If { } = is a finite
More informationOn Dense Embeddings of Discrete Groups into Locally Compact Groups
QUALITATIVE THEORY OF DYNAMICAL SYSTEMS 4, 31 37 (2003) ARTICLE NO. 50 On Dense Embeddings of Discrete Groups into Locally Compact Groups Maxim S. Boyko Institute for Low Temperature Physics and Engineering,
More informationTamagawa Numbers in the Function Field Case (Lecture 2)
Tamagawa Numbers in the Function Field Case (Lecture 2) February 5, 204 In the previous lecture, we defined the Tamagawa measure associated to a connected semisimple algebraic group G over the field Q
More informationA spectral gap property for subgroups of finite covolume in Lie groups
A spectral gap property for subgroups of finite covolume in Lie groups Bachir Bekka and Yves Cornulier Dedicated to the memory of Andrzej Hulanicki Abstract Let G be a real Lie group and H a lattice or,
More informationB 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X.
Math 6342/7350: Topology and Geometry Sample Preliminary Exam Questions 1. For each of the following topological spaces X i, determine whether X i and X i X i are homeomorphic. (a) X 1 = [0, 1] (b) X 2
More informationAn introduction to arithmetic groups. Lizhen Ji CMS, Zhejiang University Hangzhou , China & Dept of Math, Univ of Michigan Ann Arbor, MI 48109
An introduction to arithmetic groups Lizhen Ji CMS, Zhejiang University Hangzhou 310027, China & Dept of Math, Univ of Michigan Ann Arbor, MI 48109 June 27, 2006 Plan. 1. Examples of arithmetic groups
More informationSome algebraic properties of. compact topological groups
Some algebraic properties of compact topological groups 1 Compact topological groups: examples connected: S 1, circle group. SO(3, R), rotation group not connected: Every finite group, with the discrete
More informationThe Structure of Compact Groups
Karl H. Hofmann Sidney A. Morris The Structure of Compact Groups A Primer for the Student A Handbook for the Expert wde G Walter de Gruyter Berlin New York 1998 Chapter 1. Basic Topics and Examples 1 Definitions
More informationUPPER TOPOLOGICAL GENERALIZED GROUPS. F.H. Ghane Z. Hamed. 1. Introduction
italian journal of pure and applied mathematics n. 27 2010 (321 332) 321 UPPER TOPOLOGICAL GENERALIZED GROUPS F.H. Ghane Z. Hamed Department of Mathematics Ferdowsi University of Mashhad P.O. Box 1159-91775,
More informationVARIETIES OF ABELIAN TOPOLOGICAL GROUPS AND SCATTERED SPACES
Bull. Austral. Math. Soc. 78 (2008), 487 495 doi:10.1017/s0004972708000877 VARIETIES OF ABELIAN TOPOLOGICAL GROUPS AND SCATTERED SPACES CAROLYN E. MCPHAIL and SIDNEY A. MORRIS (Received 3 March 2008) Abstract
More informationTame definable topological dynamics
Tame definable topological dynamics Artem Chernikov (Paris 7) Géométrie et Théorie des Modèles, 4 Oct 2013, ENS, Paris Joint work with Pierre Simon, continues previous work with Anand Pillay and Pierre
More informationON NEARLY SEMIFREE CIRCLE ACTIONS
ON NEARLY SEMIFREE CIRCLE ACTIONS DUSA MCDUFF AND SUSAN TOLMAN Abstract. Recall that an effective circle action is semifree if the stabilizer subgroup of each point is connected. We show that if (M, ω)
More informationON MATRIX VALUED SQUARE INTEGRABLE POSITIVE DEFINITE FUNCTIONS
1 2 3 ON MATRIX VALUED SQUARE INTERABLE POSITIVE DEFINITE FUNCTIONS HONYU HE Abstract. In this paper, we study matrix valued positive definite functions on a unimodular group. We generalize two important
More informationNAME: Mathematics 205A, Fall 2008, Final Examination. Answer Key
NAME: Mathematics 205A, Fall 2008, Final Examination Answer Key 1 1. [25 points] Let X be a set with 2 or more elements. Show that there are topologies U and V on X such that the identity map J : (X, U)
More informationFrom Haar to Lebesgue via Domain Theory
From Haar to Lebesgue via Domain Theory Michael Mislove Tulane University Topology Seminar CUNY Queensboro Thursday, October 15, 2015 Joint work with Will Brian Work Supported by US NSF & US AFOSR Lebesgue
More informationTopology Proceedings. COPYRIGHT c by Topology Proceedings. All rights reserved.
Topology Proceedings Web: http://topology.auburn.edu/tp/ Mail: Topology Proceedings Department of Mathematics & Statistics Auburn University, Alabama 36849, USA E-mail: topolog@auburn.edu ISSN: 0146-4124
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 informationMATRIX LIE GROUPS AND LIE GROUPS
MATRIX LIE GROUPS AND LIE GROUPS Steven Sy December 7, 2005 I MATRIX LIE GROUPS Definition: A matrix Lie group is a closed subgroup of Thus if is any sequence of matrices in, and for some, then either
More informationPseudogroups of foliations Algebraic invariants of solenoids The discriminant group Stable actions Wild actions Future work and references
Wild solenoids Olga Lukina University of Illinois at Chicago Joint work with Steven Hurder March 25, 2017 1 / 25 Cantor laminations Let M be a compact connected metrizable topological space with a foliation
More informationOn the Baum-Connes conjecture for Gromov monster groups
On the Baum-Connes conjecture for Gromov monster groups Martin Finn-Sell Fakultät für Mathematik, Oskar-Morgenstern-Platz 1, 1090 Wien martin.finn-sell@univie.ac.at June 2015 Abstract We present a geometric
More informationDecay to zero of matrix coefficients at Adjoint infinity by Scot Adams
Decay to zero of matrix coefficients at Adjoint infinity by Scot Adams I. Introduction The main theorems below are Theorem 9 and Theorem 11. As far as I know, Theorem 9 represents a slight improvement
More informationSimple Abelian Topological Groups. Luke Dominic Bush Hipwood. Mathematics Institute
M A E NS G I T A T MOLEM UNIVERSITAS WARWICENSIS Simple Abelian Topological Groups by Luke Dominic Bush Hipwood supervised by Dr Dmitriy Rumynin 4th Year Project Submitted to The University of Warwick
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 informationFILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.
FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0
More informationWinter School on Galois Theory Luxembourg, February INTRODUCTION TO PROFINITE GROUPS Luis Ribes Carleton University, Ottawa, Canada
Winter School on alois Theory Luxembourg, 15-24 February 2012 INTRODUCTION TO PROFINITE ROUPS Luis Ribes Carleton University, Ottawa, Canada LECTURE 2 2.1 ENERATORS OF A PROFINITE ROUP 2.2 FREE PRO-C ROUPS
More informationMath 676. A compactness theorem for the idele group. and by the product formula it lies in the kernel (A K )1 of the continuous idelic norm
Math 676. A compactness theorem for the idele group 1. Introduction Let K be a global field, so K is naturally a discrete subgroup of the idele group A K and by the product formula it lies in the kernel
More informationThe small ball property in Banach spaces (quantitative results)
The small ball property in Banach spaces (quantitative results) Ehrhard Behrends Abstract A metric space (M, d) is said to have the small ball property (sbp) if for every ε 0 > 0 there exists a sequence
More informationLie theory for non-lie groups
Journal of Lie Theory Version of May 4, 1995 Volume 4 (1994) 257 284 C 1994 Heldermann Verlag Lie theory for non-lie groups Markus Stroppel Communicated by K. Strambach Introduction The class of locally
More informationREGULAR TRIPLETS IN COMPACT SYMMETRIC SPACES
REGULAR TRIPLETS IN COMPACT SYMMETRIC SPACES MAKIKO SUMI TANAKA 1. Introduction This article is based on the collaboration with Tadashi Nagano. In the first part of this article we briefly review basic
More informationMeasure and Integration: Concepts, Examples and Exercises. INDER K. RANA Indian Institute of Technology Bombay India
Measure and Integration: Concepts, Examples and Exercises INDER K. RANA Indian Institute of Technology Bombay India Department of Mathematics, Indian Institute of Technology, Bombay, Powai, Mumbai 400076,
More information8 Complete fields and valuation rings
18.785 Number theory I Fall 2017 Lecture #8 10/02/2017 8 Complete fields and valuation rings In order to make further progress in our investigation of finite extensions L/K of the fraction field K of a
More informationGROUPS DEFINABLE IN O-MINIMAL STRUCTURES
GROUPS DEFINABLE IN O-MINIMAL STRUCTURES PANTELIS E. ELEFTHERIOU Abstract. In this series of lectures, we will a) introduce the basics of o- minimality, b) describe the manifold topology of groups definable
More information(1.) For any subset P S we denote by L(P ) the abelian group of integral relations between elements of P, i.e. L(P ) := ker Z P! span Z P S S : For ea
Torsion of dierentials on toric varieties Klaus Altmann Institut fur reine Mathematik, Humboldt-Universitat zu Berlin Ziegelstr. 13a, D-10099 Berlin, Germany. E-mail: altmann@mathematik.hu-berlin.de Abstract
More informationA CONSTRUCTION OF TRANSVERSE SUBMANIFOLDS
UNIVERSITATIS IAGELLONICAE ACTA MATHEMATICA, FASCICULUS XLI 2003 A CONSTRUCTION OF TRANSVERSE SUBMANIFOLDS by J. Szenthe Abstract. In case of Riemannian manifolds isometric actions admitting submanifolds
More informationDefinably amenable groups in NIP
Definably amenable groups in NIP Artem Chernikov (Paris 7) Lyon, 21 Nov 2013 Joint work with Pierre Simon. Setting T is a complete first-order theory in a language L, countable for simplicity. M = T a
More information(but not of course topological) isomorphism. (discrete) group is discrete (compact); for both types of groups we have ON MONOTHETIC GROUPS
254 MATHEMATICS: HALMOSAND SAMELSON PROC. N. A. S. orders which divide 4 in view of Sylow's theorem. For the same reason the number of its operators whose orders do not divide 4 is either 8 or 4. Hence
More informationProbabilistic Group Theory
MINGLE 2014 September, 2014 Introduction A well known fact: Groups are algebraic structures which arise naturally throughout mathematics, both pure and applied. A not well known fact: Probability has been
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 informationOn Levi subgroups and the Levi decomposition for groups definable in o-minimal structures
arxiv:1111.2369v1 [math.lo] 9 Nov 2011 On Levi subgroups and the Levi decomposition for groups definable in o-minimal structures Annalisa Conversano November 7, 2011 Abstract Anand Pillay University of
More informationThe Grothendieck-Katz Conjecture for certain locally symmetric varieties
The Grothendieck-Katz Conjecture for certain locally symmetric varieties Benson Farb and Mark Kisin August 20, 2008 Abstract Using Margulis results on lattices in semi-simple Lie groups, we prove the Grothendieck-
More informationMAT 445/ INTRODUCTION TO REPRESENTATION THEORY
MAT 445/1196 - INTRODUCTION TO REPRESENTATION THEORY CHAPTER 1 Representation Theory of Groups - Algebraic Foundations 1.1 Basic definitions, Schur s Lemma 1.2 Tensor products 1.3 Unitary representations
More information12. Hilbert s fifth problem for compact groups: Von Neumann s theorem
12. Hilbert s fifth problem for compact groups: Von Neumann s theorem 12.1. The Hilbert problem. In his address entitled Mathematical Problems before the International Congress of Mathematicians in Paris
More informationON THE UNIQUENESS PROPERTY FOR PRODUCTS OF SYMMETRIC INVARIANT PROBABILITY MEASURES
Georgian Mathematical Journal Volume 9 (2002), Number 1, 75 82 ON THE UNIQUENESS PROPERTY FOR PRODUCTS OF SYMMETRIC INVARIANT PROBABILITY MEASURES A. KHARAZISHVILI Abstract. Two symmetric invariant probability
More informationMATH 8253 ALGEBRAIC GEOMETRY WEEK 12
MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f
More informationBoundedly complete weak-cauchy basic sequences in Banach spaces with the PCP
Journal of Functional Analysis 253 (2007) 772 781 www.elsevier.com/locate/jfa Note Boundedly complete weak-cauchy basic sequences in Banach spaces with the PCP Haskell Rosenthal Department of Mathematics,
More informationA generic property of families of Lagrangian systems
Annals of Mathematics, 167 (2008), 1099 1108 A generic property of families of Lagrangian systems By Patrick Bernard and Gonzalo Contreras * Abstract We prove that a generic Lagrangian has finitely many
More informationGROUP SHIFTS AND BERNOULLI FACTORS
Z d GROUP SHIFTS AND BERNOULLI FACTORS MIKE BOYLE AND MICHAEL SCHRAUDNER Abstract. In this paper, a group shift is an expansive action of Z d on a compact metrizable zero dimensional group by continuous
More informationMATH & MATH FUNCTIONS OF A REAL VARIABLE EXERCISES FALL 2015 & SPRING Scientia Imperii Decus et Tutamen 1
MATH 5310.001 & MATH 5320.001 FUNCTIONS OF A REAL VARIABLE EXERCISES FALL 2015 & SPRING 2016 Scientia Imperii Decus et Tutamen 1 Robert R. Kallman University of North Texas Department of Mathematics 1155
More informationFactorization of unitary representations of adele groups Paul Garrett garrett/
(February 19, 2005) Factorization of unitary representations of adele groups Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ The result sketched here is of fundamental importance in
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 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 information1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3
Index Page 1 Topology 2 1.1 Definition of a topology 2 1.2 Basis (Base) of a topology 2 1.3 The subspace topology & the product topology on X Y 3 1.4 Basic topology concepts: limit points, closed sets,
More informationQUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday 10 February 2004 (Day 1)
Tuesday 10 February 2004 (Day 1) 1a. Prove the following theorem of Banach and Saks: Theorem. Given in L 2 a sequence {f n } which weakly converges to 0, we can select a subsequence {f nk } such that the
More information10. The subgroup subalgebra correspondence. Homogeneous spaces.
10. The subgroup subalgebra correspondence. Homogeneous spaces. 10.1. The concept of a Lie subgroup of a Lie group. We have seen that if G is a Lie group and H G a subgroup which is at the same time a
More informationSYMPLECTIC GEOMETRY: LECTURE 5
SYMPLECTIC GEOMETRY: LECTURE 5 LIAT KESSLER Let (M, ω) be a connected compact symplectic manifold, T a torus, T M M a Hamiltonian action of T on M, and Φ: M t the assoaciated moment map. Theorem 0.1 (The
More informationMath 210C. A non-closed commutator subgroup
Math 210C. A non-closed commutator subgroup 1. Introduction In Exercise 3(i) of HW7 we saw that every element of SU(2) is a commutator (i.e., has the form xyx 1 y 1 for x, y SU(2)), so the same holds for
More informationA Criterion for Flatness of Sections of Adjoint Bundle of a Holomorphic Principal Bundle over a Riemann Surface
Documenta Math. 111 A Criterion for Flatness of Sections of Adjoint Bundle of a Holomorphic Principal Bundle over a Riemann Surface Indranil Biswas Received: August 8, 2013 Communicated by Edward Frenkel
More informationBEN KNUDSEN. Conf k (f) Conf k (Y )
CONFIGURATION SPACES IN ALGEBRAIC TOPOLOGY: LECTURE 2 BEN KNUDSEN We begin our study of configuration spaces by observing a few of their basic properties. First, we note that, if f : X Y is an injective
More informationLECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE
LECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE JOHANNES EBERT 1.1. October 11th. 1. Recapitulation from differential topology Definition 1.1. Let M m, N n, be two smooth manifolds
More informationA new proof of Gromov s theorem on groups of polynomial growth
A new proof of Gromov s theorem on groups of polynomial growth Bruce Kleiner Courant Institute NYU Groups as geometric objects Let G a group with a finite generating set S G. Assume that S is symmetric:
More informationNotes 2 for MAT4270 Connected components and universal covers π 0 and π 1.
Notes 2 for MAT4270 Connected components and universal covers π 0 and π 1. Version 0.00 with misprints, Connected components Recall thaty if X is a topological space X is said to be connected if is not
More informationNon-separable AF-algebras
Non-separable AF-algebras Takeshi Katsura Department of Mathematics, Hokkaido University, Kita 1, Nishi 8, Kita-Ku, Sapporo, 6-81, JAPAN katsura@math.sci.hokudai.ac.jp Summary. We give two pathological
More information1 Smooth manifolds and Lie groups
An undergraduate approach to Lie theory Slide 1 Andrew Baker, Glasgow Glasgow, 12/11/1999 1 Smooth manifolds and Lie groups A continuous g : V 1 V 2 with V k R m k open is called smooth if it is infinitely
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 informationLifting Smooth Homotopies of Orbit Spaces of Proper Lie Group Actions
Journal of Lie Theory Volume 15 (2005) 447 456 c 2005 Heldermann Verlag Lifting Smooth Homotopies of Orbit Spaces of Proper Lie Group Actions Marja Kankaanrinta Communicated by J. D. Lawson Abstract. By
More informationON AN INFINITE-DIMENSIONAL GROUP OVER A FINITE FIELD. A. M. Vershik, S. V. Kerov
ON AN INFINITE-DIMENSIONAL GROUP OVER A FINITE FIELD A. M. Vershik, S. V. Kerov Introduction. The asymptotic representation theory studies the behavior of representations of large classical groups and
More informationOn Shalom Tao s Non-Quantitative Proof of Gromov s Polynomial Growth Theorem
On Shalom Tao s Non-Quantitative Proof of Gromov s Polynomial Growth Theorem Carlos A. De la Cruz Mengual Geometric Group Theory Seminar, HS 2013, ETH Zürich 13.11.2013 1 Towards the statement of Gromov
More informationLECTURE 15-16: PROPER ACTIONS AND ORBIT SPACES
LECTURE 15-16: PROPER ACTIONS AND ORBIT SPACES 1. Proper actions Suppose G acts on M smoothly, and m M. Then the orbit of G through m is G m = {g m g G}. If m, m lies in the same orbit, i.e. m = g m for
More information(1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define
Homework, Real Analysis I, Fall, 2010. (1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define ρ(f, g) = 1 0 f(x) g(x) dx. Show that
More informationSolutions to Problem Set 1
Solutions to Problem Set 1 18.904 Spring 2011 Problem 1 Statement. Let n 1 be an integer. Let CP n denote the set of all lines in C n+1 passing through the origin. There is a natural map π : C n+1 \ {0}
More informationTHE DUAL FORM OF THE APPROXIMATION PROPERTY FOR A BANACH SPACE AND A SUBSPACE. In memory of A. Pe lczyński
THE DUAL FORM OF THE APPROXIMATION PROPERTY FOR A BANACH SPACE AND A SUBSPACE T. FIGIEL AND W. B. JOHNSON Abstract. Given a Banach space X and a subspace Y, the pair (X, Y ) is said to have the approximation
More informationOn Compact Just-Non-Lie Groups
On Compact Just-Non-Lie Groups FRANCESCO RUSSO Mathematics Department of Naples, Naples, Italy E-mail:francesco.russo@dma.unina.it Abstract. A compact group is called a compact Just-Non-Lie group or a
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 informationERGODIC DYNAMICAL SYSTEMS CONJUGATE TO THEIR COMPOSITION SQUARES. 0. Introduction
Acta Math. Univ. Comenianae Vol. LXXI, 2(2002), pp. 201 210 201 ERGODIC DYNAMICAL SYSTEMS CONJUGATE TO THEIR COMPOSITION SQUARES G. R. GOODSON Abstract. We investigate the question of when an ergodic automorphism
More informationON GALOIS GROUPS OF ABELIAN EXTENSIONS OVER MAXIMAL CYCLOTOMIC FIELDS. Mamoru Asada. Introduction
ON GALOIS GROUPS OF ABELIAN ETENSIONS OVER MAIMAL CYCLOTOMIC FIELDS Mamoru Asada Introduction Let k 0 be a finite algebraic number field in a fixed algebraic closure Ω and ζ n denote a primitive n-th root
More informationII - REAL ANALYSIS. This property gives us a way to extend the notion of content to finite unions of rectangles: we define
1 Measures 1.1 Jordan content in R N II - REAL ANALYSIS Let I be an interval in R. Then its 1-content is defined as c 1 (I) := b a if I is bounded with endpoints a, b. If I is unbounded, we define c 1
More information1 Notations and Statement of the Main Results
An introduction to algebraic fundamental groups 1 Notations and Statement of the Main Results Throughout the talk, all schemes are locally Noetherian. All maps are of locally finite type. There two main
More informationHomotopy and homology groups of the n-dimensional Hawaiian earring
F U N D A M E N T A MATHEMATICAE 165 (2000) Homotopy and homology groups of the n-dimensional Hawaiian earring by Katsuya E d a (Tokyo) and Kazuhiro K a w a m u r a (Tsukuba) Abstract. For the n-dimensional
More informationINVARIANTS FOR COMMUTATIVE GROUP ALGEBRAS
INVARIANTS FOR COMMUTATIVE GROUP ALGEBRAS BY WARREN MAY Let K be a commutative ring with identity and G an abelian group. Then the structure of KG as a K-algebra depends to some extent upon the primes
More informationMODULI OF ALGEBRAIC SL 3 -VECTOR BUNDLES OVER ADJOINT REPRESENTATION
Masuda, K. Osaka J. Math. 38 (200), 50 506 MODULI OF ALGEBRAIC SL 3 -VECTOR BUNDLES OVER ADJOINT REPRESENTATION KAYO MASUDA (Received June 2, 999). Introduction and result Let be a reductive complex algebraic
More informationCOHOMOLOGY OF ARITHMETIC GROUPS AND EISENSTEIN SERIES: AN INTRODUCTION, II
COHOMOLOGY OF ARITHMETIC GROUPS AND EISENSTEIN SERIES: AN INTRODUCTION, II LECTURES BY JOACHIM SCHWERMER, NOTES BY TONY FENG Contents 1. Review 1 2. Lifting differential forms from the boundary 2 3. Eisenstein
More informationALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ.
ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ. ANDREW SALCH 1. Hilbert s Nullstellensatz. The last lecture left off with the claim that, if J k[x 1,..., x n ] is an ideal, then
More informationRIMS-1897 On multiframings of 3-manifolds By Tatsuro SHIMIZU December 2018 RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES KYOTO UNIVERSITY, Kyoto, Japan
RIMS-1897 On multiframings of 3-manifolds By Tatsuro SHIMIZU December 2018 RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES KYOTO UNIVERSITY, Kyoto, Japan On multiframings of 3 manifolds Tatsuro Shimizu 1
More informationLebesgue Measure on R n
CHAPTER 2 Lebesgue Measure on R n Our goal is to construct a notion of the volume, or Lebesgue measure, of rather general subsets of R n that reduces to the usual volume of elementary geometrical sets
More informationTHE RADON NIKODYM PROPERTY AND LIPSCHITZ EMBEDDINGS
THE RADON NIKODYM PROPERTY AND LIPSCHITZ EMBEDDINGS Motivation The idea here is simple. Suppose we have a Lipschitz homeomorphism f : X Y where X and Y are Banach spaces, namely c 1 x y f (x) f (y) c 2
More informationMATH540: Algebraic Topology PROBLEM SET 3 STUDENT SOLUTIONS
Key Problems 1. Compute π 1 of the Mobius strip. Solution (Spencer Gerhardt): MATH540: Algebraic Topology PROBLEM SET 3 STUDENT SOLUTIONS In other words, M = I I/(s, 0) (1 s, 1). Let x 0 = ( 1 2, 0). Now
More informationarxiv:math/ v1 [math.ag] 24 Nov 1998
Hilbert schemes of a surface and Euler characteristics arxiv:math/9811150v1 [math.ag] 24 Nov 1998 Mark Andrea A. de Cataldo September 22, 1998 Abstract We use basic algebraic topology and Ellingsrud-Stromme
More informationGROUP SHIFTS AND BERNOULLI FACTORS
Z d GROUP SHIFTS AND BERNOULLI FACTORS MIKE BOYLE AND MICHAEL SCHRAUDNER Abstract. In this paper, a group shift is an expansive action of Z d on a compact metrizable zero dimensional group by continuous
More informationADELIC VERSION OF MARGULIS ARITHMETICITY THEOREM. Hee Oh
ADELIC VERSION OF MARGULIS ARITHMETICITY THEOREM Hee Oh Abstract. In this paper, we generalize Margulis s S-arithmeticity theorem to the case when S can be taken as an infinite set of primes. Let R be
More informationLocally definable groups and lattices
Locally definable groups and lattices Kobi Peterzil (Based on work (with, of) Eleftheriou, work of Berarducci-Edmundo-Mamino) Department of Mathematics University of Haifa Ravello 2013 Kobi Peterzil (University
More informationTree-adjoined spaces and the Hawaiian earring
Tree-adjoined spaces and the Hawaiian earring W. Hojka (TU Wien) Workshop on Fractals and Tilings 2009 July 6-10, 2009, Strobl (Austria) W. Hojka (TU Wien) () Tree-adjoined spaces and the Hawaiian earring
More informationHaar Systems on Equivalent Groupoids
Dartmouth College Groupoidfest October 2015 Haar Systems In order to make a C -algebra from a groupoid G, we need a family of Radon measures { λ u : u G (0) } such that supp λ u = G u = { x G : r(x) =
More information(c) For each α R \ {0}, the mapping x αx is a homeomorphism of X.
A short account of topological vector spaces Normed spaces, and especially Banach spaces, are basic ambient spaces in Infinite- Dimensional Analysis. However, there are situations in which it is necessary
More informationThe Lévy-Itô decomposition and the Lévy-Khintchine formula in31 themarch dual of 2014 a nuclear 1 space. / 20
The Lévy-Itô decomposition and the Lévy-Khintchine formula in the dual of a nuclear space. Christian Fonseca-Mora School of Mathematics and Statistics, University of Sheffield, UK Talk at "Stochastic Processes
More informationMath 594. Solutions 5
Math 594. Solutions 5 Book problems 6.1: 7. Prove that subgroups and quotient groups of nilpotent groups are nilpotent (your proof should work for infinite groups). Give an example of a group G which possesses
More information