**Organisers:** Bronisław Jakubczyk, Paweł Nurowski, Wojciech Kryński

Christoph Harrach (University of Vienna): *Poisson transforms for differential forms adapted to homogeneous
parabolic geometries*

ABSTRACT: We present a construction of Poisson transforms between differential forms on homogeneous parabolic geometries and differential forms on Riemannian symmetric spaces tailored to the exterior calculus. Moreover, we show how their existence and compatibility with natural differential operators can be reduced to invariant computations in finite dimensional representations of reductive Lie groups.

Shin-Young Kim (Masaryk University, Brno): *Geometric structures modeled on some horospherical varieties*

ABSTRACT: To prove Hwang-Mok's deformation rigidity problems modeled on projective complex parabolic manifolds, we studied geometric structures arising from varieties of minimal rational tangents. To generalize these rigidity results to quasihomogeneous complex manifolds, we study a smooth projective horospherical variety of Picard number one and their geometric structures. Using Cartan geometry, we prove that a geometric structure modeled on a smooth projective horospherical variety of Picard number one is locally equivalent to the standard geometric structure when the geometric structure is defined on a Fano manifold of Picard number one. In this seminar, we also briefly introduce the origin of this specific problem and horospherical varieties which are completely different from horospheres.

Sean Curry (University of California, San Diego): *Compact CR 3-manifolds, and obstruction flatness*

ABSTRACT: We motivate and consider the problem of determining whether the vanishing of the Fefferman ambient metric obstruction implies local flatness for compact CR 3-manifolds, possibly embedded in C^2.

Andriy Panasyuk (University of Warmia and Mazury in Olsztyn): *Bihamiltonian structures of KdV, C-H and H-S*

ABSTRACT: I will recall the construction of bihamiltonian structures of the equations mentioned in the title, belonging to B. Khesin and G. Misiołek (2002). This construction consists in the argument shift method on the Virasoro Lie algebra, in frames of which the three equations are distinguished by the choice of the shift point. If time permits, I will discuss also perspectives of generalizing to this case of some results from the finite-dimensional argument shift method.

Antoni Kijowski (IMPAN): *On the Two-Radius Theorems and the Delsarte Conjecture*

ABSTRACT: One of many properties of harmonic functions, proved by Gauss in 1840, is the mean value property (MVP).
It results from the converse theorem by Koebe, that functions having the MVP at every point with all admissable radii are harmonic.
Further results by Volterra and Kelogg, known as One-Radius Theorem, and by Hansen and Nadirashvili showed that in case of a bounded domain
it is enough to assume MVP with one radius at each point to assert harmonicity.
I will present examples showing that none of the assumptions of these theorems can be dropped.
As it occurs from Two-Radius Theorem by Delsarte, there is a significant difference when function has MVP with two radii r_1 and r_2,
asserting its harmonicity whenever certain relation between r_1 and r_2 is fulfilled.
The Delsarte conjectured (and proved in dimension 3) that in fact this relation is always true, so that MVP on any pair of distinct radii is sufficient.
I will present a recent proof of the Delsarte Conjecture in all dimensions and present a counterpart of the conjecture on harmonic manifolds.

The talk is based on joint work with T. Adamowicz.

Marek Izydorek (Gdańsk University of Technology): *Twierdzenie Mountain Pass - klasyczna metoda minimax*

ABSTRACT: Wykład będzie dotyczył metody minimax na przykładzie klasycznego twierdzenia Ambrozettiego - Rabinowitza. Metody typu minimax wykorzystuje się do badania istnienia punktów krytycznych funkcjonałów zdefiniowanych na odpowiednich przestrzeniach funkcyjnych. W typowej sytuacji punkty krytyczne odpowiadają rozwiązaniom równań różniczkowych posiadających naturę wariacyjną.

Wojciech Kryński (IM PAN): *Camassa-Holm equation and geometry of multipeakons*

ABSTRACT: Multipeakons are special solutions to the Camassa-Holm equation that are described by a very interesting integrable system. We exploit a Riemannian metric that is associated to the system and construct dissipative prolongations of multipeakons near the singular points of the underlying Hamiltonian system.

Jan Gutt (CFT PAN and Politecnico di Torino): *On the geometry of hypersurfaces in a Lagrangian Grassmannian*

ABSTRACT: Hypersurfaces in a Lagrangian Grassmannian give a geometric representation of a class of second order PDE (sometimes called 'Hirota type'). Hence it is worthwhile to study the natural geometric structures they carry, and the associated invariants. This approach had been used by A. D. Smith to classify non-degenerate hydrodynamically integrable hyperbolic Hirota-type PDE in 3 independent variables. I will present some early results of a joint work in progress with G. Manno, G. Moreno and A. D. Smith, extending the underlying geometry to higher dimensions.

Dmitri Alekseevsky (University of Hull): *Neurogeometry of vision and conformal geometry of sphere*

ABSTRACT: -

**13:30 - 14:30 **

Andre Belotto (Universite de Toulouse III): *The Sard conjecture on Martinet surfaces*

ABSTRACT: Given a totally nonholonomic distribution of rank two on a three-dimensional manifold M, it is natural to investigate the size of the set of points S(x) that can be reached by singular horizontal paths starting from a same point x in M. In this setting, the Sard conjecture states that S(x) should be a subset of the so-called Martinet surface of 2-dimensional Hausdorff measure zero. In this seminar, I will present a recent work in collaboration with Ludovic Rifford where we show that the conjecture holds whenever the Martinet surface is smooth. Moreover, we address the case of singular real-analytic Martinet surfaces and show that the result holds true under an assumption of non-transversality of the distribution on the singular set of the Martinet surface. Our methods rely on the control of the divergence of vector fields generating the trace of the distribution on the Martinet surface and some techniques of resolution of singularities.

Elefterios Soultanis (IM PAN): *Energy minimizing maps and homotopy in Sobolev spaces*

ABSTRACT: Solutions to a system of PDE's may be viewed as maps between manifolds (instead of real valued) minimizing an energy.
Adopting this viewpoint allows one to formulate existence of minimizers in much more generality, even when a PDE approach is not available.

I will focus on minimizing a p-energy among homotopy classes of maps between certain metric types of spaces.
In particular I will discuss the notion of homotopy in the (possibly discontinuous) case of Sobolev maps, and the proof of existence of a minimizer in this generality.

