Source author record

Francesco D'Andrea

Francesco D'Andrea appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

29works
11topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

29 published item(s)

preprint2025arXiv

Pullback of quantum principal bundles

We introduce an abstract framework of Cartesian squares beyond the context of fiber products, and use it to extend the notion of pullback from classical to compact quantum principal bundles. Based only on our abstract notion of a Cartesian square, we extend key concepts of Equivariant Topology, such as the pullback of a family of group actions, orbit spaces, slices and global sections, change of base and structure group, free actions, and the groupoid of compact principal bundles. Finally, we embed the thus extended Equivariant Topology inside the 2-category of Grothendieck categories in such a way that our notion of a Cartesian square becomes the appropriate Beck-Chevalley condition.

preprint2022arXiv

Tolerance Relations and Quantization

It is well known that "bad" quotient spaces (typically: non-Hausdorff) can be studied by associating to them the groupoid C*-algebra of an equivalence relation, that in the "nice" cases is Morita equivalent to the C*-algebra of continuous functions vanishing at infinity on the quotient space. It was recently proposed by A. Connes and W.D. van Suijlekom that a similar procedure for relations that are reflexive and symmetric but fail to be transitive (i.e. tolerance relations) leads to an operator system. In this paper we observe that such an operator system carries a natural product that, although in general non-associative, arises in a number of relevant examples. We relate this product to truncations of (C*-algebras of) topological spaces, discuss some geometric aspects and a connection with positive operator valued measures.

preprint2021arXiv

The K-theory type of quantum CW-complexes

The multipullback quantization of complex projective spaces lacks the naive quantum CW-complex structure because the quantization of an embedding of the $n$-skeleton into the $(n+1)$-skeleton does not exist. To overcome this difficulty, we introduce the framework of cw-Waldhausen categories, which includes the concept of weak equivalences leading to the notion of a finite weak quantum CW-complex in the realm of unital C*-algebras. Here weak equivalences are unital $*$-homomorphisms that induce an isomorphism on K-theory. Better still, we construct a noncommutative counterpart of the cup product in K-theory, which is equivalent to its standard version in the classical case. To this end, we define k-topology, a noncommutative version of Grothendieck topology with covering families given by compact principal bundles and bases related by continuous maps, which leads to the much desired idea of multiplicative K-theory for noncommutative C*-algebras. Combining this with cw-Waldhausen structure on the category of compact quantum spaces, we arrive at the multiplicative K-theory type of finite weak quantum CW-complexes. We show that non-isomorphic quantizations of the standard CW-complex structure of a complex projective space enjoy the same multiplicative K-theory type admitting a noncommutative generalization of the Atiyah--Todd calculation of the K-theory ring in terms of truncated polynomials.

preprint2020arXiv

A dual formula for the spectral distance in noncommutative geometry

In noncommutative geometry, Connes's spectral distance is an extended metric on the state space of a C*-algebra generalizing Kantorovich's dual formula of the Wasserstein distance of order 1 from optimal transport. It is expressed as a supremum. We present a dual formula - as an infimum - generalizing Beckmann's "dual of the dual" formulation of the Wasserstein distance. We then discuss some examples with matrix algebras, where such a dual formula may be useful to obtain upper bounds for the distance.

preprint2020arXiv

On the Notion of Noncommutative Submanifold

We review the notion of submanifold algebra, as introduced by T. Masson, and discuss some properties and examples. A submanifold algebra of an associative algebra $A$ is a quotient algebra $B$ such that all derivations of $B$ can be lifted to $A$. We will argue that in the case of smooth functions on manifolds every quotient algebra is a submanifold algebra, derive a topological obstruction when the algebras are deformation quantizations of symplectic manifolds, present some (commutative and noncommutative) examples and counterexamples.

preprint2016arXiv

Some remarks on K-lattices and the Adelic Heisenberg Group for CM curves

