Events

William Dan, University of Waterloo

Solovay Reducibility and Relative Randomness

Having completed our characterization of left-c.e. random reals, we return to the concept of Solovay reducibilityto study it more deeply. We will see that beyond the characterizations we have seen so far, Solovay reducibilitycan be viewed as a measure of relative randomness, and connect this perspective back to the Kucera-Slamantheorem. We will also relate it to the reducibilities we have studied previously, and give a final, possiblysimplest, characterization of Solovay reducibility. This seminar follows sections 9.1 and 9.2 from the Downeyand Hirschfeldt book.

MC 5403

Amanda Maria Petcu, University of Waterloo

Some results on hypersymplectic structures

A conjecture of Simon Donaldson is that on a compact 4-manifold X^4 one can flow from a hypersymplecticstructure to a hyperkahler structure while remaining in the same cohomology class. To this end thehypersymplectic flow was introduced by Fine-Yao. In this thesis the notion of a positive triple on X^4 is used todefine a hypersymplectic and hyperkahler structure. Given a closed positive triple one can define either a closedG2 structure or a coclosed G2 structure on T^3 x X^4. The coclosed G2 structure is evolved under the G2Laplacian coflow. This descends to a flow of the positive triple on X^4, which is again the Fine-Yaohypersymplectic flow. In the second part of this thesis we let X^4 = R^4 \ {0} with a particular cohomogeneityone action. A hypersymplectic structure invariant under this action is introduced. The Riemann and Riccicurvature tensors are computed and we verify in a particular case that this hypersymplectic structure can betransformed to a hyperkahler structure. The notion of a soliton for the hypersymplectic flow in this particularcase is introduced and it is found that steady solitons give rise to hypersymplectic structures that can betransformed to hyperkahler structures. Some other soliton solutions are also discussed.

MC 5479

Fateme Peimany, University of Waterloo

Strongly minimal groups in CCM

We continue our study of the structure of groups definable in CCM, now in our second session on this topic, withthe goal of proving that every strongly minimal group is either a complex torus or a (commutative) linearalgebraic group.

MC 5479

Spencer Kelly, University of Waterloo

Constructing a Slice Theorem in Infinite Dimensions

The slice theorem is a powerful tool for understanding proper group actions on manifolds; however it does nothold on infinite dimensional manifolds, nor does there exist a general infinite dimensional extension of it.However, on specific infinite dimensional manifolds, working on a case-by-case basis, we have been able toconstruct analogues of the slice theorem. In this talk, we will investigate one of these cases, namely the space ofconnections on a bundle over a compact Riemannian manifold, acted on by the gauge group.

MC 5403

William Dan, University of Waterloo

Solovay Reducibility

Having discussed the relationship between Solovay reducibility and the newly introduced reducibilities, K-reducibility and C-reducibility, we turn back to study its relationship with previously discussed reducibilities, Turing reducibility and wtt-reducibility. Then, if time permits, we will completely finish sections 9.1 and 9.2 by discussing a final characterization of Solovay reducibility and going beyond random left-c.e. reals to look at random left-d.c.e. reals.

MC 5403

Damaris Schindler, University of Göttingen

Density of rational points near manifolds

Given a bounded submanifold M in R^n, how many rational points with common bounded denominator are there in a small thickening of M? How does this counting function behave if we let the size of the denominator go to infinity? The study of the density of rational points near manifolds has seen significant progress in the last couple of years. In this talk I will explain why we might be interested in this question, focusing on applications in Diophantine approximation and the (quantitative) arithmetic of projective varieties.

MC 5501

Damaris Schindler, University of Göttingen

Quantitative weak approximation and quantitative strong approximation for certain quadratic forms

In this talk we discuss recent results on optimal quantitative weak approximation for certain projective quadrics over the rational numbers as well as quantitative results on strong approximation for quaternary quadratic forms over the integers. We will also discuss results on the growth of integral points on the three-dimensional punctured affine cone and strong approximation with Brauer-Manin obstruction for this quasi-affine variety. This is joint work with Zhizhong Huang and Alec Shute.

MC 5479

Fateme Peimany, University of Waterloo

Model Theory Working Seminar

We continue to study the structure of groups definable in CCM.

MC 5479

Faisal Romshoo, University of Waterloo

Deformations of calibrations, II

We will continue where we left off last time, completing the proof of when the obstructions for the calibrationsvanish. If time permits, we will go through the proof of the fact that if an orbit is metrical, elliptic andtopological, then the corresponding moduli space is a smooth manifold.

MC 5403

Hong Wang, NYU Courant

Kakeya sets in R^3

A Kakeya set is a compact subset of R^n that contains a unit line segment pointing in every direction.  Kakeya set conjecture asserts that every Kakeya set has Minkowski and  Hausdorff dimension n. We prove this conjecture in R^3 as a consequence of a more general statement about union of tubes. This is joint work with Josh Zahl.

M3 1006