Katarzyna Karnas (CFT PAN): *Lie and Jorda algebras: dynamics of open systems*

ABSTRACT: Effective dynamics of open systems can be described using an anticommutator matrix differential equation. In this talk we present the relations between Lie and Jordan algebras and give the conditions, for which such an equation is reduced to a problem in the corresponding Jordan algebra. The example model we study is an effective model of a three-level atom interacting with an electric field.

Tomasz Cieślak (IM PAN): *Dynamics of multipeakons*

ABSTRACT: Multipeakons are important and interesting class of solutions to the Camassa-Holm equation. They correspond to solitons, solutions of the Korteweg-de Vries equations. Multipeakons obey the system of Hamiltonian ODEs. However, derivative of the Hamiltonian posseses discontinuity. I will discuss several aspects related to the dynamics of multipeakons.

Jarosław Mederski (IM PAN): *Ground state and bound state solutions of nonlinear Schödinger equations*

ABSTRACT: We look for nontrivial solitary wave solutions of nonlinear Schödinger equations. Our problem is motivated by nonlinear optics and Bose-Einstein condensates. For instance, in nonlinear optics, a nonlinearity is responsible for nonlinear polarization in a medium and by means of the slowly varying envelope approximation we can study the (approximated) propagation of the electromagnetic field in the medium. In this talk we present recent results and variational methods which allow to find ground and bound states of nonlinear Schödinger equations. Moreover we discuss how to find the exact propagation of electromagnetic fields in nonlinear media.

Giovanni Moreno (IM PAN): *Geometry of hydrodynamic integrability*

ABSTRACT: The name "hydrodynamic integrability" refers to a property which identifies a nontrivial class of (nonlinear) PDEs. A PDE fulfills this property if it possesses "sufficiently many" hydrodynamic reductions. Hydrodynamic reductions are special solutions which can be obtained in a formally analogous way as B. Riemann did in his classical paper "The Propagation of Planar Air Waves of Finite Amplitude" (1860). Since that pioneering work, there has been a plethora of spin-offs, where the method of hydrodynamic reductions has been studied, generalized and successfully used in many applications. However, the geometry behind hydrodynamic integrability has been a mystery until 2010, when there appeared the back-to-back papers "Integrable Equations of the Dispersionless Hirota type and Hypersurfaces in the Lagrangian Grassmannian" by E. Ferapontov et al. (IMRN, arXiv) and "Integrable GL(2) geometry and hydrodynamic partial differential equations", by A. D. Smith (Comm. Anal. Geom., arXiv). In this seminar I will review the milestones set by the aforementioned papers, framing them against an appropriate geometric background. Even though I will not announce any new result, I will duly stress a conjecture formulated in Ferapontov paper, which is currently under study by A. D. Smith, G. Manno, J. Gutt and myself. More details about the progress of our work will be given by J. Gutt in a forthcoming seminar within this series.

Aleksandra Borówka (IM UJ, Kraków): *Projective geometry and quaternionic Feix-Kaledin
construction*

ABSTRACT: B. Feix and D. Kaledin independently showed that there exists a hyperkähler metric on a neighbourhood of the zero section of the cotangent bundle of a real analytic Kähler manifold. Moreover, they generalized this construction for hypercomplex manifolds, where the hypercomplex structure is constructed on a neighbourhood of the zero section of the tangent bundle of a complex manifold with a real analytic connection with curvature of type (1,1).

In this talk we will discuss a generalization of this construction to quaternionic geometry. Using twistor methods, starting from a 2n-manifold M equipped with a c-projective structure with c-projective curvature of type (1,1) and a line bundle L with a connection with curvature of type (1,1), we will construct a quaternionic structure on a neighbourhood of the zero section of TM\otimes\mathcal{L}, where \mathcal{L} is some unitary line bundle obtained from L. The obtained quaternionic manifolds abmit a compatible S^1 action and we will prove that the quotient in the lowest dimensional case is an asymptotically hyperbolic Einstein- Weyl space with a distingushed gauge. Finally, we will mention some further directions concerning twisted Armstrong cones and Swann bundles.

The presented results are a joint work with D. Calderbank (University of Bath).

Paweł Nurowski (CFT PAN): *Punctured twisted cubic geometry*

ABSTRACT: -

Maciej Nieszporski (FUW): *Integrable discretization of Bianchi surfaces*

ABSTRACT: I will focus on example of Bianchi surfaces to explain what we understand by integrable discretization of class of surfaces, the class which is described by nonlinear integrable system of differential equations.

Wojciech Domitrz (MINI PW): *On local invariants of singular symplectic forms*

ABSTRACT: We find a complete set of local invariants of singular symplectic forms with the structurally stable Martinet hypersurface on a $2n$-dimensional manifold. In the $\mathbb C$-analytic category this set consists of the Martinet hypersurface $\Sigma _2$, the restriction of the singular symplectic form $\omega$ to $T\Sigma_2$ and the kernel of $\omega^{n-1}$ at the point $p\in \Sigma_2$. In the $\mathbb R$-analytic and smooth categories this set contains one more invariant: the canonical orientation of $\Sigma_2$. We find the conditions to determine the kernel of $\omega^{n-1}$ at $p$ by the other invariants. In dimension $4$ we find sufficient conditions to determine the equivalence class of a singular symplectic form-germ with the structurally smooth Martinet hypersurface by the Martinet hypersurface and the restriction of the singular symplectic form to it. We also study the singular symplectic forms with singular Martinet hypersurfaces. We prove that the equivalence class of such singular symplectic form-germ is determined by the Martinet hypersurface, the canonical orientation of its regular part and the restriction of the singular symplectic form to its regular part if the Martinet hypersurface is a quasi-homogeneous hypersurface with an isolated singularity.

Gabriel Pietrzkowski (MIM UW): *Reduced path group as a subgroup of character (Lie) group of the shuffle Hopf algebra*

ABSTRACT: I will recall the group of reduced path (in Chen-Humbly-Lyons sense) and its connection with the signature of the path. Then I will discuss a recent article (2016) about a (infinite dimensional) Lie structure of a character group of a graded connected Hopf algebra. Finally, I will show how the reduced path group is embeded in the character Lie group of the shuffle Hopf algebra and discuss some of its propoerties.

Witold Respondek (Normandie Universite, INSA de Rouen): *Flatness of minimal weight of multi-input control systems*