We define an adelic version of a CM elliptic curve $E$ which is equipped with an action of the profinite completion of the endomorphism ring of $E$. The adelic elliptic curve so obtained is provided with a natural embedding into the adelic Heisenberg group. We embed into the adelic Heisenberg group the set of commensurability classes of arithmetic $1$-dimensional $\mathbb{K}$-lattices (here and subsequently, $\mathbb{K}$ denotes a quadratic imaginary number field) and define theta functions on it. We also embed the groupoid of commensurability modulo dilations into the union of adelic Heisenberg groups relative to a set of representatives of elliptic curves with $R$-multiplication ($R$ is the ring of algebraic integers of $\mathbb{K}$). We thus get adelic theta functions on the set of $1$-dimensional $\mathbb{K}$-lattices and on the groupoid of commensurability modulo dilations. Adelic theta functions turn out to be acted by the adelic Heisenberg group and behave nicely under complex automorphisms (Theorems 6.12 and 6.14).

preprint2016arXiv

The Standard Model in Noncommutative Geometry and Morita equivalence

We discuss some properties of the spectral triple $(A_F,H_F,D_F,J_F,γ_F)$ describing the internal space in the noncommutative geometry approach to the Standard Model, with $A_F=\mathbb{C}\oplus\mathbb{H}\oplus M_3(\mathbb{C})$. We show that, if we want $H_F$ to be a Morita equivalence bimodule between $A_F$ and the associated Clifford algebra, two terms must be added to the Dirac operator; we then study its relation with the orientability condition for a spectral triple. We also illustrate what changes if one considers a spectral triple with a degenerate representation, based on the complex algebra $B_F=\mathbb{C}\oplus M_2(\mathbb{C})\oplus M_3(\mathbb{C})$.

preprint2016arXiv

Wick Rotation and Fermion Doubling in Noncommutative Geometry

In this paper, we discuss two features of the noncommmutative geometry and spectral action approach to the Standard Model: the fact that the model is inherently Euclidean, and that it requires a quadrupling of the fermionic degrees of freedom. We show how the two issues are intimately related. We give a precise prescription for the Wick rotation from the Euclidean theory to the Lorentzian one, eliminating the extra degrees of freedom. This requires not only projecting out mirror fermions, as has been done so far, and which leads to the correct Pfaffian, but also the elimination of the remaining extra degrees of freedom. The remaining doubling has to be removed in order to recover the correct Fock space of the physical (Lorentzian) theory. In order to get a Spin(1,3) invariant Lorentzian theory from a Spin(4) invariant Euclidean theory such an elimination must be performed after the Wick rotation. Differences between the Euclidean and Lorentzian case are described in detail, in a pedagogical way.

preprint2015arXiv

Quantum weighted projective and lens spaces

