# Events - October 2014

Friday, October 31, 2014 — 2:30 PM EDT

## Geometry & Topology seminar

### Alan Thompson, Department of Pure Mathematics, University of Waterloo

#### “Calabi-Yau threefolds fibred by lattice polarized K3 surfaces”

Friday, October 31, 2014 — 1:00 PM EDT

## Geometry working seminar

### Ruxandra Moraru, Department of Pure Mathematics, University of Waterloo

#### “Varieties versus schemes, Part II”

Wednesday, October 29, 2014 — 11:30 PM EDT

## Special presentation

### Phillip Xiao, Department of Pure Mathematics, University of Waterloo

#### “K-theory for C*-algebras and vector bundles - Part I”

Wednesday, October 29, 2014 — 3:30 PM EDT

## Logic seminar

### Denis Hirschfeldt, University of Chicago

#### “Computability Theoretic Reduction between Pi12Principles”

Wednesday, October 29, 2014 — 1:30 PM EDT

## Algebra learning seminar

### Mohamed El Alami, Department of Pure Mathematics, University of Waterloo

#### “More K0”

Tuesday, October 28, 2014 — 10:30 AM EDT

## Universal Algebra Seminar

### Ross Willard, Department of Pure Mathematics, University of Waterloo

#### “Adding Gaussian elimination to local consistency checking”

Monday, October 27, 2014 — 4:00 PM EDT

## Pure Math colloquium

### Denis Hirschfeldt, University of Chicago

#### "Computable Mathematics and Reverse Mathematics"

Friday, October 24, 2014 — 3:30 PM EDT

## Analysis seminar

### Matthew Wiersma, Pure Mathematics, University of Waterloo

#### "Intermediate $C^*$-norms"

Friday, October 24, 2014 — 2:30 PM EDT

## Geometry & Topology seminar

### Francesco Sala, University of Western Ontario

#### “Sheaves on root stacks and Nakajima quiver varieties”

Friday, October 24, 2014 — 1:00 PM EDT

## Geometry working seminar

### Ruxandra Moraru, Department of Pure Mathematics, University of Waterloo

#### “Varieties versus schemes”

Last week, we saw the definition of a scheme. In this weeks talk, well present more examples of schemes and illustrate how, in some cases, schemes provide a better framework than varieties for studying certain geometric questions.

Thursday, October 23, 2014 — 4:30 PM EDT

### Jonathan Herman, Pure Mathematics, University of Waterloo

#### "The Curvature of Curves and Surfaces"

Thursday, October 23, 2014 — 1:30 PM EDT

## Number Theory seminar

### Jonas Jankauskas, Pure Mathematics, University of Waterloo

#### "There are no two non-real conjugates of a Pisot number with the same imaginary part"

In this talk, we will present the results from the recent arXiv paper by A. Dubickas, K. G. Hare and J. Jankauskas on the solution of three and four term linear equations in the conjugates of a Pisot number.

Tuesday, October 21, 2014 — 10:30 PM EDT

## Universal Algebra seminar

### Ross Willard, Pure Mathematics, University of Waterloo

#### "Adding Gaussian elimination to local consistency checking - 2"

In this second of several lectures, I will present a polynomial-time consistency checking algorithm for constraint networks over a finite template having a Taylor polymorphism. I conjecture that the algorithm is complete for Maltsev templates, and in future lectures will provide evidence supporting this conjecture.

Tuesday, October 21, 2014 — 3:30 PM EDT

## Computability learning seminar

### Mohammad Mahmoud, Pure Mathematics, University of Waterloo

#### "Torsion-free groups: linear independence and computable categoricity"

We continue through Melnikov's survey paper on Computable
Abelian Groups. We use the effective analysis of linear independence
(discussed before by Sam) to characterize computable categoricity. We
go through the proof that "Every computable torsion-free

Tuesday, October 21, 2014 — 1:00 PM EDT

## Geometry & Topology seminar

### Jason Lotay, University College London

#### “Hyperkaehler 4-manifolds with boundary”

Monday, October 20, 2014 — 4:00 PM EDT

## Pure Math colloquium

### Jacob Tsimmerman, University of Toronto

#### “Bounding Torsion in Geometric Families of Abelian Varieties”

Friday, October 17, 2014 — 3:30 PM EDT

## Analysis seminar

### David Pitts, University of Nebraska

#### "Cartan Pairs and Extensions of Inverse Semigroups”

Friday, October 17, 2014 — 1:00 PM EDT

## Geometry working seminar

### Shuntaro Yamagishi, Pure Mathematics, University of Waterloo

#### "Five or six things Ehsaan wants me to talk about"

Ehsaan gave me a list of five or six things he wants me to talk about this Friday. The list includes: the definition of ringed spaces, locally ringed spaces, schemes; an example of a non-affine scheme, etc. I plan to talk about these things.

Thursday, October 16, 2014 — 1:30 PM EDT

## Number Theory seminar

### Fang Song, Institute for Quantum Computing University of Waterloo

#### “An efficient quantum algorithm for computing the unit group of an arbitrary degree number field”

Wednesday, October 15, 2014 — 3:30 PM EDT

## Logic seminar

### Rahim Moosa, Department of Pure Mathematics, University of Waterloo

#### “A model theory for meromorphic dynamics?”

Wednesday, October 15, 2014 — 2:30 PM EDT

## Algebra seminar

### Jason Bell, Department of Pure Mathematics, University of Waterloo

#### “Etale Groupoid algebras, II: Leavitt path algebras”

Wednesday, October 15, 2014 — 1:30 PM EDT

## Algebra learning seminar

### Ritvik Ramkumar, Department of Pure Mathematics, University of Waterloo

#### “More K0”

Continuing where Philip left off, we will finish talking about K0of local rings and Dedekind domains.

Tuesday, October 14, 2014 — 1:00 PM EDT

## Geometry working seminar

### Spiro Karigiannis, Pure Mathematics Department, University of Waterloo

#### “The first and second variation formulas for the volume functional in Riemannian geometry”

Tuesday, October 14, 2014 — 10:30 AM EDT

## Universal Algebra seminar

### Ross Willard, Department of Pure Mathematics, University of Waterloo

#### “Adding Gaussian elimination to local consistency checking”

Friday, October 10, 2014 — 3:30 PM EDT

## Pages

### October 2014

S M T W T F S
28
29
30
4
5
6
9
11
12
13
18
19
22
25
26
30
1
1. 2023 (117)
1. April (6)
2. March (51)
3. February (33)
4. January (27)
2. 2022 (179)
1. December (8)
2. November (31)
3. October (24)
4. September (17)
5. August (9)
6. July (15)
7. June (14)
8. May (13)
9. April (14)
10. March (15)
11. February (12)
12. January (7)
3. 2021 (135)
4. 2020 (103)
5. 2019 (199)
6. 2018 (212)
7. 2017 (281)
8. 2016 (335)
9. 2015 (211)
10. 2014 (235)
1. December (5)
2. November (36)
3. October (34)
4. September (17)
5. August (7)
6. July (17)
7. June (23)
8. May (22)
9. April (13)
10. March (17)
11. February (22)
12. January (22)
11. 2013 (251)
12. 2012 (135)