ABSTRACT: We study flatness of multi-input control-affine systems. We give a geometric characterization of systems that become static feedback linearizable after an invertible one-fold prolongation of a suitably chosen control. They form a particular class of flat systems. Namely, they are of differential weight $ n + m+1$, where $n$ is the dimension of the state-space and $m$ is the number of controls.
Using the notion of Ellie Cartan, they are absolutely equivalent to a trivial system under 1-dimensional prolongation.
We propose conditions (verifiable by differentiation and algebraic operations) describing that class and provide a system of PDE's giving all minimal flat outputs.

The talk is based on a joint work with Florentina Nicolau.

Dariusz Pazderski (Poznań University of Technology): *Control of nonholonomic systems in robotics using transverse function method*

ABSTRACT: We will present selected nonholonomic systems appearing in the theory of mobile robots and their control using transverse function method. Appearance of nonholonomic constraints reduces the kinematic freedom in the configuration space so that the number of free for moving dimensions (number of controls) is smaller then the number of configuration variables, even if all configurations are reachable. The transverse function method proposed by Morin and Samson, to be presented at the seminar, anables one to move, approximately, in the forbiden directions. For general systems on Lie groups it proposes a method of control which moves the system, approximately, in the direction of Lie brackets of the vector fields of the system. The method can be interpreted as decoupling control using smooth dynamic fedback.

Vincent Grandjean (IM PAN): *Geodesic on singular space: On the exponential map at a singular
point*

ABSTRACT: A classical feature of any Riemannian manifold M is that each point admits
a neighbourhood over which exists polar-like coordinates, namely normal coordinates.
Assuming given a subset X of M which is not submanifold, we can nevertheless
equip its smooth part with the restriction of the ambient Riemmannian structure and try to understand the
behaviour of geodesics nearby any non smooth point. The most expected occurrence of
such situation is when M is an affine or projective space (real or complex) and X
is an affine or projective variety with non-empty singular locus.

In a joint work with D. Grieser (Univ. Oldenburg, Germany) we discuss
the problem of an exponential-like map at the singular point of a
class of isolated surface singularities of an Euclidean space, called cuspidal surface.
I will state the trichotomy of this class of surface regarding the existence and the injectivity
of an exponential-like mapping at the singular point of this class of surface...
and explain a bit if times allows.

Andrey Krutov (IM PAN): *Deformation of nonlocal structure over partial differential
equations*

ABSTRACT: Various important structure over integrable partial differential equation, such that Lax pair, Lie algebra-valued zero-curvature representations and Gardner's deformations, can be view in the set-up of system of nonlocal variables (or differential coverings). We will discuss interrelations of these structure on example of the Korteweg-de Vries equation.

Michał Jóźwikowski (IM PAN): *Sub-Riemannian extremals via homotopy*

ABSTRACT: In the talk I will formulate geometric characterization of extremals for the sub-Riemannian geodesic problem. The conditions we get are equivalent to the ones derived by means of the Pontryagin Maximum Principle, yet the derivation is much simpler. The idea is based on a natural concept of homotopy between sub-Riemannian trajectories. If time allows I will speak about second-order optimality conditions.

Paweł Nurowski (CFT PAN): *Conformal classes with linear Fefferman-Graham equations*

ABSTRACT: -

Ben Warhurst (MIM UW): *sub-Laplacians continued*

ABSTRACT: In previous talks we discussed mean value type properties implying sub-Laplacian-harmonicity. In this talk we consider the converse.

Jarosław Buczyński (MIM UW): *Complex projective contact 7-folds*

ABSTRACT: I will report on recent progress in classification of complex contact manifolds focusing on the case of dimension 7. This is related to the classification of 12-dimensional quaternion-Kaehler manifolds.
The tools we use include representation theory and actions of (complex) reductive groups, minimal rational curves, symplectic geometry.

This is a joint work with Jarosław Wiśniewski.

Alberto Bressan (Penn State University): *PDE models of controlled growth*

ABSTRACT: Living tissues, such as stems, leaves and flowers in plants and bones in animals, grow into a great
variety of shapes. In some cases, Nature has found ways to control this growth with remarkable accuracy.
In this talk I shall discuss some free boundary problems modeling controlled growth, namely

(I) Growth of 1-dimensional curves in R^3 (plant stems), where stabilization
in the vertical direction is achieved by a feedback response to gravity.
The presence of obstacles (rocks, branches of other plants) yields additional unilateral constraints.
In this case, the evolution can be modeled by a differential inclusion in an infinite dimensional space.

(II) Growth of 2- or 3-dimensional domains, controlled by the concentration of a morphogen,
coupled with the minimization of an elastic deformation energy.

Some very recent existence, uniqueness, and stability results will be presented, together
with numerical simulations. Several research directions will be discussed.

Wojciech Kryński (IM PAN): *Integrable GL(2)-structures*

ABSTRACT: A GL(2)-structure is a natural generalisation of a conformal metric on a manifold. The talk is based on our recent results with T. Mettler and on a paper by B. Kruglikov and E. Ferapontov (arxiv:1607.01966). We shall present connections between the GL(2)-structures, complex geometry and integrable systems.

Paweł Nurowski (CFT PAN): *Gravitational waves: how the green light was given to their search
*

ABSTRACT: The recent detections of gravitational waves are impressive achievements of experimental physics and another success of the theory of General Relativity. The detections confirm the existence of black holes, show that they may collide and that during the merging process gravitational waves are produced. The existence of gravitational waves was predicted by Albert Einstein in 1916 after linearizing his equations. However, later he changed his mind finding arguments against the existence of nonlinear gravitational waves, which virtually stopped development of the subject until the mid 1950s. The theme was picked up again and studied vigorously by various experts, mainly Herman Bondi, Felix Pirani, Ivor Robinson and Andrzej Trautman, where the theoretical obstacles concerning gravitational wave existence were successfully overcome, thus giving the Green Light for experimentalists to start designing detectors, culminating in the recent LIGO/VIRGO discovery. We will tell the story of this theoretical breakthrough.

Ben Warhurst (MIM UW): *Sub-Laplacians on Carnot groups (continued)*

ABSTRACT: This talk will continue to discuss some elementary aspects of harmonic analysis and sub-elliptic pde on Carnot groups.

Alina Dobrogowska (Uniwersytet w Białymstoku): *Multiparameter bi-Hamiltonian structures and related integrable
systems*

