Gjesteforelesninger og seminarer - Side 6

QOMBINE seminar talks by Delphine Martres (University of Oslo) and Alexander Müller-Hermes (University of Oslo)

Nakajima quiver varieties are a class of combinatorially defined moduli spaces generalising the Hilbert scheme of points in the plane, defined with the aid of a quiver Q (directed graph) and a fixed framing dimension vector f. In the 90s Nakajima used the cohomology of these varieties (in fixed cohomological degrees, and for fixed f) to construct irreducible lowest weight representations of the Kac-Moody Lie algebras associated to the underlying graph of Q. Since the action is via geometric correspondences, the entire cohomology of these quiver varieties forms a module for the same Kac-Moody Lie algebras, suggesting the question: what is the decomposition of the entire cohomology into irreducible lowest weight representations?

In this talk I will explain that this question is somehow not the right one. I will introduce the BPS Lie algebra associated to Q, a generalised Kac-Moody Lie algebra associated to Q, which contains the usual one as its cohomological degree zero piece. The entire cohomology of the sum of Nakajima quiver varieties for fixed Q and f turns out to have an elegant decomposition into irreducible lowest weight modules for this Lie algebra, with lowest weight spaces isomorphic to the intersection cohomology of certain singular Nakajima quiver varieties. This is joint work with Lucien Hennecart and Sebastian Schlegel Mejia.

Finding the optimal shape is a vivid research area and has a wide range of applications, e.g., in fluid mechanics and acoustics. Moreover, there is also a close link to image registration and image segmentation. In this talk, we consider shape optimization tasks as optimal control problems that are constrained by partial differential equations. From this perspective, state-of-the-art methods can be motivated by the choice of the metric on the set of admissible shapes. Moreover, a new approach for density based topology optimization is presented in the setting of Stokes flow. It is based on classical topology optimization and phase field approaches, and introduces a different way to relax the underlying infinite-dimensional mixed integer problem. We give a theoretically founded choice of the relaxed problems and present numerical results. Moreover, in order to show the potential of the new approach, we do a comparison to a classical approach. (joint work with Michael Ulbrich and Franziska Neumann)

A tropical curve is a graph embedded in R^2 satisfying a number of conditions. Mikhalkin's celebrated correspondence theorem establishes a correspondence between algebraic curves on a toric surface and tropical curves. This translates the difficult question of counting the number of algebraic curves through a given number of points to the question of counting tropical curves, i.e. certain graphs, with a given notion of multiplicity through a given number of points which can be solved combinatorially.  To get an invariant count, real rational algebraic curves are counted with a sign, the Welschinger sign and there is a real version of the correspondence theorem. Furthermore, Marc Levine defined a generalization of the Welschinger sign that allows to get an invariant count of algebraic curves defined over an arbitrary base field. For this one counts algebraic curves with a certain quadratic form.

In the talk I am presenting work in progress joint with Andrés Jaramillo Puentes in which we provide a version Mikhalkin's correspondence theorem for an arbitrary base field, that is a correspondence between algebraic curves counted with the above mentioned quadratic form and tropical curves counted with a quadratic enrichment of the multiplicity. Then I will explain how to use this quadratic correspondence theorem to do the count of algebraic curves over an arbitrary base field.

We will discuss the recent theory of Nikulin orbifolds and orbifolds of Nikulin type in dimension 4. Nikulin orbifolds are irreducible holomorphic symplectic orbifolds which are partial resolutions of quotients of IHS manifolds of K3^[n] type. Their deformations are called orbifolds of Nikulin type. Our main aim will be the description of the first known locally complete family of projective irreducible holomorphic symplectic orbifolds of dimension 4 which are of Nikulin type. It is a family of IHS orbifolds that appear as double covers of special complete intersections (3,4) in P^6. This is joint work with Ch. Camere and A. Garbagnati.

C*-algebra seminar talk by Lucas Hataishi (University of Oslo)

Following Givental, enumerative mirror symmetry can be stated as a relation between genus zero Gromov-Witten invariants and period integrals. I will talk about a relative version of mirror symmetry that relates genus zero relative Gromov-Witten invariants of smooth pairs and relative periods. Then I will talk about how to use it to compute the mirror proper Landau-Ginzburg potentials of smooth log Calabi-Yau pairs.

