University of Padova

TBA

Sard’s theorem asserts that the set of critical values of a smooth map from one Euclidean space to another one has measure zero. A version of this result for infinite-dimensional Banach manifolds was proven by Smale for maps with Fredholm differential. However, when the domain is infinite dimensional and the range is finite dimensional, the result is not true – even under the assumption that the map is “polynomial” – and a general theory is still lacking. In this seminar, I will provide sharp quantitative criteria for the validity of Sard’s theorem in this setting, obtained combining a functional analysis approach with new tools in semialgebraic geometry. As an application, I will present new results on the Sard conjecture in sub-Riemannian geometry. Based on a joint work with A. Lerario and L. Rizzi.

I will describe a non-commutative version of the Zariski topology and explain how to use it to produce a functorial spectrum for all derived rings. If time permits I will give some examples and show how a weak form of Gelfand duality for non-commutative rings can be deduced from this. This work is in collaboration with Simone Murro and Matteo Capoferri.

Nichols algebras, also known as small shuffle algebras, are a family of graded bialgebras including the symmetric algebras, the exterior algebras, the positive parts of quantized enveloping algebras, and, conjecturally, Fomin-Kirillov algebras. As the case of Fomin-Kirillov algebra shows, it can be very
difficult to determine the maximum degree of a minimal generating set of relations of a Nichols algebra. 

Building upon Kapranov and Schechtman’s equivalence between the category of perverse sheaves on Sym(C) and the category of graded connected bialgebras,  we describe the geometric counterpart of the maximum degree of a generating set of relations of a graded connected bialgebra, and we show how this specialises to the case o Nichols algebras.

The talk is based on joint work with Francesco Esposito and Lleonard Rubio y Degrassi.
 

I will explain how bornological and condensed structures can both be described as algebraic theories. I will also show how this permits the construction of functors between bornological and condensed structures. If time permits I will also briefly describe how to compare condensed derived geometry and bornological derived geometry and sketch how they relate to analytic geometry and Arakelov geometry

Prof. Franco Rampazzo ‘Mathematical Control Theory’ (Department of Mathematics of the University of Padova, as part of Oxford Padova connection) TT 2021
Aimed at: Any DPhil students with interest in learning about Mathematical Control Theory
Course Length:     24 hours total (to be in English) 
Dates and Times:  starts 2 March 2021 

For a given vector field $h$ on a manifold $M$ and an initial point $x \in M$, let $t \mapsto \exp th(x)$ denote the solution to the Cauchy problem $y' = h(y)$, $y(0) = x$. Given two vector fields $f$, $g$, the flows $\exp(tf)$, $\exp(tg)$ in general are not commutative. That is, it may happen that, for some initial point $x$,

$$\exp(-tg) \circ \exp(-tf) \circ \exp(tg) \circ \exp(tf) (x) ≠ x,$$

for small times $t ≠ 0$.

         As is well-known, the Lie bracket $[f,g] := Dg \cdot f - Df \cdot g$ measures the local non-commutativity of the flows. Indeed, one has (on any coordinate chart)

$$\exp(-tg) \circ \exp(-tf) \circ \exp(tg) \circ \exp(tf) (x) - x = t^2 [f,g](x) + o(t^2)$$

         The non-commutativity of vector fields lies at the basis of many nonlinear issues, like propagation of maxima for solutions of degenerate elliptic PDEs, controllability sufficient conditions in Nonlinear Control Theory, and higher order necessary conditions for optimal controls. The fundamental results concerning commutativity (e.g. Rashevski-Chow's Theorem, also known as Hörmander's full rank condition, or Frobenius Theorem) assume that the vector fields are smooth enough for the involved iterated Lie brackets to be well defined and continuous: for instance, if the bracket $[f,[g,h]]$ is to be used, one posits $g,h \in C^2$ and $f \in C^{1..}$.

         We propose a notion of (set-valued) Lie bracket (see [1]-[3]), through which we are able to extend some of the mentioned fundamental results to families of vector fields whose iterated brackets are just measurable and defined almost everywhere.

References.

[1]  Rampazzo, F. and Sussmann, H., Set-valued differentials and a nonsmooth version of Chow’s Theorem (2001), Proceedings of the 40th IEEE Conference on Decision and Control, Orlando, Florida, 2001 (IEEE Publications, New York), pp. 2613-2618.

[2] Rampazzo F.  and Sussmann, H.J., Commutators of flow maps of nonsmooth vector fields (2007), Journal of Differential Equations, 232, pp. 134-175.

[3] Feleqi, E. and Rampazzo, F., Iterated Lie brackets for nonsmooth vector fields (2017), Nonlinear Differential Equations and Applications NoDEA, 24-6.

Inspired by a question posed by Lax, in recent years it has received  

an increasing attention the study of quantitative compactness  

estimates for the solution operator $S_t$, $t>0$ that associates to  

every given initial data $u_0$ the corresponding solution $S_t u_0$ of  

a conservation law or of a first order Hamilton-Jacobi equation.



Estimates of this type play a central roles in various areas of  

information theory and statistics as well as of ergodic and learning  

theory. In the present setting, this concept could provide a measure  

of the order of ``resolution'' of a numerical method for the  

corresponding equation.



In this talk we shall first review the results obtained in  

collaboration with O. Glass and K.T. Nguyen, concerning the  

compactness estimates for solutions to conservation laws. Next, we  

shall turn to the  analysis of the Hamilton-Jacobi equation pursued in  

collaboration with P. Cannarsa and K.T.~Nguyen.