A MOTIVIC LOCAL CAUCHY-CROFTON FORMULA
|
|
- Branden Rich
- 5 years ago
- Views:
Transcription
1 A MOTIVIC LOCAL CAUCHY-CROFTON FORMULA ARTHUR FOREY Abstract. In this note, we establish a version of the local Cauchy-Crofton formula for definable sets in Henselian discretely valued fields of characteristic zero. It allows to compute the motivic local density of a set from the densities of its projections integrated over the Grassmannian. 1. Introduction The classical Cauchy-Crofton formula is a geometric measure theory result stating that the volume of a set X of dimension d can be recovered by integrating over the Grassmannian the number of points of intersection of X with affine spaces of codimension d, see for example [9]. It has been used by Lion [11] to show the existence of the local density of semi-pfaffian sets. Comte [5], [6] has established a local version of the formula for sets X R n definable in an o-minimal structure. The formula states that the local density of such a set X can be recovered by integrating over a Grassmannian the density of the projection of X on subspaces. This allows him to show the continuity of the real local density along Verdier s strata in [6]. This was generalized by Valette in [12] to show that the continuity also holds along Whitney s strata. The local Cauchy-Crofton formula appears as a first step toward comparing the local Lipschitz-Killing curvature invariants and the polar invariants of a germ of a definable set X R n. It is shown by Comte and Merle in [8] that one can recover one set of invariants by linear combination of the other, see also [7]. A notion of local density for definable sets in Henselian valued field of characteristic zero has been developed by the autor in [10]. The aim of this note is to establish a motivic analogue of the local Cauchy-Crofton formula. Our formula is a new step toward developing a theory of higher local curvature invariants in non-archimedean geometry. Let us describe briefly our formula. Fix an algebraically closed field k of characteristic zero and K = k((t. Fix X a semi-algebraic subset of K n of dimension d. We use the motivic integral of Cluckers and Loeser [3], which takes values in the localised Grothendieck group of varieties K(Var k loc. Denote by Θ d (X, x the motivic local density of X at x. Let G(n, d the Grassmannian variety of d-dimensional vector subspaces of K n. There is a volume form ω n,d invariant under GL n (O K -transformations such that 1 = G(n,d ω n,d. For V G(n, n d, let p V : K n K n /V be the canonical projection. There is a dense subset Ω G(n, n d such that for V Ω, p V is finite-to-one on X intersected with a small enough ball around x. Let p V!,x (1 X denote the motivic constructible function supported on p(x taking into account motivically the finite fibers of p V. The Date: November 23, Mathematics Subject Classification. Primary 03C98 and 12J10 and 14B05 and 32Sxx and Secondary 03C68 and 11S80. Key words and phrases. Motivic integration, Henselian valued fields, local density, metric invariants. This research was partially supported by ANR-15-CE (Défigéo. 1
2 2 ARTHUR FOREY motivic local Cauchy-Crofton formula is the following equality : Θ d (X, x = Θ d (p V!,x (1 X, 0ω n,n d (V. V Ω G(n,n d Our precise result appears as Theorem 4.1 at the end of Section 4 and applies more generally to any definable set in a tame or mixed tame theory of valued fields in the sense of [4]. A p-adic analogue has been developed by Cluckers, Comte and Loeser in [2, Section 6]. We will follow closely their approach. In the real and p-adic case of the formula, the function p V!,x (1 X is replaced by the function sending y p V (X to the cardinal of the finite set p 1 V (y. Such a choice would not lead to the correct result in our case. Acknowledgements. Many thanks to Georges Comte for encouraging me to work on this project and useful discussions. I also thanks Michel Raibaut for interesting comments. 2. Motivic integration and local density We assume the reader is familiar with the notion of motivic local density developed by the autor in [10] and in particular with Cluckers and Loeser s theory of motivic integration [3], [4]. See [10, Section 2.7] for a short summary of the theory. We adopt the notations and conventions of [10]. In particular, we fix T, a tame or mixed-tame theory of valued fields in the sense of [4]. Such a T always admits a Henselian discretely valued field of characteristic zero as a model. Definable means definable without parameters in T and K is (the underlining valued field of a model of T with discrete value group and residue field k enough saturated. For example, we can take for T the theory of a discretely valued field of characteristic zero in the Denef-Pas language ; if the residue field is of characteristic p > 0, one need to add the higher angular components. For each definable set X, Cluckers and Loeser define a ring of constructible motivic functions C(X, which include the characteristic functions of any definable set Y X. For ϕ C(X of support of dimension d and that is integrable, they define d ϕ C({ }. If d = dim(x, we drop the d from the notation. If ϕ is the characteristic function of some definable set Y X, we denote the integral µ d (Y. If the residue field k is algebraically closed, the target ring of motivic integration is equal to [ ( C({ } = K(Var k loc := K(Var k L 1, 1 1 L α α N where L = [A 1 k ]. Fix some definable set X K m of dimension d, and x K m, define θ n = µ d(x B(x, n L nd, where B(x, n is the ball of center x and valuative radius n. There is some e N such that for each i, the subsequence (θ ke+i k N converges to some d i C({ }. Here C({ } has a topology induced by the degree in L. We ],
3 A MOTIVIC LOCAL CAUCHY-CROFTON FORMULA 3 define the motivic local density of X at x to be Θ d (X, x = 1 d i C({ } Q. e It is shown in [10] that one can compute the motivic local density on the tangent cone. Fix some Λ D, where D = {Λ n,m n, m N }, Λ n,m = { λ K ac m (λ = 1, v(λ = 0 mod n }. The Λ-tangent cone of X at x is the definable set C Λ x (X = {u K n i Z, y X, λ Λ, v(y x i, v(λ(y x u i}. The Λ-tangent cone with multiplicities is a definable function CM Λ x (X C(K m, of support C Λ x (X, well defined up to a set of dimension < d. For example, if X K m is of dimension m, there is no muliplicity to take into account and CM Λ x (X is the characteristic function of C Λ x (X. Theorems 3.25 and 5.12 from [10] state that there is a Λ such that for all Λ Λ, C Λ x (X = C Λ x (X and Θ d (X, x = Θ d (CM Λ x (X, Local constructible functions Consider a definable function π : X Y between definable sets X and Y of dimension n. Recall form [4] the notation π! (ϕ C(Y for any motivic constructible function ϕ C(X. If π is finite-to-one, there is a definable bijection g : X Z Y k s over Y, meaning that π is equal to the composition of g and the coordinate projection of Z to Y. Then π! (1 X is equal to the class of Z in the relative Grothendieck group of varieties over Y. If X is a definable subset of K n and x K n, define the ring of germs of constructible motivic functions at x by C(X x := C(X/, where ϕ ψ if there is an r N such that 1 B(x,r ϕ = 1 B(x,r ψ. in particular, if ϕ ψ are locally bounded, then Θ d (ϕ, x = Θ d (ψ, x hence the local motivic density is defined on C(K n x. Consider now a linear projection π : K n K d and let X K n a definable set of dimension d. Say that condition ( is satisfied if π X B(x,r is finite-to-one for some r 0. Then define π!,x (ϕ = π! (1 B(x,r ϕ C(Y π(x for ϕ C(X x. It does not depend on the large enough r chosen. Indeed, as π : X B(x, r Y is finite-to-one, then there is W r R s s finite with X B(x, r W r Y and the composite W Y π X B(x, r Y being the projection on Y. Hence (up to taking a finite definable partition of X, for some r 0, for any r r 0, W r = W r0 and π(x B(x, r = π(y B(π(x, αr, which means that π! (1 B(x,r ϕ C(Y / π(x is independent of r. 4. Grassmannians Fix a point x K n and view K n as a K-vector space with origin 0. Then denote by G(n, d K the Grassmannian of dimension d subvector spaces of K n. The canonical volume form on G(n, d K invariant under GL n (O K -transformations induce a constuctible function ω n,d on G(n, d invariant under GL n (O K transformations, see [3, Section 15] for details. Since G(n, d k is smooth and proper, the motivic volume of G(n, d K is equal to the class [G(n, d k ] of G(n, d k is the (localized
4 4 ARTHUR FOREY Grothendieck group of varieties over the residue field k. Denoting F q the finite field with q elements, it is known, see for example [1], that The proof rely on the fact that G(n, d(f q = (qn 1(q n q (q n q r 1 (q r 1(q r q (q r q r 1. GL n (F q = G(n, r(f q GL r (F q q r(n r GL n r (F q. The analog of this formula holds in K(Var k. One also computes [GL n,k ] = (L n 1(L n L (L n L n 1 K(Var k by induction on the class of the space of r linearly independent vectors in k n. By combining those two facts, we get [G(n, d k ] = (Ln 1(L n L (L n L r 1 (L r 1(L r L (L r L r 1 K(Var k loc. Note that even if the right hand side can be written without denominator, hence as an element of K(Var k, one has to work in K(Var k loc to show the equality with this method. In particular, this shows that [G(n, d k ] is invertible in K(Var k loc. The motivic volume of G(n, r K is then invertible. Hence we can normalize ω n,r such that 1 = ω n,r (V. V G(n,r For V G(n, n d, define p V : K n K n /V the canonical projection. We identify K n /V to K d as follows. There is some g GL n (O K such that g(k n d {0} d = V. We identify K n /V to g({0} n d K n d. The particular choice of g does not matter thanks to the change of variable formula. If X is a dimension d definable subset of K n then there is an dense definable subset Ω = Ω(X, x of G(n, n d such that for every V Ω, π V satisfies condition (. Indeed the tangent K -cone of X is of dimension at most d and it suffices to set } Ω = {V G(n, n d V Cx K (X = {0}, which is indeed dense in G(n, n d. In particular, for any V Ω, p!,x (ϕ is well defined for any ϕ C(X x. With these notations, we can now state our motivic local Cauchy-Crofton formula. Recall that Θ d (X, x C({ } Q is the motivic local density of X at x, Theorem 4.1 (local Cauchy-Crofton. Let X K n a definable set of dimension d and x K n. Then Θ d (X, x = Θ d (p V!,x (1 X, 0ω n,n d (V. V Ω G(n,n d By [10, Proposition 3.8], we may assume X = X. We can also assume x = 0 and 0 X. Indeed, if 0 / X, then both sides of the formula are Tangential Crofton formula We start by proving the theorem in the particular case where X is a Λ-cone. Lemma 5.1. Let X be a definable Λ-cone with origin 0 contained in some Π G(n, d. Then Θ d (X, 0 = Θ d (p V (1 X, 0ω n,n d (V. V Ω G(n,n d
5 A MOTIVIC LOCAL CAUCHY-CROFTON FORMULA 5 Proof. Assume Λ = Λ e,r. Fix some V G(n, n d such that π V : Π K d is bijective. As X is a Λ-cone and π V is linear, π V (X is also a Λ-cone. From the definition of local density, see also [10, Remark 3.11], we have (1 Θ d (X, 0 = and (2 Θ d (π V (X, 0 = 1 e(1 L d L di µ d (X S(0, i 1 e(1 L d L dj µ d (X S(0, j. j=0 Let A i = {y π V (X x X S(0, i, λ Λ, y = λπ V (x} Then since X is a Λ-cone and π V is bijective, we have a disjoint union π V (X\ {0} =. e 1 A i. Now set B j i = A i S(0, j and Di V e 1 =. j=0 ti j B j i. The set C j is indeed a disjoint union since it is the image of X S(0, i by the application ϕ V : x X t v(x v(π V (x π V (x. Indeed the function ϕ V restricted to X S(0, i is a definable bijection of image Di V since π V is linear and bijective on Π. By the change of variable formula, we have (3 µ d (Di V = L v(jac(ϕ V (x. By Fubini theorem we get µ d (Di V ω n,n d (V = X S(0,i x X S(0,i L v(jac(ϕ V (x ω n,n d (V. Set C i (x = L v(jac(ϕ V (x ω n,n d (V. We claim that C i (x is independent of x S(0, i. Indeed, if x, x S(0, i, we can find some g GL n (O K such that x = gx. Since ω n,n d is invariant under GL n (O K -transformations and ϕ V (x = ϕ gv (x, by the change of variable formula we get that C i (x is equal to L v(jac(ϕ V (x ω n,n d (V = L v(jac(ϕ V (gx ω n,n d (V. V G(n,n d Moreover, it is independent of i by linearity of π V, hence we denote it by C and we have (4 µ d (Di V ω n,n d (V = Cµ d (X S(0, i. We also have (5 L dj µ d (B j i = Ldi µ d (t i j B j i,
6 6 ARTHUR FOREY hence (6 L dj µ d (π V (X S(0, j = L dj µ d (B j i j=0 j=0 = L di µ d (t i j B j i j=0 = L di µ d (Di V. Combining Equations 2, 6 and 4, we get 1 Θ d (π V (X, 0ω n,n d (V = C e(1 L d L di µ d (X S(0, i. This last expression is equal to = CΘ d (X, 0. We find C = 1 by computing both sides of the previous equality with X = Π. This following lemma is the motivic analogous of the classical spherical Crofton formula, see for example [9, Theorem ]. See also [2, Remark 6.2.4] for a reformulation in the p-adic case. Lemma 5.2. Let X be a definable Λ-cone with origin 0. Then Θ d (X, 0 = Θ d (p V!,0 (1 X, 0ω(V. Proof. We only have to modify slightly the proof of Lemma 5.1. Indeed, we use now the function ϕ V : x X t v(x v(π V (x π V (x. restricted to the smooth part of X. It is now longer injective on X S(0, i, however the motivic volume of the fibers is taken into account in p V!,0 (X. Hence we get similarly 1 Θ d (π V!,0 (X, 0ω n,n d (V = C e(1 L d L di µ d (X S(0, i, which is equal to CΘ d (X, 0. Once again, we find C = 1 by computing both sides for X a vector space of dimension d. 6. General case Before proving Theorem 4.1, we need a technical lemma. Lemma 6.1. Let X K n be a definable set of dimension d and V G(n, n d such that the projection p V : C0 Λ (X K d is finite-to-one. Then there is a definable k-partition of X such that for each k-part X ξ, there is a ξ-definable set C ξ of dimension less than d such that p V is injective on C0 Λ (X ξ \C ξ. Proof. We can assume Λ = K. As the projection p V : C0 Λ (X K d is finiteto-one, by finite b-minimality one can find a k-partition of C0 Λ (X such that p V is injective on each k-part of C0 Λ (X. For a k-part C0 Λ (X ξ, define B ξ to be the ξ-definable subset of K n defined as the union of lines l passing through 0 such that the distance between l S(0, 0 and C0 Λ (X ξ S(0, 0 is strictly smaller than the distance between l S(0, 0 and C0 Λ (X ξ S(0, 0 for every ξ ξ. Set X ξ = X B ξ. Then setting Y = X\ ξ X ξ, we have C0 Λ (Y empty and C0 Λ (X ξ C0 Λ(X ξ. Hence we set C ξ = C0 Λ(X ξ\c0 Λ (X ξ and we have X ξ and C ξ as required.
7 A MOTIVIC LOCAL CAUCHY-CROFTON FORMULA 7 Proof of Theorem 4.1. From [10, Theorem 3.25], there is a Λ D such that Θ d (X, 0 = Θ d (CM0 Λ (X, 0. As in the proof of [10, Theorem 3.25], by [10, Proposition 2.14 and Lemma 3.9], we can assume X is the graph of a 1-Lipschitz function defined on some definable set U K d. In this case, CM0 Λ (X = 1 C Λ 0 (X. From Lemma 5.2, we have Θ d (C0 Λ (X, 0 = Θ d (p V!,0 (C0 Λ (X, 0ω n,n d (V. Hence we need to show that for every V in a dense subset of G(n, n d, Θ d (p V!,0 (C Λ 0 (X, 0 = Θ d (p V!,0 (X, 0. We can find a k-partition of X such that p V is injective on the k-parts. Replace X by one of the k-parts and suppose then that p V is injective on X. Fix a V G(n, n d such that p V is injective on C0 Λ (X. By Lemma 6.1, there is a k-partition of X (depending on V such that for each k-part X ξ there is a ξ-definable set C ξ of dimension less that d such that p V is injective on C0 Λ (X ξ \C ξ. By a new use of [10, Lemma 3.9], it suffices to show that As p V Θ d (p V!,0 (C Λ 0 (X ξ, 0 = Θ d (p V!,0 (X ξ, 0. is injective on X and C Λ 0 (X ξ \C ξ, we have p V!,0 (X = 1 pv (X and p V!,0 (C Λ 0 (X ξ = 1 pv (C Λ 0 (X ξ\c ξ + p V!,0 (C ξ. We have Θ d (p V!,0 (C ξ, 0 = 0 for dimensional reasons. As C0 Λ (p V (X = p V (C0 Λ (X the result follows from [10, Proposition 5.2]. References [1] G. E. Andrews. The Theory of Partitions [2] R. Cluckers, G. Comte, and F. Loeser. Local metric properties and regular stratifications of p-adic definable sets. Comment. Math. Helv., 87(4: , [3] R. Cluckers and F. Loeser. Constructible motivic functions and motivic integration. Invent. Math., 173(1:23 121, [4] R. Cluckers and F. Loeser. Motivic integration in all residue field characteristics for Henselian discretely valued fields of characteristic zero. J. Reine Angew. Math., 701:1 31, [5] G. Comte. Formule de Cauchy-Crofton pour la densité des ensembles sous-analytiques. C. R. Acad. Sci., Paris, Sér. I, Math., 328(6: , [6] G. Comte. Équisingularité réelle: Nombres de Lelong et images polaires. Ann. Sci. École Norm. Sup. (4, 33(6: , [7] G. Comte. Deformation of singularities and additive invariants. J. Singul., 13:11 41, [8] G. Comte and M. Merle. Équisingularité réelle. II. Invariants locaux et conditions de régularité. Ann. Sci. Éc. Norm. Supér. (4, 41(2: , [9] H. Federer. Geometric Measure Theory [10] A. Forey. Motivic local density. Math. Z., 287(1-2: , Oct [11] J.-M. Lion. Densité des ensembles semi-pfaffiens. Ann. Fac. Sci. Toulouse Math. (6, 7(1:87 92, [12] G. Valette. Volume, Whitney conditions and Lelong number. Ann. Pol. Math., 93(1:1 16, Sorbonne Universités, UPMC Univ Paris 06, UMR 7586 CNRS, Institut Mathématique de Jussieu, F Paris, France address: arthur.forey@imj-prg.fr URL: arthur.forey/
Lipschitz continuity properties
properties (joint work with G. Comte and F. Loeser) K.U.Leuven, Belgium MODNET Barcelona Conference 3-7 November 2008 1/26 1 Introduction 2 3 2/26 Introduction Definition A function f : X Y is called Lipschitz
More informationGlobalization and compactness of McCrory Parusiński conditions. Riccardo Ghiloni 1
Globalization and compactness of McCrory Parusiński conditions Riccardo Ghiloni 1 Department of Mathematics, University of Trento, 38050 Povo, Italy ghiloni@science.unitn.it Abstract Let X R n be a closed
More informationGeometric motivic integration
Université Lille 1 Modnet Workshop 2008 Introduction Motivation: p-adic integration Kontsevich invented motivic integration to strengthen the following result by Batyrev. Theorem (Batyrev) If two complex
More informationCourse on Motivic Integration IV
A École normale supérieure, Paris KULeuven, Belgium MODNET Training Workshop Model theory and Applications La Roche, Belgium 20-25 April 2008 1/16 Talk 4 1 b-minimality and cell decomposition 2 3 2/16
More informationarxiv: v2 [math.ag] 24 Jun 2015
TRIANGULATIONS OF MONOTONE FAMILIES I: TWO-DIMENSIONAL FAMILIES arxiv:1402.0460v2 [math.ag] 24 Jun 2015 SAUGATA BASU, ANDREI GABRIELOV, AND NICOLAI VOROBJOV Abstract. Let K R n be a compact definable set
More informationGenerating the Pfaffian closure with total Pfaffian functions
1 6 ISSN 1759-9008 1 Generating the Pfaffian closure with total Pfaffian functions GARETH JONES PATRICK SPEISSEGGER Abstract: Given an o-minimal expansion R of the real field, we show that the structure
More informationOFER GABBER, QING LIU, AND DINO LORENZINI
PERIOD, INDEX, AND AN INVARIANT OF GROTHENDIECK FOR RELATIVE CURVES OFER GABBER, QING LIU, AND DINO LORENZINI 1. An invariant of Grothendieck for relative curves Let S be a noetherian regular connected
More informationVALUATION THEORY, GENERALIZED IFS ATTRACTORS AND FRACTALS
VALUATION THEORY, GENERALIZED IFS ATTRACTORS AND FRACTALS JAN DOBROWOLSKI AND FRANZ-VIKTOR KUHLMANN Abstract. Using valuation rings and valued fields as examples, we discuss in which ways the notions of
More informationMath 231b Lecture 16. G. Quick
Math 231b Lecture 16 G. Quick 16. Lecture 16: Chern classes for complex vector bundles 16.1. Orientations. From now on we will shift our focus to complex vector bundles. Much of the theory for real vector
More informationTopology of Nonarchimedean Analytic Spaces
Topology of Nonarchimedean Analytic Spaces AMS Current Events Bulletin Sam Payne January 11, 2013 Complex algebraic geometry Let X C n be an algebraic set, the common solutions of a system of polynomial
More informationwhere m is the maximal ideal of O X,p. Note that m/m 2 is a vector space. Suppose that we are given a morphism
8. Smoothness and the Zariski tangent space We want to give an algebraic notion of the tangent space. In differential geometry, tangent vectors are equivalence classes of maps of intervals in R into the
More informationVector bundles in Algebraic Geometry Enrique Arrondo. 1. The notion of vector bundle
Vector bundles in Algebraic Geometry Enrique Arrondo Notes(* prepared for the First Summer School on Complex Geometry (Villarrica, Chile 7-9 December 2010 1 The notion of vector bundle In affine geometry,
More informationThe Hopf argument. Yves Coudene. IRMAR, Université Rennes 1, campus beaulieu, bat Rennes cedex, France
The Hopf argument Yves Coudene IRMAR, Université Rennes, campus beaulieu, bat.23 35042 Rennes cedex, France yves.coudene@univ-rennes.fr slightly updated from the published version in Journal of Modern
More informationIntroduction. Hausdorff Measure on O-Minimal Structures. Outline
Introduction and Motivation Introduction Hausdorff Measure on O-Minimal Structures Integral geometry on o-minimal structures Antongiulio Fornasiero fornasiero@mail.dm.unipi.it Università di Pisa Conference
More informationABSOLUTE CONTINUITY OF FOLIATIONS
ABSOLUTE CONTINUITY OF FOLIATIONS C. PUGH, M. VIANA, A. WILKINSON 1. Introduction In what follows, U is an open neighborhood in a compact Riemannian manifold M, and F is a local foliation of U. By this
More informationDownloaded 03/01/17 to Redistribution subject to SIAM license or copyright; see
SIAM J. DISCRETE MATH. Vol. 31, No. 1, pp. 335 382 c 2017 Society for Industrial and Applied Mathematics PARTITION CONSTRAINED COVERING OF A SYMMETRIC CROSSING SUPERMODULAR FUNCTION BY A GRAPH ATTILA BERNÁTH,
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 MOTIVIC FUBINI THEOREM FOR THE TROPICALIZATION MAP. Notation. Let k be an algebraically closed field of characteristic zero.
A MOTIVIC FUBINI THEOREM FOR THE TROPICALIZATION MAP JOHANNES NICAISE Abstract. This is a write-up of a lecture delivered at the 2017 Simons Symposium on non-archimedean and tropical geometry. The lecture
More informationDENSELY k-separable COMPACTA ARE DENSELY SEPARABLE
DENSELY k-separable COMPACTA ARE DENSELY SEPARABLE ALAN DOW AND ISTVÁN JUHÁSZ Abstract. A space has σ-compact tightness if the closures of σ-compact subsets determines the topology. We consider a dense
More informationDefinable Extension Theorems in O-minimal Structures. Matthias Aschenbrenner University of California, Los Angeles
Definable Extension Theorems in O-minimal Structures Matthias Aschenbrenner University of California, Los Angeles 1 O-minimality Basic definitions and examples Geometry of definable sets Why o-minimal
More informationINCOMPRESSIBILITY OF GENERIC ORTHOGONAL GRASSMANNIANS
INCOMPRESSIBILITY OF GENERIC ORTHOGONAL GRASSMANNIANS NIKITA A. KARPENKO Abstract. Given a non-degenerate quadratic form over a field such that its maximal orthogonal grassmannian is 2-incompressible (a
More informationB. Appendix B. Topological vector spaces
B.1 B. Appendix B. Topological vector spaces B.1. Fréchet spaces. In this appendix we go through the definition of Fréchet spaces and their inductive limits, such as they are used for definitions of function
More informationStable tangential families and singularities of their envelopes
Stable tangential families and singularities of their envelopes arxiv:math/0406584v1 [math.dg] 28 Jun 2004 Gianmarco Capitanio Abstract We study tangential families, i.e. systems of rays emanating tangentially
More informationMath 426 Homework 4 Due 3 November 2017
Math 46 Homework 4 Due 3 November 017 1. Given a metric space X,d) and two subsets A,B, we define the distance between them, dista,b), as the infimum inf a A, b B da,b). a) Prove that if A is compact and
More information1 Existence of the Néron model
Néron models Setting: S a Dedekind domain, K its field of fractions, A/K an abelian variety. A model of A/S is a flat, separable S-scheme of finite type X with X K = A. The nicest possible model over S
More informationOn log flat descent. Luc Illusie, Chikara Nakayama, and Takeshi Tsuji
On log flat descent Luc Illusie, Chikara Nakayama, and Takeshi Tsuji Abstract We prove the log flat descent of log étaleness, log smoothness, and log flatness for log schemes. Contents 1. Review of log
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 informationVERY STABLE BUNDLES AND PROPERNESS OF THE HITCHIN MAP
VERY STABLE BUNDLES AND PROPERNESS OF THE HITCHIN MAP CHRISTIAN PAULY AND ANA PEÓN-NIETO Abstract. Let X be a smooth complex projective curve of genus g 2 and let K be its canonical bundle. In this note
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 informationRepresentations and Linear Actions
Representations and Linear Actions Definition 0.1. Let G be an S-group. A representation of G is a morphism of S-groups φ G GL(n, S) for some n. We say φ is faithful if it is a monomorphism (in the category
More informationA NOTE ON C-ANALYTIC SETS. Alessandro Tancredi
NEW ZEALAND JOURNAL OF MATHEMATICS Volume 36 (2007), 35 40 A NOTE ON C-ANALYTIC SETS Alessandro Tancredi (Received August 2005) Abstract. It is proved that every C-analytic and C-irreducible set which
More informationTROPICAL BRILL-NOETHER THEORY
TROPICAL BRILL-NOETHER THEORY 11. Berkovich Analytification and Skeletons of Curves We discuss the Berkovich analytification of an algebraic curve and its skeletons, which have the structure of metric
More informationA PROOF OF THE DIFFERENTIABLE INVARIANCE OF THE MULTIPLICITY USING SPHERICAL BLOWING-UP. 1. Introduction
A PROOF OF THE DIFFERENTIABLE INVARIANCE OF THE MULTIPLICITY USING SPHERICAL BLOWING-UP Dedicated to Professor Felipe Cano on the occasion of his 60th birthday J. EDSON SAMPAIO Abstract. In this paper
More informationPeak Point Theorems for Uniform Algebras on Smooth Manifolds
Peak Point Theorems for Uniform Algebras on Smooth Manifolds John T. Anderson and Alexander J. Izzo Abstract: It was once conjectured that if A is a uniform algebra on its maximal ideal space X, and if
More information(iv) Whitney s condition B. Suppose S β S α. If two sequences (a k ) S α and (b k ) S β both converge to the same x S β then lim.
0.1. Stratified spaces. References are [7], [6], [3]. Singular spaces are naturally associated to many important mathematical objects (for example in representation theory). We are essentially interested
More informationContents. O-minimal geometry. Tobias Kaiser. Universität Passau. 19. Juli O-minimal geometry
19. Juli 2016 1. Axiom of o-minimality 1.1 Semialgebraic sets 2.1 Structures 2.2 O-minimal structures 2. Tameness 2.1 Cell decomposition 2.2 Smoothness 2.3 Stratification 2.4 Triangulation 2.5 Trivialization
More informationAnalytic and Algebraic Geometry 2
Analytic and Algebraic Geometry 2 Łódź University Press 2017, 179 188 DOI: http://dx.doi.org/10.18778/8088-922-4.20 ŁOJASIEWICZ EXPONENT OF OVERDETERMINED SEMIALGEBRAIC MAPPINGS STANISŁAW SPODZIEJA AND
More informationFix(g). Orb(x) i=1. O i G. i=1. O i. i=1 x O i. = n G
Math 761 Fall 2015 Homework 4 Drew Armstrong Problem 1 Burnside s Lemma Let X be a G-set and for all g G define the set Fix(g : {x X : g(x x} X (a If G and X are finite, prove that Fix(g Stab(x g G x X
More informationMotivic integration on Artin n-stacks
Motivic integration on Artin n-stacks Chetan Balwe Nov 13,2009 1 / 48 Prestacks (This treatment of stacks is due to B. Toën and G. Vezzosi.) Let S be a fixed base scheme. Let (Aff /S) be the category of
More information7 Complete metric spaces and function spaces
7 Complete metric spaces and function spaces 7.1 Completeness Let (X, d) be a metric space. Definition 7.1. A sequence (x n ) n N in X is a Cauchy sequence if for any ɛ > 0, there is N N such that n, m
More informationRobustness for a Liouville type theorem in exterior domains
Robustness for a Liouville type theorem in exterior domains Juliette Bouhours 1 arxiv:1207.0329v3 [math.ap] 24 Oct 2014 1 UPMC Univ Paris 06, UMR 7598, Laboratoire Jacques-Louis Lions, F-75005, Paris,
More informationA Gauss-Bonnet theorem for constructible sheaves on reductive groups
A Gauss-Bonnet theorem for constructible sheaves on reductive groups V. Kiritchenko 1 Introduction In this paper, we prove an analog of the Gauss-Bonnet formula for constructible sheaves on reductive groups.
More informationπ X : X Y X and π Y : X Y Y
Math 6130 Notes. Fall 2002. 6. Hausdorffness and Compactness. We would like to be able to say that all quasi-projective varieties are Hausdorff and that projective varieties are the only compact varieties.
More informationGeneric section of a hyperplane arrangement and twisted Hurewicz maps
arxiv:math/0605643v2 [math.gt] 26 Oct 2007 Generic section of a hyperplane arrangement and twisted Hurewicz maps Masahiko Yoshinaga Department of Mathematice, Graduate School of Science, Kobe University,
More informationINVERSE FUNCTION THEOREM and SURFACES IN R n
INVERSE FUNCTION THEOREM and SURFACES IN R n Let f C k (U; R n ), with U R n open. Assume df(a) GL(R n ), where a U. The Inverse Function Theorem says there is an open neighborhood V U of a in R n so that
More informationON FUNCTIONS WHOSE GRAPH IS A HAMEL BASIS II
To the memory of my Mother ON FUNCTIONS WHOSE GRAPH IS A HAMEL BASIS II KRZYSZTOF P LOTKA Abstract. We say that a function h: R R is a Hamel function (h HF) if h, considered as a subset of R 2, is a Hamel
More informationThe Rademacher Cotype of Operators from l N
The Rademacher Cotype of Operators from l N SJ Montgomery-Smith Department of Mathematics, University of Missouri, Columbia, MO 65 M Talagrand Department of Mathematics, The Ohio State University, 3 W
More informationPARTIAL REGULARITY OF BRENIER SOLUTIONS OF THE MONGE-AMPÈRE EQUATION
PARTIAL REGULARITY OF BRENIER SOLUTIONS OF THE MONGE-AMPÈRE EQUATION ALESSIO FIGALLI AND YOUNG-HEON KIM Abstract. Given Ω, Λ R n two bounded open sets, and f and g two probability densities concentrated
More informationON THE NUMBER AND BOUNDEDNESS OF LOG MINIMAL MODELS OF GENERAL TYPE
ON THE NUMBER AND BOUNDEDNESS OF LOG MINIMAL MODELS OF GENERAL TYPE DILETTA MARTINELLI, STEFAN SCHREIEDER, AND LUCA TASIN Abstract. We show that the number of marked minimal models of an n-dimensional
More informationMATH 4200 HW: PROBLEM SET FOUR: METRIC SPACES
MATH 4200 HW: PROBLEM SET FOUR: METRIC SPACES PETE L. CLARK 4. Metric Spaces (no more lulz) Directions: This week, please solve any seven problems. Next week, please solve seven more. Starred parts of
More informationMetric spaces and metrizability
1 Motivation Metric spaces and metrizability By this point in the course, this section should not need much in the way of motivation. From the very beginning, we have talked about R n usual and how relatively
More informationFormal power series rings, inverse limits, and I-adic completions of rings
Formal power series rings, inverse limits, and I-adic completions of rings Formal semigroup rings and formal power series rings We next want to explore the notion of a (formal) power series ring in finitely
More informationON THE NUMBER AND BOUNDEDNESS OF LOG MINIMAL MODELS OF GENERAL TYPE
ON THE NUMBER AND BOUNDEDNESS OF LOG MINIMAL MODELS OF GENERAL TYPE DILETTA MARTINELLI, STEFAN SCHREIEDER, AND LUCA TASIN Abstract. We show that the number of marked minimal models of an n-dimensional
More informationThe theory of integration says that the natural map
In this course we will discuss applications of the Model theory to Algebraic geometry and Analysis. There is long list of examples and I mention only some of applications: 1) Tarski proved the elimination
More informationBordism and the Pontryagin-Thom Theorem
Bordism and the Pontryagin-Thom Theorem Richard Wong Differential Topology Term Paper December 2, 2016 1 Introduction Given the classification of low dimensional manifolds up to equivalence relations such
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 informationREPRESENTABLE BANACH SPACES AND UNIFORMLY GÂTEAUX-SMOOTH NORMS. Julien Frontisi
Serdica Math. J. 22 (1996), 33-38 REPRESENTABLE BANACH SPACES AND UNIFORMLY GÂTEAUX-SMOOTH NORMS Julien Frontisi Communicated by G. Godefroy Abstract. It is proved that a representable non-separable Banach
More informationTopological K-theory
Topological K-theory Robert Hines December 15, 2016 The idea of topological K-theory is that spaces can be distinguished by the vector bundles they support. Below we present the basic ideas and definitions
More informationOptimization and Optimal Control in Banach Spaces
Optimization and Optimal Control in Banach Spaces Bernhard Schmitzer October 19, 2017 1 Convex non-smooth optimization with proximal operators Remark 1.1 (Motivation). Convex optimization: easier to solve,
More informationAlgebraic geometry over quaternions
Algebraic geometry over quaternions Misha Verbitsky November 26, 2007 Durham University 1 History of algebraic geometry. 1. XIX centrury: Riemann, Klein, Poincaré. Study of elliptic integrals and elliptic
More informationCobordant differentiable manifolds
Variétés différentiables cobordant, Colloque Int. du C. N. R. S., v. LII, Géométrie différentielle, Strasbourg (1953), pp. 143-149. Cobordant differentiable manifolds By R. THOM (Strasbourg) Translated
More informationfy (X(g)) Y (f)x(g) gy (X(f)) Y (g)x(f)) = fx(y (g)) + gx(y (f)) fy (X(g)) gy (X(f))
1. Basic algebra of vector fields Let V be a finite dimensional vector space over R. Recall that V = {L : V R} is defined to be the set of all linear maps to R. V is isomorphic to V, but there is no canonical
More informationMetric Spaces Math 413 Honors Project
Metric Spaces Math 413 Honors Project 1 Metric Spaces Definition 1.1 Let X be a set. A metric on X is a function d : X X R such that for all x, y, z X: i) d(x, y) = d(y, x); ii) d(x, y) = 0 if and only
More informationa double cover branched along the smooth quadratic line complex
QUADRATIC LINE COMPLEXES OLIVIER DEBARRE Abstract. In this talk, a quadratic line complex is the intersection, in its Plücker embedding, of the Grassmannian of lines in an 4-dimensional projective space
More informationKUIPER S THEOREM ON CONFORMALLY FLAT MANIFOLDS
KUIPER S THEOREM ON CONFORMALLY FLAT MANIFOLDS RALPH HOWARD DEPARTMENT OF MATHEMATICS UNIVERSITY OF SOUTH CAROLINA COLUMBIA, S.C. 29208, USA HOWARD@MATH.SC.EDU 1. Introduction These are notes to that show
More informationAbout Hrushovski and Loeser s work on the homotopy type of Berkovich spaces
About Hrushovski and Loeser s work on the homotopy type of Berkovich spaces Antoine Ducros Institut de mathématiques de Jussieu (Université Pierre-et-Marie Curie) Institut universitaire de France Introduction
More informationFunctional Analysis HW #1
Functional Analysis HW #1 Sangchul Lee October 9, 2015 1 Solutions Solution of #1.1. Suppose that X
More informationA proof of the differentiable invariance of the multiplicity using spherical blowing-up
RACSAM https://doi.org/10.1007/s13398-018-0537-5 A proof of the differentiable invariance of the multiplicity using spherical blowing-up Dedicated to Professor Felipe Cano on the occasion of his 60th birthday
More informationMath 320-2: Midterm 2 Practice Solutions Northwestern University, Winter 2015
Math 30-: Midterm Practice Solutions Northwestern University, Winter 015 1. Give an example of each of the following. No justification is needed. (a) A metric on R with respect to which R is bounded. (b)
More informationMetric Spaces Math 413 Honors Project
Metric Spaces Math 413 Honors Project 1 Metric Spaces Definition 1.1 Let X be a set. A metric on X is a function d : X X R such that for all x, y, z X: i) d(x, y) = d(y, x); ii) d(x, y) = 0 if and only
More informationP-adic Functions - Part 1
P-adic Functions - Part 1 Nicolae Ciocan 22.11.2011 1 Locally constant functions Motivation: Another big difference between p-adic analysis and real analysis is the existence of nontrivial locally constant
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 informationBASIC MATRIX PERTURBATION THEORY
BASIC MATRIX PERTURBATION THEORY BENJAMIN TEXIER Abstract. In this expository note, we give the proofs of several results in finitedimensional matrix perturbation theory: continuity of the spectrum, regularity
More information7 Lecture 7: Rational domains, Tate rings and analytic points
7 Lecture 7: Rational domains, Tate rings and analytic points 7.1 Introduction The aim of this lecture is to topologize localizations of Huber rings, and prove some of their properties. We will discuss
More informationK-BI-LIPSCHITZ EQUIVALENCE OF REAL FUNCTION-GERMS. 1. Introduction
K-BI-LIPSCHITZ EQUIVALENCE OF REAL FUNCTION-GERMS LEV BIRBRAIR, JOÃO COSTA, ALEXANDRE FERNANDES, AND MARIA RUAS Abstract. In this paper we prove that the set of equivalence classes of germs of real polynomials
More informationAn Attempt of Characterization of Functions With Sharp Weakly Complete Epigraphs
Journal of Convex Analysis Volume 1 (1994), No.1, 101 105 An Attempt of Characterization of Functions With Sharp Weakly Complete Epigraphs Jean Saint-Pierre, Michel Valadier Département de Mathématiques,
More informationORBITAL INTEGRALS ARE MOTIVIC. 1. Introduction
ORBITAL INTEGRALS ARE MOTIVIC THOMAS C. HALES Abstract. This article shows that under general conditions, p-adic orbital integrals of definable functions are represented by virtual Chow motives. This gives
More informationABSOLUTE VALUES AND VALUATIONS
ABSOLUTE VALUES AND VALUATIONS YIFAN WU, wuyifan@umich.edu Abstract. We introduce the basis notions, properties and results of absolute values, valuations, discrete valuation rings and higher unit groups.
More information6 Lecture 6: More constructions with Huber rings
6 Lecture 6: More constructions with Huber rings 6.1 Introduction Recall from Definition 5.2.4 that a Huber ring is a commutative topological ring A equipped with an open subring A 0, such that the subspace
More information08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms
(February 24, 2017) 08a. Operators on Hilbert spaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/real/notes 2016-17/08a-ops
More informationSMALL SUBSETS OF THE REALS AND TREE FORCING NOTIONS
SMALL SUBSETS OF THE REALS AND TREE FORCING NOTIONS MARCIN KYSIAK AND TOMASZ WEISS Abstract. We discuss the question which properties of smallness in the sense of measure and category (e.g. being a universally
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 informationMath 210B. Artin Rees and completions
Math 210B. Artin Rees and completions 1. Definitions and an example Let A be a ring, I an ideal, and M an A-module. In class we defined the I-adic completion of M to be M = lim M/I n M. We will soon show
More informationSOME PROPERTIES ON THE CLOSED SUBSETS IN BANACH SPACES
ARCHIVUM MATHEMATICUM (BRNO) Tomus 42 (2006), 167 174 SOME PROPERTIES ON THE CLOSED SUBSETS IN BANACH SPACES ABDELHAKIM MAADEN AND ABDELKADER STOUTI Abstract. It is shown that under natural assumptions,
More informationThe Structure of C -algebras Associated with Hyperbolic Dynamical Systems
The Structure of C -algebras Associated with Hyperbolic Dynamical Systems Ian F. Putnam* and Jack Spielberg** Dedicated to Marc Rieffel on the occasion of his sixtieth birthday. Abstract. We consider the
More information4 Countability axioms
4 COUNTABILITY AXIOMS 4 Countability axioms Definition 4.1. Let X be a topological space X is said to be first countable if for any x X, there is a countable basis for the neighborhoods of x. X is said
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 informationSelçuk Demir WS 2017 Functional Analysis Homework Sheet
Selçuk Demir WS 2017 Functional Analysis Homework Sheet 1. Let M be a metric space. If A M is non-empty, we say that A is bounded iff diam(a) = sup{d(x, y) : x.y A} exists. Show that A is bounded iff there
More informationBI-LIPSCHITZ GEOMETRY OF COMPLEX SURFACE SINGULARITIES
BI-LIPSCHITZ GEOMETRY OF COMPLEX SURFACE SINGULARITIES LEV BIRBRAIR, ALEXANDRE FERNANDES, AND WALTER D. NEUMANN Abstract. We discuss the bi-lipschitz geometry of an isolated singular point of a complex
More informationOn the smoothness of the conjugacy between circle maps with a break
On the smoothness of the conjugacy between circle maps with a break Konstantin Khanin and Saša Kocić 2 Department of Mathematics, University of Toronto, Toronto, ON, Canada M5S 2E4 2 Department of Mathematics,
More informationarxiv:math/ v1 [math.at] 2 Oct 2002
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9939(XX)0000-0 ON NORMAL STRATIFIED PSEUDOMANIFOLDS arxiv:math/0210022v1 [math.at] 2 Oct 2002 G. PADILLA Devoted
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 informationVariational Analysis and Tame Optimization
Variational Analysis and Tame Optimization Aris Daniilidis http://mat.uab.cat/~arisd Universitat Autònoma de Barcelona April 15 17, 2010 PLAN OF THE TALK Nonsmooth analysis Genericity of pathological situations
More informationarxiv: v1 [math.ag] 24 Apr 2015
GENERIC SECTIONS OF ESSENTIALLY ISOLATED DETERMINANTAL SINGULARITIES arxiv:1504.06518v1 [math.ag] 24 Apr 2015 JEAN-PAUL BRASSELET, NANCY CHACHAPOYAS AND MARIA A. S. RUAS Abstract. We study the essentially
More informationThe Grothendieck Ring of Varieties
The Grothendieck Ring of Varieties Ziwen Zhu University of Utah October 25, 2016 These are supposed to be the notes for a talk of the student seminar in algebraic geometry. In the talk, We will first define
More information1. Artin s original conjecture
A possible generalization of Artin s conjecture for primitive root 1. Artin s original conjecture Ching-Li Chai February 13, 2004 (1.1) Conjecture (Artin, 1927) Let a be an integer, a 0, ±1, and a is not
More informationAxioms of separation
Axioms of separation These notes discuss the same topic as Sections 31, 32, 33, 34, 35, and also 7, 10 of Munkres book. Some notions (hereditarily normal, perfectly normal, collectionwise normal, monotonically
More informationTHE GEOMETRY BEHIND NON-ARCHIMEDEAN INTEGRALS. François Loeser. 5th European Congress of Mathematics Amsterdam, July 15, 2008
THE GEOMETRY BEHIND NON-ARCHIMEDEAN INTEGRALS François Loeser École normale supérieure, Paris 5th European Congress of Mathematics Amsterdam, July 15, 2008. P. 1 COUNTING SUBGROUPS OF FINITE INDEX Let
More informationRational curves on general type hypersurfaces
Rational curves on general type hypersurfaces Eric Riedl and David Yang May 5, 01 Abstract We develop a technique that allows us to prove results about subvarieties of general type hypersurfaces. As an
More informationThree Descriptions of the Cohomology of Bun G (X) (Lecture 4)
Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) February 5, 2014 Let k be an algebraically closed field, let X be a algebraic curve over k (always assumed to be smooth and complete), and
More information