Lefschetz theorems for the integral leaves of a holomorphic one-form
Subspaces of moduli spaces of rank one local systems
Verifica automatica del ragionamento matematico
Controllare la correttezza di un ragionamento matematico, quando questo sia completamente formalizzato, è un compito che può essere delegato ad una macchina. Nasce in questo modo la Matematica Verificata al Calcolatore, una disciplina prossima alla forse più nota Dimostrazione Automatica dei Teoremi, ma da questa distinta permetodologie e obiettivi. Questo articolo si propone di presentare la verifica automatica delle dimostrazioni e di offrire alcuni spunti di riflessione sulle possibili implicazioni...
Variations of mixed Hodge structure attached to the deformation theory of a complex variation of Hodge structures
Let be a compact Kähler manifold, be a base point and be the monodromy representation of a -VHS. Building on Goldman–Millson’s classical work, we construct a mixed Hodge structure on the complete local ring of the representation variety at and a variation of mixed Hodge structures whose monodromy is the universal deformation of .
Moduli of representations of the fundamental group of a smooth projective variety I
Moduli of representations of the fundamental group of a smooth projective variety II
Higgs bundles and local systems
Page 1