Visiting addressUllevål Stadion Sognsveien 77B
M.Sc. Miroslav Kuchta ved Matematisk institutt avholder prøveforelesning over oppgitt emne: "Modeling and observation of aeration and droplets due to breaking waves".
In the 80's Bökstedt introduced THH(A), the Topological Hochschild homology of a ring A, and a trace map from algebraic K-theory of A to THH(A). This trace map, along with the circle action on THH, have since been used extensively to make calculations of algebraic K-theory. When the ring A has an anti-involution Hesselholt and Madsen have promoted the spectrum K(A) to a genuine Z/2-spectrum whose fixed points is the K-theory of Hermitian forms over A. They also introduced Real topological Hochschild homology THR(A), which is a genuine equivariant refinement of THH, and Dotto constructed an equivariant refinement of Bökstedt's trace map. I will report on recent joint work with Dotto, Patchkoria and Reeh on models for the spectrum THR(A) and calculations of its RO(Z/2)-graded homotopy groups.
Adam Sørensen (Oslo) will give a talk with title: Overlapping qubits
Abstract: I will discuss the paper "Overlapping Qubits" by Chao, Reichardt, Sutherland, and Vidick (arXiv:1701.01062 - category: Quantum Physics!). Qubits are the bits of quantum computing. In the paper the authors take the point of view that a qubit mathematically is described by a pair of anticommuting reflections on a finite dimensional Hilbert space. Two qubits are independent if their defining operators commute. The central point of the paper is that when performing observations we should not expect two qubits to be exactly independent, rather we should expect them to be almost independent, i.e. the norms of the commutators should be small. This naturally leads to questions about almost commuting matrices, which is why I care. I will attempt to explain how questions of almost commuting matrices come up, and how the physicists answer them.
Large Eddy Simulation of the interaction of water waves with turbulent air flow
Youssef Ouknine (Cadi Ayyad University, Marrakesh, Morocco) gives a lecture with the title: Optimal stopping with f-expectations: the irregular case.
Khalifa Essebaly (Cadi Ayyad University, Marrakesh, Morocco) gives a lecture with the title: Optimal rates for parameter estimation of stationary Gaussian processes.
Lan Zhang (University of Illinois at Chicago, Department of Finance) will give a seminar in the lunch area, 8th floor Niels Henrik Abels hus at 14:15.
Riccardo De Bin (Department of Mathematics, University of Oslo) will give a seminar in the lunch area, 8th floor Niels Henrik Abels hus at 14:15.
The classical s-cobordism theorem classifies completely h-cobordisms from a fixed manifold, but it does not tell us much about the relationship between the two ends. In the talk I will present some old and new results about this. I will also discuss how this relates to a seemingly different problem: what can we say abobut two compact manifolds M and N if we know that MxR and NxR are diffeomorphic? This is joint work with Slawomir Kwasik, Tulane, and Jean-Claude Hausmann, Geneva.
I will survey the connection between the space H(M) of h-cobordisms on a given manifold M, several categories of spaces containing M, Waldhausens algebraic K-theory A(M), and the algebraic K-theory of the suspension ring spectrum S[?M] of the loop space of M. The results extend the h-cobordism theorem of Smale and the s-cobordism theorem of Barden, Mazur and Stallings to a parametrized h-cobordism theorem, valid in a stable range established by Igusa, first discussed by Hatcher and finally proved and published by Waldhausen, Jahren and myself.
M.Sc. Abushet W. Simanesew ved Matematisk institutt vil forsvare sin avhandling for graden ph.d.:
Directional characteristics and surface wave predictions in weakly nonlinear directional seas
M.Sc. Abushet W. Simanesew ved Matematisk institutt avholder prøveforelesning over oppgitt emne: "Modeling and Simulation of Avalanches".
Elizabeth Gillaspy, p.t. Münster (Germany) will give a talk with title "Wavelets and spectral triples for higher-rank graphs"
Erik Bølviken (University of Oslo) gives a lecture with the title: Where models meet reality - The Solvency II regulation of European insurance
The Barratt nerve BSd X of the Kan subdivision Sd X of a simplicial set X \in sSet is a triangulation. The Barratt nerve is defined as taking the poset of non-degenerate simplices, thinking of it as a small category and then finally taking the nerve.Waldhausen, Jahren and Rognes (Piecewise linear manifolds and categories of simple maps) named this construction 'the improvement functor' because of the homotopical properties and because its target is non-singular simplicial sets. A simplicial set is said to be 'non-singular' if its non-degenerate simplices are embedded. There is a least drastic way of making a simplicial set non-singular called 'desingularization', which is a functor D:sSet -> nsSet that is left adjoint to the inclusion. The functor DSd^2 is the left Quillen functor of a Quillen equivalence where the model structure on sSet is the standard one where the weak equivalences are those that induce weak homotopy equivalences and the fibrations are the Kan fibrations. I will talk about the main steps of the proof that the natural map DSd X -> BX is an isomorphism for regular X. This implies that DSd^2 is a triangulation and that the improvement functor is less ad hoc than it may seem. Furthermore, I will explain how the result provides evidence that any cofibrant non-singular simplicial set is the nerve of some poset.
Inge S. Helland (Professor emeritus at Department of Mathematics,UiO) will give a seminar in the lunch area, 8th floor Niels Henrik Abels hus at 14:15.
A conference celebrating the work of Ragni Piene on the occasion of her 70th birthday.
Siv.ing. Marie Lilleborge ved Matematisk institutt vil forsvare sin avhandling for graden ph.d.:
Efficient Information Gathering in Bayesian Networks
Siv.ing. Marie Lilleborge ved Matematisk institutt avholder prøveforelesning over oppgitt emne: "Inference in Bayesian networks".
Triangulated categories of motives over schemes are sort of the "universal derived categories" among various derived categories obtained by various cohomology theories like l-adic cohomology. Ayoub constructed them using the A1-homotopy equivalences and étale topology. I will introduce the construction of triangulated categories of motives over fs log schemes. Fs log schemes are kinds of "schemes with toroidal boundary," and A1-homotopy equivalences and étale topology are not enough to obtain all homotopy equivalences between fs log schemes. I will explain what extra homotopy equivalences and topologies are neeeded.