Algebraic Geometry Algebra/Logic DeLong Diversity Functional Analysis Geometry/Analysis Grad Algebra/Logic Init Conditions Kempner Lie Theory Math Club Math Phys Noncomm Geometry Number Theory Probability Rep Theory Grad Student Seminar Thesis Defenses Topology Ulam Math Edu

Events for December 2022 – April 2023

Return to this week

Dec. 01, 2022 9am (MATH 350)	Algebraic Geometry Sebastian Bozlee X The moduli space M_{g,n} of smooth algebraic curves of genus g with n distinct marked points is not compact. However, it admits many compactifications that are themselves moduli spaces, and it remains an outstanding problem in algebraic geometry to classify these modular compactifications. An important family of examples is that of the moduli spaces of "weighted pointed" curves constructed by Hassett, in which a vector of real numbers determines which of the n marked points are permitted to come together. In this talk, I will present joint work with Vance Blankers that constructs modular compactifications of M_{g,n} using a simplicial complex rather than vector of weights as an input. Not only do the resulting "simplicial" moduli spaces generalize Hassett's, but they also classify the modular compactifications coming from colliding markings. On modular compactifications of M_g,n with colliding points
Dec. 01, 2022 2:30pm (MATH 3…	Functional Analysis Andrew Stocker (CU Boulder) X This talk will for the most part be an expository talk about the relationships between inverse semigroups, groupoids, and dynamical systems. Inverse semigroups are semigroups with the property that for every element x there is a unique element x* such that xxx = x and xxx* = x*. I will present a construction of a shift space, given a finite graph with edges labeled in an inverse semigroup. I will discuss how one can construct, from the labeled graph, a groupoid which contains the stable synchronizing algebra of the shift space as a sub-groupoid. Dynamical Systems from Inverse Semigroups
Dec. 01, 2022 3:35pm (Online)	Probability Jiaming Chen (ETH Zurich) X How do we simulate a singular stochastic diffusion with high efficiency? In the context of Schramm- Loewner evolution, we study the approximation of its traces via the Ninomiya-Victoir Splitting Scheme. We prove a strong convergence in probability with respect to the sup-norm to the distance between the SLE trace and the output of the Ninomiya-Victoir Splitting Scheme when applied in the context of the Loewner differential equation. Randomized algorithm to Schramm-Loewner evolution and its convergence
Dec. 06, 2022 1:25pm (Zoom)	Grad Algebra/Logic Alex Kruckman (Wesleyan University) X Since the birth of modern model theory in the work of Morley and Shelah, notions of independence have been an important tool for studying complete first-order theories. Assumptions on the complexity of the theory often imply, and can in fact be characterized by, useful properties of these independence relations. For example, forking independence is a generalization of linear independence in vector spaces, which is defined in arbitrary theories; but a theory T is stable if and only if forking independence is stationary, and T is simple if and only if forking independence is symmetric. In this talk, I will describe a duality between certain notions of independence and certain ideals in the Boolean algebra of formulas, and I will show how constructions with ideals can be used to produce new notions of independence. As an application, I will prove a type amalgamation result that holds (surprisingly, at least to me) in arbitrary first-order theories. Ideallic independence relations
Dec. 08, 2022 2:30pm (MATH 3…	Functional Analysis Judith Packer (University of Colorado Boulder) X Let be a length function on a discrete abelian group Let be a multiplier on (two cocycle taking values in Rieffel and collaborators, following work of Connes, have used to construct a ``Dirac" operator on giving spectral triples with for the twisted group -algebra mostly when is finitely generated Following Rieffel's work and recent work of Long and Wu, we construct odd spectral triples for noncommutative solenoids first studied by the author and Latremoliere. The Dirac operator involved can be used to construct a metric on the state space of the twisted group -algebra, which induces a topology coinciding with the weak- topology. This talk is based on joint work with C. Farsi, T. Landry and N. Larsen. Spectral triples for noncommutative solenoids
Dec. 13, 2022 1:25pm (Zoom)	Freese, McKenzie, McNulty, Taylor X Volume I of Algebras, Lattices, Varieties appeared in 1987. Volumes II and III have just now appeared. We will touch on what's in the them and what went into writing them, including some of the history of both the volumes and the field. Algebras, Lattices, Varieties Vol 1-N (ALVIN)
Jan. 19, 2023 9am (MATH 350)	Algebraic Geometry Fumiaki Suzuki (UCLA) X The Tate conjecture is a long-standing problem in arithmetic geometry, describing algebraic cycles on an algebraic variety in terms of Galois representation on étale cohomology. In contrast, an integral analogue of the Tate conjecture is known to fail in general, and a natural question is whether the failure is always caused by geometry. Over a finite field, we construct the first counterexamples to this question: in codimension 2 on our examples, a geometric cycle map is surjective but an arithmetic cycle map is not. We also show positive results toward a conjecture of Colliot-Thélène and Kahn on the third unramified cohomology group for threefolds over a finite field. This is a joint work with Federico Scavia. Non-algebraic geometrically trivial cohomology classes over finite fields Sponsored by the Simons Foundation
Jan. 25, 2023 3:30pm (Math350)	Math Phys Markus J. Pflaum (Department of Mathematics, CU Boulder) Classical variational calculus
Jan. 25, 2023 4:40pm (MATH 3…	Grad Student Seminar Dan Lyness (CU Boulder) X Galois Connections are something that arise in many different areas of Maths. We normally see them for the first time in Galois Theory, while studying the connection between field extensions and automorphism groups. In this talk I will consider this example, and some more examples of Galois Connections including the connection between prime ideals and varieties in Algebraic Geometry, and between kernels and cokernels in Category Theory. We will see how Galois Connections lead to a closure operator, that in some cases can be used to define a topology on our spaces. I intend to keep the talk accessible, and hopefully approach some familiar concepts from a new perspective. Galois Connections and the Zariski Topology
Jan. 31, 2023 1:25pm (Online)	Algebra/Logic Žaneta Semanišinová (Technische Universität Dresden) View Online:https://cuboulder.zoom.us/j/96896272260 X For a given relational structure , the constraint satisfaction problem CSP() asks whether a given finite input structure maps homomorphically to . We study the complexity of CSP(), where the domain of is infinite. Our basic setting is that if we have a complexity classification for the CSPs of first-order expansions of a structure , then it can be transferred to obtain a classification of the CSPs of first-order expansions of another structure . We exploit the algebraic product of structures that corresponds to the product of the respective polymorphism clones and present a complete complexity classification of the CSPs for first-order expansions of finite algebraic powers of . By combining our classification result with classification transfer techniques, we answer several open questions in spatial reasoning from (Balbiani, Condotta, 2002), (Balbiani, Condotta, del Cerro, 1999) and (Balbiani, Condotta, del Cerro, 2002). This is joint work with Manuel Bodirsky, Peter Jonsson, Barnaby Martin and Antoine Mottet. Complexity Classification Transfer for CSPs via Algebraic Products
Feb. 01, 2023 3:30pm (Math350)	Math Phys Howy Jordan (CU Boulder) X Infinite dimensional manifolds arise naturally even from considerations of finite dimensional spaces. But in general, infinite dimensional topological vector spaces lose many of the nice properties from the finite case that we casually take for granted in differential geometry. In this talk, we consider the nicer cases of Banach and Hilbert spaces and manifolds modeled on these. The basic building blocks of differential geometry (like charts, smooth structures, and tangent vectors) can be easily defined, and we will observe some differences and similarities between the finite theories of submanifolds and vector bundles and their respective general Banach/Hilbert counterparts. Banach and Hilbert Manifolds
Feb. 02, 2023 5pm (MATH 350)	Grad Student Seminar Chase Meadors (CU Boulder) X In this talk, we will start by finding out where the arrows are in algebra so we can turn them all around, yielding a subject called coalgebra. Coalgebra turns out to model various forms of automata and dynamical systems. A "coequation", then, is something that controls, specifies, or constrains the behavior of such systems. We will explore the analogy of "equational logic" for algebras with "modal logic" for coalgebras. Finally, we will proceed to co-solve co-systems of co-linear co-equations and end by learning the co-quadratic formula. Coalgebra 1
Feb. 07, 2023 3:30pm (MATH 3…	Topology Organizational Meeting Organizational Meeting
Feb. 08, 2023 3:30pm (Math350)	Math Phys Rebecah Storms (CU Boulder) Jets and jet bundles
Feb. 08, 2023 4:40pm (MATH 3…	Grad Student Seminar Alex LaJeunesse (CU Boulder) X In this talk we’ll be looking at how symmetric monoidal categories encode the many instances of monoid-like structures that appear across mathematics, and exploring different ways of universally completing them to abelian groups (in the case of honest monoids) or grouplike spaces (in the case of categories). In particular we will focus on two main examples of symmetric monoidal categories: finite sets with disjoint union, and finitely-generated projective modules over a ring with direct sum. By the end, we will see how group-completing these two categories realizes a natural relationship between stable homotopy groups and algebraic K-theory. Group Completion of Monoids and Monoidal Categories
Feb. 09, 2023 4pm (MATH 220)	Init Conditions Adrian Neff Naturality and Equivalence of Categories
Feb. 14, 2023 12:20pm (MATH …	Kempner Mandi Schaeffer Fry (Metropolitan State University of Denver) X Widely known as the founder of modular representation theory, Richard Brauer set the stage for the study of the so-called local-global conjectures in the character theory of finite groups. These are conjectures that relate the representations and structure of a finite group to that of certain proper (“local”) subgroups. In this talk, I'll discuss some of these conjectures and their implications for other character-theoretic properties and lingering questions of Brauer. Character Tables and Brauer’s Legacy
Feb. 14, 2023 1:25pm (Online)	Algebra/Logic Will Brian (University of North Carolina at Charlotte) View Online:https://cuboulder.zoom.us/j/96896272260 X I will sketch a proof that, assuming 0^† does not exist, if there is a partition of R into ℵ_ω Borel sets, then there is also a partition of R into ℵ_ω+1 Borel sets. (And the same is true for any singular cardinal of countable cofinality in place of ℵ_ω.) This contrasts starkly with the situation for cardinals with uncountable cofinality and their successors, where the spectrum of possible sizes of partitions of R into Borel sets can be made completely arbitrary via forcing. Partitions of the real line into Borel sets
Feb. 14, 2023 3:30pm (MATH 3…	Topology Agnes Beaudry, Robin Deeley and Markus Pflaum X In three 20 minute talks, each of us will introduce our research and what it is like to work in our research group. An Introduction to the CU Boulder Topology Group
Feb. 15, 2023 3:30pm (Math350)	Math Phys Connor Mccranie (CU Boulder) Locally convex topological vector spaces
Feb. 15, 2023 4:40pm (MATH 3…	Grad Student Seminar Evan Young (CU Boulder) X Fourier transforms. Laplace transforms. Mellin transforms. Discrete Fourier transforms. Hadamard transforms. Oh my! In this presentation, we will discuss how all of the above examples of integral transforms are actually particular instances of a very general association of commutative Banach algebras known as the Gelfand representation. This talk will serve as an introduction to the use of algebraic techniques in analysis and conversely, to the use of analytic techniques in algebra. The One Transform to Rule Them All
Feb. 21, 2023 12:10pm (MATH …	Kempner Klaus Hulek (Leibniz University Hannover) X The classification of mathematical objects is an important problem in many branches of mathematics, notably also in algebraic geometry. Typically, these classification cannot be achieved by (finite) lists. Instead one builds a new algebraic variety whose points correspond to then isomorphism class of the objects to be classified — a moduli space. This leads to the questions: how does one construct such classifying spaces and what can one say about the geometry of these moduli spaces? I will discuss these question in exemplary cases (old and new). Classification in algebraic geometry and the geometry of moduli spaces
Feb. 21, 2023 3:30pm (MATH 3…	Topology Daniel Spiegel (CU Boulder) X The study of parametrized many-body gapped Hamiltonians and their topological phases represents a fast-growing frontier at the intersection of mathematical physics and condensed matter physics. In the limit of infinite system size, observable quantities are represented by elements of a uniformly hyperfinite C-algebra A and the object of study is a continuous function into the space P(A) of pure states of A. With a continuous family of pure states, questions arise of how to do classical C-algebraic maneuvers like the GNS construction and Kadison transitivity theorem in a way that depends continuously on the input data. I will present new theorems pertaining to both the norm and weak* topologies on P(A) to address these questions and others that have arisen in the study of parametrized many-body quantum systems. Topological Results on Pure State Space Inspired by Parametrized Quantum Phases
Feb. 21, 2023 5pm (Online)	Algebra/Logic Zarathustra Brady (MIT) View Online:https://cuboulder.zoom.us/j/96896272260 X If you have a non-invertible unary operation on a finite set, a natural thing to do with it is to create a compositional power which satisfies . Using this compositional power of , you can produce a simpler clone on a smaller set which satisfies every height-one identity which is satisfied by the original clone. By repeating this process, we can eventually reduce questions about height-one identities in finite algebras to the case of idempotent algebras. It turns out that one can do something similar with two-variable operations: starting from any idempotent binary operation on a finite set, there is a (nontrivial) functorial construction of a two-variable operation in the clone generated by which satisfies the identities . Such operations were used extensively by Andrei Bulatov in his proof of the CSP Dichotomy Conjecture, and I call them ``partial semilattice operations''. I will describe this functorial construction and show how we can make use of such operations to simplify the behavior of binary absorption in finite algebras while preserving many types of height-one identities. Simplifying clones with partial semilattice operations
Feb. 22, 2023 3:30pm (Math350)	Math Phys Calum Shearer (CU Boulder) Differentiability notions in infinite dimensional vector spaces
Feb. 23, 2023 9am (MATH 350)	Algebraic Geometry Klaus Hulek (Leibniz University Hannover) X Although K3 surfaces and Enriques surfaces are closely related, their moduli spaces behave very differently. As the degree increases, one one obtains an infinite series of different moduli spaces of polarized K3 surfaces., In contrast, there are only finitely many different moduli spaces of (numerically) polarized Enriques surfaces. In fact there are exactly 87 orthogonal modular varieties which appear in context with moduli of polarized Enriques surfaces. Together with Dutour-Sikiric we classified the corresponding arithmetic groups. I will discuss this classification and related questions. Moduli of polarized Enriques surfaces Sponsored by the Simons Foundation
Feb. 23, 2023 2:30pm (MATH 3…	Functional Analysis Angel Roman (University of Washington at St. Louis) X In the 1970's, George Mackey proposed an analogy between some unitary representations of a semisimple Lie group and unitary representations of its associated semidirect product group, known as the Cartan motion group. Recently, Nigel Higson and Alexandre Afgoustidis made this analogy precise between equivalence classes of irreducible tempered representations of a reductive groups and equivalence classes of irreducible unitary representations of the associated Cartan group. First, I will introduce tempered unitary representations of a reductive Lie group to develop the Mackey analogy. The goal of this talk is to show that the reduced group C-algebra of the Cartan motion group can be embedded into the reduced group C-algebra of the reductive group. To accomplish this, I will show the construction of a continuous fields of C-algebras generated from a Lie groupoid known as deformation to the normal cone. I will also discuss the Fourier transform picture. C-Algebraic Mackey Analogy of Reductive Groups
Feb. 23, 2023 4pm (MATH 220)	Init Conditions Bob Kuo Examples & the art of the diagram chase
Feb. 28, 2023 1:25pm (Online)	Algebra/Logic Albert Vucaj (Technical University Vienna, Austria) View Online:https://cuboulder.zoom.us/j/96896272260 X Achieving a classification of all clones of operations over a finite set is one of the goals at the heart of universal algebra. Over the years, it has been shown that such a goal seems arduously reachable even if we only focus on clones over three-element sets. In a recent turn of events, the minor-equivalence relation on clones over finite sets gained importance both in universal algebra and in computer science: minor-equivalent clones satisfy the same set identities of the form , also known as minor-identities. Moreover, it was proved that the complexity of the CSP of a finite structure only depends on the set of minor-identities satisfied by the polymorphism clone of . In this talk, I will present a general overview of the poset arising by considering clones over some finite set with the following order: we write if there exist a minor-preserving map from to . In particular, I will focus on rather natural questions such as: is this poset a lattice? Is it countable? Does it have atoms or coatoms? Joint work with Manuel Bodirsky and Dmitriy Zhuk. Clones over finite sets up to minor-equivalence
Feb. 28, 2023 2:30pm (MATH 3…	Lie Theory Richard Green (CU) X A k-root is an easily defined type of polynomial that can be expressed as an integer linear combination of squarefree monomials of degree k in n indeterminates. The case k=1 corresponds to a root system of type D. As is the case for root systems, k-roots can be either positive or negative, and there is a basis for their span analogous to a set of simple roots. This talk will describe some interesting constructions that can be done by summing all the positive k-roots in certain judiciously chosen subsets. A generalization of the positive roots of type D_n
Feb. 28, 2023 3:30pm (MATH 3…	Topology Juan Moreno (CU Boulder) Duality for Morava E-Theory
Mar. 01, 2023 3:30pm (Zoom)	Math Phys John Baez (University of California at Riverside) View Online:https://cuboulder.zoom.us/j/94002553301 X Join Zoom Meeting https://cuboulder.zoom.us/j/94002553301 Passcode 790356 The importance of the tenfold way in physics was only recognized in this century. Simply put, it implies that there are ten fundamentally different kinds of matter. But it goes back to 1964, when the topologist C. T. C. Wall classified the associative real super division algebras and found ten of them. The three 'purely even' examples were already familiar: the real numbers, complex numbers and quaternions. The rest become important when we classify representations of groups or supergroups on Z/2-graded vector spaces. We explain this classification, its connection to Clifford algebras, and some of its implications. The Tenfold Way
Mar. 02, 2023 2:30pm (MATH 3…	Functional Analysis Robin Deeley (CU Boulder) X Given a map that is continuous and onto, one can construct a solenoid, which is the stationary inverse limit associated to g. This process leads to a space X and a homeomorphism . The dynamics of g and are very much related. I will discuss various examples of this process and the C-algebras associated with solenoids. In particular, we will see examples where is non-Hausdorff, but the associated solenoid is Hausdorff. Solenoids and their C-algebras
Mar. 02, 2023 3:35pm (MATH 3…	Probability Manuel Lladser (CU Boulder) X Resolvability is a generalization of the notion of trilateration of the plane to an arbitrary metric space. Given a finite metric space , a subset is said to resolve when the transformation , with , is one-to-one. In particular, this transformation can be used to represent points in as Euclidean vectors and, due to the triangular inequality, points close by in are represented as vectors with similar coordinates in . Resolving sets can therefore produce feature vectors for points in abstract metric spaces, which may find applications in classification problems of symbolic objects under suitably chosen metrics. Unfortunately, the problem of resolving optimally large metric spaces (i.e., minimizing the cardinality of ) is NP-complete. In fact, the state of the art algorithm, the Information Content Heuristic (ICH), has complexity and is only guaranteed to find a resolving set of cardinality at most times the optimal one. In this talk, I will present work in progress---which uses probabilistic arguments---regarding the multilateration of Jaccard spaces, i.e., metric spaces of the form , where is the power set of a finite set , and is the Jaccard distance. Namely, for all , , where denotes cardinality and the symmetric difference of sets. This work is partially funded by the NSF grant No. 1836914. Resolvability of Jaccard Metric Spaces
Mar. 02, 2023 4pm (MATH 220)	Init Conditions Stephanie Oh Representable functors and the Yoneda Lemma
Mar. 07, 2023 1:25pm (Online)	Algebra/Logic Michael Kinyon (University of Denver) View Online:https://cuboulder.zoom.us/j/96896272260 X The conjugacy equivalence relation in groups can be generalized to semigroups in various distinct ways. For example, in an inverse monoid , one might define to be conjugate if there exists such that and . There are other semigroup generalizations of conjugacy which do not involve inverses at all. In this talk I will survey the various generalizations, focusing particularly on a notion known as \emph{natural conjugacy}, which, in inverse semigroups, coincides with the one defined above. Along the way, I will discuss connections with partial inner automorphisms and with the (universal algebra) center of an inverse semigroup. The work described herein is joint with J. Ara\'{u}jo, W. Bentz, J. Konieczny, A. Malheiro, V. Mercier and D. Stanovsk\'{y}. Conjugacy in semigroups
Mar. 07, 2023 2:30pm (MATH 3…	Lie Theory Nat Thiem (CU) X Symmetric functions appear throughout much of Stanley’s school of algebraic combinatorics. Algebraically, it is a combinatorial Hopf algebra indexed by integer partitions, and it is in fact a terminal object in the category of co-commutative combinatorial Hopf algebras. This talk explores a number of generalizations or variations on symmetric functions and how algebraic methods inform or confuse how these combinatorial Hopf algebras relate. This is ongoing work with F. Aliniaeifard. The problems with canonical maps
Mar. 07, 2023 3:30pm (MATH 3…	Topology Sheagan John (CU Boulder) X For f and g continuous and commuting self-maps of a Hausdorff space X, we investigate various conditions on X and on the pair (f , g) which provide existence of a coincidence value. We introduce generalized notions of the coincidence value property and use this added flexibility to determine how various coincidence properties of X are related to coincidence properties of associated fibre bundles and adjunction spaces. These investigations are motivated by the longstanding open question concerning whether Brouwer's classical fixed-point theorem has a coincidence value analog. "Lifts and Extensions" of Generalized Coincidence Value Properties
Mar. 08, 2023 3:30pm (Math350)	Math Phys Ezzedine El Sai (CU Mathematics) X PDEs are very familiar objects and have been studied for centuries. This is especially because they describe classical mechanical systems in physics. But in order to study the transition from classical to quantum mechanics, it's imperative to generalize our notion of what a PDE really is. In this talk, we will discuss some of these general notions, particularly Jets, D-modules, and connections with homological algebra. The geometry (and algebra) of PDEs
Mar. 09, 2023 2:30pm (MATH 3…	Functional Analysis Levi Lorenzo (CU Boulder) X K-theory, and its dual K-homology, are the generalized homology and cohomology theories on the category of C-algebras that undergird noncommutative algebraic topology. Further, the two functors admit a bilinear pairing to the integers, the Index Pairing. For a smooth manifold, M, the K-homology of C_0(M) has the additional property of being uniformly p-summable on the subalgebra C_0^\infty (M), for each p larger than the dimension of M. This is desirable because finitely summable (p < \infty) K-homology cycles allow one to compute the Index Pairing in a more straightforward formula, via cyclic cohomology. Given a C-algebra, we can ask whether it has a dense subalgebra on which all of its K-homology classes have p-summable representatives for some p < infinity. In general the answer is no, but there are few known counterexamples and not so many positive results either. In this talk, we will define K-homology, discuss what it means for K-homology to be finitely summable, argue why we should care, and discuss what we know about the answer to this question and directions of where we might find further answers. Finitely Summable K-homology
Mar. 09, 2023 3:35pm (Online)	Probability Ewain Gwynne (University of Chicago) View Online:https://cuboulder.zoom.us/j/96074949744 X A permuton is a probability measure on whose two coordinate marginals are Lebesgue measure. Permutons describe the large-scale geometry of random permutations. I will discuss a geometric construction of a certain class of random permutons using a pair of random space-filling curves called Schramm-Loewner evolution (SLE) and a random measure arising from Liouville quantum gravity (LQG). This class includes the limits of various types of random pattern-avoiding permutations as well as the conjectural limit of meandric permutations (permutations arising from a simple loop which crosses a line a specified number of times). I will then discuss some results about random permutations which can be proven using SLE and LQG, concerning, e.g., the length of the longest increasing subsequence and the fractal dimension of the support. I will not assume any prior knowledge about permutons, SLE, or LQG. Based on joint work with Jacopo Borga and Xin Sun. Permutons, meanders, and SLE-decorated Liouville quantum gravity
Mar. 09, 2023 4pm (MATH 220)	Init Conditions Henry Maher Universal Properties
Mar. 14, 2023 12:10pm (MATH …	Kempner David Renfrew (Binghamton University) X I will describe the limiting behavior of the eigenvalues of minors of large biunitarily random matrices and the roots of derivatives of polynomials with independent, random coefficients, by giving a convolution semi-group which relates the two processes together. Eigenvalues of minors of random matrices and roots of derivatives of random polynomials
Mar. 14, 2023 1:25pm (Online)	Algebra/Logic Dmitriy Zhuk (Charles University, Prague, Czechia) View Online:https://cuboulder.zoom.us/j/96896272260 X In 2017 Moiseev found 2 079 040 clones on 3 elements definable by binary relations using a computer. It is clear that only computer can deal with so many clones but another result from 2019 showed that even computers have their limitations. Moore proved that they cannot check whether a clone given by generating operations is finitely related (definable by a relation). These results made us believe that even a computer description of all the clones on 3 elements would never appear. However, not all clones are essentially different, and one might try to characterise clones modulo clone homomorphisms or minor preserving maps (only h1-identities are preserved). In 2022 we showed that there are only countably many clones of self-dual operations on 3-elements modulo a minor preserving map. Then using a computer we collapsed 2 079 040 into a very small number and now we hope that a complete characterization of all clones on 3 elements modulo minor preserving maps is possible. Joint work with Libor Barto, Jan Adam Zah\'alka, Albert Vucaj, and Florian Starke. Clones on 3 Elements: A New Hope
Mar. 14, 2023 3:30pm (MATH 3…	Topology Howy Jordan (CU Boulder) X When first encountering manifolds, there are basic examples of non-manifolds that should be met. In particular, simple constructions like the wedge product of two manifolds immediately give spaces with points which fail to have appropriate neighborhoods. These spaces fail to have nice properties of manifolds such as Poincare duality. But these spaces are mostly manifolds after all. Much of the theory of manifolds can be recovered by observing how the space is naturally decomposable into manifolds and respecting this decompostion. This is the starting point for the theory of stratified spaces, spaces equipped with decompositions into manifolds. We will see that the tools familiar from the theory of manifolds, like tangent bundles and vector fields, allow one to refine the theory of stratified spaces further. Thom's first isotopy lemma for instance gives sufficient conditions for when a stratified space is locally a product of a manifold and a lower dimensional stratified space. If time permits, we will also consider the basics of the theories of intersection homology and perverse sheaves on stratified spaces, which allow even Poincare duality to be recovered. Stratified Spaces
Mar. 15, 2023 3:30pm (Math350)	Math Phys Calum Shearer (CU Boulder) View Online:https://cuboulder.zoom.us/j/94002553301 X Lie groups arise in mathematics and physics as groups of continuous symmetries. The theory of finite-dimensional Lie groups and their representations has a deep and rich theory, and plays an important role in modern physics, for example in quantum mechanics and in gauge theories. However, sometimes a group of symmetries depends on too many parameters to be modelled on a finite-dimensional space! Such spaces are also objects of interest: for example, loop spaces, diffeomorphism groups and groups of gauge transformations. In this talk, we introduce the notion of infinite-dimensional (locally convex) Lie groups, as treated by John Milnor and discuss what familiar features carry over from the finite-dimensional setting. In finite dimensions, there are many powerful tools for obtaining local or global information about a Lie group from its Lie algebra, for example via the exponential map. We discuss the limitations of this approach in infinite dimensions, and describe what partial results can still be obtained in this setting Infinite dimensional Lie groups a la Milnor
Mar. 16, 2023 2:30pm (MATH 3…	Functional Analysis Rachel Chaiser (CU Boulder) X Matui's HK-conjecture proposes an in-principal computation of the K-theory of the reduced C-algebra of a (nice enough) groupoid in terms of the homology of the groupoid. This can be viewed as a C-algebraic analogue of a technique in algebraic topology where one can compute the K-theory of a CW-complex of dimension at most 3 explicitly from its cohomology using the Atiyah--Hirzebruch spectral sequence. However, this technique may fail for spaces of dimension 4 and greater. Given a flat manifold and an expanding self-cover, one can construct a groupoid where the invariants in the HK-conjecture are computed from the corresponding invariants of the manifold. Using this construction, a flat manifold for which the Atiyah--Hirzebruch spectral sequence fails to compute K-theory from cohomology ought to give a counterexample to the HK-conjecture. This method was introduced by Deeley to construct a counterexample given a flat manifold of dimension at least 9. This naturally leads to the question: is there a flat manifold of dimension 4 giving a counterexample? Flat manifolds and the HK-conjecture
Mar. 16, 2023 3:35pm (Online)	Probability Sung-Soo Byun (Korea Institute for Advanced Study) View Online:https://cuboulder.zoom.us/j/92389457191 X In this talk, I will discuss real eigenvalues of the real elliptic Ginibre matrix, the model which provides a natural bridge between Hermitian and non-Hermitian random matrix theories. In the maximally non-Hermitian regime, which corresponds to the matrix model with real i.i.d. Gaussian entries, it was pioneered by Edelman, Kostlan, and Shub that the number of real eigenvalues is of order , where is the size of the matrix. Moreover, it can be heuristically conjectured that as a real random matrix becomes more symmetric, it gets more real eigenvalues. I will demonstrate that such a statement can be made rigorous by presenting the large- expansion of the mean and variance of the number of real eigenvalues in the almost-Hermitian regime, where one can observe a non-trivial transition between real i.i.d. and real symmetric random matrices. Furthermore, I will explain the limiting empirical distributions of the real eigenvalues which interpolate the Wigner semicircle law and the uniform distribution. Real eigenvalues of elliptic random matrices
Mar. 16, 2023 4pm (MATH 220)	Init Conditions Jon Kim Limits and Colimits
Mar. 17, 2023 3:30pm (MATH 3…	Grad Student Seminar Chase Meadors (CU Boulder) X The pantheon of "controversial" propositions only logicians and set theorists care about includes things such as the Law of Excluded Middle, the Axiom of Choice, and the Continuum Hypothesis (CH). It makes sense to take any of these propositions as true or false, and either decision leads to very interesting phenomena in the set-theoretic universe. In this talk, we will explore consequences of CH and ¬CH in the format of a game show: For each wacky proposition, participants can vote on whether it implies or is implied by the continuum hypothesis or its negation. No serious set theory background is required to participate, and some very basic background will be given in the talk. CH or ¬CH? That is the question (among others)
Mar. 21, 2023 12:20pm (Math …	Diversity Teresa Wroe (Office of Institutional Equity and Compliance) X As classroom leaders it’s critical to recognize that unconscious bias can show up in lots of ways and is multi-directional when we are teaching, grading, evaluating, and providing feedback. This session will be an opportunity to examine bias and discuss strategies that can help mitigate its effects in the classroom and in our everyday interactions with students. Mitigating Unconscious Bias in the Classroom
Mar. 21, 2023 1:25pm (Online)	Algebra/Logic Pawel Idziak (Jagiellonian University, Krakow, Poland) View Online:https://cuboulder.zoom.us/j/96896272260 X The talk reports how the project of characterizing finite algebras with tractable equation solving problem led us to the concepts of circuits and non-uniform automata over arbitrary algebras. As a byproduct we get (under some complexity hypothesis, like Exponential Time Hypothesis and Constant Degree Hypothesis) a full characterization of finite algebras from congruence modular varieties with tractable checking if two circuits compute the same function. A similar (but not the same one) characterization is also provided for finite groups with respect to checking if two polynomials define the same function. Circuits over finite algebras
Mar. 22, 2023 4:40pm (MATH 3…	Grad Student Seminar Andrew Campbell (CU Boulder) X The Riemann mapping theorem states that any two simple connected proper domains in the complex plane are conformally isomorphic, i.e. there exists an angle preserving bijection between them. In general, there is no explicit description of the conformal isomorphism in terms of the conformal domains. Despite this, Loewner developed a way to connect the dynamics of a family continually evolving simply connected domains to the dynamics of their conformal isomorphisms to the the upper half plane. We will do a brief review/introduction on conformal maps before diving deeper into Loewner evolution. Time permitting, we will discuss Schramm's groundbreaking idea connecting Loewner evolution to statistical mechanics. Conformal maps, the Riemann mapping theorem, and (Schramm--)Loewner evolution
Mar. 23, 2023 9:05am (Math 3…	Algebraic Geometry Jarod Alper (University of Washington) X We will survey how recent advances in moduli theory over the last five years have provided a new technique to construct projective moduli spaces. Advances in moduli theory Sponsored by the Simons Foundation
Apr. 04, 2023 1:25pm (MATH 2…	Algebra/Logic Wentao Yang (Carnegie Mellon University) View Online:https://cuboulder.zoom.us/j/96896272260 X We propose an analogue definition of No Independence Property (NIP) for abstract elementary classes (AECs) that coincides with NIP when the class is elementary. We construct a forking-like relation on AECs with NIP, and show that its negation leads to being able to encode subsets. An NIP-like notion in abstract elementary classes
Apr. 04, 2023 2:30pm (Math 3…	Lie Theory Aparna Upadhyay (University of Arizona) X The core of a finite dimensional kG-module M is obtained by deleting all the summands of M that are projective. Benson and Symonds defined an invariant for M, called the gamma invariant. This invariant is a result of studying the asymptotics of the core of tensor powers of M. In this talk, we will see some interesting properties of this invariant. We will explore the sequence of dimensions of the core of , and see that it has algebraic Hilbert series when M is Omega-algebraic. When M is -algebraic then these dimension sequences are eventually linearly recursive. This partially answers a conjecture by Benson and Symonds. The asymptotics of the decomposition of tensor powers of modules Sponsored by the Meyer Fund
Apr. 04, 2023 3:30pm (MATH 3…	Topology Emily Montelius (CU Boulder) Segal's Gamma-Spaces and the Barratt-Priddy-Quillen Theorem
Apr. 05, 2023 3:30pm (Math350)	Math Phys Rebecah Storms (CU Boulder) View Online:https://cuboulder.zoom.us/j/94002553301 Profinite dimensional manifolds
Apr. 06, 2023 9:05am (RAMY N…	Thesis Defenses Michael Wheeler (CU) View Online:https://cuboulder.zoom.us/j/96126023746 X We use the methods of model-theoretic nonstandard analysis, in particular enlargements, to study the properties of regular and good ultrafilters and their role within Keisler's order on countable complete first-order theories. This understanding is used to produce alternative proofs of several key theorems in the study of Keisler's order, such as the well-definedness of Keisler's order and the maximality of theories with SOP_2 (Strong Order Property 2). Furthermore, we provide an analysis of the logical structure of the types used in the proof that theories with SOP_2 are Keisler maximal and use this analysis to give an easy-to-state set-theoretic characterization of ultrafilters that are both regular and good. A Nonstandard Approach to Keisler's Order
Apr. 06, 2023 3:35pm (MATH 3…	Probability Hoi Nguyen (Ohio State University) X In this talk we discuss the number of real roots of a wide class of random orthogonal polynomials with gaussian coefficients. Using the method of Wiener Chaos we will show that the fluctuation in the bulk is asymptotically gaussian, even when the local correlations are different. We will also discuss partial progress toward the case of non-gaussian coefficients. Central Limit Theorem for the number of real roots of gaussian random polynomials
Apr. 06, 2023 4pm (MATH 220)	Init Conditions Colin Jackson Limits and colimits in set
Apr. 11, 2023 10am (MATH 350)	Geometry/Analysis Thomas Ivey (College of Charleston) X In a 2009 paper, Anderson, Fels and Vassiliou showed that, for a class of Darboux-integrable (DI) hyperbolic systems of PDE, a canonical integrable extension exists and is constructed using the action of a novel invariant called the Vessiot group; moreover, the extension splits as the product of two simpler differential systems both of Lie type. Each solution of the DI system thus arises as a `superposition' of a pair of solutions to the simpler systems. In this preliminary report on joint work with Mark Fels, we outline a construction of a canonical integrable extension for elliptic DI systems. By contrast, in this case the extension doesn't split but is a holomorphic Lie equation involving the complexified Vessiot group. In several examples the extension is contact-equivalent to a prolongation of the Cauchy-Riemann equations, leading to solution formulas for the PDE in terms of holomorphic data. Geometry of Elliptic Darboux-Integrable Systems Sponsored by the Meyer Fund
Apr. 11, 2023 12:20pm (MATH …	Kempner Andrew Linshaw (Denver University) X W-algebras are an important class of vertex algebras associated to a Lie (super)algebra g and an even nilpotent element in g. Trialities of W-algebras are isomorphisms between the affine cosets of three different W-algebras. A large family of such isomorphisms were conjectured in physics by Gaiotto and Rapcak in 2017, and were recently proven in my joint work with Thomas Creutzig. This result vastly generalizes both Feigin-Frenkel duality and the coset realization of principal W-algebras of classical types. In this talk, I will give an overview of vertex algebras and discuss the Gaiotto-Rapcak trialities. Time permitting, I will describe some possible generalizations of this result to a larger class of W-algebras. This is a joint work with Thomas Creutzig (University of Alberta) and Vladimir Kovalchuk (University of Denver). Trialities of W-algebras
Apr. 11, 2023 1:25pm (Online)	Algebra/Logic Guram Bezhanishvili (New Mexico State University) View Online:https://cuboulder.zoom.us/j/96896272260 X I’ll survey our current knowledge of the lattice of varieties of Heyting algebras. Towards the end of the talk, I’ll discuss some recent developments, including some open problems that continue to fight back. Varieties of Heyting algebras: what we (still don’t) know
Apr. 11, 2023 3:30pm (MATH 3…	Topology Sarah Petersen (CU Boulder) X In this largely expository talk, we will overview homotopical and geometric motivations for constructing Brown-Gitler spectra, as well as describe a number of different constructions of these spectra due to a range of authors. We will discuss how Brown-Gitler spectra are used in homotopy computations and indicate areas of current research interest. Come to this talk to find out what abelian groups ordinary homology spits out when it eats Brown-Gitler spectra! Brown-Gitler Spectra: An introduction & current directions
Apr. 12, 2023 3:30pm (Math350)	Math Phys Connor Mccranie (CU Boulder) View Online:https://cuboulder.zoom.us/j/94002553301 Holomorphic functions in infinite dimensional vector spaces
Apr. 12, 2023 4:40pm (MATH 3…	Grad Student Seminar Calum Shearer (CU Boulder) X Sometimes a topological space looks locally like some kind of product space, but globally there may be some kind of 'twist' which prevents us from viewing it globally as a product. Such spaces are called fiber bundles, and arise frequently in topology, geometry and algebraic geometry (or so I've heard). In this talk I will introduce fiber bundles in a fairly informal way, explaining what kinds of structure and features such spaces have, how we generalize graphs of functions to these spaces, and what sorts of questions are natural to ask about them. I will focus on the two examples of the cylinder and the Mobius strip, and explain ways in which we can show that these two spaces are different. I have even constructed some fiber bundles out of paper to use as props, which is the closest thing I've done in a while to anything practical as a math student! A friendly introduction to fiber bundles
Apr. 13, 2023 2:30pm (MATH 3…	Functional Analysis Matt Lorentz (Michigan State University) X Many times in analysis we focus on the “small scale” structure of a metric space, e.g. continuity, derivations, etc. However, to examine the “large scale” structure of a metric space we turn to coarse geometry. To help us study the coarse geometry of a space we look at invariants, one such invariant is the uniform Roe algebra of the space. Indeed, if a metric space (X,dX) is coarsely equivalent to (Y, dY ) then their uniform Roe algebras are isomorphic. Originally looked at as a method compute higher index theory, uniform Roe algebras are a highly tractable C*-algebra contained in the bounded operators on square summable sequences indexed by a metric space X (note that purely bornological definitions exist). In this talk we will look at the Hochschild cohomology of uniform Roe algebras. Hochschild cohomology can be thought of as a noncommutative analog of multivector fields. We will first give the relevant definitions and look at a few examples. We will then explore the Hochschild cohomology of uniform Roe algebras with coefficients in various uniform Roe bimodules. The Hochschild Cohomology of Roe Type Algebras
Apr. 13, 2023 3:35pm (MATH 3…	Probability Tom Trogdon (University of Washington) X Many iterative algorithms from numerical linear algebra (Krylov subspace methods, in particular) connect directly to polynomials orthogonal with respect to a measure generated by a matrix and a vector, the so-called eigenvector empirical spectral distribution (VESD). For many random matrix distributions, the limiting VESD is known (or at least characterized) yet the ill-conditioned nature of the mapping from measure to orthogonal polynomials appears to limit the conclusions one can make. To partially overcome this difficulty, we develop a new Riemann--Hilbert-based perturbation theory for orthogonal polynomials that takes the local law as input. This allows one to make precise statements about the random polynomials as their degree diverges, and therefore, about algorithms applied to random matrices as the number of iterations diverges. This is joint work with Percy Deift (NYU), Xiucai Ding (UC Davis), and Elliot Paquette (McGill). Local laws for random matrices, random orthogonal polynomials and algorithms
Apr. 18, 2023 11am (Online)	Algebra/Logic Peter Jipsen (Chapman University) View Online:https://cuboulder.zoom.us/j/96896272260 X In this talk I will report on some joint research in the past year with J.B. Nation and Ralph Freese on ortholattices and with Melissa Sugimoto, José Gil-Férez and Sid Lodhia on involutive partially ordered monoids. Rather than just present the results I will attempt to describe how the automated theorem prover Prover9/Mace4 was used in some aspects of this research. For ortholattices we prove that the variety generated by the 6-element hexagonal ortholattice has an equational basis given by any equational basis of the pentagon lattice variety. We find a list of 9 finite ortholattices that generate varieties covering and present partial results towards showing that this list of finitely generated covers is exhaustive. For locally integral involutive po-monoids we prove that they are Plonka sums of integral involutive po-monoids and we give a more compact dual description of these sums. These results generalize an earlier structural description of finite commutative idempotent involutive residuated lattices by replacing the lattice order by a partial order, idempotence by local integrality and removing finiteness and commutativity. In the idempotent lattice-ordered case we give equational bases for finitely generated varieties by relating them to varieties of Brouwerian algebras. Using Prover9 for research on ortholattices and locally integral involutive po-monoids
Apr. 18, 2023 11:15am (MATH …	Diversity Facilitators: Howy Jordan and Maya Ornstein CHAT+ Disabilities in academia
Apr. 18, 2023 2:30pm (MATH 3…	Lie Theory ALT Faculty X Richard Green, Flor Orosz Hunziker and Nat Thiem will give brief introductions to their research and their mentoring style. ALT Open House
Apr. 18, 2023 3:30pm (MATH 3…	Topology Guchuan Li (University of Michigan) X Chromatic homotopy theory is a powerful tool to study periodic phenomena in stable homotopy groups of spheres. Under this framework, the homotopy groups of spheres can be built from the fixed points of Lubin--Tate theories E_h. The homotopy groups of these fixed points are periodic and computed via homotopy fixed points spectral sequences. In this talk, we prove that at the prime 2, for all heights h and all finite subgroups G of the Morava stabilizer group, the G-homotopy fixed point spectral sequence of E_h collapses after the N(h,G)-page and admits a horizontal vanishing line of filtration N(h,G). Our proof uses new equivariant techniques developed by Hill-Hopkins-Ravenel in their solution of the Kervaire invariant one problem. As an application, we give a computation of E_2^{hG_{48}} based on this vanishing result. This is joint work with Zhipeng Duan and XiaoLin Danny Shi. Vanishing results in Chromatic homotopy theory at the prime 2 Sponsored by the Meyer Fund
Apr. 18, 2023 3:35pm (MATH 2…	Probability Todd Kemp (University of California San Diego) X The Lie group of invertible (complex) matrices is a Riemannian manifold (with its tangent spaces equipped with the metric inherited from the usual Hilbert--Schmidt inner product on matrices), and therefore has a standard Brownian motion . The process can also be thought of as a (complex) matrix-valued geometric Brownian motion. It is, with probability , never a normal matrix, and so the study of the evolution of its eigenvalues is quite complicated. It is yet unknown whether the empirical measure of its eigenvalues (at a fixed time) converges (as ) to some measure on the complex plane. A putative limit measure, called the Brown measure (yes, the Brownian Brown measure) was computed by Driver, Hall, and me in 2022. As a partial result towards the desired limit theorem, in this talk I will present a tightness result: for each fixed time , there is a certain annulus that, with probability , contains all the eigenvalues of for all large . This shows that the sequence of empirical laws of eigenvalues for forms a tight sequence of random measures. Along the way to the proof, I will also show a ``Dyson Brownian motion'' style interacting particle system that describes the dynamic evolution of the eigenvalues of . This is joint work with Bruce Driver and Vaki Nikitopoulos. Tightness for eigenvalues of Brownian Motion
Apr. 19, 2023 5pm (MATH 350)	Grad Student Seminar Michael Wheeler X There are now several ways of formalizing the use of real infinitesimals in the study of calculus. These ways of adding in infinitesimals result in various extensions of the real numbers that can be interesting in their own right. In this talk, we will explore some of the fun properties of one such extension resulting from an enlargement of R and discuss how these properties allow us to gain insight into more than just calculus. A Glimpse of the Nonstandard Landscape
Apr. 20, 2023 2:30pm (Math350)	Math Phys Bruno Nachtergaele (UC Davis) View Online:https://cuboulder.zoom.us/j/95206919281 X I will discuss recent work proving that uniformly small short-range perturbations do not close the bulk gap above the ground state of frustration-free quantum spin systems that satisfy a standard local topological quantum order condition. In contrast with earlier results, we do not require a positive lower bound for finite-system spectral gaps uniform in the system size. To obtain this result, we extend the Bravyi-Hastings-Michalakis strategy so it can be applied to perturbations of the GNS Hamiltonian of the infinite-system ground state. Stability of the bulk gap for quantum lattice systems Sponsored by the Meyer Fund
Apr. 20, 2023 3:35pm (MATH 3…	Probability Bojan Basrak (University of Zagreb) X Using the example of stationary subcritical branching processes with immigration, we discuss two essentially different ways in which power law tails can arise. For instance, if the immigrant distribution is regularly varying, then the same property holds for the stationary distribution. In this talk, we explain how the assumption that the branching takes place in a random environment also induces power law tail behavior of the stationary distribution. We explore probabilistic properties of the resulting stationary process. The original motivation comes from the seminal 1975 paper by Kesten, Kozlov, and Spitzer, which relates random walks in random environment models to a special Galton-Watson process with immigration in random environment. We show how our approach leads to new results even in this well-studied setting. This talk is based on joint work with P. Kevei (University of Szeged). On stationary branching models and random walks in random environment
Apr. 20, 2023 4pm (MATH 220)	Init Conditions Howy Jordan Adjunctions
Apr. 25, 2023 1:25pm (Online)	Algebra/Logic Ralph Freese (University of Hawaii) View Online:https://cuboulder.zoom.us/j/96896272260 X In the first part we discuss Bjarni Jónsson's arguesian law for lattices, and its implications for lattice theory and for universal algebra. The geometric diagram in ALV2, discussed in December's talk, is explained (as was promised). We continue with some higher order arguesian identities first shown to us by Bill Lampe. The second part presents some new and old results about congruence varieties and congruence prevarieties. This part includes a discussion of commutator properties and Mal'tsev conditions. In the third part we discuss the importance of some unpublished notes of Alan Day on higher order Polin varieties and their applications to solving some problems on the collection of congruence varieties. New old results
Apr. 25, 2023 2:30pm (MATH 3…	Lie Theory Angela Carnevale (University of Galway) X This talk will be devoted to certain generating functions associated with spaces of matrices. First, I will discuss how imposing linear relations subject to mild conditions ("playing board games") on modules of matrices does not affect associated generating functions. Secondly, we will relate Hadamard products of such rational generating functions to shuffle products of permutations. This is based on joint work with T. Rossmann, and work in progress with T. Rossmann and V. Moustakas. Board and card games... and matrices Sponsored by the Meyer Fund
Apr. 25, 2023 3:30pm (MATH 3…	Topology Rachel Chaiser (CU Boulder) X Matui's HK-conjecture proposes an in-principle computation of the K-theory of the reduced C-algebra of a (nice enough) groupoid in terms of the homology of the groupoid. This can be viewed as a C-algebraic analogue of the following phenomenon in algebraic topology. For a CW-complex of dimensiom at most 3, the Atiyah--Hirzebruch spectral sequence computes the K-theory explicitly as a direct sum of cohomology groups. However, this explicit computation fails to hold in general for spaces of dimension 4 and greater. Given a flat manifold and an expanding self-cover, one can construct a groupoid where the invariants in the HK-conjecture are computed from the corresponding invariants of the manifold. Using this construction, a flat manifold for which the Atiyah--Hirzebruch spectral sequence fails to compute K-theory from cohomology ought to give a counterexample to the HK-conjecture. This method was introduced by Deeley to construct a counterexample given a flat manifold of dimension at least 9. This naturally leads to the question: is there a flat manifold of dimension 4 giving a counterexample? Flat manifolds and the HK-conjecture
Apr. 26, 2023 3:30pm (Math350)	Math Phys Howy Jordan (CU Boulder) View Online:https://cuboulder.zoom.us/j/94002553301 Infinite dimensional stratifications
Apr. 27, 2023 9am (MATH 350)	Algebraic Geometry Bob Kuo X A well known result in algebraic geometry is that smooth cubic surfaces contain exactly 27 lines over an algebraically closed field. This is no longer true over arbitrary fields. For example, real cubic surfaces contain either 3, 7, 15, or 27 lines. Nevertheless, these lines fall into the class of elliptic lines or hyperbolic lines, and (the number of hyperbolic lines) - (the number of elliptic lines) = 3. In their paper "An arithmetic count of the lines on a smooth cubic surface", Jesse Leo Kass and Kirsten Wickelgren extend this count to smooth cubic surfaces over arbitrary fields. This talk will be a summary of Kass and Wickelgren's results. An arithmetic count of the lines on a smooth cubic surface
Apr. 27, 2023 4pm (MATH 220)	Init Conditions Henry Maher X The Yoneda lemma tells us a great deal about the structure of presheaves, but there is more to be said; I will discuss a pair of theorems that provide even more insight into the structure of presheaf categories. The density theorem and free cocompletion

Main menu

Search

Other ways to search:

Events for December 2022 – April 2023

Algebraic Geometry

Functional Analysis

Probability

Grad Algebra/Logic

Functional Analysis

Algebraic Geometry

Math Phys

Grad Student Seminar

Algebra/Logic

Math Phys

Grad Student Seminar

Topology

Math Phys

Grad Student Seminar

Init Conditions

Kempner

Algebra/Logic

Topology

Math Phys

Grad Student Seminar

Kempner

Topology

Algebra/Logic

Math Phys

Algebraic Geometry

Functional Analysis

Init Conditions

Algebra/Logic

Lie Theory

Topology

Math Phys

Functional Analysis

Probability

Init Conditions

Algebra/Logic

Lie Theory

Topology

Math Phys

Functional Analysis

Probability

Init Conditions

Kempner

Algebra/Logic

Topology

Math Phys

Functional Analysis

Probability

Init Conditions

Grad Student Seminar

Diversity

Algebra/Logic

Grad Student Seminar

Algebraic Geometry

Algebra/Logic

Lie Theory

Topology

Math Phys

Thesis Defenses

Probability

Init Conditions

Geometry/Analysis

Kempner

Algebra/Logic

Topology

Math Phys

Grad Student Seminar

Functional Analysis

Probability

Algebra/Logic

Diversity

Lie Theory

Topology

Probability

Grad Student Seminar

Math Phys

Probability