ABSTRACT: I will present the construction of families of Lie--Poisson brackets depending on finite or infinite number of parameters and investigate when those brackets are compatible. In this way I will obtain classes of bi-Hamiltonian systems which can be in a natural way interpreted as a deformation of systems known before in rigid body mechanics or continuum mechanics. One of the interesting problems is to find the answer to the questions if these systems are integrable, what is the Lax form of describing equations and how they behave when we contract some parameters.

Piotr Mormul (MIM UW): *Chitour-Jean-Long desingularization
compared with the Bellaiche (inachieved) one*

ABSTRACT: Bellaiche was making his desingularization on the nilpotent approximations' level, but settled for a homogeneous space [of a Lie group] of reasonable dimension. Chitour-Jean-Long have been making their desingularization purely Lie-algebraically, in enormously many dimensions, with mainly applications to the Motion Planning Problem in view. Now their construction is being used by Hakavuori & Le Donne in their tackling of isolated corners in the SR geometry. In the talk some key points in both these approaches will be indicated and discussed.

Wojciech Kryński (IM PAN): *On "Non-minimality of corners in subriemannian geometry" by E. Hakavuori and E. Le Donne*

ABSTRACT: We will discuss a recent paper by Hakavuori and Le Donne on a long-standing problem of regurality of sub-Riemannian geodesics. We will concentrate on a reduction procedure of the general case to the problem on the Carnot groups. Next lecture on this topic will be given by P. Mormul (MIMUW) on May 18th.

Evgeny Ferapontov (Loughborough University): *On the integrability in Grassmann geometries: integrable systems associated with fourfolds in Gr(3, 5)*

ABSTRACT: I will discuss a class of dispersionless integrable systems in 3D associated with fourfolds in the Grassmannian Gr(3, 5), revealing a remarkable correspondence with Einstein-Weyl geometry and the theory of $GL(2, R)$ structures. Generalisations to higher dimensions will also be discussed. The talk is based on joint work with B Doubrov, B Kruglikov and V Novikov.

Piotr Polak (Uniwersytet Szczeciński): *On asymptotic growth of solutions of delay differential equations of neutral type*

ABSTRACT: Consider some class of delay differential equations of neutral type and study asymptotic behaviour of its solutions. The main approach is to interpret delay equations as linear ordinary differential equations in a Hilbert space setting. There will be presented some growth estimations of the norm of the corresponding semigroup of operators and of individual solutions. Moreover the notion of polynomial stability will be presented and some criterion of polynomial stability of neutral systems will be derived in terms of location of the spectrum of the semigroup generator. As an application a control problem will be also considered, that is the asymptotic behaviour of diameters of reachable sets is shown.

Ben Warhurst (MIM UW): *Sub-Laplacians on Carnot groups*

ABSTRACT: This talk will discuss some elementary aspects of harmonic analysis and sub-elliptic pde on Carnot groups.

Krzysztof Szczygielski (Uniwersytet Gdański): *Completely positive evolutions of periodically controlled open quantum systems*

ABSTRACT: The basic model of open quantum system with time-periodic Hamiltonian will be presented. The general structure of appropriate quantum dynamical map and master equation derived in the Markovian regime and based on the Floquet theory will be shown. Finally, some examples of open systems with external periodic driving will be given, including the recently developed theory of Markovian Dynamical Decoupling.

Wojciech Kryński (IM PAN): *GL(2,R)-structures and complex geometry*

ABSTRACT: We consider a GL(2,R)-structure on a manifold M of even dimension and present a construction of a canonical almost-complex structure on a bundle over M. The integrability of the almost-complex structure is characterised in terms of the torsion of a connection on M. We present some applications of the construction to the geometry of GL(2,R)-structures and the associated twistor spaces. This is a report on a joint work with Thomas Mettler.

Michał Jóźwikowski (IM PAN): *Local optimality of normal sub-Riemannian extremals*

ABSTRACT: It is well-known that normal extremals in sub-Riemannian geometry are curves which locally minimize the energy functional. However, the known proofs of this fact are computational and the relation of the local optimality with the geometry of the problem remains unclear. In the talk I will provide a new proof of this result, which gives insight into the geometric reasons of local optimality. Also the the relation of the regularity of normal extremals with their optimality become apparent in our approach. The talk is based on a joint work with professor Witold Respondek.

Gabriel Pietrzkowski (MIM UW): *On controllability of the bilinear Schrödinger equation*

ABSTRACT: I will discuss most important results from the articles: U Boscain, M Caponigro, T Chambrion, M Sigalotti, "A Weak Spectral Condition for the Controllability of the Bilinear Schrödinger Equation with Application to the Control of a Rotating Planar Molecule", and T Chambrion, P Mason, M Sigalotti, U Boscain, "Controllability of the discrete-spectrum Schrödinger equation driven by an external field".

Michał Zwierzyński (MINI PW): *The improved isoperimetric inequality and the Wigner caustic of planar
ovals*

ABSTRACT: The classical isoperimetric inequality in the Euclidean plane $\mathbb{R}^2$ states that for a simple closed curve $M$ of the length $L$, enclosing a region of the area $A$, one gets $L^2\geqslant 4\pi A$ and the equality holds if and only if $M$ is a circle. We will show that if $M$ is an oval, then $L^2\geqslant 4\pi A+8\pi |A_{0.5}|$, where $A_{0.5}$ is an oriented area of the Wigner caustic of $M$, and the equality holds if and only if $M$ is a curve of constant width.

Gabriel Pietrzkowski (MIM UW): *On the adjoint of the Eulerian idempotent in application to control systems*

ABSTRACT: -

Paweł Nurowski (CFT PAN): *Czym są fale grawitacyjne*

ABSTRACT: Wykład będzie okazją do dyskusji o ogłoszonym przed tygodniem wydarzeniu pierwszej rejestracji fal grawitacyjnych spowodowanym zderzeniem dwu czarnych dziur a także o wcześniejszych wynikach teoretycznych na ten temat.

Jan Gutt (CFT PAN): *Cyber-snakes and curvature*

ABSTRACT: The configuration space of a simple 3-segment snake-like robot carries a natural structure of a principal bundle with non-integrable connection. I will explain its origin, and its application to basic problems of control (after M. Ishikawa). Volunteers get a hands-on experience driving a virtual model of the robot. This will be an entertainment-oriented talk, accessible to undergraduates.

