Past Events

Decomposition of topological Azumaya algebras in the stable range

Niny Arcila-Maya (Duke University)


Topological Azumaya algebras are topological shadows of more complicated algebraic Azumaya algebras defined over, for example, schemes. Tensor product is a well-defined operation on topological Azumaya algebras. Hence given a topological Azumaya algebra A of degree mn, where m and n are positive integers, it is a natural question to ask whether A can be decomposed according to this factorization of mn. In this talk, I explain the definition of a topological Azumaya algebra over a topological space X, and present a result about what conditions should mn, and X satisfy so that A can be decomposed.

Path induction and the indiscernibility of identicals

Emily Riehl (Johns Hopkins University)

Mathematics students learn a powerful technique for proving theorems about an arbitrary natural number: the principle of mathematical induction. This talk introduces a closely related proof technique called path induction, which can be thought of as an expression of Leibniz's indiscernibility of identicals: if x and y are identified, then they must have the same properties, and conversely. What makes this interesting is that the notion of identification referenced here is given by Per Martin-Löf's intensional identity types, which encode a more flexible notion of sameness than the traditional equality predicate in that an identification can carry data, for instance of an explicit isomorphism or equivalence. The nickname path induction for the elimination rule for identity types derives from a new homotopical interpretation of type theory, in which the terms of a type define the points of a space and identifications correspond to paths. In this homotopical context, indiscernibility of identicals is a consequence of the path lifting property of fibrations. Path induction is then justified by the fact that based path spaces are contractible.

Toward conjectures of Rognes and Church--Farb--Putman (Lecture Remotely)

Jenny Wilson (University of Michigan)


In this talk I will give an overview of two related projects. The first project concerns the high-degree rational cohomology of the special linear group of a number ring R. Church--Farb--Putman conjectured that, when R is the integers, these cohomology groups vanish in a range close to the virtual cohomological dimension. The groups SL_n(R) satisfy a twisted analogue of Poincare duality called virtual Bieri--Eckmann duality, and their rational cohomology groups are governed by SL_n(R)-representations called the Steinberg modules. I will discuss a recent proof of the codimension two case of the Church--Farb--Putman conjecture using the topology of certain simplicial complexes related to the Steinberg modules. The second project concerns Rognes’ connectivity conjecture on a family of simplicial complexes (the common basis complexes) with implications for algebraic K-theory. I will describe work-in-progress proving Rognes' conjecture for fields, and its connections to SL_n(R) and the Steinberg modules. This talk includes past and ongoing work joint with Benjamin Brück, Alexander Kupers, Jeremy Miller, Peter Patzt, Andrew Putman, and Robin Sroka.

Witness complexes and Lagrangian duality

Erik Carlsson (University of California, Davis)


I'll discuss a method for approximating the super-level set persistent homology of a Gaussian kernel density estimator for a point cloud data set, which is related to the witness complex. Instead of selecting elements of the data set, the witnesses are generated using quadratic programming, and the shifted Voronoi diagram (aka the power diagram) of a specific choice of landmark points. Interestingly, issues related to scalability in higher dimensions lead to considering the Lagrangian dual problem of the QP. This is joint work with J. Carlsson.

Ramification in Higher Algebra

John Berman (University of Massachusetts)

I will review the theory of ramification in number theory and then show that being totally ramified or unramified is equivalent to a natural condition in higher algebra. This leads to a much simplified calculation of THH of a ring of integers in a number field, relying on ramified descent (a kind of weaker etale descent).

Persistent cup-length

Ling Zhou (The Ohio State University)


Cohomological ideas have recently been injected into persistent homology and have for example been used for accelerating the calculation of persistence diagrams by softwares, such as Ripser. The cup product operation which is available at cohomology level gives rise to a graded ring structure that extends the usual vector space structure and is therefore able to extract and encode additional rich information. The maximum number of cocycles having non-zero cup product yields an invariant, the cup-length, which is useful for discriminating spaces. In this talk, we lift the cup-length into the persistent cup-length function for the purpose of capturing ring-theoretic information about the evolution of the cohomology (ring) structure across a filtration. We show that the persistent cup-length function can be computed from a family of representative cocycles and devise a polynomial time algorithm for its computation. We furthermore show that this invariant is stable under suitable interleaving-type distances.

Tracking Topological Features Across Neural Stimulus Spaces

Chad Giusti (University of Delaware)

Effective constructions in algebraic topology and topological data analysis

Anibal Medina-Mardones (Max Planck Institute for Mathematics)


In order to incorporate ideas from algebraic topology in concrete contexts such as topological data analysis and topological lattice field theories, one needs effective constructions of concepts defined only abstractly or axiomatically. In this talk, I will discuss such constructions for certain invariants derived from the cup product on the cohomology of spaces or, more specifically, from an E∞-structure on their cochains. Together with allowing for the concrete computation of finer cohomological invariants in persistent homology -Steenrod barcodes- these effective constructions also reveal combinatorial information connected to convex geometry and higher category theory.

Motivic Euler characteristics and the Motivic Segal-Becker theorem (Remotely)

Roy Joshua (The Ohio State University)

A well-known and very useful result in algebraic topology is the statement that the Euler characteristic of G/N(T) in singular cohomology is 1, where G is a compact Lie group and N(T) is the normalizer of a maximal torus. In the presence of a transfer map as constructed by Becker and Gottlieb the above result shows that in any generalized cohomology theory the classifying space of G is a split summand of the classifying space of N(T).

Based on this, Fabien Morel made a conjecture that an analogous motivic Euler characteristic for a split reductive group G over a field k and N(T) the normalizer of a split maximal torus is 1. We will sketch a proof of this conjecture in the first part of the talk under the assumption the base field has a square root of -1. In the second part of the talk we will apply this result to prove what we call a motivic Segal-Becker theorem for Algebraic K-Theory.

All of this is based on joint work with Gunnar Carlsson and Pablo Pelaez.

Invertibility in Category Representations

Sanjeevi Krishnan (The Ohio State University)


It is often desirable to equip a representation of a poset or more general small category with inner products on the relevant vector spaces so that the linear maps are partial isometries, maps which restrict to isometries on orthogonal complements of kernels. This sort of inner product structure can be used, for example, to simply representations of interest in multidimensional persistence, circuit design, and network coding. The existence of suitable inner product structure is much more difficult to ascertain in the general categorical setting than in the group setting. However, we can characterize the existence of a slightly weaker inner product structure as factorizability of the representation through a special dagger category called an inverse category. This factorizability admits a coordinate-free, numerical characterization that is decidable for finite categories. We give some concrete applications in circuit design. Time-permitting, we will discuss some connections between this work and a nascent theory (by others) of principle S-bundles for S an inverse semigroup. This talk is joint work with Crichton Ogle.