SearcharxivSearch

arXiv subjects

Paolo Antonini

Publications and source records attributed to Paolo Antonini.

16 recordsLinked to original sources

On the equivalence of the integrability obstructions for transitive Lie algebroids

The integrability problem for transitive Lie algebroids can be looked at from different perspectives, revealing an interplay between cohomological methods and homotopical constructions. Mackenzie introduced a cohomological obstruction defined via sheaf-theoretic methods. On the other hand, Crainic and Fernandes used a path space approach and characterized integrability in terms of the monodromy. Recently, Meinrenken formulated the monodromy in terms of a clutching construction. We show that all of these agree. In particular, we identify the monodromy map with the Mackenzie obstruction class through the natural pairing between cohomology and homotopy.

math.DG

Optimal transport between algebraic hypersurfaces

What is the optimal way to deform a projective hypersurface into another one? In this paper we will answer this question adopting the point of view of measure theory, introducing the optimal transport problem between complex algebraic projective hypersurfaces. First, a natural topological embedding of the space of hypersurfaces of a given degree into the space of measures on the projective space is constructed. Then, the optimal transport problem between hypersurfaces is defined through a constrained dynamical formulation, minimizing the energy of absolutely continuous curves which lie on the image of this embedding. In this way an inner Wasserstein distance on the projective space of homogeneous polynomials is introduced. This distance is finer than the Fubini-Study one. The innner Wasserstein distance is complete and geodesic: geodesics corresponds to optimal deformations of one algebraic hypersurface into another one. Outside the discriminant this distance is induced by a smooth Riemannian metric, which is the real part of an explicit Hermitian structure. Moreover, this Hermitian structure is Kähler and the corresponding metric is of Weil-Petersson type. To prove these results we develop new techniques, which combine complex and symplectic geometry with optimal transport, and which we expect to be relevant on their own. We discuss applications on the regularity of the zeroes of a family of multivariate polynomials and on the condition number of polynomial systems solving.

math.DG

A proof of the Hamiltonian Thom Isotopy Lemma

In this note we present a complete proof of the fact that all the submanifolds of a one parameter family of compact symplectic submanifolds inside a compact symplectic manifold are Hamiltonian isotopic.

math.SG

Geometry of Grassmannians and optimal transport of quantum states

Let $\mathsf{H}$ be a separable Hilbert space. We prove that the Grassmannian $\mathsf{P}_c(\mathsf{H})$ of the finite dimensional subspaces of $\mathsf{H}$ is an Alexandrov space of nonnegative curvature and we employ its metric geometry to develop the theory of optimal transport for the normal states of the von Neumann algebra of linear and bounded operators $\mathsf{B}(\mathsf{H})$. Seeing density matrices as discrete probability measures on $\mathsf{P}_c(\mathsf{H})$ (via the spectral theorem) we define an optimal transport cost and the Wasserstein distance for normal states. In particular we obtain a cost which induces the $w^*$-topology. Our construction is compatible with the quantum mechanics approach of composite systems as tensor products $\mathsf{H}\otimes \mathsf{H}$. We provide indeed an interpretation of the pure normal states of $\mathsf{B}(\mathsf{H}\otimes \mathsf{H})$ as families of transport maps. This also defines a Wasserstein cost for the pure normal states of $\mathsf{B}(\mathsf{H}\otimes \mathsf{H})$, reconciling with our proposal.

math.DG

Strong Novikov conjecture for low degree cohomology and exotic group C*-algebras

We strengthen a result of Hanke-Schick about the strong Novikov conjecture for low degree cohomology by showing that their non-vanishing result for the maximal group C*-algebra holds for many other exotic group C*-algebras, in particular the one associated to the smallest strongly Morita compatible and exact crossed product functor used in the new version of the Baum-Connes conjecture. To achieve this we provide a Fell absorption principle for certain exotic crossed product functors.

math.KT

The Baum--Connes conjecture localised at the unit element of a discrete group

We construct a Baum--Connes assembly map localised at the unit element of a discrete group $Γ$. This morphism, called $μ_τ$, is defined in $KK$-theory with coefficients in $\mathbb{R}$ by means of the action of the projection $[τ]\in KK_{\mathbb{R}}^Γ(\mathbb{C},\mathbb{C})$ canonically associated to the group trace of $Γ$. We show that the corresponding $τ$-Baum--Connes conjecture is weaker then the classical one but still implies the strong Novikov conjecture. The right hand side of $μ_τ$ is functorial with respect to the group $Γ$.

math.OA

Integrable lifts for transitive Lie algebroids

Inspired by the work of Molino, we show that the integrability obstruction for transitive Lie algebroids can be made to vanish by adding extra dimensions. In particular, we prove that the Weinstein groupoid of a non-integrable transitive and abelian Lie algebroid, is the quotient of a finite dimensional Lie groupoid. Two constructions as such are given: First, explaining the counterexample to integrability given by Almeida and Molino, we see that it can be generalized to the construction of an "Almeida-Molino" integrable lift when the base manifold is simply connected. On the other hand, we notice that the classical de Rham isomorphism provides a universal integrable algebroid. Using it we construct a "de Rham" integrable lift for any given transitive Abelian Lie algebroid.