Katarzyna Karnas (CFT PAN): *Tannakian approach to differential Galois theory and (non)integrable systems*

ABSTRACT: I will present a short introduction to the Tannaka theory of tensor categories, which turns out to be useful in computing a differential Galois group of the equations describing a Hamiltonian quantum system. This knowledge allows us to prove (non)integrability of the system.

Ben Warhurst (MIM UW): *Prime ends in the Heisenberg group H_1*

ABSTRACT: A joint work with Tomasz Adamowicz.

Andryi Panasyuk (UWM, Olsztyn): *Veronese webs and nonlinear PDEs*

ABSTRACT: It is known that a geometric structure of a Veronese web is described by the Hirota dispersionless nonlinear equation. Seen as Lorentzian hyper-CR Einstein?Weyl space the same structure is given by the so-called hyper-CR equation. In this talk we propose a simple geometric procedure of generating different nonlinear PDEs describing Veronese webs and interpolating between two equations mentioned. Bäcklund transformations between different types will be also discussed. A joint work with Boris Kruglikov.

Marek Grochowski (UKSW): *Local invariants for Riemannian metrics on Martinet distributions*

ABSTRACT: -

Ben Warhurst (MIM UW): *3-Dimensional Left-Invariant Sub-Lorentzian Contact Structures*

ABSTRACT: I will discuss a classification of "ts-invariant" sub-Lorentzian structures on 3 dimensional contact Lie groups. The approach is based on invariants arising form the construction of a normal Cartan connection and the classification of 3 dimensional Lie groups due to Snobl and Winternitz. (Joint work with Alexandr Medvedev and Marek Grochowski.)

Jan Gutt (CFT PAN): *A gentle introduction to the BGG resolution (part II)*

ABSTRACT: The BGG resolution, introduced in a seminal paper by Bernstein-Gelfand-Gelfand, and generalised by Lepowsky, is an important device in the representation theory of semi-simple Lie algebras. Its differential-geometric interpretation provides a supply of invariant differential operators between certain natural vector bundles on generalised flag manifolds. The work of Baston and \v{C}ap-Slov\'ak-Sou\v{c}ek leads to analogues of these operators for parabolic Cartan geometries, with a very direct construction due to Calderbank-Diemer. I will give an example-based introduction to these ideas.

Jan Gutt (CFT PAN): *A gentle introduction to the BGG resolution*

ABSTRACT: The BGG resolution, introduced in a seminal paper by Bernstein-Gelfand-Gelfand, and generalised by Lepowsky, is an important device in the representation theory of semi-simple Lie algebras. Its differential-geometric interpretation provides a supply of invariant differential operators between certain natural vector bundles on generalised flag manifolds. The work of Baston and \v{C}ap-Slov\'ak-Sou\v{c}ek leads to analogues of these operators for parabolic Cartan geometries, with a very direct construction due to Calderbank-Diemer. I will give an example-based introduction to these ideas.

Piotr Mormul (MIM UW): *In search of a workable algorithm for computing the nilpotent
approximation of a completely nonholonomic distribution germ
*

ABSTRACT: It was Gianna Stefani who first started to look for something simpler than canonical exponential coordinates of the 1st or 2nd kind - in her Bierutowice 1984 talk. Then she used that to locally simplify the control systems linear in controls - to define a prototype of the nilpotent approximation (NA in short) of the initial system. Agrachev & Sarychev joined in in 1987, Hermes & Kawski in 1991, Risler in 1992, Bellaiche in 1996. That last contibutor proposed an algorithm, of improving a given set of local coordinates to privileged (or: adapted) ones, that was purely polynomial, avoiding any exponentiation. In short (perhaps too short) Bellaiche successfully debugged Stefani's original approach of 1984. A little polished version of his procedure will be reproduced during the talk. The second part is aimed at showing that the Bellaiche proposal is hardly a fully blown algorithm as in the title above. Since it is general, it is also cumbersome and - potentially - extremely memory-thirsty. It also leads sometimes to illisible visualisations of NA's. (A given NA has, as a rule, a plethora of various visualisations.) In concrete classes of distributions dynamic modifications of `polynomial Bellaiche' are needed that would lead to much simpler visualisations. This is particularly important in the SR geometry when one reduces a local minimization problem to a simpler one showing up in the NA of an SR structure. Two instances of such `much simpler' visualisations will be given.

Giovanni Moreno (IM PAN): *Hyperplane sections of the meta-symplectic Grassmannian L(2,5) and 3rd order Monge-Ampere equations (part II)*

ABSTRACT: In this second part, I will provide a solid mathematical foundation to the statement that "the simplest nonlinear PDEs of order three (in two independent variables) are of Monge-Ampere type". Basically, I will mimic all the steps, explained in the first part, which allowed to "reconstruct" a classical (non-elliptic) Monge-Ampere equation out of its characteristics. As it will turn out, everything goes rather smoothly, except for the definition of the "third-order analog" of the Lagrangian Grassmannian, which I denote by L(2,5) and refer to as the "meta-symplectic Grassmannian". I will explain in detail how to define the four-dimensional space L(2,5), how to frame it in the jet-theoretic framework for nonlinear PDEs, and how to recognize in its hyperplane sections the natural third-order analogues of the Monge-Ampere equations. Finally, I will show how such a perspective on third-order Monge-Ampere equations can help in solving equivalence problems and in finding exact solutions.

Giovanni Moreno (IM PAN): *Hyperplane sections of the meta-symplectic Grassmannian L(2,5) and 3rd order Monge-Ampere equations (part I)*

ABSTRACT: Multidimensional Monge-Ampere equations are, in a sense, the simplest nonlinear PDEs of order two, and to explain this point of view, I will briefly outline the ideas and the results contained in the paper "Contact geometry of multidimensional Monge-Ampere equations: characteristics, intermediate integrals and solutions" by D. Alekseevsky et al. (Ann. Inst. Fourier, 2012). In particular, I will stress the role of characteristics in the description of these equations: a characteristic is a direction in the manifold of independent variables along which the Cauchy-Kowalevskaya theorem fails in uniqueness, and for (non-elliptic, two-dimensional) Monge-Ampere equations, the knowledge of all the characteristics corresponds to the knowledge of the equation itself. This easy feature, which is usually overlooked, plays a key role here, and it can properly formulated in terms of the geometry of the three-dimensional Lagrangian (or "symplectic") Grassmannian L(2,4).

