Events

Sam Eisenstat, Department of Pure Mathematics, University of Waterloo

“Background for Computable Abelian Group Theory (continued)”

We finish our discussion of definitions in computable model theory, looking at the complexity of presentations of structures and isomorphisms between structures.

Alex Wires, Department of Pure Mathematics, University of Waterloo

“Complexity of Young’s Lattice”

Young’s Lattice is the poset of integer partitions ordered according to inclusion of their Ferrers diagrams.

Ty Ghaswala, Department of Pure Mathematics, University of Waterloo

“It will be OK: The adventures of K0”

Last week Julian defined K0(R) of a ring.

Ian Payne, Department of Pure Mathematics, University of Waterloo

“Normal Subgroups, Ideals, and Kernels”

Normal subgroups of groups and ideals of rings seem to play the same role: you can quotient by them.

Ehsaan Hossain, Department of Pure Mathematics, University of Waterloo

“Defining Schemes: The Home Stretch”

Second half of a two-part episode on defining schemes. Blake already showed us Spec(R) and how to define its structure sheaf, and that’s pretty much the last ingredient for defining a general scheme.

Dilian Yang, University of Windsor

“Cycline subalgebras of k-graph C*-algebras”

Higher rank graphs (or k-graphs) are a higher dimensional generalization of directed graphs; directed graphs are naturally identified with 1-graphs. The graph C*-algebra of a k-graph is the universal C*-algebra among its all Cuntz-Krieger families.

Jon Herman, Pure Mathematics Department, University of Waterloo

“Gauss’s Theorema Egregium”

This talk will be concerned with hypersurfaces in Euclidean space. The second fundamental form allows us to define a selfadjoint endomorphism on each tangent space, called the shape operator.

Jon Herman, Pure Mathematics Department, University of Waterloo

“Gauss’s Theorema Egregium”

This talk will be concerned with hypersurfaces in Euclidean space. The second fundamental form allows us to define a selfadjoint endomorphism on each tangent space, called the shape operator.

Philip Xiao, Department of Pure Mathematics, University of Waterloo

“K0 continued”

We will see an alternative definition for the K0 of a ring.

Ty Ghaswala, Department of Pure Mathematics, University of Waterloo

“Intro-spec-tion”

So far we have been streaming ahead, defining an affine scheme without a moment’s hesitation. It is time to take a moment to still our minds and reflect.