math.DG

Bivariant $K$-theory with $R/Z$-coefficients and rho classes of unitary representations

We construct equivariant $KK$-theory with coefficients in $\mathbb{R}$ and $\mathbb{R}/\mathbb{Z}$ as suitable inductive limits over ${\rm II}_1$-factors. We show that the Kasparov product, together with its usual functorial properties, extends to $KK$-theory with real coefficients. Let $Γ$ be a group. We define a $Γ$-algebra $A$ to be $K$-theoretically free and proper (KFP) if the group trace ${\bf tr}$ of $Γ$ acts as the unit element in $KK^Γ_{\mathbb{R}}(A,A)$. We show that free and proper $Γ$-algebras (in the sense of Kasparov) have the (KFP) property. Moreover, if $Γ$ is torsion free and satisfies the $KK^Γ$-form of the Baum-Connes conjecture, then every $Γ$-algebra satisfies (KFP). If $α:Γ\to U_n$ is a unitary representation and $A$ satisfies property (KFP), we construct in a canonical way a rho class $ρ_α^A\in KK_{\mathbb{R}/\mathbb{Z}}^{1,Γ}(A,A)$. This construction generalizes the Atiyah-Patodi-Singer $K$-theory class with $\mathbb{R}/\mathbb{Z}$ coefficients associated to $α$.

math.OA

Flat bundles, von Neumann algebras and $K$-theory with $\R/\Z$-coefficients

Let $M$ be a closed manifold and $α: π_1(M)\to U_n$ a representation. We give a purely $K$-theoretic description of the associated element $[α]$ in the $K$-theory of $M$ with $\R/\Z$-coefficients. To that end, it is convenient to describe the $\R/\Z$-$K$-theory as a relative $K$-theory with respect to the inclusion of $\C$ in a finite von Neumann algebra $B$. We use the following fact: there is, associated with $α$, a finite von Neumann algebra $B$ together with a flat bundle $\cE\to M$ with fibers $B$, such that $E_\a\otimes \cE$ is canonically isomorphic with $\C^n\otimes \cE$, where $E_α$ denotes the flat bundle with fiber $\C^n$ associated with $α$. We also discuss the spectral flow and rho type description of the pairing of the class $[α]$ with the $K$-homology class of an elliptic selfadjoint (pseudo)-differential operator $D$ of order 1.

math.OA

The Calderon projection over C* algebras

We construct the Calderon projection on the space of Cauchy datas for a twisted Dirac operator in the Mischenko--Fomenko pseudodifferential calculus for operators acting on bundles of finitely generated $C^*$--Hilbert modules on a compact manifold with boundary. In particular an invertible double is constructed generalizing the classical result.

math.DG

The A.P.S. signature formula for measured foliations

We define the Analytical signature, the Hodge signature and the de Rham signature for a foliated manifold with boundary with foliation transverse to the boundary. We show that all these signatures coincide and a Hirzebruch formula is valid.

math.DG

The Atiyah Patodi Singer index formula for measured foliations

Let $X_0$ be a compact Riemannian manifold with boundary endowed with a oriented, measured even dimensional foliation with purely transverse boundary. Let $X$ be the manifold with cylinder attached and extended foliation. We prove that the $L^2$--measured index of a Dirac type operator is well defined and the following Atiyah Patodi Singer index formula is true $$ind_{L^2,Λ}(D^+) = <\widehat{A}(X,\nabla)Ch(E/S),C_Λ> + 1/2[η_Λ(D^{\mathcal{F}_\partial}) - h^+_Λ+ h^-_Λ].$$ Here $Λ$ is a holonomy invariant transverse measure, $η_Λ(D^{\mathcal{F}_{\partial}})$ is the Ramachandran eta invariant \cite{Rama} of the leafwise boundary operator and the $Λ$--dimensions $h^\pm_Λ$ of the space of the limiting values of extended solutions is suitably defined using square integrable representations of the equivalence relation of the foliation with values on weighted Sobolev spaces on the leaves.

math.DG

The Atiyah Patodi Singer signature formula for measured foliations

Let $(X_0,\mathcal{F}_0) $ be a compact manifold with boundary endowed with a foliation $\mathcal{F}_0$ which is assumed to be measured and transverse to the boundary. We denote by $Λ$ a holonomy invariant transverse measure on $(X_0,\mathcal{F}_0) $ and by $\mathcal{R}_0$ the equivalence relation of the foliation. Let $(X,\mathcal{F})$ be the corresponding manifold with cylindrical end and extended foliation with equivalence relation $\mathcal{R}$. In the first part of this work we prove a formula for the $L^2$-$Λ$ index of a longitudinal Dirac-type operator $D^{\mathcal{F}}$ on $X$ in the spirit of Alain Connes' non commutative geometry $ind_{L^2,Λ}(D^{\mathcal{F},+}) = <\hat{A}(T\mathcal{F})Ch(E/S),C_Λ> + 1/2[η_Λ(D^{\mathcal{F}_\partial}) - h^+_Λ + h^-_Λ].$

math.DG