Jan Gutt (CFT PAN): *Classifying homogeneous models of certain parabolic geometries via
deformations of filtered Lie algebras (part II)*

ABSTRACT: I will present a deformation-theoretic approach to the problem of classifying multiply-transitive homogeneous models of parabolic geometries determined by distributions (equivalently, of strongly regular distributions whose symbol Tanaka-prolongs to a semisimple Lie algebra), developed recently in collaboration with Ian Anderson. (2,3,5)-distributions will serve as a toy example: we'll reproduce the models from Cartan's 1910 paper, as well as the Doubrov-Govorov one.

Jan Gutt (CFT PAN): *Classifying homogeneous models of certain parabolic geometries via
deformations of filtered Lie algebras*

ABSTRACT: I will present a deformation-theoretic approach to the problem of classifying multiply-transitive homogeneous models of parabolic geometries determined by distributions (equivalently, of strongly regular distributions whose symbol Tanaka-prolongs to a semisimple Lie algebra), developed recently in collaboration with Ian Anderson. (2,3,5)-distributions will serve as a toy example: we'll reproduce the models from Cartan's 1910 paper, as well as the Doubrov-Govorov one.

Michał Jóźwikowski (MIM UW): *Covariant aproach to the Pontryagin Maximum Principle
*

ABSTRACT: In the talk I will present an interpretation of the Pontryagin Maximum Principle in the language of contact (instead of symplectic) geometry. I will show its applications to the study of abnormal geodesics in subriemannian geometry. The talk is based on a joint work with prof. Witold Respondek.

Paweł Nurowski (CFT PAN): *From newtonian to relativistic cosmology (part II)*

ABSTRACT: -

Paweł Nurowski (CFT PAN): *From newtonian to relativistic cosmology*

ABSTRACT: -

Wojciech Kryński (IM PAN): *Invariants of sub-Lorentzian structures on contact manifolds*

ABSTRACT: We consider local geometry of sub-pseudo-Riemannian (in particular sub-Riemannian and sub-Lorentzian) structures on contact manifolds. We construct fundamental invariants of the structures and show that the structures give rise to Einstein-Weyl geometries in dimension 3, provided that certain additional conditions are satisfied.

Mikołaj Rotkiewicz (MIM UW): *Bundle-theoretic methods for higher-order variational calculus*

ABSTRACT: I will present a geometric interpretation of the integration-by-parts formula. This will lead us to some geometrical constructions (a bundle of higher semiholonomic velocities) and canonical vector bundle morphisms used in our geometrical definition of force and momentum maps. Based on a joint paper with Michał Jóźwikowski.

Paweł Goldstein (MIM UW): *Uhlenbeck-Riviere decomposition*

ABSTRACT: The theory of elliptic systems with critical growth, i.e. such that the nonlinearity is a priori only in L^1, has been one of the most active areas in elliptic PDE's in the past 20 years.Examples of such systems include systems describing harmonic mappings between manifolds, surfaces with prescribed mean curvature and their higher-dimensional generalizations. Uhlenbeck-Riviere decomposition of antysymmetric matrices of differential forms, originating in the theory of Yang-Mills field theory and adapted to the more general PDE setting by Riviere is one of the most useful tools in that field.

Katarzyna Karnas (CFT PAN): *Approximate methods of solving a system of first order ODEs in
Jordan algebras*

ABSTRACT: The Wei-Norman algorithm used for solving a system of nonlinear time-varying ODEs bases on the Magnus expansion and Lie groups and Lie algebras properties. In this talk it will be presented, whether the analogous method may be formulated for Jordan algebras. At the end I will present some physical applications, for instance the Jordan-GNS construction.

Oleg Morozov (AGH, Kraków): *Lie Pseudo-Groups and Geometry of Differential Equations*

ABSTRACT: The talk will discuss applications of Cartan's equivalence method to geometry of differential equations. Examples will describe the approach to the problems of finding zero-curvature representations, recursion operators and B\"acklund transformations for multi-dimensional PDEs based on Cartan's theory of Lie pseudo-groups.

Van Luong Nguyen (IM PAN): *Minimum time function for normal linear control systems*

ABSTRACT: Consider the minimum time optimal control problem for the linear system x'=Ax+bu with A and b satisfying the Kalman rank condition where for simplicity the control is assumed to be single-input, with u\in[-1,1]. Results stating that (i) the minimum time function T to reach the origi is Holder with exponent 1/N in the reachable set (which contains a neighborhood of 0); (ii) the optimal control is unique, bang-bang with an upper bound on the number of switchings; (iii) the reachable sets at every time are strictly convex; are classical from the early stages of control theory. Simple examples show that T is never everywhere differentiable, and even Lipschitz, in any neighborhood of the origin. The talk will be devoted to describing the following results (1) T is differentiable in an open set with full measure; (2) more precisely, T is analytic out of a closed set C which is countable union of Lipschitz graphs of N-1 variables; (3) some information on the exceptional set C can also be provided: in particular, the set where T is not Lipschitz is fully described. Methods of nonsmooth analysis and of geometric measure theory are used.

Piotr Mormul (MIM UW): *Tangential (that is: entirely critical) corner points
in the GMT do not locally minimize the SR distance *

ABSTRACT: Goursat Monster Tower seems to be an ideal environment for the search of possible non-smooth local SR minimizers. It features, from level 3 on, singular (critical) submanifolds of various codimensions, foliated by - smooth - abnormal curves of the Goursat field of planes living in a given level of the tower. At any moment one can spring out from such submanifold along a vertical curve, smooth again, retaining the abnormality of the concatenated curve. The jump point is an isolated corner on such an extremal. When it is tangential (or: entirely critical in the Montgomery-Zhitomirskii terminology), then the extremal, in the vicinity of that corner, is not an SR geodesic. This extends to all levels in the GMT a 1997 observation made in the level 3, when the corner point has been of the Giaro-Kumpera-Ruiz (1978) original type.

Paweł Nurowski (CFT PAN): *O osobliwym ukladzie Pfaffa w wymiarze 6 (część 2)*

ABSTRACT: -

Wojciech Kryński (IM PAN): *Sub-Lorenzian structures and Einstein-Weyl geometry on the Heisenberg group*

ABSTRACT: We show that sub-Lorenzian structures of special type on the Heisenberg group can be extended to Einstein-Weyl structures.

