POSITIVE POSITIVE-DEFINITE FUNCTIONS AND MEASURES ON LOCALLY COMPACT ABELIAN GROUPS. Preliminary version
|
|
- Augustine Taylor
- 6 years ago
- Views:
Transcription
1 POSITIVE POSITIVE-DEFINITE FUNCTIONS AND MEASURES ON LOCALLY COMPACT ABELIAN GROUPS ALEXANDR BORISOV Preliminary version 1. Introduction In the paper [1] we gave a cohomological interpretation of Tate s Riemann-Roch formula using some new harmonic analysis objects, ghost-spaces. When trying to investigate these objects in general, we realized the importance of functions and measures on locally compact abelian groups that are both positive and positive-definite at the same time. It looks like this class of functions and measures was not systematically studied before. The goal of this paper is to partially fill in this gap. We answer some of the natural questions involving these functions and measures, especially those that satisfy some extra integrability conditions. We also study some operations and constructions involving these functions and measures. There are several very interesting open questions, that we are only able to point out at this moment. In particular, the structure of the cone of such functions is not clear even when the group is just R. Please refer to section 5 where this and other open problems are discussed. The paper is organized as follows. In section 2 the positive positivedefinite functions and measures are defined, some of their properties are discussed, and some simple constructions involving them are carried out. In sections 3 and 4 we restrict our attention to such functions and measures that satisfy some extra integrability conditions. Finally, in section 5 we point out some natural open questions that we were unable to answer. Acknowledgments. The author thanks Jeff Lagarias, Barry Mazur and Christopher Deninger whose interest in [1] motivated the author to continue his work in this direction. The author also thanks Joaquim Ortega-Cerda for the references to Hardy s theorem and its generalizations. Date: June 18, 1999.
2 2 A. BORISOV, POSITIVE POSITIVE-DEFINITE FUNCTIONS 2. General definitions and results In this section we are going to define some classes of functions and measures on locally compact abelian groups. We will prove that these classes correspond to each other via duality and are stable under the operations of pull-back of functions and push-forward of measures, with respect to continuous homomorphisms of groups. They are also stable under addition and multiplication of functions, and convolution of measures. We are going to use the book of Folland [2] as our basic harmonic analysis reference. In particular, we are going to use his terminology regarding positive-definite functions and functions and measures of positive type. So a positive-definite function is not necessarily continuous. It is just any function f on a locally compact group G, such that for all n tuples (x i ) n i=1 of elements of G and complex numbers (c i) n i=1 n c i c j f(x i x j ) 0 i,j=1 However most of our functions are going to be continuous anyway, so this is not important. Let us recall a little bit of Pontryagin duality theory. A good exposition of it can be found, e.g. in [2]. To any locally compact abelian group G one can associate its group of characters, or dual group Ĝ. The Pontryagin duality theorem tells that Ĝ = G. To every bounded Radon measure µ on Ĝ one can associate a function ˇµ on G (its inverse Fourier transform) by the following formula. ˇµ(x) = χ(x)dµ(χ) χ Ĝ To every L 1 function f on G one can associate a function ˆf on Ĝ (its Fourier transform) that actually depends on the Haar measure m on G by the following formula. ˆf(χ) = χ(x) f(x)dm(x) x G So here are our basic definitions. Definition 2.1. Suppose G is a locally compact abelian group, and f is afunctionong. We say that f is a positive positive-definite function (PPD, for short) on G if the following properties are satisfied. 1) f(x) is real-valued and non-negative for all x G
3 A. BORISOV, POSITIVE POSITIVE-DEFINITE FUNCTIONS 3 2) f is of positive type on G (i.e. continuous and positive-definite) If f is a PPD function, then it is even, i.e. f( x) =f(x) for all x. This follows from f being real-valued and of positive type (cf. [2], prop. 3.22). Lemma 2.1. Suppose G is a locally compact abelian group, and f is an PPD function on G. Then there is a unique bounded Radon measure µ on Ĝ, such that f =ˇµ. This measure µ is nonnegative real-valued measure, which is even and positive-definite. Proof. The existence of µ follows from the Bochner theorem (cf. [2], prop. 4.18). The uniqueness is easy. The properties of µ follow easily from the properties of f. Definition 2.2. We will say that measure µ on G is positive positivedefinite (PPD for short) if ˇµ is a PPD function on Ĝ. Wewillcallˇµ the function dual to the measure µ. Wewillcallµ the measure dual to the function ˇµ. Obviously, every PPD measure has unique PPD function dual to it. By the above lemma every PPD function has unique PPD measure dual to it. For a locally compact abelian group G we will denote by PPDf(G) the set of PPD functions and by PPDm(G) the set of PPD measures on it. The following theorem is proved in [1]. We reproduce its proof here for the convenience of the reader. Theorem 2.1. Suppose G is a locally compact abelian group and u PPDf(G). Then for all x G u(x) u(0). Also, those x that u(x) =u(0) form a closed subgroup H of G. Moreover, u(x) is a pullback of a PPD function on G/H via the natural morphism G G/H. Proof. The first claim is contained in Folland [2], cor To prove the second and third claims we note that by [2], prop the following matrix is positive definite. u(0) u(x) u(x+y) u(x) u(0) u(y) u(x+y) u(y) u(0) If u(x) =u(0), it implies that (u(x+y) u(y)) 2 0, so u(x+y) =u(y). This implies that u is a pull-back of some function on G/H. It is now a trivial check to establish that this function on G/H is PPD.
4 4 A. BORISOV, POSITIVE POSITIVE-DEFINITE FUNCTIONS If f is a PPD function on G then so is α f for any positive real α. A lot of our constructions involve Fourier transform which depends on the choice of a Haar measure. So the results of such operations are only defined up to a constant. For this reason, it is convenient to consider normalized functions and measures as in the definitions below. We should also point out that this normalization condition naturally appears in [1] in the definitions of ghost-spaces. Definition 2.3. A PPD function u on G is normalized if u(0) = 1. We will denote the set of all normalized PPD functions on G by NPPDf(G). When we say that we normalize a PPD function, this means that we multiply it by a suitable constant to make it normalized. Definition 2.4. A PPD measure µ on G is normalized if µ is a probability measure. We will denote the set of all normalized PPD measures on G by NPPDm(G). When we say that we normalize a PPD measure, this means that we multiply it by a suitable constant to make it normalized. Remark 2.1. Ameasureµ PPDm(Ĝ) is normalized if and only if the function ˇµ PPDf(G) is normalized. Remark 2.2. Suppose π : H G is a continuous homomorphism of locally compact abelian groups. Denote by π the pull-back of functions and by π the push-forward of measures. Then the following is always true. 1) If f NPPDf(G) then π f NPPDf(H). 2) If µ NPPDm(H) then π µ NPPDm(G). Here are some examples of PPD functions and measures. More examples can be obtained from these using pull-backs and push-forwards. Also the set of PPD functions (or measures) on a given group is obviously a convex cone. It is also closed under multiplication as will be shown in Corollary 4.2. Finally, for some PPD functions and measures (which we will later call good, cf. Definitions 3.1 and 3.2) there are other constructions available, like a corestriction of functions, restriction of measures, etc. Please refer to section 4 for the details. Examples. 1) The constant 1 is a PPD function for every G. 2) The point measure at 0 is a PPD measure for every G. 3) For every positive-definite quadratic form Q on R n (or Z n )the function e Q(x,x) is a PPD function on R n (or Z n ). And if we multiply it by a Haar measure on the corresponding group, we get a PPD measure.
5 A. BORISOV, POSITIVE POSITIVE-DEFINITE FUNCTIONS 5 3. Good functions and measures The class of (normalized) PPD functions and measures was used in [1] for the definitions of ghost-spaces. However it turns out that in order to have good categorical properties of ghost-spaces one has to restrict the class of functions and measures used. This was the original reason for introducing the class of good functions and measures. It turned out afterwards that this class of functions and measures is pretty natural. It is stable under some interesting constructions and is much more interesting than the class of all PPD functions and measures. Please refer to section 4 for the details. Definition 3.1. Suppose G is a locally compact abelian group, and f is a function on G. We say that f is good if the following properties are all satisfied. 1) f PPDf(G). 2) f L 1 (G) with respect to a Haar measure on G. 3) The Fourier transform ˆf of f is continuous and belongs to L 1 (Ĝ). 4) Both f and ˆf are strictly positive. 5) Both f and ˆf are L 1 with respect to a Haar measure when restricted to arbitrary closed subgroups of G or Ĝ respectively. Remark ) By the Fourier Inversion theorem f = ( ˆfm), ˇ where m is a suitably normalized Haar measure on Ĝ (cf., e.g. [2]). 2) If f is good then so is ˆf. 3) The condition 5 doesn t follow from the others, as the following example shows. Example. Consider G = R 2, with coordinates (x, y). Consider the following function f on G. 1 1 f(x, y) = n 2 y2 ) n 2 e π(n2 x2 + n=1 This sum converges for all (x, y) to a continuous function, which is L 1 on G. Its Fourier transform is up to a constant f(y, x), so it has the same properties. However the restriction of f to the line x =0is not in L 1. Some interesting properties of good functions are summarized in the following lemma. Lemma 3.1. Suppose G is a locally compact abelian group, and f is a good function on it. Then 1) 0 <f(x) f(0) for all x G 2) f(x) =f(0) implies x =0
6 6 A. BORISOV, POSITIVE POSITIVE-DEFINITE FUNCTIONS Proof. The first statement is proven in Theorem 2.1 for the more general class of PPD functions. It is also proven there that the set of all elements x of G such that f(x) =f(0) is a closed subgroup of G. Moreover it is the stabilizer of f in G, i.e. it consists of the elements x G such that f is invariant under translation by x. If this subgroup, say H, is not trivial, then ˆf(χ) = 0 for all χ that are not trivial on H. This would contradict the condition 4 of the Definition 3.1. Definition 3.2. Suppose G is a locally compact abelian group, and µ is a Radon measure on G. We say that µ is good if µ = f m, where f is a good function and m is a Haar measure on G. For a locally compact abelian group G we will denote by Goodf(G) the set of good functions and by Goodm(G) the set of good measures on it. Lemma 3.2. Suppose G is a locally compact abelian group. 1) If µ is a good measure on Ĝ then ˇµ is a good function on G. 2) If f is a good function on G then there exists a unique measure µ on Ĝ such that f =ˇµ and this measure µ is good. Proof. The proofs are pretty straightforward. The measure µ in the second statement can be obtained by multiplying ˆf by a suitably normalized Haar measure. Naturally, we will denote by NGoodf(G) the set of all normalized good functions on G, andbyngoodm(g) the set of all normalized good measures on G, cf. Definitions 2.3 and 2.4. Definition 3.3. If f NGoodf(G) then its normalized dual is a function ˆf NGoodf(Ĝ) which is equal to the Fourier transform of f for some Haar measure on G. To any normalized good function f one can associate the unique Haar measure m on G such that f m is a normalized measure. Then the Fourier transform of f with respect to this measure is a normalized dual of f. Dually, to any normalized good measure µ on Ĝ one can associate the unique Haar measure ˆm on Ĝ such that µ = ˆf ˆm, where ˆf NPPDf(Ĝ). If f = ˇµ then m and ˆm are dual Haar measures. This easy fact is behind Theorem 4.1 of [1]. 4. Some constructions involving good functions and measures In this section we define some interesting constructions involving good functions and measures. Because good measures are dual to good
7 A. BORISOV, POSITIVE POSITIVE-DEFINITE FUNCTIONS 7 functions, we will do most of our constructions for the functions. And we will leave it to the reader to define similar operations for the measures via duality. Definition 4.1. Suppose H isaclosedsubgroupofalocallycompact abelian group G and f NGoodf(G). Then we call the pull-back of f via the natural embedding H G the restriction of f to H. We denote it by f H. Definition 4.2. Suppose K = G/H is the quotient of a locally compact abelian group G byaclosedsubgrouph. Supposef NGoodf(G). Then we define corestriction of f to K as follows. We take the Fourier dual ˆf of f and restrict it to H = K. Then we take its Fourier dual normalized so that its value at 0 is 1. This function is what we call the corestriction of f to K, to be denoted by f K. The following theorem is our main result about restrictions and corestrictions of good functions. Theorem 4.1. Suppose H is a closed subgroup of a locally compact abelian group G and f Goodf(G). Then the following is always true. 1) The restriction f H NGoodf(H) 2) The corestriction of f G/H NGoodf(G/H) 3) If g = f G/H is the above corestriction, and m H is a Haar measure on H, then for almost all x G f(x + y)dm h (y) y H g( x) = f(y)dm H (y) y H Also for x =0the above equality is always true, and for all x the left hand side is not less than the right hand side. Proof. Let us first choose some Haar measures m H and m G on H and G. Then let us denote by mĝ the dual measure to m G and by mĝ/h the dual measure to m H ). Then we denote by m H such Haar measure on H that the Fubini theorem is satisfied for m H, mĝ/h, and mĝ. Thenifm G/H is the dual measure to m H,the measures m H, m G/H,andm G satisfy the Fubini theorem (cf. [2]). The main part of the proof of the theorem is the following proposition. Proposition 4.1. Under the above notations and assumptions, let us define two functions on G/H.
8 8 A. BORISOV, POSITIVE POSITIVE-DEFINITE FUNCTIONS u( x) = ˆf(χ)χ(x)dmH (χ) v( x) = χ H f(x + y)dm H (y) Then 1) v( x) converges for all x. 2) v( x) u( x) for all x. 3) v(0) = u(0). y H Proof. First of all, it is easy to see that v( x) converges to the continuous function u( x) everywhere except possibly for a set of Haar measure zero. To prove the first statement suppose for some x 0 v( x 0 ) doesn t converge. Because f is positive and continuous this implies that for some big enough open set with compact closure U H f(x 0 + y)dm H (y) >A, y U where A = u(0). Because the set of the points where v( x) u( x) has measure zero, there is a sequence of points x converging to x 0 such that v( x) =u( x). Then by the continuity of f for x close enough to x 0 u( x) f(x + y)dm H (y) >A y U But this is impossible by Theorem 2.1. The same argument obviously implies the second statement. To prove the third statement, consider A as above and also B = v(0). We just proved that A B. But A = ˆf(χ)dmH (χ) and B = χ H f(y)dm H (y) y H So we can apply the above argument dually and get that B A. This proves the proposition. The theorem now follows easily. We leave the details to the reader.
9 A. BORISOV, POSITIVE POSITIVE-DEFINITE FUNCTIONS 9 One can similarly define corestriction and restriction of normalized good measures. Namely, the corestriction to the quotient is just the push-forward. And the restriction to a subgroup can be defined by restricting the corresponding good function and then multiplying by a suitable Haar measure of a subgroup. One can easily check that these definitions are transitive and compatible with Pontryagin duality. Theorem 4.2. Suppose u PPDf(G), and v PPDf(H). Consider the function w on G H defined as below. Here π G and π H are the projections from G H onto G and H. w =(π G ) (u) (π H ) (v) Then w PPDf(G H). Also if u and v are actually good than w is also good. And if u and v are normalized then w is also normalized. Proof. To prove that w is PPD, we need to check all the conditions in the Definition 2.1. The hardest one is that w is positive-definite. This follows from the fact that w is the inverse Fourier transform of the convolution of two measures on Ĝ Ĥ that are push-forwards of the measures dual to u and v. So we assume that u and v are good and we need to prove that w is also good. It is pretty easy to check all conditions from Definition 3.1 except for the condition 5. For the condition 5, we should check the L 1 property for the restrictions of f and restrictions of ˆf. We will prove this for f, the statement for ˆf then follows by duality. So, suppose M is a closed subgroup of G H. We need to prove that the restriction of f to M is L 1 with respect to a Haar measure on M. By Theorem 4.1 (1), we can reduce the problem to the case when π G (M) =G and π H (M) =H. So this is now our assumption. If N = M G and K = π H (π 1 G (N)) we can define a map ρ : G (H/K) as follows. ρ(x) =π H (y) K, where π G (y) =x. Then w(x, y)dm M (x, y) =const u(x) f(ρ(x))dm G (x), (x,y) M x G where f is a function on H/K such that for y H f(y) = v(y + z)dm K (z) z K
10 10 A. BORISOV, POSITIVE POSITIVE-DEFINITE FUNCTIONS By Theorem 4.1 (3) f f(0) v H/K. Therefore f(ρ(x)) f(0) for all x G. Thus the above integral is bounded by f(0) u(x)dm G (x) < x G Corollary 4.2. The product of two PPD (good) functions on a group G is PPD (good). The convolution of two PPD (good) measures on G is PPD (good). Also if the functions (measures) are normalized then so is their product (convolution). Proof. If u and v are two functions on G then u v is just the restriction to the diagonal of the function w on G G. So the statements for the functions follow from the above theorem. The statements for the measures follows via duality. In fact, stronger results can be obtained. Namely, the product of two PPD functions or convolution of two PPD measures is good as soon as at least one of the original function or measures is good. The following theorem proves it for the functions. The statement for the measures follows via duality. Theorem 4.3. Suppose G is a locally compact abelian group, f NPPDf(G), and g Goodf(G). Then w = f g Goodf(G). Proof. By Corollary 4.2 we only need to check some integrability conditions for w and ŵ. By Theorem 2.1 w(x) g(x) for all x G. So the integrability conditions for w follow from the corresponding integrability conditions for g. We just need to prove that ŵ is L 1 when restricted to any closed subgroup H of Ĝ. Suppose µ PPDm(Ĝ) is a measure dual to f, andu NGoodf(Ĝ) is the normalized dual of g. Then the function ŵ is proportional to the function u µ, where u µ = u(x y)dµ(y) y Ĝ So we just need to show that for some Haar measure m H on H A = u(x y)dµ(y)dm H (x) < x H y Ĝ Changing the order of summation in the non-negative integral, A = u(x y)dm H (x)dµ(y) y Ĝ x H
11 A. BORISOV, POSITIVE POSITIVE-DEFINITE FUNCTIONS 11 Let us denote v = π u Ĝ/H, where π : Ĝ Ĝ/H is the natural homomorphism. By Theorem 4.1 (3) the above formula implies that A const v( y)dµ(y) y Ĝ Because v NPPDf(H), v( y) =v(y) 1. So A const dµ(y) =const f(o) < y Ĝ 5. Open questions There are several open questions that arise naturally from what have proven in the paper. Question 1. Is it true that in Theorem 4.1 (3) the almost all is actually all. Or, maybe one can cook up an example of a good function whose average over some coset is strictly less than the limit of the averages over the nearby cosets? My intuition does not tell me what the answer should be, so I am not going to make any conjectures. I just hope that some specialist could provide an answer. Question 2. What is the structure of the cones of good and PPD functions on an arbitrary locally compact abelian group G? As far as I know this question is wide open. The following two results suggest that it could be quite interesting. Theorem 5.1. If G = n< then good functions form an open cone in the space R n of all real-valued functions on G. TheconeofPPD functions on G is the inside the closure of the cone of good functions. This closure is a polyhedral cone. Proof. The cone of good functions is open because it is cut out by a finite number of strict linear inequalities in R n. The same inequalities cut out the cone of PPD functions, but now those of them that correspond to the elements in Ĝ are not strict. It could be interesting to figure out the combinatorial structure of this cone. By the way, in the natural basis formed by the characteristic functions of the points this cone is algebraic. This means that the coefficients of the defining hyperplanes can be chose to be algebraic numbers. In fact, they can be chosen from the totally real field Q[ζ n + ], where ζ n is a primitive n th root of unity. ζ 1 n
12 12 A. BORISOV, POSITIVE POSITIVE-DEFINITE FUNCTIONS Theorem 5.2. Suppose G = R n, and Q is a positive-definite quadratic form on R n. Then the function f(x) =e Q(x) is good and generates an extremal ray in the cone of good functions. Proof. If n = 1 this follows from the theorem of Hardy (cf. [3]). For the higher n it follows from the generalization of the Hardy s theorem, due to Sitaram, Sundari, and Thangavelu (cf. [4], also [5]). I owe the above references to Joaquim Ortega-Cerda. This theorem of Hardy and its generalizations can be viewed as some particular forms of the general Uncertainty Principle in harmonic analysis. This principle suggests that a function and its Fourier transform could not be simultaneously sharply localized. The above theorem is clearly just the first step, and the structure of the cone of good functions on R n is still a mystery. We don t even know if there are any other extremal rays. It is also interesting to find out if this kind of phenomenon happens for any other groups. Question 3. Locally compact abelian groups have many different generalizations, e.g. general locally compact groups, hypergroups, etc. A lot of harmonic analysis, in particular Pontryagin duality, has been carried out for many such generalizations. So it is natural to ask for the generalizations of the results of this paper to these more general objects. The notion of PPD functions and measures is not hard to make sense of. But it is not clear, e.g. what a right definition of a good function on a non-commutative locally compact group is. This sort of questions is beyond my area of expertise. So I just hope that some harmonic analysis specialists will eventually find the natural framework for the results of this paper. References [1] Borisov, A. Convolution structures and arithmetic cohomology, preprint, [2] Folland, G. B. A course in abstract harmonic analysis. Studies in Advanced Mathematics CRC Press, [3] Hardy, G.H. A theorem concerning Fourier transforms, J. London Math. Soc [4] Sitaram, A., Sundari, M., and Thangavelu, S. Uncertainty principles for certain Lie groups, Proc. Indian Acad. Sci. Math. Sci [5] Folland, G. B., Sitaram, A. The Uncertainty Principle: a mathematical survey, J. Fourier Anal. Appl. 3 (1997), no3, Department of Mathematics, Pennsylvania State University, University Park, PA 16802, USA address: borisov@math.psu.edu
CONVOLUTION STRUCTURES AND ARITHMETIC ALEXANDR BORISOV. Revised version. 1. Introduction
CONVOLUTION STRUCTURES AND ARITHMETIC COHOMOLOGY ALEXANDR BORISOV Revised version 1. Introduction In the beginning of 1998 Gerard van der Geer and Rene Schoof posted a beautiful preprint (cf. [2]). Among
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 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 informationWhat is the Langlands program all about?
What is the Langlands program all about? Laurent Lafforgue November 13, 2013 Hua Loo-Keng Distinguished Lecture Academy of Mathematics and Systems Science, Chinese Academy of Sciences This talk is mainly
More informationIntro to harmonic analysis on groups Risi Kondor
Risi Kondor Any (sufficiently smooth) function f on the unit circle (equivalently, any 2π periodic f ) can be decomposed into a sum of sinusoidal waves f(x) = k= c n e ikx c n = 1 2π f(x) e ikx dx 2π 0
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 informationA Version of the Grothendieck Conjecture for p-adic Local Fields
A Version of the Grothendieck Conjecture for p-adic Local Fields by Shinichi MOCHIZUKI* Section 0: Introduction The purpose of this paper is to prove an absolute version of the Grothendieck Conjecture
More informationDualities in Mathematics: Locally compact abelian groups
Dualities in Mathematics: Locally compact abelian groups Part III: Pontryagin Duality Prakash Panangaden 1 1 School of Computer Science McGill University Spring School, Oxford 20-22 May 2014 Recall Gelfand
More informationTopics in Representation Theory: Fourier Analysis and the Peter Weyl Theorem
Topics in Representation Theory: Fourier Analysis and the Peter Weyl Theorem 1 Fourier Analysis, a review We ll begin with a short review of simple facts about Fourier analysis, before going on to interpret
More informationAbelian topological groups and (A/k) k. 1. Compact-discrete duality
(December 21, 2010) Abelian topological groups and (A/k) k Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ 1. Compact-discrete duality 2. (A/k) k 3. Appendix: compact-open topology
More informationSome Remarks on the Discrete Uncertainty Principle
Highly Composite: Papers in Number Theory, RMS-Lecture Notes Series No. 23, 2016, pp. 77 85. Some Remarks on the Discrete Uncertainty Principle M. Ram Murty Department of Mathematics, Queen s University,
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 informationCHARACTER-FREE APPROACH TO PROGRESSION-FREE SETS
CHARACTR-FR APPROACH TO PROGRSSION-FR STS VSVOLOD F. LV Abstract. We present an elementary combinatorial argument showing that the density of a progression-free set in a finite r-dimensional vector space
More informationp,q H (X), H (Y ) ), where the index p has the same meaning as the
There are two Eilenberg-Moore spectral sequences that we shall consider, one for homology and the other for cohomology. In contrast with the situation for the Serre spectral sequence, for the Eilenberg-Moore
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 informationMTH 428/528. Introduction to Topology II. Elements of Algebraic Topology. Bernard Badzioch
MTH 428/528 Introduction to Topology II Elements of Algebraic Topology Bernard Badzioch 2016.12.12 Contents 1. Some Motivation.......................................................... 3 2. Categories
More information8. Limit Laws. lim(f g)(x) = lim f(x) lim g(x), (x) = lim x a f(x) g lim x a g(x)
8. Limit Laws 8.1. Basic Limit Laws. If f and g are two functions and we know the it of each of them at a given point a, then we can easily compute the it at a of their sum, difference, product, constant
More informationD-MATH Algebra I HS 2013 Prof. Brent Doran. Solution 3. Modular arithmetic, quotients, product groups
D-MATH Algebra I HS 2013 Prof. Brent Doran Solution 3 Modular arithmetic, quotients, product groups 1. Show that the functions f = 1/x, g = (x 1)/x generate a group of functions, the law of composition
More informationMATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA
MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA These are notes for our first unit on the algebraic side of homological algebra. While this is the last topic (Chap XX) in the book, it makes sense to
More informationFourier Analysis. 1 Fourier basics. 1.1 Examples. 1.2 Characters form an orthonormal basis
Fourier Analysis Topics in Finite Fields (Fall 203) Rutgers University Swastik Kopparty Last modified: Friday 8 th October, 203 Fourier basics Let G be a finite abelian group. A character of G is simply
More informationA Harvard Sampler. Evan Chen. February 23, I crashed a few math classes at Harvard on February 21, Here are notes from the classes.
A Harvard Sampler Evan Chen February 23, 2014 I crashed a few math classes at Harvard on February 21, 2014. Here are notes from the classes. 1 MATH 123: Algebra II In this lecture we will make two assumptions.
More informationNOTES ON FINITE FIELDS
NOTES ON FINITE FIELDS AARON LANDESMAN CONTENTS 1. Introduction to finite fields 2 2. Definition and constructions of fields 3 2.1. The definition of a field 3 2.2. Constructing field extensions by adjoining
More informationQuadratic reciprocity (after Weil) 1. Standard set-up and Poisson summation
(December 19, 010 Quadratic reciprocity (after Weil Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ I show that over global fields k (characteristic not the quadratic norm residue symbol
More informationMath 121. Fundamental Theorem and an example
Math 121. Fundamental Theorem and an example Let K/k be a finite Galois extension and G = Gal(K/k), so #G = [K : k] by the counting criterion for separability discussed in class. In this handout we will
More informationSets of Completely Decomposed Primes in Extensions of Number Fields
Sets of Completely Decomposed Primes in Extensions of Number Fields by Kay Wingberg June 15, 2014 Let p be a prime number and let k(p) be the maximal p-extension of a number field k. If T is a set of primes
More informationQuadratic reciprocity (after Weil) 1. Standard set-up and Poisson summation
(September 17, 010) Quadratic reciprocity (after Weil) Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ I show that over global fields (characteristic not ) the quadratic norm residue
More informationA SHORT PROOF OF ROST NILPOTENCE VIA REFINED CORRESPONDENCES
A SHORT PROOF OF ROST NILPOTENCE VIA REFINED CORRESPONDENCES PATRICK BROSNAN Abstract. I generalize the standard notion of the composition g f of correspondences f : X Y and g : Y Z to the case that X
More informationPoisson summation and the discrete Fourier transform John Kerl University of Arizona, Math 523B April 14, 2006
Poisson summation and the discrete Fourier transform John Kerl University of Arizona, Math 523B April 4, 2006 In Euclidean space, given a vector,... 2 ... we can put down a coordinate frame (say an orthonormal
More informationFactorization in Integral Domains II
Factorization in Integral Domains II 1 Statement of the main theorem Throughout these notes, unless otherwise specified, R is a UFD with field of quotients F. The main examples will be R = Z, F = Q, and
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 informationDemushkin s Theorem in Codimension One
Universität Konstanz Demushkin s Theorem in Codimension One Florian Berchtold Jürgen Hausen Konstanzer Schriften in Mathematik und Informatik Nr. 176, Juni 22 ISSN 143 3558 c Fachbereich Mathematik und
More informationHeisenberg s inequality
Heisenberg s inequality Michael Walter 1 Introduction 1 Definition. Let P be a probability measure on R. Then its mean or expectation is defined as E(P) := x dp(x) Its variance is the expected square deviation
More informationOn positive positive-definite functions and Bochner s Theorem
On positive positive-definite functions and Bochner s Theorem Aicke Hinrichs Mathematisches Institut, Universität Jena Ernst-Abbe-Platz, 07740 Jena, Germany email: a.hinrichs@uni-jena.de Jan Vybíral RICAM,
More informationDefinable henselian valuation rings
Definable henselian valuation rings Alexander Prestel Abstract We give model theoretic criteria for the existence of and - formulas in the ring language to define uniformly the valuation rings O of models
More informationIf F is a divisor class on the blowing up X of P 2 at n 8 general points p 1,..., p n P 2,
Proc. Amer. Math. Soc. 124, 727--733 (1996) Rational Surfaces with K 2 > 0 Brian Harbourne Department of Mathematics and Statistics University of Nebraska-Lincoln Lincoln, NE 68588-0323 email: bharbourne@unl.edu
More informationError Correcting Codes Prof. Dr. P Vijay Kumar Department of Electrical Communication Engineering Indian Institute of Science, Bangalore
(Refer Slide Time: 00:54) Error Correcting Codes Prof. Dr. P Vijay Kumar Department of Electrical Communication Engineering Indian Institute of Science, Bangalore Lecture No. # 05 Cosets, Rings & Fields
More informationGeometric intuition: from Hölder spaces to the Calderón-Zygmund estimate
Geometric intuition: from Hölder spaces to the Calderón-Zygmund estimate A survey of Lihe Wang s paper Michael Snarski December 5, 22 Contents Hölder spaces. Control on functions......................................2
More informationRIEMANN SURFACES. max(0, deg x f)x.
RIEMANN SURFACES 10. Weeks 11 12: Riemann-Roch theorem and applications 10.1. Divisors. The notion of a divisor looks very simple. Let X be a compact Riemann surface. A divisor is an expression a x x x
More informationThus we get. ρj. Nρj i = δ D(i),j.
1.51. The distinguished invertible object. Let C be a finite tensor category with classes of simple objects labeled by a set I. Since duals to projective objects are projective, we can define a map D :
More informationHOW TO LOOK AT MINKOWSKI S THEOREM
HOW TO LOOK AT MINKOWSKI S THEOREM COSMIN POHOATA Abstract. In this paper we will discuss a few ways of thinking about Minkowski s lattice point theorem. The Minkowski s Lattice Point Theorem essentially
More informationDO NOT OPEN THIS QUESTION BOOKLET UNTIL YOU ARE TOLD TO DO SO
QUESTION BOOKLET EECS 227A Fall 2009 Midterm Tuesday, Ocotober 20, 11:10-12:30pm DO NOT OPEN THIS QUESTION BOOKLET UNTIL YOU ARE TOLD TO DO SO You have 80 minutes to complete the midterm. The midterm consists
More informationThe Lusin Theorem and Horizontal Graphs in the Heisenberg Group
Analysis and Geometry in Metric Spaces Research Article DOI: 10.2478/agms-2013-0008 AGMS 2013 295-301 The Lusin Theorem and Horizontal Graphs in the Heisenberg Group Abstract In this paper we prove that
More information1.3.1 Definition and Basic Properties of Convolution
1.3 Convolution 15 1.3 Convolution Since L 1 (R) is a Banach space, we know that it has many useful properties. In particular the operations of addition and scalar multiplication are continuous. However,
More information(IV.C) UNITS IN QUADRATIC NUMBER RINGS
(IV.C) UNITS IN QUADRATIC NUMBER RINGS Let d Z be non-square, K = Q( d). (That is, d = e f with f squarefree, and K = Q( f ).) For α = a + b d K, N K (α) = α α = a b d Q. If d, take S := Z[ [ ] d] or Z
More informationACTING FREELY GABRIEL GASTER
ACTING FREELY GABRIEL GASTER 1. Preface This article is intended to present a combinatorial proof of Schreier s Theorem, that subgroups of free groups are free. While a one line proof exists using the
More informationA VERY BRIEF REVIEW OF MEASURE THEORY
A VERY BRIEF REVIEW OF MEASURE THEORY A brief philosophical discussion. Measure theory, as much as any branch of mathematics, is an area where it is important to be acquainted with the basic notions and
More informationLecture 1. Toric Varieties: Basics
Lecture 1. Toric Varieties: Basics Taras Panov Lomonosov Moscow State University Summer School Current Developments in Geometry Novosibirsk, 27 August1 September 2018 Taras Panov (Moscow University) Lecture
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 informationMath 250A, Fall 2004 Problems due October 5, 2004 The problems this week were from Lang s Algebra, Chapter I.
Math 250A, Fall 2004 Problems due October 5, 2004 The problems this week were from Lang s Algebra, Chapter I. 24. We basically know already that groups of order p 2 are abelian. Indeed, p-groups have non-trivial
More informationWeighted norm inequalities for singular integral operators
Weighted norm inequalities for singular integral operators C. Pérez Journal of the London mathematical society 49 (994), 296 308. Departmento de Matemáticas Universidad Autónoma de Madrid 28049 Madrid,
More informationare Banach algebras. f(x)g(x) max Example 7.4. Similarly, A = L and A = l with the pointwise multiplication
7. Banach algebras Definition 7.1. A is called a Banach algebra (with unit) if: (1) A is a Banach space; (2) There is a multiplication A A A that has the following properties: (xy)z = x(yz), (x + y)z =
More informationwhere Σ is a finite discrete Gal(K sep /K)-set unramified along U and F s is a finite Gal(k(s) sep /k(s))-subset
Classification of quasi-finite étale separated schemes As we saw in lecture, Zariski s Main Theorem provides a very visual picture of quasi-finite étale separated schemes X over a henselian local ring
More informationEssays on representations of p-adic groups. Smooth representations. π(d)v = ϕ(x)π(x) dx. π(d 1 )π(d 2 )v = ϕ 1 (x)π(x) dx ϕ 2 (y)π(y)v dy
10:29 a.m. September 23, 2006 Essays on representations of p-adic groups Smooth representations Bill Casselman University of British Columbia cass@math.ubc.ca In this chapter I ll define admissible representations
More informationFORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS
Sairaiji, F. Osaka J. Math. 39 (00), 3 43 FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS FUMIO SAIRAIJI (Received March 4, 000) 1. Introduction Let be an elliptic curve over Q. We denote by ˆ
More informationConnectedness. Proposition 2.2. The following are equivalent for a topological space (X, T ).
Connectedness 1 Motivation Connectedness is the sort of topological property that students love. Its definition is intuitive and easy to understand, and it is a powerful tool in proofs of well-known results.
More informationAlmost periodic functionals
Almost periodic functionals Matthew Daws Leeds Warsaw, July 2013 Matthew Daws (Leeds) Almost periodic functionals Warsaw, July 2013 1 / 22 Dual Banach algebras; personal history A Banach algebra A Banach
More informationTr (Q(E)P (F )) = µ(e)µ(f ) (1)
Some remarks on a problem of Accardi G. CASSINELLI and V. S. VARADARAJAN 1. Introduction Let Q, P be the projection valued measures on the real line R that are associated to the position and momentum observables
More information10. Smooth Varieties. 82 Andreas Gathmann
82 Andreas Gathmann 10. Smooth Varieties Let a be a point on a variety X. In the last chapter we have introduced the tangent cone C a X as a way to study X locally around a (see Construction 9.20). It
More informationPrimes in arithmetic progressions
(September 26, 205) Primes in arithmetic progressions Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/mfms/notes 205-6/06 Dirichlet.pdf].
More informationTwo subgroups and semi-direct products
Two subgroups and semi-direct products 1 First remarks Throughout, we shall keep the following notation: G is a group, written multiplicatively, and H and K are two subgroups of G. We define the subset
More informationSemistable Representations of Quivers
Semistable Representations of Quivers Ana Bălibanu Let Q be a finite quiver with no oriented cycles, I its set of vertices, k an algebraically closed field, and Mod k Q the category of finite-dimensional
More information(1) A frac = b : a, b A, b 0. We can define addition and multiplication of fractions as we normally would. a b + c d
The Algebraic Method 0.1. Integral Domains. Emmy Noether and others quickly realized that the classical algebraic number theory of Dedekind could be abstracted completely. In particular, rings of integers
More informationNoncommutative Uncertainty Principle
Noncommutative Uncertainty Principle Zhengwei Liu (joint with Chunlan Jiang and Jinsong Wu) Vanderbilt University The 12th East Coast Operator Algebras Symposium, Oct 12, 2014 Z. Liu (Vanderbilt) Noncommutative
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 informationMath 350 Fall 2011 Notes about inner product spaces. In this notes we state and prove some important properties of inner product spaces.
Math 350 Fall 2011 Notes about inner product spaces In this notes we state and prove some important properties of inner product spaces. First, recall the dot product on R n : if x, y R n, say x = (x 1,...,
More informationA Curious Connection Between Fermat Numbers and Finite Groups
A Curious Connection Between Fermat Numbers and Finite Groups Carrie E. Finch and Lenny Jones 1. INTRODUCTION. In the seventeenth century, Fermat defined the sequence of numbers F n = 2 2n + 1 for n 0,
More informationThe Skorokhod reflection problem for functions with discontinuities (contractive case)
The Skorokhod reflection problem for functions with discontinuities (contractive case) TAKIS KONSTANTOPOULOS Univ. of Texas at Austin Revised March 1999 Abstract Basic properties of the Skorokhod reflection
More informationPERVERSE SHEAVES ON A TRIANGULATED SPACE
PERVERSE SHEAVES ON A TRIANGULATED SPACE A. POLISHCHUK The goal of this note is to prove that the category of perverse sheaves constructible with respect to a triangulation is Koszul (i.e. equivalent to
More informationNotas de Aula Grupos Profinitos. Martino Garonzi. Universidade de Brasília. Primeiro semestre 2018
Notas de Aula Grupos Profinitos Martino Garonzi Universidade de Brasília Primeiro semestre 2018 1 Le risposte uccidono le domande. 2 Contents 1 Topology 4 2 Profinite spaces 6 3 Topological groups 10 4
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 43
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 43 RAVI VAKIL CONTENTS 1. Facts we ll soon know about curves 1 1. FACTS WE LL SOON KNOW ABOUT CURVES We almost know enough to say a lot of interesting things about
More informationStandard forms for writing numbers
Standard forms for writing numbers In order to relate the abstract mathematical descriptions of familiar number systems to the everyday descriptions of numbers by decimal expansions and similar means,
More informationCYCLICITY OF (Z/(p))
CYCLICITY OF (Z/(p)) KEITH CONRAD 1. Introduction For each prime p, the group (Z/(p)) is cyclic. We will give seven proofs of this fundamental result. A common feature of the proofs that (Z/(p)) is cyclic
More informationDEFINITION OF ABELIAN VARIETIES AND THE THEOREM OF THE CUBE
DEFINITION OF ABELIAN VARIETIES AND THE THEOREM OF THE CUBE ANGELA ORTEGA (NOTES BY B. BAKKER) Throughout k is a field (not necessarily closed), and all varieties are over k. For a variety X/k, by a basepoint
More informationShift Invariant Spaces and Shift Generated Dual Frames for Local Fields
Communications in Mathematics and Applications Volume 3 (2012), Number 3, pp. 205 214 RGN Publications http://www.rgnpublications.com Shift Invariant Spaces and Shift Generated Dual Frames for Local Fields
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 information2. Two binary operations (addition, denoted + and multiplication, denoted
Chapter 2 The Structure of R The purpose of this chapter is to explain to the reader why the set of real numbers is so special. By the end of this chapter, the reader should understand the difference between
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 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 informationCHAPTER 10: POLYNOMIALS (DRAFT)
CHAPTER 10: POLYNOMIALS (DRAFT) LECTURE NOTES FOR MATH 378 (CSUSM, SPRING 2009). WAYNE AITKEN The material in this chapter is fairly informal. Unlike earlier chapters, no attempt is made to rigorously
More information1 The Heisenberg group does not admit a bi- Lipschitz embedding into L 1
The Heisenberg group does not admit a bi- Lipschitz embedding into L after J. Cheeger and B. Kleiner [CK06, CK09] A summary written by John Mackay Abstract We show that the Heisenberg group, with its Carnot-Caratheodory
More informationCUT-OFF FOR QUANTUM RANDOM WALKS. 1. Convergence of quantum random walks
CUT-OFF FOR QUANTUM RANDOM WALKS AMAURY FRESLON Abstract. We give an introduction to the cut-off phenomenon for random walks on classical and quantum compact groups. We give an example involving random
More information12. Hilbert Polynomials and Bézout s Theorem
12. Hilbert Polynomials and Bézout s Theorem 95 12. Hilbert Polynomials and Bézout s Theorem After our study of smooth cubic surfaces in the last chapter, let us now come back to the general theory of
More informationNew York Journal of Mathematics. Cohomology of Modules in the Principal Block of a Finite Group
New York Journal of Mathematics New York J. Math. 1 (1995) 196 205. Cohomology of Modules in the Principal Block of a Finite Group D. J. Benson Abstract. In this paper, we prove the conjectures made in
More informationTopological properties
CHAPTER 4 Topological properties 1. Connectedness Definitions and examples Basic properties Connected components Connected versus path connected, again 2. Compactness Definition and first examples Topological
More informationMini-Course on Moduli Spaces
Mini-Course on Moduli Spaces Emily Clader June 2011 1 What is a Moduli Space? 1.1 What should a moduli space do? Suppose that we want to classify some kind of object, for example: Curves of genus g, One-dimensional
More informationHecke modifications. Aron Heleodoro. May 28, 2013
Hecke modifications Aron Heleodoro May 28, 2013 1 Introduction The interest on Hecke modifications in the geometrical Langlands program comes as a natural categorification of the product in the spherical
More informationELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS
ELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS J. WARNER SUMMARY OF A PAPER BY J. CARLSON, E. FRIEDLANDER, AND J. PEVTSOVA, AND FURTHER OBSERVATIONS 1. The Nullcone and Restricted Nullcone We will need
More informationCHAPTER 2: CONVEX SETS AND CONCAVE FUNCTIONS. W. Erwin Diewert January 31, 2008.
1 ECONOMICS 594: LECTURE NOTES CHAPTER 2: CONVEX SETS AND CONCAVE FUNCTIONS W. Erwin Diewert January 31, 2008. 1. Introduction Many economic problems have the following structure: (i) a linear function
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 informationbe any ring homomorphism and let s S be any element of S. Then there is a unique ring homomorphism
21. Polynomial rings Let us now turn out attention to determining the prime elements of a polynomial ring, where the coefficient ring is a field. We already know that such a polynomial ring is a UFD. Therefore
More informationFourier Transform & Sobolev Spaces
Fourier Transform & Sobolev Spaces Michael Reiter, Arthur Schuster Summer Term 2008 Abstract We introduce the concept of weak derivative that allows us to define new interesting Hilbert spaces the Sobolev
More informationThe Major Problems in Group Representation Theory
The Major Problems in Group Representation Theory David A. Craven 18th November 2009 In group representation theory, there are many unsolved conjectures, most of which try to understand the involved relationship
More informationTHEOREM OF OSELEDETS. We recall some basic facts and terminology relative to linear cocycles and the multiplicative ergodic theorem of Oseledets [1].
THEOREM OF OSELEDETS We recall some basic facts and terminology relative to linear cocycles and the multiplicative ergodic theorem of Oseledets []. 0.. Cocycles over maps. Let µ be a probability measure
More informationDifference Sets Corresponding to a Class of Symmetric Designs
Designs, Codes and Cryptography, 10, 223 236 (1997) c 1997 Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. Difference Sets Corresponding to a Class of Symmetric Designs SIU LUN MA
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 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 informationHardy martingales and Jensen s Inequality
Hardy martingales and Jensen s Inequality Nakhlé H. Asmar and Stephen J. Montgomery Smith Department of Mathematics University of Missouri Columbia Columbia, Missouri 65211 U. S. A. Abstract Hardy martingales
More informationThe uniform uncertainty principle and compressed sensing Harmonic analysis and related topics, Seville December 5, 2008
The uniform uncertainty principle and compressed sensing Harmonic analysis and related topics, Seville December 5, 2008 Emmanuel Candés (Caltech), Terence Tao (UCLA) 1 Uncertainty principles A basic principle
More informationBURGESS INEQUALITY IN F p 2. Mei-Chu Chang
BURGESS INEQUALITY IN F p 2 Mei-Chu Chang Abstract. Let be a nontrivial multiplicative character of F p 2. We obtain the following results.. Given ε > 0, there is δ > 0 such that if ω F p 2\F p and I,
More informationIsogeny invariance of the BSD formula
Isogeny invariance of the BSD formula Bryden Cais August 1, 24 1 Introduction In these notes we prove that if f : A B is an isogeny of abelian varieties whose degree is relatively prime to the characteristic
More information