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

Events for June – October 2025

Return to this week

Oct. 30, 2025 7:11am (CSU)	Algebraic Geometry Multiple speakers X 3rd installment of Front Range Algebraic Geometry (FRAG) day happening at CSU in Weber 201 1:00-5:00 https://sites.google.com/colorado.edu/front-range-ag/home FRAG Day
Jun. 05, 2025 3:30pm (MATH 3…	Functional Analysis PIOTR M. HAJAC (IMPAN, Warsaw, Poland) X Associating graph algebras to directed graphs leads to both covariant and contravariant functors from suitable categories of graphs to the category k-Alg of algebras and algebra homomorphims. As both functors are often used at the same time, one needs a new category of graphs that allows a �common denominator� functor unifying the covariant and contravariant constructions. In this talk, I will show how to solve this problem by first introducing the relation category of graphs RG, and then determining the concept of admissible graph relations that yields a subcategory of RG admitting a contravariant functor to k-Alg simultaneously generalizing the aforementioned covariant and contravariant functors. I will illustrate relation morphisms of graphs by many naturally occurring examples, including Cuntz algebras, quantum spheres and quantum balls. Although I will focus on Leavitt path algebras and graph C-algebras, time permitting, I will unravel functors given by path algebras, Cohn path algebras and Toeplitz graph C-algebras from suitable subcategories of RG to k-Alg. Based on joint work with Gilles G. de Castro and Francesco D'Andrea. RELATION MORPHISMS OF DIRECTED GRAPHS
Jun. 06, 2025 2:30pm (Math 2…	Noncomm Geometry Paul Bressler (Universidad de los Andes) X I will describe a construction of a complex associated to a Lie algebroid originally due to V. Schechtman and use it to obtain interesting representatives of a characteristic classes of manifolds. Characteristic classes of natural bundles Sponsored by the Meyer Fund
Jul. 17, 2025 2:30pm (MATH 3…	Lie Theory Robert McRae (Tsinghua University) View Online:https://cuboulder.zoom.us/j/97927772782 X This will be an overview talk on braided tensor categories obtained from representation categories of vertex operator algebras. I will describe how the tensor category structure is defined and also discuss what is currently known about examples and further properties (especially rigidity/existence of duals) of this tensor category structure. Tensor categories from vertex operator algebras Sponsored by the Meyer Fund
Jul. 29, 2025 2:30pm (MATH 2…	Lie Theory David Ridout (University of Melbourne) View Online:https://cuboulder.zoom.us/j/97927772782 X In this informal chat with Dr. Ridout we will learn why modularity plays a fundamental role in 2 dimensional conformal field theory. Please join us if you are around! Why is modularity expected in a physical conformal field theory?
Aug. 26, 2025 2:30pm (MATH 3…	Lie Theory Katrina Barron (Notre Dame University) X Through the framework of Conformal Field Theory (i.e. string theory), linear algebra and Lie theory meet up with number theory in fundamental ways. In particular, the graded traces and pseudo-traces of families of linear operators corresponding to the fields (vertex operators) of interacting particles exhibit certain invariance properties with respect to action of the modular group SL(2,Z). We discuss aspects of modular symmetries that appear in graded trace and pseudo-trace functions for various classes of algebras of fields (vertex algebras) and their modules, including for the new notion of strongly interlocked module introduced by Barron, Batistelli, Orosz Hunziker, and Yamskulna. Several examples will be discussed. Graded (pseudo-)traces and number theory in Lie theory and physics. Sponsored by the Meyer Fund
Aug. 26, 2025 3:30pm (MATH 3…	Topology Mayuko Yamashita (Perimeter Institute for Theoretical Physics) X In this talk, I will explain the recent development in the Segal-Stolz-Teichner (SST) paradigm. The SST paradigm is a set of ideas connecting stable homotopy theory, especially the theory of elliptic cohomology theory, with supersymmetric quantum field theories in physics. Thanks to the recent mathematical development of equivariant elliptic cohomology thoery, we are currently experiencing a great enrichment the SST paradigm. In the talk, I will illustrate this by explaining my work with Y.Lin on Topological Elliptic Genera. Equivariant elliptic cohomology and supersymmetric quantum field theories Sponsored by the Meyer Fund
Aug. 26, 2025 3:30pm (Math350)	Math Phys Mayuko Yamashita (Perimeter Institute for Theoretical Physics) X In this talk, I will explain the recent development in the Segal-Stolz-Teichner (SST) paradigm. The SST paradigm is a set of ideas connecting stable homotopy theory, especially the theory of elliptic cohomology theory, with supersymmetric quantum field theories in physics. Thanks to the recent mathematical development of equivariant elliptic cohomology thoery, we are currently experiencing a great enrichment the SST paradigm. In the talk, I will illustrate this by explaining my work with Y.Lin on Topological Elliptic Genera. Equivariant elliptic cohomology and supersymmetric quantum field theories Sponsored by the Meyer Fund
Aug. 27, 2025 4:30pm (MATH 2…	PDE/Analysis Neel Patel (University of Maine) X The Muskat problem describes the dynamics of an interface between two fluids in porous media driven by gravity. For a graphical interface with a denser fluid below a lighter fluid, the interface is in a stable regime. On the other hand, a closed curve interface, or bubble, is always in the unstable regime. This instability can be seen in the linearized equation. In this talk, we will discuss how to formulate the bubble problem to deal with this instability. Stability of Bubbles in Porous Media Sponsored by the Meyer Fund
Aug. 29, 2025 10:10am (MATH …	Math Edu Rebekah Jones X We will discuss potential topics and speakers for the Seminar on Undergraduate Math Education (SUME) this semester. All those interested in attending SUME are welcome. SUME Open House
Sep. 03, 2025 4:40pm (MATH 3…	Grad Student Seminar Omar Al - Khazali (CU Boulder) X The Longest Path Problem is a question of finding the maximum length between pairs of vertices of a finite graph. In the general case, the problem is $𝒩 𝒫$ -hard. However, there is a subcollection of graph classes for which there exists an efficient solution. I will display my method which provides algorithms that are proven correct by their underlying algebraic operations unlike existing purely algorithmic solutions to this problem. We introduce a `booleanize' mapping on the adjacency matrix of a graph which we prove identifies the solution for Trees, Uniform Block Graphs, Block Graphs, and Directed Acyclic Graphs with exact conditions and associated polynomial-time algorithms. I will then show an algebraic construction with elements as graphs and two operations that have further underlying structure within them. Then, showcasing some results and theorems that exist behind the hidden structure of this algebraic construction. An Algebra of Graphs and the Longest Path Problem
Sep. 04, 2025 11:15pm (MATH …	Algebraic Geometry Jon Kim X In this talk, I will introduce the moduli space of K3 surfaces. I will start with some preliminaries on K3 surfaces from Hodge theory and move onto their moduli. Specifically, the goal will be to introduce the Bailey-Borel compactification of a certain ball quotient and its relationship to the moduli space of K3 surfaces. If there is time, I will discuss degenerations, Kulikov models (type III), and recent work by Alexeev and Engel (2023) on the KSBA compactification of the moduli of K3 surfaces. Moduli of K3 Surfaces
Sep. 09, 2025 1:25pm (MATH 2…	Algebra/Logic Nik Ruskuc (St Andrews) X Let S be a semigroup, and suppose that the full relation SxS is finitely generated as a right congruence. When S is a group this happens if and only if S is finitely generated, but in general there are many more examples, of arbitrarily large cardinalities. Let X be a finite generating set for SxS. Then, for any two elements s,t in S, there is a finite chain of X-transformations connecting s and t. The longest such chain is the X-diameter of S, and the smallest X-diameter when X ranges over all finite generating sets is the (right congruence) diameter of S, denoted D(S). This parameter can be finite or infinite. It turns out that it is finite for many classical semigroups of transformations, linear transformations and partitions, and is then very small, i.e. $≤ 4$ . Usually some intriguing combinatorics is involved in these results, but the underlying reasons for this phenomenon remain mysterious. The new results presented in this talk are due to various subsets of J. East, V. Gould, C. Miller, T. Quinn-Gregson and myself. (Congruence) diameter of semigroups Sponsored by the Meyer Fund
Sep. 09, 2025 2:30pm (MATH 2…	Grad Algebra/Logic Aten, Kearnes, Mayr (CU) Organizational meeting
Sep. 11, 2025 2:30pm (MATH 3…	Functional Analysis Robin Deeley (CU Boulder) X Given a compact metric space and self-homeomorphism,� one can construct the associated crossed product C-algebra. There is a strong relationship between dynamical properties and C-algebraic properties. For�example, the system�is minimal if and only if the crossed product algebra is simple. I will discuss minimal crossed products, their K-theory, K-homology, and Poincare duality. The talk will be an introduction aimed at graduate students. Minimal crossed products and duality
Sep. 11, 2025 11:15pm (MATH …	Algebraic Geometry Jon Kim X We will continue our talk from last week starting with analytic moduli and discussing the moduli space of M-quasipolarized and M-polarized K3 surfaces. If time permits, we will discuss one-parameter degenerations. These talks follow Alexeev and Engel's "Compact moduli of K3 surfaces" paper in 2023. Moduli of K3 Surfaces II
Sep. 12, 2025 10:10am (Math …	Math Edu Peter Karanevich (CU Boulder School of Education) X In this hands-on workshop we will do a mathematics activity leveraging the 5 practices for orchestrating productive mathematical discussions to debrief it. We will then examine each practice and have time for reflection about how you can incorporate these ideas in your classroom. 5 practices of Orchestrating Productive Mathematics Discussions
Sep. 16, 2025 1:25pm (online)	Algebra/Logic Leandro Vendramin (Vrije Universiteit Brussel, Belgium) View Online:https://cuboulder.zoom.us/j/96896272260 X This talk explores the interplay between set-theoretic solutions to the Yang-Baxter equation and structures arising in algebraic logic. Central to this connection is the recently introduced theory of L-algebras, which generalizes well-known logical systems such as Hilbert and Heyting algebras. The presentation assumes minimal background. We will discuss illustrative examples, highlight open problems, and share several conjectures. L-Algebras: A bridge between algebraic logic and the Yang-Baxter equation
Sep. 16, 2025 2:30pm (MATH 2…	Grad Algebra/Logic Charlotte Aten (CU Boulder) X We will begin covering background material pertaining to the recent paper "A categorical perspective on constraint satisfaction: The wonderland of adjunctions" by Hadek, Jakl, and Oprsal. Categorical methods for constraint satisfaction
Sep. 17, 2025 4:40pm (MATH 3…	Grad Student Seminar Matt Watson (CU Boulder) X Modular forms are functions on the upper half plane which satisfy certain transformation laws given by the action of certain arithmetic groups. Though often introduced as a complex analytic object, modular forms have a tendency to appear in seemingly unrelated areas of mathematics. How many ways can an integer be written as a sum of four squares? Modular forms can be used to solve this. What is the densest arrangement of non-overlapping spheres in $R24$ ? Modular forms can be used to solve this. The coefficients of the Fourier expansion of some important modular function encode the dimensions of the irreducible representations of the monster group (moonshine!!!). In the context of geometry, modular forms give pluricanonical forms on some moduli space. The goal of this talk is to introduce modular forms, marvel at some of their interesting properties, and then explain why I care about modular forms as an algebraic geometer. Modular Forms and the Baily-Borel Theorem
Sep. 18, 2025 11:15am (MATH …	Algebraic Geometry Jon Kim X We continue the talk from last week, starting with quasipolarized and polarized K3 surfaces and their moduli spaces. Moduli of K3 Surfaces III
Sep. 19, 2025 10:10am (Math …	Math Edu Shelby Stanhope (US Air Force Academy) X Clear communication is an essential skill for success in mathematics, yet many undergraduates enter college-level courses without experience in writing solutions that are both clear and well-structured. This talk will explore strategies instructors can use to help learners begin developing effective communication practices as early as the calculus sequence, not just in proof-based courses. We will discuss the role of short phrases in guiding the reader, the importance of balancing notation with words, and techniques for establishing a logical flow that allows solutions to stand on their own. I will highlight a communication activity I have used in a multivariable calculus course that scaffolds the development of these skills, recognizing that such expectations may be new to many students. Developing Effective Communication Practices in Mathematics
Sep. 23, 2025 11am (MATH 350)	Number Theory Zheng Xiao (CU) X After Mordell�s conjecture for curves was proved by Faltings, attentions turn to the distribution of rational and integral points on higher dimensional varieties, which is encoded in the celebrated Vojta�s conjecture. Along this line we proved a subspace type inequality, improving the result of Ru-Vojta, on surfaces. Meanwhile, we obtain a sharp criterion of when some certain surfaces admit a non Zariski-dense set of integral points. Joint with Huang, Levin. Diophantine Approximation on Surfaces and Distribution of Integral Points
Sep. 23, 2025 1:25pm (MATH 2…	Algebra/Logic Peter Mayr (CU) X Let A be a finite simple non-abelian Mal'cev algebra (e.g. a group, loop, ring), and let B be the countable atomless Boolean algebra. We show that the automorphism groups of filtered Boolean powers of A by B have ample generics, which gives a new proof of our previous results that these groups have the small index property, uncountable cofinality and the Bergman property. This is joint work with Nik Ruskuc. Generic automorphisms of Boolean powers
Sep. 23, 2025 2:30pm (MATH 2…	Grad Algebra/Logic Charlotte Aten (CU Boulder) X We will continue covering background material pertaining to the recent paper "A categorical perspective on constraint satisfaction: The wonderland of adjunctions" by Hadek, Jakl, and Oprsal. Topics will include the discrete Grothendieck construction, Kan extensions, and the nerve of a functor. Categorical methods for constraint satisfaction (Part 2)
Sep. 23, 2025 2:30pm (MATH 3…	Topology Howy Jordan X A topological space is stratified when it is equipped with a nice decomposition into nice subsets. In the classical case, the nice subsets are manifolds. When the decomposition is nice enough, one can equip the stratified space with a stratified tangent bundle. "Is there a category of stratified spaces whose fiber bundles include these stratified tangent bundles?" Motivated by this question, we will investigate categories of stratified spaces. In particular, we will consider cases where the underlying stratification can vary and cases where there is a fixed base stratification and find interesting topologies and group objects along the way. Categories of Stratified Spaces
Sep. 25, 2025 11:15am (MATH …	Algebraic Geometry Daniel Lyness X TBA TBA
Sep. 25, 2025 11:15am (MATH …	Algebraic Geometry Daniel Lyness X Geometric Invariant Theory is concerned with answering the following problem: Given a group G acting on a projective variety X, how can we construct a quotient of X by the group action, and give it the structure of an algebraic variety? We cannot simply take the orbit space, and hope that this will be a variety, so it is important to throw out some bad (unstable) orbits from X, and identify some ok (semistable) orbits together in the quotient. In this talk, I will show how to construct this quotient abstractly, and introduce the remarkable Hilbert-Mumford numerical criterion, which allows us to determine which orbits in X are stable, semistable and unstable, and therefore what our quotient looks like geometrically. In part 2 next week, I will show how I am applying GIT to my research. Introduction to Geometric Invariant Theory part 1
Sep. 25, 2025 2:30pm (MATH 3…	Functional Analysis Various X The members of the functional analysis group will give short talks introducing their research. Functional Analysis Open House
Sep. 30, 2025 1:25pm (online)	Algebra/Logic Anna Romanowska (Warsaw University of Technology) View Online:https://cuboulder.zoom.us/j/96896272260 X In this talk, we will use an algebraic approach to study convex subsets of affine spaces over the ring of dyadic rationals. Dyadic rationals are rationals whose denominator is a power of 2. A dyadic n-dimensional convex set is defined as the intersection with n-dimensional dyadic space of an n-dimensional real convex set. Such a dyadic convex set is said to be a dyadic n-dimensional polytope if the real convex set is a polytope whose vertices lie in dyadic space. Dyadic convex sets appear as subalgebras of reducts of faithful affine spaces over the ring of dyadic numbers, or equivalently as commutative, entropic and idempotent groupoids (binars or magmas) under the binary operation of arithmetic mean. We will examine algebraic concepts and properties of dyadic polytopes (especially polygons), and contrast their behavior with that of polytopes in real affine space. On the basis of older results about the generation and structure of dyadic polytopes, we will present recent results (obtained with A. Mucka) on the representation, characterization and classification of dyadic triangles. Algebraic properties of dyadic convex polytopes
Sep. 30, 2025 1:30pm (MATH 3…	Homotopy Jackson Morris (University of Washington) X The stable homotopy groups of spheres are an important and complicated invariant. However, there is a filtration which sorts the p-components of this group into vn-periodic layers, known as chromatic heights, which are themselves more computable. The height one piece is the only layer which we fully understand, and an invaluable tool to accessing v1-periodic stable homotopy is the BP<1>-based Adams spectral sequence. In this talk, I will discuss joint work with Petersen and Tatum which focuses on the analogue of this problem in motivic homotopy theory. The key idea is that there are similar periodic layers in the stable homotopy of the motivic sphere. We compute the E1-page of the analogous BPGL<1>-based motivic Adams spectral sequence at all primes p and over a myriad of base schemes. Time permitting, I will discuss future directions in chromatic motivic homotopy theory. Splittings of truncated motivic Brown-Peterson cooperations algebras
Sep. 30, 2025 2:30pm (MATH 3…	Lie Theory Chindu Mohanakumar (University of Colorado Boulder) X The goal of this talk is to give an intuitive idea of coherent orientations and why they provide a useful invariant for symplectic manifolds. I will start from the definition of a symplectic manifold, and motivate the study of J-holomorphic curves in Symplectic Geometry. From there, I will give a loose idea of Floer theory and how it relates to Morse theory, and use this relation to motivate coherent orientations. Coherent orientations of J-holomorphic curves in Symplectic Topology
Sep. 30, 2025 2:30pm (MATH 3…	Topology Chindu Mohanakumar (CU Boulder) X The goal of this talk is to give an intuitive idea of coherent orientations and why they provide a useful invariant for symplectic manifolds. I will start from the definition of a symplectic manifold, and motivate the study of J-holomorphic curves in Symplectic Geometry. From there, I will give a loose idea of Floer theory and how it relates to Morse theory, and use this relation to motivate coherent orientations. Coherent orientations of J-holomorphic curves in Symplectic Topology
Sep. 30, 2025 2:30pm (MATH 2…	Grad Algebra/Logic Orlando Reyes (CU) Categorical Perspective on Constraint Satisfaction (Part 3)
Oct. 02, 2025 11:15am (MATH …	Algebraic Geometry Daniel Lyness X In this talk we will be continuing where we left off last week, having just introduced the Hilbert-Mumford Numerical Criterion. Now we will see how to use this powerful computational tool to do GIT on the space of plane cubic curves. There will be lots of pictures! Then we�ll kick it up a notch to my research question: How to use GIT to find a moduli space for pairs (Q,C) of a conic and cubic plane curve, and how our moduli space will change depending on the ample line bundle used for our embedding in projective space. GIT on plane curves
Oct. 02, 2025 2:30pm (MATH 3…	Functional Analysis Alonso Delf�n (CU Boulder) X The main goal of this set of talks is to introduce twisted crossed products of Banach algebras by locally compact groups. Both talks will be accessible to anyone with basic Functional Analysis knowledge, but Part II will assume familiarity with Part I. Classical crossed products of Banach algebras have been extensively studied for different classes of representations, including contractive representations on L^p-spaces. Part I: We give a general formulation for Banach algebras associated with twisted dynamical systems. Recent developments in L^p-twisted crossed products have mostly focused on situations where either the algebra is the complex numbers or when the group is discrete (more generally for �tale groupoids). We present a universal characterization of the twisted crossed product when the acting group is locally compact and the Banach algebra has a contractive approximate identity. Part II: We now focus on the case when the representations are contractive ones acting on L^p spaces. We briefly discuss a reduced version for L^p-operator algebras. We present a generalization of the so called Packer�Raeburn trick to the L^p-setting, showing that the universal L^p twisted crossed product is ``stably'' isometrically isomorphic to an untwisted one. This is joint work with Carla Farsi and Judith Packer. Twisted Crossed Products of Banach Algebras (Part I)
Oct. 03, 2025 10:10am (Math …	Math Edu Joseph Timmer & Rebekah Jones X In this workshop, we'll analyze examples of teaching statements and discuss what makes a successful teaching statement. We'll also hear directly from faculty who've served on hiring committees about their evaluation process and priorities. Participants can bring their own teaching statements to receive more targeted guidance and feedback. Teaching Statement Workshop
Oct. 07, 2025 1:25pm (online)	Algebra/Logic Andrew Moorhead (TU Dresden, Germany) View Online:https://cuboulder.zoom.us/j/96896272260 X A strong Maltsev class of varieties is a class of varieties for which there exists a finitely presented variety (i.e. a variety in a finite signature satisfying finitely many identities) whose interpretability class is a lower bound to every variety in the interpretability order, while a Maltsev class of varieties is a class for which there exists a countably infinite descending chain of finitely presented varieties and each variety in the Maltsev class is bounded below by some of the chain. A Maltsev term is the original example of a strong Maltsev condition and the identities that define it define the class of congruence permutable varieties. On the other hand, the classes of congruence distributive and congruence modular varieties are not strong Maltsev classes, but rather Maltsev classes (the terms for distributivity were discovered by J�nsson and the terms for modularity were discovered by Day). There has been for some years a fertile area of research which connects Universal Algebra to the complexity theory of constraint satisfaction. While many of these results are largely important for complexity theory, some of them have been important for algebra. In particular, Siggers discovered that the class of locally finite Taylor varieties is captured by a finite package of identities. In 2015, Olsak made the surprising discovery that in fact the class of all Taylor algebras is strong Maltsev. A natural next question was: what about the class of congruence meet semidistributive varieties? This is an important class in fixed template finite domain CSP, since the class of locally finite congruence meet semidistributive varieties is exactly the class of varieties which correspond to CSP templates which can be solved with local consistency methods. Actually, Kozik, Krokhin, Valeriote, and Willard proved that locally finite congruence meet semidistributive varieties are characterized by a finite package of identities. We show that, unlike the class of Taylor varieties, this finiteness does not lift to the general case, that is, there does not exist a strong Maltsev condition that captures every congruence meet semidistirbutive variety. The class of congruence meet semidistributive varieties is not strong Maltsev
Oct. 07, 2025 2:30pm (MATH 2…	Grad Algebra/Logic Omar Al - Khazali (CU Boulder) Graph algebras
Oct. 07, 2025 2:30pm (MATH 3…	Lie Theory Richard Green (CU) X Every permutation is associated to a classical combinatorial object called a Rothe diagram, where the number of points in the diagram is equal to the number of inversions in the permutation. In this talk, we generalize this notion by associating a Rothe diagram to a set of positive orthogonal roots for a finite simply-laced Weyl group. This construction turns out to have many applications to algebraic combinatorics and to the theory of invariant polynomials.� This is based on joint work with Tianyuan Xu (University of Richmond). Orthogonal roots and generalized Rothe diagrams
Oct. 09, 2025 11:15am (MATH …	Algebraic Geometry Matt Watson X TBA TBA
Oct. 09, 2025 2:30pm (MATH 3…	Functional Analysis Alonso Delf�n (CU Boulder) X The main goal of this set of talks is to introduce twisted crossed products of Banach algebras by locally compact groups. Both talks will be accessible to anyone with basic Functional Analysis knowledge, but Part II will assume familiarity with Part I. Classical crossed products of Banach algebras have been extensively studied for different classes of representations, including contractive representations on L^p-spaces. Part I: We give a general formulation for Banach algebras associated with twisted dynamical systems. Recent developments in L^p-twisted crossed products have mostly focused on situations where either the algebra is the complex numbers or when the group is discrete (more generally for �tale groupoids). We present a universal characterization of the twisted crossed product when the acting group is locally compact and the Banach algebra has a contractive approximate identity. Part II: We now focus on the case when the representations are contractive ones acting on L^p spaces. We briefly discuss a reduced version for L^p-operator algebras. We present a generalization of the so called Packer�Raeburn trick to the L^p-setting, showing that the universal L^p twisted crossed product is ``stably'' isometrically isomorphic to an untwisted one. This is joint work with Carla Farsi and Judith Packer. Twisted Crossed Products of Banach Algebras (Part II)
Oct. 09, 2025 3:30pm (Math 3…	Probability Ewan Davies (Colorado State University) X The hard-core model is a well-studied probability distribution in statistical physics and algorithms since it exhibits interesting behavior from probabilistic and algorithmic perspectives. We will survey the underlying mathematical phenomena that drive this interesting behavior and uncover some surprises. A first-order phase transition in the hard-core model
Oct. 10, 2025 10:10am (Math …	Math Edu Hilary Freeman (Colorado State University) X Math 160 Calculus I for Engineers at Colorado State University has been using a version of standards-based grading since Fall of 2020. In this talk I will discuss why I made the change to alternative grading and how I�ve been implementing this grading system and the changes we�ve gone through. I�ll address the particular challenges of coordinating multiple sections with a large total enrollment and what technology I�ve found helpful or not so helpful. Five Years of Standards-Based Grading in a First Semester Calculus Course
Oct. 14, 2025 12:10pm (MATH …	Kempner Constantin Dorin Dumitrascu (Adrian College) X We take a combinatorial approach to the classical problem of random walks in the d-dimensional Euclidean lattice Z^d, where the walker takes steps {-1, +1}^d, each with equal probability 1/(2d). We give precise asymptotics for the number of closed walks or excursions (the walks of a given length that return to the starting point). We also discuss the more complicated case of first-time returns. Recall that a sequence (f_n)_n is called P-recursive if it admits a recurrence relation with coefficients polynomials in n. This property is equivalent with holonomicity (or D-finiteness) of the generating function, meaning that the vector space of its formal derivatives is finite dimensional. We show that, in dimension greater or equal to 2, the sequence of excursions is P-recursive, while the sequence of first-time returns is not P-recursive. Techniques from the theory of Legendre polynomials, analytic combinatorics, holonomic functions, and Fuchsian ODEs are employed in the proofs. This presentation reports on joint work with Liviu Suciu. On the non-holonomic character of first time returns in the Euclidean lattice
Oct. 14, 2025 2:30pm (MATH 2…	Grad Algebra/Logic Nick Jamesson (CU Boulder) Categorical Perspective on Constraint Satisfaction (Part 4)
Oct. 14, 2025 2:30pm (MATH 3…	Lie Theory Richard Green (CU) X We explore further applications of the generalized Rothe diagrams associated to sets of orthogonal positive roots of simply laced root systems. We will discuss examples arising from labelled Fano planes and from the representation theory of simple Lie algebras. This talk is based on joint work with Tianyuan Xu (University of Richmond), and is a continuation of last week's talk. Orthogonal roots and generalized Rothe diagrams, part 2
Oct. 14, 2025 3:30pm (MATH 3…	Topology Taylor Rogers X Recently, higher categorical generalizations of semiadditivity have proven useful in stable homotopy theory; in particular, they demonstrate that certain localizations of the category of spectra are exceedingly well-behaved. Understanding higher semiadditivity has also produced an interesting theory of ambidextrous adjunctions, that may be useful in the study of other stable infinity categories. In this talk, we will introduce semiadditivity and ambidexterity in a general categorical setting. We will then specialize to the context of stable homotopy theory and discuss how the theory of higher semiaddtivity gives a proof of May's nilpotence conjecture. Ambidexterity and Nilpotence
Oct. 14, 2025 3:35pm (MATH 2…	PDE/Analysis Fernando Charro (Wayne State University) X In recent years there has been an increasing interest in whether a mean value property, known to characterize harmonic functions, can be extended in some weak form to solutions of nonlinear equations. This question has been partially motivated by the surprising connection between Random Tug-of-War games and the normalized p-Laplacian discovered some years ago by Peres et al., where a nonlinear asymptotic mean value property for solutions of a PDE is related to a dynamic programming principle for an appropriate game. In this talk, we discuss asymptotic mean value formulas for a class of nonlinear second-order equations that includes the classical Monge-Amp�re and k-Hessian equations among other examples. Asymptotic Mean Value Formulas for Nonlinear Equations Sponsored by the Meyer Fund
Oct. 16, 2025 11:15am (MATH …	Algebraic Geometry Matt Watson X TBA TBA
Oct. 16, 2025 2:30pm (MATH 3…	Functional Analysis Gregory Berkolaiko (Texas A&M) X Duistermaat index is a symplectic invariant defined for triples of Lagrangian subspaces. We discuss its concise axiomatic definition, its relation to the Maslov index of paths of Lagrangian subspaces and its surprising application to eigenvalue interlacing for differential operators with different sets of boundary conditions. Based on joint work with Graham Cox, Yuri Latushkin and Selim Sukhtaiev. Duistermaat index and its application to eigenvalue interlacing
Oct. 21, 2025 2:30pm (MATH 3…	Lie Theory Andrew Reimer-Berg (Colorado State University) X We resolve a question of Gillespie, Griffin, and Levinson that asks for a combinatorial bijection between two classes of trivalent trees, tournament trees and slide trees, that both naturally arise in the intersection theory of the moduli space of stable genus zero curves with n marked points. In this talk, we give an explicit combinatorial bijection between these two sets of trees using an insertion algorithm, and also classify the words that appear on the slide trees of caterpillar shape via pattern avoidance conditions. Insertion algorithms and pattern avoidance on trees coming from the moduli space of curves Sponsored by the Meyer Fund
Oct. 21, 2025 2:30pm (MATH 2…	Grad Algebra/Logic Nick Jamesson (CU) Categorical Perspective on Constraint Satisfaction (Part 5)
Oct. 22, 2025 4:40pm (MATH 3…	Grad Student Seminar Edouard Heitzmann (CU Boulder) X I will state Arrow's Impossibility Theorem, then give the definitions of some commonly used ranked-choice voting rules, and finally present some examples of common paradoxes that each of them suffer from. Some Common Voting Rule Paradoxes
Oct. 23, 2025 11:15am (MATH …	Algebraic Geometry Yota Maeda (TU Darmstadt) X See https://sites.google.com/view/fragmentseminar/ On the Kodaira dimension of even-dimensional ball quotients Sponsored by the Meyer Fund
Oct. 24, 2025 12:20pm (MATH …	Math Edu Constantin Dorin Dumitrascu (Adrian College) X What should preservice teachers learn in a college geometry course, and how should they learn it? To change the lack of national consensus on how to answer these two questions, an online community of faculty who teach or do research on college geometry courses taken by secondary teachers (GeT courses) was formed in the Summer of 2018, under the coordination of Pat Herbst and Amanda Brown from the University of Michigan GRIP lab (https://www.gripumich.org/). A group of GeT instructors worked for over two years toward the goal of identifying a list of essential student learning outcomes (SLOs) for inclusion in GeT courses � where essential means the identification of content knowledge that all prospective secondary geometry teachers should have the opportunity to learn. The public draft of the set of Student Learning Outcomes is available at https://getapencil.org/student-learning-objectives/. My presentation will discuss some of the SLOs, how I incorporated them in my own teaching of the GeT course at Adrian College, and how my participation in the GeT: A Pencil community influenced and enriched my teaching. A Student Learning Outcomes Perspective on the College Geometry Course for Secondary Teachers
Oct. 28, 2025 1:25pm (MATH 2…	Algebra/Logic Zak Mesyan (CU Colorado Springs) X Given a semigroup S and elements s,t in S, write s~t if s=pr and t=rp, for some p,r in S (with 1 adjoined). This relation, and its transitive closure, both known as "primary conjugacy", has been extensively used and studied in connection with many algebraic objects, including groups, rings, and C*-algebras. It is the standard tool for either measuring or forcing commutativity. We discuss a natural generalization, defined by s~t whenever s=p_{1}...p_{n} and t=p_{f(1)}...p_{f(n)}, for some p_{1},...,p_{n} in S (with 1 adjoined) and permutation f of {1,...,n}, together with its transitive closure, which we call the "permutation" relation. The permutation relation is actually the congruence generated by the primary conjugacy, and is the least commutative congruence on any semigroup. We explore general properties of the permutation relation, discuss it in the context of groups and rings, compare it to various known semigroup conjugacy relations, and describe its equivalence classes in different semigroups. Conjugacy and least commutative congruences in semigroups Sponsored by the Meyer Fund
Oct. 28, 2025 2:30pm (MATH 2…	Grad Algebra/Logic Charlotte Aten (CU Boulder) X I will state the fundamental theorem of the algebraic approach to promise constraint satisfaction and present a family of examples where we can explicitly see the connection between gadgets, nerves, and minion homomorphisms. Examples for the Fundamental Theorem of Algebraic PCSP
Oct. 28, 2025 3:30pm (MATH 3…	Topology Alex LaJeunesse X Machinery from homotopy theory allows us to define a Brauer space for any E_3-ring R whose homotopy groups carry important arithmetic information about R. If R is equivalent to a discrete commutative ring, for example, these homotopy groups agree with the classical (derived) unit, Picard, and Brauer groups. I will describe how one constructs this Brauer space and discuss the problem of "strictification" for Brauer classes. Unit, Picard, and Brauer Groups of Ring Spectra
Oct. 29, 2025 4:40pm (MATH 3…	Grad Student Seminar Colin Jackson (CU Boulder) X We discuss ideal class groups and how they tell us how numbers factor when we extend to rings larger than the integers. Factoring 101
Oct. 30, 2025 11am (MATH 220)	Number Theory Gabrielle Scullard (University of Georgia) X The study of supersingular elliptic curves oriented by a quadratic imaginary order O, and the horizontal isogenies between them (induced by the action of an ideal in the class group), has become increasingly important in isogeny-based cryptography; these are the curves and isogenies which are fundamental to CSIDH and SCALLOP, for example. We relate N-isogenies between supersingular elliptic curves oriented by an order of discriminant D, to solutions of equations involving positive definite binary quadratic forms of discriminant D. In the case that -DN < 2p, we characterize when non-horizontal N-isogenies arise. As an application, when -D < 2p, we classify when an oriented supersingular elliptic curve has multiple orientations by the order O. Isogenies between oriented supersingular elliptic curves
Oct. 30, 2025 2:30pm (MATH 3…	Functional Analysis Maggie Reardon (CU Boulder) X Matui�s HK-conjecture proposes a connection between the homology of a nice enough �tale groupoid and the $K$ -theory of the associated reduced $C$ -algebra. The HK-conjecture is not true in general and there are a number of counterexamples. The related AH-conjecture predicts an exact sequence involving the zeroth and first homology groups together with the abelianization of the topological full group. Unlike the HK-conjecture, no counterexamples are known for the AH-conjecture, though it remains unproven. Both conjectures are verified for a number of natural classes of groupoids, including AF groupoids. Putnam introduced a new class of groupoids in the paper titled �Some classifiable groupoid $C$ -algebras with prescribed $K$ -theory�. These new groupoids are related to AF groupoids and this prompts a natural question: does this new class of groupoids satisfy the HK- and AH-conjectures? The HK- and AH-conjectures for certain groupoids constructed by Putnam
Oct. 30, 2025 10pm (Math 350)	Number Theory Wissam Ghantous (University of Central Florida) X The main hard problem underlying the field of isogeny-based cryptography is that of finding an isogeny between two given supersingular elliptic curves. An associated (and equivalent) problem is that of finding the endomorphism ring of a given elliptic curve. Indeed, endomorphisms of elliptic curves play a crucial role, and appear in many places in the literature: from the special soundness of the SIDH-based Identification Protocol, to the binding property of Sterner's isogeny graph commitment scheme, to that of finding collisions for the CGL hash function. From a graph theoretic point of view, these endomorphisms correspond to cycles in $Gp(ℓ)$ . We study these cycles in a very general way, and using two different methods: Brandt matrices and ideal counting. Indeed, this study is not limited to the usual isogeny graph. We instead consider the generalized supersingular $L$ -isogeny graph, where $L$ is a set of primes $ℓ1, ℓ2, ... , ℓr$ and isogenies are allowed to have degree in the set $L$ . Cycles in the generalized supersingular $L$ -isogeny graph

Main menu

Search

Other ways to search:

Events for June – October 2025

Algebraic Geometry

Functional Analysis

Noncomm Geometry

Lie Theory

Lie Theory

Lie Theory

Topology

Math Phys

PDE/Analysis

Math Edu

Grad Student Seminar

Algebraic Geometry

Algebra/Logic

Grad Algebra/Logic

Functional Analysis

Algebraic Geometry

Math Edu

Algebra/Logic

Grad Algebra/Logic

Grad Student Seminar

Algebraic Geometry

Math Edu

Number Theory

Algebra/Logic

Grad Algebra/Logic

Topology

Algebraic Geometry

Algebraic Geometry

Functional Analysis

Algebra/Logic

Homotopy

Lie Theory

Topology

Grad Algebra/Logic

Algebraic Geometry

Functional Analysis

Math Edu

Algebra/Logic

Grad Algebra/Logic

Lie Theory

Algebraic Geometry

Functional Analysis

Probability

Math Edu

Kempner

Grad Algebra/Logic

Lie Theory

Topology

PDE/Analysis

Algebraic Geometry

Functional Analysis

Lie Theory

Grad Algebra/Logic

Grad Student Seminar

Algebraic Geometry

Math Edu

Algebra/Logic

Grad Algebra/Logic

Topology

Grad Student Seminar

Number Theory

Functional Analysis

Number Theory