Jan Gutt (CFT PAN): *Wei-Norman equations for classical groups via cominuscule induction*

ABSTRACT: -

Paweł Nurowski (CFT PAN): *O osobliwym ukladzie Pfaffa w wymiarze 6*

ABSTRACT: -

Andriy Panasyuk (UWM, Olsztyn): *On geometry of Nijenhuis (1,1)-tensors*

ABSTRACT: In this talk I shall recall classical results of several authors generalizing the Newlander-Nierenberg theorem on integrability of complex structures to (1,1)-tensors with a more general Jordan decomposition. Also, I shall discuss some relations of these results to an approach of P. Nagy to canonical connections of 3-webs.

Jan Gutt (CFT PAN): *The formal path groupoid after M. Kapranov (part II)*

ABSTRACT: In "Free Lie algebroids and the space of paths" M. Kapranov has introduced a formal algebraic model for the groupoid of paths on a manifold. The construction is related to K.T. Chen's iterated integrals and leads to an interesting interpretation of certain notions of differential geometry. I shall review the article in the context of G. Pietrzkowski's recent talks.

Jan Gutt (CFT PAN): *The formal path groupoid after M. Kapranov*

ABSTRACT: In "Free Lie algebroids and the space of paths" M. Kapranov has introduced a formal algebraic model for the groupoid of paths on a manifold. The construction is related to K.T. Chen's iterated integrals and leads to an interesting interpretation of certain notions of differential geometry. I shall review the article in the context of G. Pietrzkowski's recent talks.

Gabriel Pietrzkowski (IM PAN): *Introduction to signature of a path (following T. Lyons) (part II)*

ABSTRACT: An absolutely continuous path in R^n space can be represented as an element of the tensor algebra generated by R^n (equivalently, by a formal power series of n noncommuting variables). There is a remarkable subgroup of this tensor algebra, which has universal properties. We will discuss some of the problems concerning these topics considered by T. Lyons and coworkers, in particular recent results published in Ann. of Math.

Gabriel Pietrzkowski (IM PAN): *Introduction to signature of a path: representing paths by power series of noncommuting variables
(following T. Lyons)*

ABSTRACT: An absolutely continuous path in R^n space can be represented as an element of the tensor algebra generated by R^n (equivalently, by a formal power series of n noncommuting variables). There is a remarkable subgroup of this tensor algebra, which has universal properties. We will discuss some of the problems concerning these topics considered by T. Lyons and coworkers, in particular recent results published in Ann. of Math.

Maciej Dunajski (DAMTP, Cambridge): *How to recognise a conformally Einstein metric*

ABSTRACT: I shall discuss the necessary and sufficient conditions for a Riemannian four-dimensional manifold (M,g) with anti-self-dual Weyl tensor to be locally conformal to a Ricci--flat manifold. These conditions are expressed as the vanishing of scalar and tensor conformal invariants. The invariants obstruct the existence of parallel sections of a certain connection on a complex rank-four vector bundle over M. They provide a natural generalisation of the Bach tensor which vanishes identically for anti-self-dual conformal structures. This is joint work with Paul Tod.

Bronisław Jakubczyk (IM PAN): *A universal Lie group and its applications*

ABSTRACT: We will introduce an interesting group having all features of a Lie group (topology, differential structure) which can also be called a noncommutative vector space. It has several universal properties: all finite dimensional manifolds, Lie groups, symplectic manifolds can be constructed as homogeneous manifolds of this group. A realization problem in control theory will be solved using this group.

Ben Warhurst (MIM UW): *Introduction to affine dimension*

ABSTRACT: This talk will introduce the affine dimension of a set in Euclidean space. It is a quantity similar to Hausdorff dimension which arises in the theory of convolution operators.

Tomasz Adamowicz (IM PAN): *The Hadamard three-circles theorem and its generalizations*

ABSTRACT: We will discuss the classical convexity result for planar subharmonic functions and its generalizations to the setting of elliptic PDEs and systems of PDEs in Euclidean domains.

Bronisław Jakubczyk (IM PAN): *A nonlinear local mapping theorem*

ABSTRACT: A well known Lusternik theorem says that if X,Y are Banach spaces, $W\subset X$ and $F:W\to Y$ is a C^1 map such that its derivative dF(x_0) is submersive at an interior point $x_0\in int(W)$, then $F(0)\in int(F(W)). We will extend this theorem to the cases where: (a) x_0 is a boundary point of W; (b) dF(x_0) is not submersive. In case (b) we will assume F of class C^2 and use an additional condition on the Hessian of F.

Wojciech Kryński (IM PAN): *Webs and Plebanski equation*

ABSTRACT: We exploit a correspondence between Kronecker webs and hyper-Hermitian metrics in split signature to derive Plebanski heavenly equation.

Michael Cowling (UNSW, Sydney): *Conformal and quasiconformal maps of Carnot groups*

ABSTRACT: A Carnot group $G$ is a nilpotent Lie group with a geometric structure; these arise in modelling sub-elliptic operators, nonholonomic systems, and sub-Riemannian geometry. A coordinate change, that is, a bijective map $\phi: \Omega \to G$, where $\Omega$ is an open subset of $G$, may be described geometrically as contact, quasiconformal or conformal. We show that conformal mappings are affine, except in a few special cases, and that if the group $G$ is rigid, that is, the space of contact mappings is finite-dimensional, then so are quasiconformal maps. This is joint work with Alessandro Ottazzi.

Paweł Nurowski (CFT PAN): *Hunting for a G_2 snake*

ABSTRACT: -

Marek Grochowski (UKSW): *Struktura zbiorów osiągalnych i postacie normalne
dla wybranych klas struktur sublorentzowskich (część II)*

ABSTRACT: -

Marek Grochowski (UKSW): *Struktura zbiorów osiągalnych i postacie normalne
dla wybranych klas struktur sublorentzowskich*

ABSTRACT: -

Jan Gutt (CFT PAN): *Contact parabolic geometries with examples*

ABSTRACT: -

Katja Sagerschnig (ASU, Canberra): *Reductions of SO(4,3) contact geometries*

ABSTRACT: -

Wojciech Kryński (IM PAN): *O nierównościach izoperymetrycznych*

ABSTRACT: -

Marek Grochowski (UKSW): *Optimal synthesis on step 2, corank 2 nilpotent sub-Riemannian manifolds*

