Contact Info
Pure MathematicsUniversity of Waterloo
200 University Avenue West
Waterloo, Ontario, Canada
N2L 3G1
Departmental office: MC 5304
Phone: 519 888 4567 x43484
Fax: 519 725 0160
Email: puremath@uwaterloo.ca
Spiro Karigiannis, Pure Mathematics Department, University of Waterloo will speak on:
Abstract: I will discuss natural classes of connections on almost Hermitian manifolds, including the Bismut connection. I will be following closely the hardtofind paper by Paul Gauduchon entitled "Hermitian Connections and Dirac Operators".
Abstract: We will begin this talk by introducing universal
specializations (section 2.2.1 in Zilber), which are specializations
that behave very nicely when extended further. We will then discuss
irreducible coverings (section 3.5.2), and begin to show that an
We have seen the outline of the circle method in Waring's
problem from Shuntaro's talks, where the minor arc contribution was
established by combining Weyl's inequality with Hua's lemma. In my two
talks, we will continue to see some improvements on minor arc estimates.
The conjecture of MasserOesterl ́e, popularly known as abcconjecture have many consequences. We use an explicit version due to Baker to solve a number of conjectures. This is a joint work with T. N. Shorey.
We will see why a ring homomorphism A → B naturally induces a morphism (SpecB,OB) → (Spec A, OA) and why the converse is also true.
Benoit Charbonneau & Ren Zhu, Pure Mathematics, University of Waterloo
This is the fourth, and hopefully last, of several lectures in which I will describe an algorithm for problems whose constraints are cosets of subgroups of powers of a fixed group.
In this talk, we will introduce a broader definition of
presmoothness for general constructible sets, and discuss some
properties of presmooth sets. Time permitting, we will also look at
the specific case when the presmooth set is an algebraic curve.
Alejandra VicenteColmenares & Brad Dart, Pure Mathematics Department University of Waterloo
Abstract
In this talk, we will introduce a broader definition of presmoothness for general constructible sets, and discuss some properties of presmooth sets. Time permitting, we will also look at the specific case when the presmooth set is an algebraic curve.
We will give a computably enumerable construction of ascendant sequences in locally nilpotent groups via P. Hall's Collection Process for nilpotent groups.
Talk 1:
"Flow of connections within a complex gauge equivalence class" (Benoit Charbonneau)
Given a vector bundle on a Kähler manifold, and a connection on this vector bundle, one can hope to minimize the part of the curvature parallel to the Kähler form following a heat flow. We will explore the details of this construction.
In the following two weeks we will see why the following are examples of Zariski structures:
A classic application of HardyLittlewood circle method is the Waring's problem. This talk is meant to be an introduction to circle method. I will cover the minor arcs in the second week.
We will continue to discuss the relationship between basic open subsets of Spec(R) and localisations of R. Then we describe how to view R as the ring of functions on Spec(R).
We will give a computably enumerable construction of ascendant sequences in locally nilpotent groups via P. Hall's Collection Process for nilpotent groups.
This is the third of several lectures in which I will describe an
algorithm for problems whose constraints are cosets of subgroups of powers of a fixed group.
Please note time.
In the following two weeks we will see why the following are examples of Zariski structures:
Abstract: A classic application of HardyLittlewood circle method
is the Warding's problem. This talk is meant to be an
introduction to circle method. I will cover the major arcs in the
first week.
We will continue talking about the Zariski topology on Spec(R) for R a ring, getting our hands dirty proving some basic properties about it.
We will show that hyperimmune degrees are able to omit nonprincipal partial types, and in fact are the only such types. By seeing that this proof can be carried out in RCA0, we will show that omitting partial types and the existence of hyperimmune degrees are equivalent over RCA0.
This is the second of several lectures in which I will describe an algorithm for problems whose constraints are cosets of subgroups of powers of a fixed group.
S  M  T  W  T  F  S 

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

1

2

3

4

Departmental office: MC 5304
Phone: 519 888 4567 x43484
Fax: 519 725 0160
Email: puremath@uwaterloo.ca
The University of Waterloo acknowledges that much of our work takes place on the traditional territory of the Neutral, Anishinaabeg and Haudenosaunee peoples. Our main campus is situated on the Haldimand Tract, the land granted to the Six Nations that includes six miles on each side of the Grand River. Our active work toward reconciliation takes place across our campuses through research, learning, teaching, and community building, and is coordinated within our Office of Indigenous Relations.