The Hitchin map for one-nodal base curves of compact type

Studying moduli spaces of semistable Higgs bundles (E, \phi) of rank n on a smooth curve C, a key role is played by the spectral curve X (Hitchin), because an important result by Beauville-Narasimhan-Ramanan allows us to study isomorphism classes of such Higgs bundles in terms of isomorphism classes of rank-1 torsion-free sheaves on X. This way, the generic fibre of the Hitchin map, which associates to any semistable Higgs bundle the coefficients of the characteristic polynomial of \phi, is isomorphic to the Jacobian of X. Focusing on rank-2 Higgs data, this construction was extended by Barik to the case in which the curve C is reducible, one-nodal, having two smooth components. Such curve is called of compact type because its Picard group is compact. In this work, we describe and clarify the main points of the construction by Barik and we give examples, especially concerning generic fibres of the Hitchin map. Referring to Hausel-Pauly, we consider the case of SL(2,C)-Higgs bundles on a smooth base curve, which are such that the generic fibre of the Hitchin map is a subvariety of the Jacobian of X, the Prym variety. We recall the description of special loci, called endoscopic loci, such that the associated Prym variety is not connected. Then, letting G be an affine reductive group having underlying Lie algebra so(4,C), we consider G-Higgs bundles on a smooth base curve. Starting from the construction by Bradlow-Schaposnik, we discuss the associated endoscopic loci. By adapting these studies to a one-nodal base curve of compact type, we describe the fibre of the SL(2,C)-Hitchin map and of the G-Hitchin map, together with endoscopic loci. In the Appendix, we give an interpretation of generic spectral curves in terms of families of double covers.

A model and an algebra for semi-structured and full-text queries

The need for a convergence between semi-structured data management and Information Retrieval techniques is manifest to the scientific community. In order to fulfil this growing request, W3C has recently proposed XQuery Full Text, an IR-oriented extension of XQuery. However, the issue of query optimization requires the study of important properties like query equivalence and containment; to this aim, a formal representation of document and queries is needed. The goal of this thesis is to establish such formal background. We define a data model for XML documents and propose an algebra able to represent most of XQuery Full-Text expressions. We show how an XQuery Full-Text expression can be translated into an algebraic expression and how an algebraic expression can be optimized.

Maximum principle, mean value operators and quasi boundedness in non-euclidean settings

This work deals with some classes of linear second order partial differential operators with non-negative characteristic form and underlying non- Euclidean structures. These structures are determined by families of locally Lipschitz-continuous vector fields in RN, generating metric spaces of Carnot- Carath´eodory type. The Carnot-Carath´eodory metric related to a family {Xj}j=1,...,m is the control distance obtained by minimizing the time needed to go from two points along piecewise trajectories of vector fields. We are mainly interested in the causes in which a Sobolev-type inequality holds with respect to the X-gradient, and/or the X-control distance is Doubling with respect to the Lebesgue measure in RN. This study is divided into three parts (each corresponding to a chapter), and the subject of each one is a class of operators that includes the class of the subsequent one. In the first chapter, after recalling “X-ellipticity” and related concepts introduced by Kogoj and Lanconelli in [KL00], we show a Maximum Principle for linear second order differential operators for which we only assume a Sobolev-type inequality together with a lower terms summability. Adding some crucial hypotheses on measure and on vector fields (Doubling property and Poincar´e inequality), we will be able to obtain some Liouville-type results. This chapter is based on the paper [GL03] by Guti´errez and Lanconelli. In the second chapter we treat some ultraparabolic equations on Lie groups. In this case RN is the support of a Lie group, and moreover we require that vector fields satisfy left invariance. After recalling some results of Cinti [Cin07] about this class of operators and associated potential theory, we prove a scalar convexity for mean-value operators of L-subharmonic functions, where L is our differential operator. In the third chapter we prove a necessary and sufficient condition of regularity, for boundary points, for Dirichlet problem on an open subset of RN related to sub-Laplacian. On a Carnot group we give the essential background for this type of operator, and introduce the notion of “quasi-boundedness”. Then we show the strict relationship between this notion, the fundamental solution of the given operator, and the regularity of the boundary points.

Lie symmetries in cortical inspired CNNs

Our scope in this thesis is to propose architectures of CNNs in such a way to model the early visual pathway, including the Lateral Geniculate Nucleus and the Horizontal Connectivity of the primary visual cortex. Moreover, we will show how cortically inspired architectures allow to perform contrast perceptual invariance as well as grouping and the emergence of visual percepts. Particularly, the LGN is modeled with a first layer l0 containing a single filter Ψ0 that pre-filters the image I. Since the RPs of the LGN cells can be modeled as a LoG, we expect to obtain a radially symmetric filter with a similar shape; to this end, we prove the rotational invariance of Ψ0 and we study the influence of this filter to the subsequent layer. Indeed, we compare the statistic distribution of the filters in the second layer l1 of our architecture with the statistic distribution of the RPs of V1 cells of a macaque. Then, we model the horizontal connectivity of V1 implementing a transition kernel K1 to the layer l1. In this setting, we study the vector fields and the association fields induced by the connectivity kernel K1. To this end, we first approximate the filters bank in l1 with a Gabor function and use the parameters just found to re-parameterize the kernel. Thanks to this step, the kernel is now re-parameterized into a sub-Riemmanian space R2 × S1. Now we are able to compare the vector and association fields induced by K1 with the models of the horizontal connectivity.

Potential theory on metric spaces

This work revolves around potential theory in metric spaces, focusing on applications of dyadic potential theory to general problems associated to functional analysis and harmonic analysis. In the first part of this work we consider the weighted dual dyadic Hardy's inequality over dyadic trees and we use the Bellman function method to characterize the weights for which the inequality holds, and find the optimal constant for which our statement holds. We also show that our Bellman function is the solution to a stochastic optimal control problem. In the second part of this work we consider the problem of quasi-additivity formulas for the Riesz capacity in metric spaces and we prove formulas of quasi-additivity in the setting of the tree boundaries and in the setting of Ahlfors-regular spaces. We also consider a proper Harmonic extension to one additional variable of Riesz potentials of functions on a compact Ahlfors-regular space and we use our quasi-additivity formula to prove a result of tangential convergence of the harmonic extension of the Riesz potential up to an exceptional set of null measure