ABSTRACT: First I will present a construction of normal forms for general sub-Riemannian metrics. Using these normal forms I will describe nilpotent approximation for step 2, corank 2 metrics. In this latter case I will compute the cut locus and prove that (in general) it does not coincide with the first conjugate locus.

Przemysław Zieliński (Łódź): *Rozwiązalność równań semi-liniowych w przestrzeniach Hilberta*

ABSTRACT: -

Andrew Bruce (IM PAN): *A first look at N-manifolds*

ABSTRACT: In this talk I will introduce the concept of an N-manifold as refinement of the notion of a supermanifold in which the structure sheaf carries an additional grading, called weight, that takes values in the natural numbers. I will provide several motivating examples which largely come for the theory of jets, before discussing some generalities.

Gabriel Pietrzkowski (MIM UW): *O algebrach Rota-Baxtera: od równań różniczkowych do wielomianów symetrycznych i q-tożsamości Eulera*

ABSTRACT: -

Tomasz Adamowicz (IM PAN): *Analysis on metric measure spaces (part II)*

ABSTRACT: The purpose of this talk is to give a brief introduction to the first order Calculus on metric measure spaces. We discuss various approaches to define gradients and metric counterparts of Sobolev spaces. In particular, Hajłasz and Newtonian spaces will be presented and their connections to PDEs on metric measure spaces will be mentioned as well.

Tomasz Adamowicz (IM PAN): *Analysis on metric measure spaces*

ABSTRACT: The purpose of this talk is to give a brief introduction to the first order Calculus on metric measure spaces. We discuss various approaches to define gradients and metric counterparts of Sobolev spaces. In particular, Hajłasz and Newtonian spaces will be presented and their connections to PDEs on metric measure spaces will be mentioned as well.

Witold Respondek (INSA, Rouen): *Minimalna linearyzacja dynamiczna i subdystrybucje inwolutywne*

ABSTRACT: -

Jan Gutt (CFT PAN): *Ice skating on a curved rink and geometry of type x--x*

ABSTRACT: -

Paweł Nurowski (CFT PAN): *3-wymiarowe struktury paraCR (równanie różniczkowe 2-go rzędu
modulo transformacje punktowe)*

ABSTRACT: -

Ben Warhurst (MIM UW): *Conformal symmetry of the sub-Lorentzian Heisenberg group*

ABSTRACT: -

Marek Grochowski (IM PAN): *Invariants for contact sub-Lorentzian structures
on 3-dimensional manifolds*

ABSTRACT: -

Alexander Zuyev (Doneck): *Stabilization of non-holonomic systems using fast oscillatig controls*

ABSTRACT: -

Jan Gutt (CFT PAN): *Conformal and projective structures as examples of parabolic Cartan geometries (part III)*

ABSTRACT: I will give an overview of Cartan's approach to the study of conformal and projective structures on manifolds, and its extensions due to Kobayashi and Ochiai. The main motivation is to provide a gentle introduction to the recent theory of parabolic geometries (Cap, Slovak et al.).

Jan Gutt (CFT PAN): *Conformal and projective structures as examples of parabolic Cartan geometries (part II)*

ABSTRACT: I will give an overview of Cartan's approach to the study of conformal and projective structures on manifolds, and its extensions due to Kobayashi and Ochiai. The main motivation is to provide a gentle introduction to the recent theory of parabolic geometries (Cap, Slovak et al.).

Jan Gutt (CFT PAN): *Conformal and projective structures as examples of parabolic Cartan geometries*

ABSTRACT: I will give an overview of Cartan's approach to the study of conformal and projective structures on manifolds, and its extensions due to Kobayashi and Ochiai. The main motivation is to provide a gentle introduction to the recent theory of parabolic geometries (Cap, Slovak et al.).

Maciej Bochenski (UWM, Olsztyn): *Konstrukcja k-symetrycznych rozmaitości symplektycznych*

ABSTRACT: W czasie seminarium postaram się przybliyć metodę konstrukcji symplektycznych przestrzeni k-symetrycznych typu niezwartego. W przypadku zwartym struktura symplektyczna jest indukowana poprzez niezmienniczą formą kaehlerowską, ktrej istnienie - przy grupie izotropii o nietrywialnym centrum - udowodnił A. Borel w latach 50' ubiegłego stulecia. Poprzez odpowiednią dualność między zwartymi i niezwartymi przestrzeniami k-symetrycznymi, pokażę jak uzyskać analogiczny rezultat dla form symplektycznych na niezwartej przestrzeni k-symetrycznej.

Andriy Panasyuk (UWM, Olsztyn): *Osobliwosci ukladow bihamiltonowskich (wg. A. Bolsinova i A. Izosimova) (cz. II)*

ABSTRACT: Rozwijana przez wspomnianych autorow teoria jest spektakularnym zastosowaniem struktur bihamiltonowskich (czyli par zgodnych struktur Poissona) do jakosciowej analizy ukladow calkowalnych w sensie Liouville'a. W pierwszym z dwoch wykladow postaram sie przedstawic zarys teorii osobliwosci ukladow calkowalnych, ktora zawiera m.in. kwestie polozen rownowagi, stabilnosci, i t.p. W drugim opowiem o tym, jak przeklada sie na te kwestie (w istocie algebraiczna) teoria osobliwosci struktur bihamiltonowskich.

Andriy Panasyuk (UWM, Olsztyn): *Osobliwosci ukladow bihamiltonowskich (wg. A. Bolsinova i A. Izosimova)*

ABSTRACT: Rozwijana przez wspomnianych autorow teoria jest spektakularnym zastosowaniem struktur bihamiltonowskich (czyli par zgodnych struktur Poissona) do jakosciowej analizy ukladow calkowalnych w sensie Liouville'a. W pierwszym z dwoch wykladow postaram sie przedstawic zarys teorii osobliwosci ukladow calkowalnych, ktora zawiera m.in. kwestie polozen rownowagi, stabilnosci, i t.p. W drugim opowiem o tym, jak przeklada sie na te kwestie (w istocie algebraiczna) teoria osobliwosci struktur bihamiltonowskich.

Wojciech Kryński (IM PAN): *Differential equations and totally geodesic manifolds*

ABSTRACT: We construct point invariants of ordinary differential equations and generalise Cartan's invariants in the case of order two and three. If the invariants vanish then the solution space of an equation is equipped with a paraconformal structure, an adapted connection and two-parameter family of totally geodesic hypersurfaces.