2:00pm - RH 340P - Logic Set Theory Nicolas Cuervo Ovalle - (Universidad de los Andes (visiting UCI)) Schröder-Bernstein property for metric structures We say that a complete theory T has the Schröder-Bernstein property, or simply, the SB-property, if any two models M and N of T that are elementary bi-embeddable are isomorphic. The purpose of this talk is to study the SB-property for metric theories such as Hilbert spaces, probability algebras and expansions of these. Additionally, we will try to understand how the SB-property behaves under Randomizations, which is a natural way of mapping discrete first order structures to metric structures in a continuous language. This is joint work with Alexander Berenstein and Camilo Argoty presented in [1]. Reference [1] Argoty, C., Berenstein, A. & Cuervo Ovalle, N. The SB-property on metric structures. Arch. Math. Logic (2025). https://doi.org/10.1007/s00153-024-00949-y |
4:00pm to 5:00pm - Rh 340N - Geometry and Topology Patrick Brosnan - (Maryland) Cohomology of definable coherent sheaves and definable Picard groups Definable coherent sheaves (with respect to an o-minimal structure) were introduced by Bakker, Brunebarbe and Tsimerman (BBT) and used as an essential tool in their proof of Griffiths' conjecture that the image of the period map is algebraic. The category of these definable sheaves on a complex algebraic variety X sits in between the category of algebraic and analytic sheaves. More precisely, there is a definablization functor taking coherent algebraic sheaves to definable coherent sheaves and an analytification functor going from the category of definable coherent sheaves to the category of coherent analytic sheaves. This makes them useful for answering questions about analytic maps involving algebraic varieties. I'll explain these two functors and the concept of o-minimality necessary to define the BBT category of definable coherent sheaves. Then I'll state a couple of results I obtained recently with Adam Melrod on the cohomology groups of definable coherent sheaves both in the case where X is projective (when, for reasonable o-minimal structures, the groups are the same as the usual cohomology groups) and the general case (when they very much aren't). |
4:00pm to 5:00pm - RH306 - Colloquium Rodolfo H. Torres - (UC Riverside) Almost Orthogonality in Fourier Analysis: From Singular integrals, to Function Spaces, to Leibniz Rules for Fractional Derivatives Note: Professor Torres can not come to give a talk on January 16, we will reschedule his talk later.
Fourier analysis has been an extraordinarily powerful mathematical tool since its development 200 years ago, and currently has a wide range of applications in diverse scientific fields including digital image processing, forensics, option pricing, cryptography, optics, oceanography, and protein structure analysis. Like a prism that decomposes a beam of light into a rainbow of colors, Fourier analysis transforms signals into a mathematical spectrum of basic wave components of different amplitudes and frequencies, from which many hidden properties in the data can be deciphered. At the abstract mathematical level signals are represented by functions and their filtering and other operations on them by operators. From a functional analytical point of view, these objects are studied by decomposing them into elementary building blocks, some of which have wavelike behavior too. Decomposition techniques such as atomic, molecular, wavelet and wave-packet expansions provide a multi-scale refinement of Fourier analysis and exploit a rather simple concept: "waves with very different frequencies are almost invisible to each other". Many of these useful techniques have been developed around the study of some particular operators called singular integral operators and, recently, similar techniques have been pushed to the analysis of new multilinear operators that arise in the study of (para) product-like operations, null-forms, and other nonlinear functional expressions. In this talk we will present some of our contributions in the study of multilinear singular integrals and function spaces, and their applications to the development of the equivalent of the calculus Leibniz rule to the concept of fractional derivatives. |
4:00pm to 5:00pm - RH 306 - Colloquium Valentin Ovsienko - (CNRS, Le Laboratoire de Mathématiques de Reims) Quantum numbers? Surely you're joking, Mr. Feynman! The ideas of quantum physics have had a huge impact on the development of mathematics, all its fields have been influenced. Many notions have emerged, such as quantum groups and algebras, quantum calculus, many special functions. Numbers, the most elementary and ancient concept at the heart of mathematics since the Babylonians, should also have their place in the quantum landscape. This talk is an elementary and accessible overview of the emerging theory of quantum numbers, including motivations, first results, and the connection to other parts of mathematics. |