I will go through my PhD work at DTU. It is about the development of a fully-nonlinear finite difference based potential flow solver which imposes all of the fluid boundaries via an immersed boundary method. The convergence and stability of this approach is first established for various linear and nonlinear wave propagation problems. When it comes to the wave-body interaction problem, cautious attention is paid to the intersection point between free surface and body surface, and a scheme which meets the accuracy and stability requirements best is picked from several proposals. With the scheme introduced in this paper, piston type wave maker and forced heaving cylinder cases with high oscillation frequency have been simulated successfully.

Internal solitary waves (ISWs) are underwater waves of great amplitude moving horizontally in the layered ocean. The waves induce a velocity field which is felt both at the ocean surface, throughout the entire water column, and at the bottom. When of great amplitude, the waves induce a vortex wake in the bottom boundary layer behind the wave and transport water in the vertical direction displacing, e.g., sediments from the bottom. A fundamental mechanism in the ocean ecosystem is the vertical mixing and movement of particles, e.g., biological materials. In this talk, we present numerical simulations of ISWs of depression and of large amplitude by replicating a laboratory experiment. Furthermore, we discuss the dynamics of ISW-sediment interactions and illustrate particle movements, trajectories, and particle distribution in the water column under the influence of ISWs of large amplitude.

C*-algebra seminar by Ole Brevig (University of Oslo)

Why is deep learning so successful in many applications of modern AI? This question has puzzled the AI community for more than a decade, and many attribute the success of deep learning to the implicit regularization imposed by the Neural Network (NN) architectures and the gradient descent algorithm. In this talk we will investigate the implicit regularization of so-called linear NNs in the simplified setting of linear regression. Furthermore, we will show how this theory meets fundamental computational boundaries imposed by the phenomenon of generalized hardness of approximation. That is, the phenomenon where certain optimal NNs can be proven to exist, but any algorithm will fail to compute these NNs to an accuracy below a certain approximation threshold. Thus, paradoxically, there will exist deep learning methods that are provably optimal, but that can only be computed to a certain accuracy.

Vegard Antun is a postdoctoral fellow at the University of Oslo, department of Mathematics.

QOMBINE seminar by Snorre Bergan (UiO)

The Section 4 seminar for the Autumn of 2022 will be held on Thursdays from 10:15–12:00 (see the schedule)

Consider the singularity C^4/(Z/2), where Z/2 acts as the matrix diag(-1,-1,-1,-1). This singularity is special, in that it does not admit a crepant resolution. However, it does admit a so-called noncommutative crepant resolution, given by a Calabi-Yau 4 quiver. The moduli space of representations of this quiver turns out to share a lot of similarities with moduli spaces of sheaves over Calabi-Yau fourfolds, and it turns out that we can reuse techniques from studying moduli of sheaves to define and compute invariants of this moduli space of representations. In this talk, I will explain how these invariants can be defined, and give conjectures about the forms of these invariants. This talk is based on joint work with Raf Bocklandt.

The Thoralf Skolem Memorial Lecture 2022

Specialization of (stable) birational types is an important tool when studying (stable) rationality in families. A crucial ingredient is to cook up one parameter degenerations such that the limit has certain combinatorial and geometric properties. Nicaise-Ottem studied these questions for hypersurfaces in algebraic tori, and used tropical geometry to construct degenerations that would have been hard (impossible) to construct geometrically. Even after these are constructed one must carefully study the limit in order to apply specialization techniques, this involves both combinatorics and questions about variation of stable birational types. I will talk about the specialization technique in the setup of Nicaise-Ottem, explain some natural questions that appear through the combinatorics, and give some positive results in this direction.

QOMBINE seminar talk by David Jaklitsch (Hamburg)

Ingeborg Gjerde (Simula Research Laboratory) presents joint work with Ridgway Scott (University of Chicago).

Abstract: Airflow around airplane wings is characterized by a wide range of flow scales, making it highly challenging to capture numerically. From a simulation viewpoint, the following questions are still being actively investigated: Why do airplanes fly? Can one reliably simulate the lift and drag of an airplane wing? In this talk, I will provide no good answers to these questions. Instead, I want to talk about some interesting results I've stumbled into tangentially, including:
- (Nonlinear) kinetic energy instability analysis, also referred to as Reynolds-Orr instability
- Slip boundary conditions and their connection to D'Alembert's paradox
- Stokes' paradox and its connection to weighted Sobolev spaces. I will show numerical results computed for flow around a cylinder, which serves as a proxy for flow around an airplane wing. In particular, I will talk about the impact of the friction boundary condition on the drag force and flow stability. Finally, I will comment on how these results might be interpreted in view of: New Theory of Flight, J. Hoffman, J. Jansson, C. Johnson (2016), Journal of Mathematical Fluid Mechanics.