We generalize to quantum weighted projective spaces in any dimension previous results of us on K-theory and K-homology of quantum projective spaces `tout court'. For a class of such spaces, we explicitly construct families of Fredholm modules, both bounded and unbounded (that is spectral triples), and prove that they are linearly independent in the K-homology of the corresponding C*-algebra. We also show that the quantum weighted projective spaces are base spaces of quantum principal circle bundles whose total spaces are quantum lens spaces. We construct finitely generated projective modules associated with the principal bundles and pair them with the Fredholm modules, thus proving their non-triviality.

preprint2015arXiv

Topics in Noncommutative Geometry

The leitmotiv of this review is noncommutative principal U(1)-bundles and associated line bundles. In the first part I give a brief introduction to Hopf-Galois theory and its applications, from field extensions to principal group actions. I then recall Woronowicz' definition of compact quantum group and the notion of noncommutative principal bundle. When the structure group is U(1), there is a construction due to Pimsner that allows to get the total space of a "bundle" (more precisely, a strongly graded C*-algebra) from the base space and a noncommutative "line bundle" (a self-Morita equivalence bimodule). As an example of this construction, I will discuss the U(1)-principal bundles of quantum lens spaces over quantum weighted projective space. The second part is a peek into the realm of nonassociative geometry: after a review of some properties of Hopf cochains and cocycles, I will discuss the theory of cochain quantization and its applications, from Albuquerque-Majid example of octonions, to "line bundles" on the noncommutative torus.

preprint2014arXiv

Anti-selfdual Connections On The Quantum Projective Plane: Instantons

We study one-instantons, that is anti-selfdual connections with instanton number 1, on the quantum projective plane with orientation which is reversed with respect to the usual one. The orientation is fixed by a suitable choice of a basis element for the rank 1 free bimodule of top forms. The noncommutative family of solutions is foliated, each non-singular leaves being isomorphic to the quantum projective plane itself.

preprint2014arXiv

Deformations of the Canonical Commutation Relations and Metric Structures

Using Connes distance formula in noncommutative geometry, it is possible to retrieve the Euclidean distance from the canonical commutation relations of quantum mechanics. In this note, we study modifications of the distance induced by a deformation of the position-momentum commutation relations. We first consider the deformation coming from a cut-off in momentum space, then the one obtained by replacing the usual derivative on the real line with the h- and q-derivatives, respectively. In these various examples, some points turn out to be at infinite distance. We then show (on both the real line and the circle) how to approximate points by extended distributions that remain at finite distance. On the circle, this provides an explicit example of computation of the Wasserstein distance.

preprint2014arXiv

Matrix Geometries Emergent from a Point

We describe a categorical approach to finite noncommutative geometries. Objects in the category are spectral triples, rather than unitary equivalence classes as in other approaches. This enables to treat fluctuations of the metric and unitary equivalences on the same footing, as representatives of particular morphisms in this category. We then show how a matrix geometry (Moyal plane) emerges as a fluctuation from one point, and discuss some geometric aspects of this space.

preprint2014arXiv

Spectral geometry with a cut-off: topological and metric aspects

Inspired by regularization in quantum field theory, we study topological and metric properties of spaces in which a cut-off is introduced. We work in the framework of noncommutative geometry, and focus on Connes distance associated to a spectral triple (A, H, D). A high momentum (short distance) cut-off is implemented by the action of a projection P on the Dirac operator D and/or on the algebra A. This action induces two new distances. We individuate conditions making them equivalent to the original distance. We also study the Gromov-Hausdorff limit of the set of truncated states, first for compact quantum metric spaces in the sense of Rieffel, then for arbitrary spectral triples. To this aim, we introduce a notion of "state with finite moment of order 1" for noncommutative algebras. We then focus on the commutative case, and show that the cut-off induces a minimal length between points, which is infinite if P has finite rank. When P is a spectral projection of $D$, we work out an approximation of points by non-pure states that are at finite distance from each other. On the circle, such approximations are given by Fejer probability distributions. Finally we apply the results to Moyal plane and the fuzzy sphere, obtained as Berezin quantization of the plane and the sphere respectively.

preprint2013arXiv

Quantum gauge symmetries in Noncommutative Geometry

We discuss generalizations of the notion of i) the group of unitary elements of a (real or complex) finite dimensional C*-algebra, ii) gauge transformations and iii) (real) automorphisms, in the framework of compact quantum group theory and spectral triples. The quantum analogue of these groups are defined as universal (initial) objects in some natural categories. After proving the existence of the universal objects, we discuss several examples that are of interest to physics, as they appear in the noncommutative geometry approach to particle physics: in particular, the C*-algebras M_n(R), M_n(C) and M_n(H), describing the finite noncommutative space of the Einstein-Yang-Mills systems, and the algebras A_F=C+H+M_3(C) and A^{ev}=H+H+M_4(C), that appear in Chamseddine-Connes derivation of the Standard Model of particle physics minimally coupled to gravity. As a byproduct, we identify a "free" version of the symplectic group Sp(n) (quaternionic unitary group).

preprint2012arXiv

On Pythagoras' theorem for products of spectral triples

We discuss a version of Pythagoras theorem in noncommutative geometry. Usual Pythagoras theorem can be formulated in terms of Connes' distance, between pure states, in the product of commutative spectral triples. We investigate the generalization to both non pure states and arbitrary spectral triples. We show that Pythagoras theorem is replaced by some Pythagoras inequalities, that we prove for the product of arbitrary (i.e. non-necessarily commutative) spectral triples, assuming only some unitality condition. We show that these inequalities are optimal, and provide non-unital counter-examples inspired by K-homology.

preprint2011arXiv

Quantum Isometries of the finite noncommutative geometry of the Standard Model

We compute the quantum isometry group of the finite noncommutative geometry F describing the internal degrees of freedom in the Standard Model of particle physics. We show that this provides genuine quantum symmetries of the spectral triple corresponding to M x F where M is a compact spin manifold. We also prove that the bosonic and fermionic part of the spectral action are preserved by these symmetries.

preprint2011arXiv

The spectral distance on the Moyal plane

We study the noncommutative geometry of the Moyal plane from a metric point of view. Starting from a non compact spectral triple based on the Moyal deformation A of the algebra of Schwartz functions on R^2, we explicitly compute Connes' spectral distance between the pure states of A corresponding to eigenfunctions of the quantum harmonic oscillator. For other pure states, we provide a lower bound to the spectral distance, and show that the latest is not always finite. As a consequence, we show that the spectral triple [20] is not a spectral metric space in the sense of [5]. This motivates the study of truncations of the spectral triple, based on M_n(C) with arbitrary integer n, which turn out to be compact quantum metric spaces in the sense of Rieffel. Finally the distance is explicitly computed for n=2.

preprint2010arXiv

A View on Optimal Transport from Noncommutative Geometry

We discuss the relation between the Wasserstein distance of order 1 between probability distributions on a metric space, arising in the study of Monge-Kantorovich transport problem, and the spectral distance of noncommutative geometry. Starting from a remark of Rieffel on compact manifolds, we first show that on any - i.e. non-necessary compact - complete Riemannian spin manifolds, the two distances coincide. Then, on convex manifolds in the sense of Nash embedding, we provide some natural upper and lower bounds to the distance between any two probability distributions. Specializing to the Euclidean space $R^n$, we explicitly compute the distance for a particular class of distributions generalizing Gaussian wave packet. Finally we explore the analogy between the spectral and the Wasserstein distances in the noncommutative case, focusing on the standard model and the Moyal plane. In particular we point out that in the two-sheet space of the standard model, an optimal-transport interpretation of the metric requires a cost function that does not vanish on the diagonal. The latest is similar to the cost function occurring in the relativistic heat equation.

preprint2010arXiv

Anti-selfdual Connections on the Quantum Projective Plane: Monopoles

We present several results on the geometry of the quantum projective plane CP2q. They include: explicit generators for the K-theory and the K-homology; a real calculus with a Hodge star operator; anti-selfdual connections on line bundles with explicit computation of the corresponding 'monopoles' and 'instanton' charges; complete diagonalization of gauged Laplacians on these line bundles; quantum invariants via equivariant K-theory and q-indices.

preprint2003arXiv

Comparison of relativity theories with observer-independent scales of both velocity and length/mass

We consider the two most studied proposals of relativity theories with observer-independent scales of both velocity and length/mass: the one discussed by Amelino-Camelia as illustrative example for the original proposal (gr-qc/0012051) of theories with two relativistic invariants, and an alternative more recently proposed by Magueijo and Smolin (hep-th/0112090). We show that these two relativistic theories are much more closely connected than it would appear on the basis of a naive analysis of their original formulations. In particular, in spite of adopting a rather different formal description of the deformed boost generators, they end up assigning the same dependence of momentum on rapidity, which can be described as the core feature of these relativistic theories. We show that this observation can be used to clarify the concepts of particle mass, particle velocity, and energy-momentum-conservation rules in these theories with two relativistic invariants.