Notiziario Scientifico
Notiziario dei seminari di carattere matematico
a cura del Dipartimento 'G. Castelnuovo'
Sapienza Università di Roma
Settimana dal 23 al 29 ottobre 2017
Lunedì 23 ottobre 2017
Ore 10:00, aula Urbano VIII, Università di Roma Tre, via Madonna dei Monti 80
Incontro annuale del gruppo di ricerca internazionale GDRI 'Linear Logic'
10:00 Damiano Mazza Church Meets Cook and Levin
10:45 Charles Grellois Linearity in Higher-Order Recursion Schemes
12:00 Olivier Laurent Around Classical and Intuitionistic Linear Logics
15:00 Alexis Saurin Linear Logic with fixed points and infinitary proofs, from
straight threads to bouncing threads
16:00 Paolo Pistone Polymorphism and Dinaturality from a Linear Logic Perspective
17:30 Raphaelle Crubillé The Free Exponential Modality of Probabilistic Coherence Spaces
Lunedì 23 ottobre 2017
Ore 14:15, aula di Consiglio
seminario di Analisi Matematica
Antonio Leaci (Università del Salento)
Spazi di Sobolev frazionari e funzioni a variazione limitata in una variabile
Nel seminario sono presentati alcuni risultati riguardanti gli spazi di funzioni di una
variabile con derivate frazionarie nel senso di Riemann-Liouville, lo spazio BV delle
funzioni a variazione limitata e lo spazio SBV, il sottospazio di BV costituito dalle
funzioni con derivate misure senza parte cantoriana. Viene presentato un teorema di
immersione per SBV, mentre il problema rimane aperto per BV. I risultati sono stati
ottenuti in collaborazione con M. Bergounioux, G. Nardi e F. Tomarelli.
Martedì 24 ottobre 2017
Ore 09:30, aula Urbano VIII, Università di Roma Tre, via Madonna dei Monti 80
Incontro annuale del gruppo di ricerca internazionale GDRI 'Linear Logic'
09:30 Michele Pagani (and Thomas Ehrhard and Christine Tasson)
Stable functions and probabilistic programs
10:30 Lionel Vaux Taylor expansion, β-reduction and normalization
11:45 Jules Chouquet (and Giulio Guerrieri and Luc Pellissier and Lorenzo Tortora de Falco and
Lionel Vaux) Normalization by evaluation in MELL Proof-Nets
12:30 Luc Pellissier (and Giulio Guerrieri and Lorenzo Tortora de Falco)
Coherence, Taylor expansion and box-connected proof-nets
15:00 Marie Kerjean (and Yoann Dabrowksi) Models of Linear Logic based on the Schwartz epsilon-product
16:00 General meeting
Martedì 24 ottobre 2017
Ore 14:30, aula Dal Passo, dipartimento di Matematica,
Università di Roma Tor Vergata
seminario di Equazioni Differenziali
Daniele Castorina (John Cabot University, Rome)
Ancient solutions of superlinear heat equations on Riemannian manifolds
We study the qualitative properties of ancient solutions of superlinear heat equations in
a Riemannian manifold, with particular attention to positivity and triviality in space.
This is joint work with Carlo Mantegazza (Napoli Federico II).
Mercoledì 25 ottobre 2017
Ore 08:45, aula Urbano VIII, Università di Roma Tre, via Madonna dei Monti 80
Incontro in onore dei 70 anni di Jean-Yves Girard
08:45 apertura dei lavori Gianfranco Mascari (IAC-CNR)
09:00 Thomas Ehrhard (CNRS-Université Paris Diderot) Differential linear logic: a
syntactic counterpart of Girard's quantitative semantics
10:00 Laurent Regnier (Aix-Marseille Université) 2017: Happy 30 years for Linear Logic
11:15 Thomas Seiller (CNRS-Université Paris 13) A geometric theory of computational complexity
12:15 Vito Michele Abrusci (Università Roma Tre) Linear Logic and Philosophy
13:15 Saluto di Luca Pietromarchi (Rettore Università Roma Tre,
Saluto di Elisabetta Pallottino (direttore Dipartimento di Architettura)
14:30 Martin Hyland (University of Cambridge) Mathematics inspired by the Execution Formula: towards
a foundation for Game Semantics
15:30 Alain Lecomte (Université Paris 8) Linear Logic and Linguistics: new issues in Dialectics
17:00 Jean-Yves Girard (CNRS) From Linear Logic to Logic 2.0
18:00 Interventi liberi
Mercoledì 25 ottobre 2017
Ore 14:30, aula di Consiglio
seminario
Salvatore Stella (Haifa)
Affine cluster monomials are generalized minors
Since its inception the theory of cluster algebras has showed strong
connections with Lie theory. In particular, by a now classical result of
Berenstein, Fomin, and Zelevinsky, the ring of coordinates of any double
Bruhat cell of a Lie Group G carries a cluster structure. Specifically, as
showed by Yang and Zelevinsky, in the special case of Coxeter double Bruhat
cells this cluster algebra has the same type of G and its cluster variables
can be interpreted as restrictions of generalized minors.
More recently, together with H. Williams and D. Rupel, we partially extended
this result to any Kac-Moody group G. Coxeter double Bruhat cells of G are
always cluster algebras of the desired type but the identification in between
their cluster variables and generalized minors was given only for
preprojective and postinjective ones.
In this talk, after recalling the required background, I will explain how any
cluster monomial (and in particular any cluster variable) in finite and
affine types can be identified with a corresponding generalized minor.
This is based on a joint work with D. Rupel and H. Williams
Mercoledì 25 ottobre 2017
Ore 16:30, aula G
seminario di Fisica Matematica
Marco Falconi (Universität Zürich)
Semiclassical properties of physical states
In this talk I will review the properties that classical (macroscopic) configurations
of a physical system inherit from the underlying quantum (microscopic) configurations.
A priori information of this type proves to be crucial in studying effective theories.
As an example, consider the well-studied problem of deriving effective dynamical
theories in many-body quantum mechanics. Clearly, this is possible only for classical
configurations concentrated in the domain of well-posedness of the effective theory.
Therefore, it is important to give sufficient microscopic conditions that would ensure
macroscopic concentration on such domain. Another interesting consequence of this
micro-to-macro analysis is that semiclassical states cannot be more entangled than
the corresponding quantum states.
Giovedì 26 ottobre 2017
Ore 14:00, aula 211, Università di Roma Tre,
largo san Leonardo Murialdo 1
seminario di Geometria
Ernesto Mistretta (Università di Padova)
Iitaka fibrations for vector bundles, and a characterization of abelian varieties
We will start from the definitions of various base loci for vector bundles, and see that some
of the positivity properties existing in the literature can be recovered from these base loci,
as in the well known case of divisors. In particular we will concentrate on semiampleness,
and construct an Iitaka fibration. We will see that various pathologies can arise in the case
of vector bundles, nevertheless an asymptotical construction similar to the Iitaka fibration
can be achieved, both in the semiample case, and in a more general birational setting.
As an application we give a characterization of abelian varieties, and some possible birational
characterizations. This is a joint work with Stefano Urbinati.
Giovedì 26 ottobre 2017
Ore 15:00, aula 211, Università di Roma Tre,
largo san Leonardo Murialdo 1
seminario di Geometria
Mattia Galeotti (Université Paris VI)
Moduli of curves with principal and spin bundles: singularities and global geometry
In a series of recent papers, Chiodo, Farkas and Ludwig carried out a deep analysis of the singular
locus of the moduli space of stable (twisted) curves with an l-torsion line bundle. They showed that
for l≤6 and different from 5 pluricanonical forms extend over any desingularization. This opens
the way to a computation of the Kodaira dimension without desingularizing, as done by Farkas and
Ludwig for l=2, and by Chiodo, Eisenbud, Farkas and Schreyer for l=3. We can generalize this
works in two directions. At first we treat roots of line bundles on the universal curve
systematically: we consider the moduli space of curves C with a line bundle L such that Ll
is isomorphic to a chosen power of the canonical bundle. New loci of canonical and non-canonical
singularities appear and we provide a set of combinatorial tools allowing us to completely
describe the singular locus in terms of dual graphs.
Furthermore, we treat moduli spaces of curves with a G-cover where G is any finite group.
In particular for G=S3 we approach the evaluation of the Kodaira dimension of the moduli
space, and present the remaining obstacles to compute it.
Venerdì 27 ottobre 2017
Ore 09:30, aula Marconi, C.N.R. piazzale Aldo Moro 7
Giornata F.I.M.A. - Federazione Italiana di Matematica Applicata
10:00 Fabio Schoen, Università di Firenze
10:30 Renzo Ricca, Milano Bicocca
11:00 Silvio Ghilardi, Università di Milano
11:30 Giuseppe Piccardo, Università di Genova
12:00 Emanuele Borgonovo, Bocconi (Milano)
12:30 Elena Bonetti, Università di Milano
14:30 Antonio De Simone, SISSA (Trieste)
15:00 Laura Palagi, Sapienza Università di Roma
15:30 Michele Tumminello, Università di Palermo
16:00 Hykel Hosni, Università di Milano
Venerdì 27 ottobre 2017
Ore 12:00, aula di Consiglio
seminari MoMa
Barbara Mazzolai
New frontiers in biology based robotics
Can Nature improve technology? What is the link between living
systems and robots? Robots today are expected to operate in a variety
of scenarios, being able to cope with uncertain situations and to
react quickly to changes in the environment. In this scenario a strong
relationship between Nature and technology plays a major role, with the
winning approach of evaluating natural systems to abstract principles
for new designs. Bioinspired soft robotics is a worldwide known paradigm
to develop new solutions for science and technology, giving way to a
series of innovative robotic solutions assisting and supporting today's
society. A bioinspired approach needs a deep understanding of the selected
biological models in order to extract the key features relevant for
designing robotic systems able to imitate the biological counterpart
in some specific functions. Such biological principles traditionally
originate from animal models for robots that can walk, swim, crawl,
or fly. Recently, engineers, material and computer scientists have also
increased their interest in plants, as a new model for developing robots
and ICT solutions. In this talk I will present some scientific and
technological challenges coming from both animals and plants. I will
compare ideas, biological features, and technological translations
coming from these two Kingdoms and related to areas of interest in
robotics: movement, sensing and control.
Tutte le informazioni relative a questo notiziario devono pervenire
esclusivamente all'indirizzo di posta elettronica
seminari@mat.uniroma1.it
entro le ore 24 del giovedì precedente la settimana interessata.
Le comunicazioni pervenute in ritardo potranno essere ignorate.
Tutti coloro che desiderano ricevere questo notiziario via e-mail sono
invitati a comunicare il proprio indirizzo di posta elettronica a
seminari@mat.uniroma1.it.
Il Direttore