RECONSTRUCTION AND PATTERN RECOGNITION VIA THE CITTI- PETITOT-SARTI MODEL
|
|
- Anissa Simon
- 5 years ago
- Views:
Transcription
1 RECONSTRUCTION AND PATTERN RECOGNITION VIA THE CITTI- PETITOT-SARTI MODEL DARIO PRANDI, J.P. GAUTHIER, U. BOSCAIN LSIS, UNIVERSITÉ DE TOULON & ÉCOLE POLYTECHNIQUE, PARIS SÉMINAIRE STATISTIQUE ET IMAGERIE 19 JANUARY
2 OUTLINE OF THE TALK: The Citti-Petitot-Sarti model of the primary visual cortex Image Inpainting Image recognition
3 THE CITTI-PETITOT-SARTI MODEL OF THE PRIMARY VISUAL CORTEX
4 THE MATHEMATICAL MODEL ORIGIN OF THE MODEL: Hoffman (1989): structure of a contact manifold Petitot (1999): structure of a sub-riemannian manifold (Heisenberg group) THEN REFINED BY: Citti, Sarti (2006): structure of the rototranslations of the plane Agrachev, Boscain, Charlot, Gauthier, Rossi, D.P. (2010 ) ALSO STUDIED BY: Sachkov (2010-) Duits (2009 )
5 NEUROPHYSIOLOGICAL FACT STRUCTURE OF THE PRIMARY VISUAL CORTEX Hubel and Wiesel (Nobel prize 1981) observed that in the primary visual cortex V1, groups of neurons are sensitive to both positions and directions. Patterns of orientation columns and long-range horizontal connections in V1 of a tree shrew. Taken from Kaschube et al. (2008).
6 CITTI-PETITOT-SARTI MODEL V1 is modeled as the projective tangent bundle:
7 We need to discuss RECEPTIVE FIELDS: How a greyscale visual stimulus. is lifted to an state on SPONTANEOUS EVOLUTION: How a state on evolves via neuronal connections.
8 RECEPTIVE FIELDS Receptive fields are aimed to describe a family of neurons with a family of functions on the image plane. in It is widely accepted that a greyscale visual stimulus feeds a V1 neuron with an extracellular voltage given by A good fit for is the Gabor filter (sinusoidal wave multiplied by Gaussian function) centered at of orientation
9 GROUP THEORETICAL APPROACH Consider with group operation where is the rotation of. is the double covering of, so with appropriate care we can work here The left regular (unitary) representation of acting on is The quasi-regular (unitary) representation of acting on is
10 Definition: A lift operator is left-invariant if Theorem: (J.-P. Gauthier, D.P.) Let be a left-invariant lift such that is linear, is densely defined and bounded. Then, there exists such that REMARKS V1 receptive fields through Gabor filters define a left-invariant lift. The function is known as the wavelet transform of w.r.t..
11 SPONTANEOUS EVOLUTION IN V1 Two types of connections between neurons: Lateral connections: Between iso-oriented neurons, in the direction of their orientation. Represented by the integral lines of the vector field Local connections: Between neurons in the same hypercolumn. Represented by the integral lines of the vector field Connections made by V1 cells of a tree shew. Picture from Bosking et al. (1997)
12 EVOLUTION IN THE CITTI-PETITOT-SARTI MODEL Given two independent Wiener process and on, neuron excitation evolve according to the SDE Its generator equation for the evolution of a stimulus : yields to the hypoelliptic Highly anisotropic evolution Natural sub-riemannian interpretation Invariant under the action of
13 SEMI-DISCRETE MODEL Conjecture: The visual cortex can detect a finite (small) number of directions only ( 30). This suggests to replace with and with. LOCAL CONNECTIONS We replace by the jump Markov process on defined as follows. The time of the first jump is exponentially distributed, with probability on either side. We obtain a Poisson process with The infinitesimal generator is
14 THE EVOLUTION OPERATOR The semi-discrete evolution operator, acting on is then where, for, ADVANTAGES Already naturally discretized the variable. Invariant w.r.t. semi-discretized rototranslations.
15 IMAGE INPAINTING
16 ILLUSORY CONTOURS Two illusory contours Neurophysiological assumption: We reconstruct images through the natural diffusion in V1, which minimizes the energy required to activate unexcitated neurons.
17 ANTHROPOMORPHIC IMAGE RECONSTRUCTION Let with on be an image corrupted on. 0. Smooth by a Gaussian filter to get generically a Morse function 1. Lift to on 2. Evolve through the CPS semi-discrete evolution 3. Project the evolved back to REMARKS Reasonable results for small corruptions Adding some heuristic procedures yield very good reconstructions
18 SMOOTHING Even if images are not described by Morse functions, the retina smooths images through a Gaussian filter (Peichl & Wässle (1979), Marr & Hildreth (1980)) Theorem (Boscain, Duplex, Gauthier, Rossi 2012) The convolution of with a two dimensional Gaussian centered at the origin is generically a Morse function. Level lines of Morse functions
19 SIMPLE LIFT For simplicity, instead than the lift through Gabor filters we chose to lift to
20 EXAMPLE: LIFTING A CURVE In the continuous model a curve in is lifted to curve in, where The lift of
21 A REMARKABLE FEATURE When is a Morse function, the lift Lf is supported on a 2D manifold. (This is false if the angles are not projectivized!)
22 SEMI-DISCRETE EVOLUTION The hypoelliptic heat kernel of the semi-discretized operator has been explicitly computed, but is impractical from the numerical point of view. We use the following scheme: 1. For any compute, the Fourier transform of. 2. For any we let be the solution of the decoupled ODE on 3. For any the solution is the inverse Fourier transform of This scheme can be implemented by discretizing.
23 A VIEW THROUGH ALMOST-PERIODIC FUNCTIONS To avoid discretizing we can proceed as follows: Let be the grid of pixels of the image and be the pixel values. 1. Compute, the discrete Fourier transform (FFT) of on 2. Represent as the almost-periodic function 3. Evolve splitting the evolution in the ODE s, for each, The evolution of is exact!
24 PROJECTION Given the result of the evolution image by, we define the reconstructed
25 RESULTS Inpainting results from Boscain et al. (2014)
26 MUMFORD ELASTICA MODEL With the same techniques it is possible to treat the evolution equation underlying the Mumford Elastica model, which is associated with the operator Comparison of a reconstruction with the Petitot diffusion and the Mumfor diffusion from Boscain, Gauthier, P., Remizov (2014)
27 HIGHLY CORRUPTED IMAGES RECONSTRUCTION Based upon this diffusion and certain heuristic complements, we get nice results on images with more than 85% of pixels missing. Image from Boscain, Gauthier, P., Remizov (preprint)
28 IMAGE RECOGNITION
29 SPECTRAL INVARIANTS Given a group and a representation of on some topological space, a complete set of invariants is a map, from to some functional space such that If the above holds only for and in some residual subset of, the s are said to be a weakly complete set of invariants. We speak of spectral invariants whenever the transform of. s depend on the Fourier IMPORTANT CASES 1. Since any group acts on itself, we look for invariants for the action of the left regular representation of on 2. Given a semidirect product, we look for invariants for the quasi-regular representation of on.
30 PLAN 1. Case of an abelian group (e.g. invariants on w.r.t. translations) Fourier transform and Pontryagin duality Bispectral invariants 2. Case of (non-compact, non-abelian semi-direct product) Generalized Fourier transform and Chu duality Bispectral invariants for Invariants for lifts of functions in w.r.t. semidiscretized rototranslations.
31 FOURIER TRANSFORM ON ABELIAN GROUPS Let be a locally compact abelian group with Haar measure. The dual of is the set of of characters of, i.e., of continuous group homomorphism,. The Fourier transform of is the map on defined by Since is abelian and locally compact, the Fourier transform extends to an isometry w.r.t. the Haar measure on. Fundamental property: For any,
32 EXAMPLE: It holds, where for the corresponding element of is. The above defined Fourier transform then reduces to Then, REMARK In this case, it is clear that is indeed a group and that. This is an instance of Pontryagin duality, which works on all abelian groups: Theorem: (Pontryagin duality) The dual of is canonically isomorphic to. More precisely, defined as is a group isomorphism.
33 INVARIANTS FOR ABELIAN GROUPS Let be a locally compact abelian group and consider the action on of the left-regular representation (e.g. for this corresponds to translations). The power spectrum invariants for w.r.t. the action of the left regular representation are the functions These are widely used (e.g. in astronomy), but are not complete: Fix any s.t. which is not a character of, Let, so that, However, for any, since Indeed, if it was the case equivalent to being a character of. which, by Pontryagin duality, is
34 What is missing in the power spectrum invariants is the phase information. The bispectral invariants for regular representation are the functions w.r.t. the action of the left Theorem: The bispectral invariants are weakly complete on, where is compact. In particular, they discriminate on the residual set of those square-integrable s such that on an open-dense subset of. REMARKS Note that allows to recover the power spectral invariants The bispectral invariants are used in several areas of signal processing (e.g. to identify music timbre and texture, Dubnov et al. (1997))
35 PROOF OF WEAK COMPLETENESS Let be compactly supported and such that. Define, which is a continuous function on an open and dense set of satisfying. Since the bispectral invariants coincide it holds Since are compactly supported, and are continuous and hence can be extended to a measurable function on, still satisfying the above. Since every measurable character is continuous, this shows that hence. That is, there exists such that, and
36 GENERALIZED FOURIER TRANSFORM Let is a locally compact unimodular group with Haar measure not necessarily abelian. The dual of is the set of equivalence classes of unitary irreducible representations of. The (generalized) Fourier transform of is the map that to acting on the Hilbert space associates the Hilbert- Schmidt operator on defined by There exists a measure (the Plancherel measure) on w.r.t. the Fourier transform can be extended to an isometry. Fundamental property: For any,
37 CHU DUALITY Chu duality is an extension of the dualities of Pontryagin (for abelian groups) and Tannaka (for compact groups) to certain (non-compact) MAP groups. Here the difficulty is to find a suitable notion of bidual, carrying a group structure. See Heyer (1973). Let be a topological group is the set of all -dimensional continuous unitary representations of in. It is endowed with the compact-open topology. The Chu dual of is the topological sum is second countable if is so.
38 QUASI-REPRESENTATIONS A quasi-representation of is a continuous map from to such that for any and The Chu quasi-dual of is the union of all quasirepresentations of endowed with the compact-open topology. Setting and, is a Hausdorff topological group with identity. The mapping defined by is a continuous homomorphis, injective if the group is MAP. Definition: The group has the Chu duality property if is a topological isomorphism.
39 CHU DUAL A Moore group is a group whose irreducible representations are all finitedimensional. Theorem (Chu) The following inclusions hold The group is Moore (i.e. all its irreducible representations are finite-dimensional) and then it has Chu duality. The group is not MAP (i.e. almost-periodic functions do not form a dense subspace of continuous functions) and hence it does not have Cuu duality. This is why it is more convenient to work in the semi-discretized model
40 THE CASE OF Let us consider the (non-compact, non-abelian) Moore group. The unitary irreducible representations fall into two classes Characters: Any. -dimensional representations: For any representation that acts on as induces the one-dimensional representation we have the where is the shift operator. Since the Plancherel measure is supported on the -dimensional representations, bispectral invariants are generalized to as the following functions of :
41 THE LEFT REGULAR REPRESENTATION Theorem: The bispectral invariants are weakly complete w.r.t. the action of on, where is compact. In particular, they discriminate on the residual set of those square-integrable s such that is invertible for in an open-dense subset of. The proof is similar to the abelian one: Given with : Let for s.t. is invertible. Prove that can be extended to a quasi-representation Since is Moore, it has Chu duality and hence there exists s.t. for any unitary representation Finally, this implies
42 THE QUASI-REGULAR REPRESENTATION Consider now the quasi-regular representation acting on, which corresponds to rotation and translations. Fixed a lift invariants as. we define the bispectral Corollary: Let be an injective leftinvariant lift. Then, for any compact the bispectral invariants are complete for the action of on the subset of such that is invertible for in an open-dense subset of. Proof: Let be such that. Then
43 Unfortunately, the set is empty for regular left-invariant lifts: Let be the vector. Since we have Thus has at most rank and hence. Conjecture: The bispectral invariants are weakly complete w.r.t. the action of on compactly supported functions of. REMARK There exists non left-invariant lifts for which lift is residual, as the cyclic The price to pay is that we have to quotient away the translations before the lift. This suggest the following.
44 ROTATIONAL BISPECTRAL INVARIANTS The rotational bispectral invariants for and any the quantities are, for any Observe that is invariant under rotations but not under translations. A function is weakly cyclic if is a basis of for a.e.. Modifying the arguments used in the case of the left-regular representation, we can then prove the following. Theorem: Consider a regular left-invariant lift with weakly cyclic and such that a.e.. Then, the rotational bispectral invariants are weakly complete w.r.t. the action of rotations on for any. More precisely, they discriminate on weakly cyclic functions.
45 EXPERIMENTAL RESULTS In Smach et al. (2008), although the theory was not complete, some tests on standard academic databases have been carried out. They yielded results superior to standard strategies. ZM denotes the standard Zernike moments MD are the (non-complete) power spectrum invariants MD are the bispectral invariants Sample objects from and results obtained on the COIL-100 noisy database (from Smach et al.).
46 OTHER EXPERIMENTAL RESULTS Sample objects from and results obtained on the faces ORL database (from Smach et al.).
47 TEXTURE RECOGNITION Let be countable and invariant under the action of. A natural model for texture discrimination are almost periodic functions on in the Besicovitch class, i.e., functions are the pull-back of functions on the Bohr compactification. The theory above can be adapted to these spaces of functions, and an analog of the weakly completeness of rotational bispectral invariants holds. In this space the bispectral invariants are not complete, and thus the (analog of) the above conjecture is false. As already mentioned, when is finite this space can be used to exacty solve the hypoelliptic diffusion.
48 REMARK: SETTING The considerations of this part of the talk work in the general context of a semi-direct product where is an abelian locally compact group is a finite group the Haar measure on is invariant under the action, the natural action of on the dual has non-trivial stabilizer only w.r.t. the identity. The group law on is non-commutative: In our case:, and is the rotation of.
49 THANK YOU FOR YOUR ATTENTION
Image processing in the semidiscrete group of rototranslations
Image processing in the semidiscrete group of rototranslations Dario Prandi, Ugo Boscain, Jean-Paul Gauthier To cite this version: Dario Prandi, Ugo Boscain, Jean-Paul Gauthier. Image processing in the
More informationReconstruction and pattern recognition via the Petitot model
Reconstruction and pattern recognition via the Petitot model J.P. Gauthier, U. Boscain, Dario Prandi University of Toulon and Ecole Polytechnique, Paris [01/15]January 2015 the Petitot model [01/15]January
More informationarxiv: v3 [math.ap] 20 Jan 2014
HYPOELLIPTIC DIFFUSION AND HUMAN VISION: A SEMI-DISCRETE NEW TWIST arxiv:1304.2062v3 [math.ap] 20 Jan 2014 UGO BOSCAIN, ROMAN CHERTOVSKIH, JEAN-PAUL GAUTHIER, AND ALEXEY REMIZOV Abstract. This paper presents
More informationElements of Neurogeometry
Lecture Notes in Morphogenesis Series Editor: Alessandro Sarti Jean Petitot Elements of Neurogeometry Functional Architectures of Vision http://www.springer.com/978-3-319-65589-5 Contents 1 Preface...
More informationarxiv: v2 [math.ap] 9 Jun 2013
HYPOELLIPTIC DIFFUSION AND HUMAN VISION: A SEMI-DISCRETE NEW TWIST ON THE PETITOT THEORY arxiv:1304.06v [math.ap] 9 Jun 013 UGO BOSCAIN, ROMAN CHERTOVSKIH, JEAN-PAUL GAUTHIER, AND ALEXEY REMIZOV Abstract.
More informationContact Geometry of the Visual Cortex
Ma191b Winter 2017 Geometry of Neuroscience References for this lecture Jean Petitot, Neurogéométrie de la Vision, Les Éditions de l École Polytechnique, 2008 John B. Entyre, Introductory Lectures on Contact
More informationSub-Riemannian geometry in models of the visual cortex
Sub-Riemannian geometry in models of the visual cortex Scott Pauls Department of Mathematics Dartmouth College 4 th Symposium on Analysis and PDE Purdue, May 27, 2009 Mathematical structure in the visual
More informationHolomorphic line bundles
Chapter 2 Holomorphic line bundles In the absence of non-constant holomorphic functions X! C on a compact complex manifold, we turn to the next best thing, holomorphic sections of line bundles (i.e., rank
More informationDifferential Geometry for Image Processing
MSc TU/e Course: Differential Geometry for Image Processing Teachers: R. Duits MF 7.072 (responsible teacher, lecturer) E.J. Bekkers MF 7.074 (teacher, instructor) Course Description: This MSc course aims
More informationA Crash Course in Topological Groups
A Crash Course in Topological Groups Iian B. Smythe Department of Mathematics Cornell University Olivetti Club November 8, 2011 Iian B. Smythe (Cornell) Topological Groups Nov. 8, 2011 1 / 28 Outline 1
More informationAn introduction to arithmetic groups. Lizhen Ji CMS, Zhejiang University Hangzhou , China & Dept of Math, Univ of Michigan Ann Arbor, MI 48109
An introduction to arithmetic groups Lizhen Ji CMS, Zhejiang University Hangzhou 310027, China & Dept of Math, Univ of Michigan Ann Arbor, MI 48109 June 27, 2006 Plan. 1. Examples of arithmetic groups
More informationAHAHA: Preliminary results on p-adic groups and their representations.
AHAHA: Preliminary results on p-adic groups and their representations. Nate Harman September 16, 2014 1 Introduction and motivation Let k be a locally compact non-discrete field with non-archimedean valuation
More informationCohomology jump loci of quasi-projective varieties
Cohomology jump loci of quasi-projective varieties Botong Wang joint work with Nero Budur University of Notre Dame June 27 2013 Motivation What topological spaces are homeomorphic (or homotopy equivalent)
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 informationFFTs in Graphics and Vision. Groups and Representations
FFTs in Graphics and Vision Groups and Representations Outline Groups Representations Schur s Lemma Correlation Groups A group is a set of elements G with a binary operation (often denoted ) such that
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 informationBoolean Algebras, Boolean Rings and Stone s Representation Theorem
Boolean Algebras, Boolean Rings and Stone s Representation Theorem Hongtaek Jung December 27, 2017 Abstract This is a part of a supplementary note for a Logic and Set Theory course. The main goal is to
More informationA Banach Gelfand Triple Framework for Regularization and App
A Banach Gelfand Triple Framework for Regularization and Hans G. Feichtinger 1 hans.feichtinger@univie.ac.at December 5, 2008 1 Work partially supported by EUCETIFA and MOHAWI Hans G. Feichtinger hans.feichtinger@univie.ac.at
More informationCartan sub-c*-algebras in C*-algebras
Plan Cartan sub-c*-algebras in C*-algebras Jean Renault Université d Orléans 22 July 2008 1 C*-algebra constructions. 2 Effective versus topologically principal. 3 Cartan subalgebras in C*-algebras. 4
More informationIntroduction to the Baum-Connes conjecture
Introduction to the Baum-Connes conjecture Nigel Higson, John Roe PSU NCGOA07 Nigel Higson, John Roe (PSU) Introduction to the Baum-Connes conjecture NCGOA07 1 / 15 History of the BC conjecture Lecture
More informationLECTURE 3 Functional spaces on manifolds
LECTURE 3 Functional spaces on manifolds The aim of this section is to introduce Sobolev spaces on manifolds (or on vector bundles over manifolds). These will be the Banach spaces of sections we were after
More informationChapter 2 Linear Transformations
Chapter 2 Linear Transformations Linear Transformations Loosely speaking, a linear transformation is a function from one vector space to another that preserves the vector space operations. Let us be more
More informationSYMPLECTIC MANIFOLDS, GEOMETRIC QUANTIZATION, AND UNITARY REPRESENTATIONS OF LIE GROUPS. 1. Introduction
SYMPLECTIC MANIFOLDS, GEOMETRIC QUANTIZATION, AND UNITARY REPRESENTATIONS OF LIE GROUPS CRAIG JACKSON 1. Introduction Generally speaking, geometric quantization is a scheme for associating Hilbert spaces
More informationIntroduction (Lecture 1)
Introduction (Lecture 1) February 2, 2011 In this course, we will be concerned with variations on the following: Question 1. Let X be a CW complex. When does there exist a homotopy equivalence X M, where
More informationGeometric Structure and the Local Langlands Conjecture
Geometric Structure and the Local Langlands Conjecture Paul Baum Penn State Representations of Reductive Groups University of Utah, Salt Lake City July 9, 2013 Paul Baum (Penn State) Geometric Structure
More informationGeometry of some functional architectures of vision
Singular Landscapes: in honor of Bernard Teissier 22-26 June, 2015 Geometry of some functional architectures of vision Jean Petitot CAMS, EHESS, Paris Bernard and visual neuroscience Bernard helped greatly
More informationFactorization of unitary representations of adele groups Paul Garrett garrett/
(February 19, 2005) Factorization of unitary representations of adele groups Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ The result sketched here is of fundamental importance in
More informationOn Shalom Tao s Non-Quantitative Proof of Gromov s Polynomial Growth Theorem
On Shalom Tao s Non-Quantitative Proof of Gromov s Polynomial Growth Theorem Carlos A. De la Cruz Mengual Geometric Group Theory Seminar, HS 2013, ETH Zürich 13.11.2013 1 Towards the statement of Gromov
More informationNeural Codes and Neural Rings: Topology and Algebraic Geometry
Neural Codes and Neural Rings: Topology and Algebraic Geometry Ma191b Winter 2017 Geometry of Neuroscience References for this lecture: Curto, Carina; Itskov, Vladimir; Veliz-Cuba, Alan; Youngs, Nora,
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 informationMULTIPLIER HOPF ALGEBRAS AND DUALITY
QUANTUM GROUPS AND QUANTUM SPACES BANACH CENTER PUBLICATIONS, VOLUME 40 INSTITUTE OF MATHEMATICS POLISH ACADEMY OF SCIENCES WARSZAWA 1997 MULTIPLIER HOPF ALGEBRAS AND DUALITY A. VAN DAELE Department of
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 informationMEASURE THEORY Volume 4 Topological Measure Spaces
MEASURE THEORY Volume 4 Topological Measure Spaces D.H.Fremlin Research Professor in Mathematics, University of Essex Contents General Introduction 10 Introduction to Volume 4 11 Chapter 41: Topologies
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 informationOn the Diffeomorphism Group of S 1 S 2. Allen Hatcher
On the Diffeomorphism Group of S 1 S 2 Allen Hatcher This is a revision, written in December 2003, of a paper of the same title that appeared in the Proceedings of the AMS 83 (1981), 427-430. The main
More informationIntroduction to Index Theory. Elmar Schrohe Institut für Analysis
Introduction to Index Theory Elmar Schrohe Institut für Analysis Basics Background In analysis and pde, you want to solve equations. In good cases: Linearize, end up with Au = f, where A L(E, F ) is a
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 informationCW-complexes. Stephen A. Mitchell. November 1997
CW-complexes Stephen A. Mitchell November 1997 A CW-complex is first of all a Hausdorff space X equipped with a collection of characteristic maps φ n α : D n X. Here n ranges over the nonnegative integers,
More informationFANO VARIETIES AND EPW SEXTICS
FNO VRIETIES ND EPW SEXTICS OLIVIER DEBRRE bstract. We explore a connection between smooth projective varieties X of dimension n with an ample divisor H such that H n = 10 and K X = (n 2)H and a class
More informationMATH 8253 ALGEBRAIC GEOMETRY WEEK 12
MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f
More informationALGEBRAIC GEOMETRY I, FALL 2016.
ALGEBRAIC GEOMETRY I, FALL 2016. DIVISORS. 1. Weil and Cartier divisors Let X be an algebraic variety. Define a Weil divisor on X as a formal (finite) linear combination of irreducible subvarieties of
More informationMath 248B. Applications of base change for coherent cohomology
Math 248B. Applications of base change for coherent cohomology 1. Motivation Recall the following fundamental general theorem, the so-called cohomology and base change theorem: Theorem 1.1 (Grothendieck).
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 information3. (a) What is a simple function? What is an integrable function? How is f dµ defined? Define it first
Math 632/6321: Theory of Functions of a Real Variable Sample Preinary Exam Questions 1. Let (, M, µ) be a measure space. (a) Prove that if µ() < and if 1 p < q
More information1. Algebraic vector bundles. Affine Varieties
0. Brief overview Cycles and bundles are intrinsic invariants of algebraic varieties Close connections going back to Grothendieck Work with quasi-projective varieties over a field k Affine Varieties 1.
More informationPeter Hochs. Strings JC, 11 June, C -algebras and K-theory. Peter Hochs. Introduction. C -algebras. Group. C -algebras.
and of and Strings JC, 11 June, 2013 and of 1 2 3 4 5 of and of and Idea of 1 Study locally compact Hausdorff topological spaces through their algebras of continuous functions. The product on this algebra
More informationMAT 445/ INTRODUCTION TO REPRESENTATION THEORY
MAT 445/1196 - INTRODUCTION TO REPRESENTATION THEORY CHAPTER 1 Representation Theory of Groups - Algebraic Foundations 1.1 Basic definitions, Schur s Lemma 1.2 Tensor products 1.3 Unitary representations
More informationConvex representation for curvature dependent functionals
Convex representation for curvature dependent functionals Antonin Chambolle CMAP, Ecole Polytechnique, CNRS, Palaiseau, France joint work with T. Pock (T.U. Graz) Laboratoire Jacques-Louis Lions, 25 nov.
More informationTame definable topological dynamics
Tame definable topological dynamics Artem Chernikov (Paris 7) Géométrie et Théorie des Modèles, 4 Oct 2013, ENS, Paris Joint work with Pierre Simon, continues previous work with Anand Pillay and Pierre
More informationLinear Algebra. Min Yan
Linear Algebra Min Yan January 2, 2018 2 Contents 1 Vector Space 7 1.1 Definition................................. 7 1.1.1 Axioms of Vector Space..................... 7 1.1.2 Consequence of Axiom......................
More informationDef. A topological space X is disconnected if it admits a non-trivial splitting: (We ll abbreviate disjoint union of two subsets A and B meaning A B =
CONNECTEDNESS-Notes Def. A topological space X is disconnected if it admits a non-trivial splitting: X = A B, A B =, A, B open in X, and non-empty. (We ll abbreviate disjoint union of two subsets A and
More informationTopics in Harmonic Analysis Lecture 1: The Fourier transform
Topics in Harmonic Analysis Lecture 1: The Fourier transform Po-Lam Yung The Chinese University of Hong Kong Outline Fourier series on T: L 2 theory Convolutions The Dirichlet and Fejer kernels Pointwise
More informationThe intrinsic hypoelliptic Laplacian and its. heat kernel on unimodular Lie groups
The intrinsic hypoelliptic Laplacian and its heat kernel on unimodular Lie groups Andrei Agrachev SISSA, via Beirut 2-4, 34014 Trieste, Italy Ugo Boscain LE2i, CNRS UMR5158, Université de Bourgogne, 9,
More informationTopological vectorspaces
(July 25, 2011) Topological vectorspaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ Natural non-fréchet spaces Topological vector spaces Quotients and linear maps More topological
More informationExercises in Geometry II University of Bonn, Summer semester 2015 Professor: Prof. Christian Blohmann Assistant: Saskia Voss Sheet 1
Assistant: Saskia Voss Sheet 1 1. Conformal change of Riemannian metrics [3 points] Let (M, g) be a Riemannian manifold. A conformal change is a nonnegative function λ : M (0, ). Such a function defines
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 informationReflexivity of Locally Convex Spaces over Local Fields
Reflexivity of Locally Convex Spaces over Local Fields Tomoki Mihara University of Tokyo & Keio University 1 0 Introduction For any Hilbert space H, the Hermit inner product induces an anti C- linear isometric
More informationMostow Rigidity. W. Dison June 17, (a) semi-simple Lie groups with trivial centre and no compact factors and
Mostow Rigidity W. Dison June 17, 2005 0 Introduction Lie Groups and Symmetric Spaces We will be concerned with (a) semi-simple Lie groups with trivial centre and no compact factors and (b) simply connected,
More informationLocally G-ringed spaces and rigid spaces
18.727, Topics in Algebraic Geometry (rigid analytic geometry) Kiran S. Kedlaya, fall 2004 Rigid analytic spaces (at last!) We are now ready to talk about rigid analytic spaces in earnest. I ll give the
More informationNilBott Tower of Aspherical Manifolds and Torus Actions
NilBott Tower of Aspherical Manifolds and Torus Actions Tokyo Metropolitan University November 29, 2011 (Tokyo NilBottMetropolitan Tower of Aspherical University) Manifolds and Torus ActionsNovember 29,
More informationMATH 113 SPRING 2015
MATH 113 SPRING 2015 DIARY Effective syllabus I. Metric spaces - 6 Lectures and 2 problem sessions I.1. Definitions and examples I.2. Metric topology I.3. Complete spaces I.4. The Ascoli-Arzelà Theorem
More informationDiscrete Series Representations of Unipotent p-adic Groups
Journal of Lie Theory Volume 15 (2005) 261 267 c 2005 Heldermann Verlag Discrete Series Representations of Unipotent p-adic Groups Jeffrey D. Adler and Alan Roche Communicated by S. Gindikin Abstract.
More informationREPRESENTATIONS OF U(N) CLASSIFICATION BY HIGHEST WEIGHTS NOTES FOR MATH 261, FALL 2001
9 REPRESENTATIONS OF U(N) CLASSIFICATION BY HIGHEST WEIGHTS NOTES FOR MATH 261, FALL 21 ALLEN KNUTSON 1 WEIGHT DIAGRAMS OF -REPRESENTATIONS Let be an -dimensional torus, ie a group isomorphic to The we
More informationLectures on the Orbit Method
Lectures on the Orbit Method A. A. Kirillov Graduate Studies in Mathematics Volume 64 American Mathematical Society Providence, Rhode Island Preface Introduction xv xvii Chapter 1. Geometry of Coadjoint
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 information1. Geometry of the unit tangent bundle
1 1. Geometry of the unit tangent bundle The main reference for this section is [8]. In the following, we consider (M, g) an n-dimensional smooth manifold endowed with a Riemannian metric g. 1.1. Notations
More informationSPHERICAL UNITARY REPRESENTATIONS FOR REDUCTIVE GROUPS
SPHERICAL UNITARY REPRESENTATIONS FOR REDUCTIVE GROUPS DAN CIUBOTARU 1. Classical motivation: spherical functions 1.1. Spherical harmonics. Let S n 1 R n be the (n 1)-dimensional sphere, C (S n 1 ) the
More informationPart V. 17 Introduction: What are measures and why measurable sets. Lebesgue Integration Theory
Part V 7 Introduction: What are measures and why measurable sets Lebesgue Integration Theory Definition 7. (Preliminary). A measure on a set is a function :2 [ ] such that. () = 2. If { } = is a finite
More 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 informationOverview of normed linear spaces
20 Chapter 2 Overview of normed linear spaces Starting from this chapter, we begin examining linear spaces with at least one extra structure (topology or geometry). We assume linearity; this is a natural
More informationDivision Algebras and Parallelizable Spheres, Part II
Division Algebras and Parallelizable Spheres, Part II Seminartalk by Jerome Wettstein April 5, 2018 1 A quick Recap of Part I We are working on proving the following Theorem: Theorem 1.1. The following
More informationN. CHRISTOPHER PHILLIPS
OPERATOR ALGEBRAS ON L p SPACES WHICH LOOK LIKE C*-ALGEBRAS N. CHRISTOPHER PHILLIPS 1. Introduction This talk is a survey of operator algebras on L p spaces which look like C*- algebras. Its aim is to
More informationA CONSTRUCTION OF TRANSVERSE SUBMANIFOLDS
UNIVERSITATIS IAGELLONICAE ACTA MATHEMATICA, FASCICULUS XLI 2003 A CONSTRUCTION OF TRANSVERSE SUBMANIFOLDS by J. Szenthe Abstract. In case of Riemannian manifolds isometric actions admitting submanifolds
More 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 informationIntroduction to Selberg Trace Formula.
Introduction to Selberg Trace Formula. Supriya Pisolkar Abstract These are my notes of T.I.F.R. Student Seminar given on 30 th November 2012. In this talk we will first discuss Poisson summation formula
More informationRepresentations of a semi-direct product hypergroup
Representations of a semi-direct product hypergroup Satoshi Kawakami Abstract Let K be a compact hypergroup and K 0 a closed subhypergroup of K. For a state φ of the Banach -algebra M b (K 0 ) the induced
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 informationFLABBY STRICT DEFORMATION QUANTIZATIONS AND K-GROUPS
FLABBY STRICT DEFORMATION QUANTIZATIONS AND K-GROUPS HANFENG LI Abstract. We construct examples of flabby strict deformation quantizations not preserving K-groups. This answers a question of Rieffel negatively.
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 informationSummary of Prof. Yau s lecture, Monday, April 2 [with additional references and remarks] (for people who missed the lecture)
Building Geometric Structures: Summary of Prof. Yau s lecture, Monday, April 2 [with additional references and remarks] (for people who missed the lecture) A geometric structure on a manifold is a cover
More informationThe hyperbolic Ax-Lindemann-Weierstraß conjecture
The hyperbolic Ax-Lindemann-Weierstraß conjecture B. Klingler (joint work with E.Ullmo and A.Yafaev) Université Paris 7 ICM Satellite Conference, Daejeon Plan of the talk: (1) Motivation: Hodge locus and
More informationTopics in Representation Theory: Roots and Weights
Topics in Representation Theory: Roots and Weights 1 The Representation Ring Last time we defined the maximal torus T and Weyl group W (G, T ) for a compact, connected Lie group G and explained that our
More informationARITHMETICITY OF TOTALLY GEODESIC LIE FOLIATIONS WITH LOCALLY SYMMETRIC LEAVES
ASIAN J. MATH. c 2008 International Press Vol. 12, No. 3, pp. 289 298, September 2008 002 ARITHMETICITY OF TOTALLY GEODESIC LIE FOLIATIONS WITH LOCALLY SYMMETRIC LEAVES RAUL QUIROGA-BARRANCO Abstract.
More informationDeformation groupoids and index theory
Deformation groupoids and index theory Karsten Bohlen Leibniz Universität Hannover GRK Klausurtagung, Goslar September 24, 2014 Contents 1 Groupoids 2 The tangent groupoid 3 The analytic and topological
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 informationProblem of conformal invarincy in vision.
Institute for Information Transmission Problems, Moscow, Russia April 24, 2015 1.INTRODUCTION Aim of vision Visual system receives information from light (electro-magnetic radiation). The aim of vision
More informationOn the absolute continuity of Gaussian measures on locally compact groups
On the absolute continuity of Gaussian measures on locally compact groups A. Bendikov Department of mathematics Cornell University L. Saloff-Coste Department of mathematics Cornell University August 6,
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 informationON THE ISOMORPHISM CONJECTURE FOR GROUPS ACTING ON TREES
ON THE ISOMORPHISM CONJECTURE FOR GROUPS ACTING ON TREES S.K. ROUSHON Abstract. We study the Fibered Isomorphism conjecture of Farrell and Jones for groups acting on trees. We show that under certain conditions
More informationTHE CORONA FACTORIZATION PROPERTY AND REFINEMENT MONOIDS
THE CORONA FACTORIZATION PROPERTY AND REFINEMENT MONOIDS EDUARD ORTEGA, FRANCESC PERERA, AND MIKAEL RØRDAM ABSTRACT. The Corona Factorization Property of a C -algebra, originally defined to study extensions
More information1 Fields and vector spaces
1 Fields and vector spaces In this section we revise some algebraic preliminaries and establish notation. 1.1 Division rings and fields A division ring, or skew field, is a structure F with two binary
More informationShort note on compact operators - Monday 24 th March, Sylvester Eriksson-Bique
Short note on compact operators - Monday 24 th March, 2014 Sylvester Eriksson-Bique 1 Introduction In this note I will give a short outline about the structure theory of compact operators. I restrict attention
More informationQuasi Riemann surfaces II. Questions, comments, speculations
Quasi Riemann surfaces II. Questions, comments, speculations Daniel Friedan New High Energy Theory Center, Rutgers University and Natural Science Institute, The University of Iceland dfriedan@gmail.com
More informationMaxwell s equations in Carnot groups
Maxwell s equations in Carnot groups B. Franchi (U. Bologna) INDAM Meeting on Geometric Control and sub-riemannian Geometry Cortona, May 21-25, 2012 in honor of Andrey Agrachev s 60th birthday Researches
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 informationQUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday 10 February 2004 (Day 1)
Tuesday 10 February 2004 (Day 1) 1a. Prove the following theorem of Banach and Saks: Theorem. Given in L 2 a sequence {f n } which weakly converges to 0, we can select a subsequence {f nk } such that the
More informationFundamental Lemma and Hitchin Fibration
Fundamental Lemma and Hitchin Fibration Gérard Laumon CNRS and Université Paris-Sud May 13, 2009 Introduction In this talk I shall mainly report on Ngô Bao Châu s proof of the Langlands-Shelstad Fundamental
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 informationGROUP DUALITY AND ISOMORPHISMS OF FOURIER AND FOURIER-STIELTJES ALGEBRAS FROM A W*-ALGEBRA POINT OF VIEW
GROUP DUALITY AND ISOMORPHISMS OF FOURIER AND FOURIER-STIELTJES ALGEBRAS FROM A W*-ALGEBRA POINT OF VIEW BY MARTIN E. WALTER 1 Communicated by Irving Glicksberg, March 20, 1970 0. Introduction. In this
More informationDe Rham Cohomology. Smooth singular cochains. (Hatcher, 2.1)
II. De Rham Cohomology There is an obvious similarity between the condition d o q 1 d q = 0 for the differentials in a singular chain complex and the condition d[q] o d[q 1] = 0 which is satisfied by the
More information