Search results for " differential geometry"
showing 10 items of 148 documents
The X-Ray Transform for Connections in Negative Curvature
2016
We consider integral geometry inverse problems for unitary connections and skew-Hermitian Higgs fields on manifolds with negative sectional curvature. The results apply to manifolds in any dimension, with or without boundary, and also in the presence of trapped geodesics. In the boundary case, we show injectivity of the attenuated ray transform on tensor fields with values in a Hermitian bundle (i.e. vector valued case). We also show that a connection and Higgs field on a Hermitian bundle are determined up to gauge by the knowledge of the parallel transport between boundary points along all possible geodesics. The main tools are an energy identity, the Pestov identity with a unitary connect…
Algebraicity of analytic maps to a hyperbolic variety
2018
Let $X$ be an algebraic variety over $\mathbb{C}$. We say that $X$ is Borel hyperbolic if, for every finite type reduced scheme $S$ over $\mathbb{C}$, every holomorphic map $S^{an}\to X^{an}$ is algebraic. We use a transcendental specialization technique to prove that $X$ is Borel hyperbolic if and only if, for every smooth affine curve $C$ over $\mathbb{C}$, every holomorphic map $C^{an}\to X^{an}$ is algebraic. We use the latter result to prove that Borel hyperbolicity shares many common features with other notions of hyperbolicity such as Kobayashi hyperbolicity.
Counting and equidistribution in quaternionic Heisenberg groups
2020
AbstractWe develop the relationship between quaternionic hyperbolic geometry and arithmetic counting or equidistribution applications, that arises from the action of arithmetic groups on quaternionic hyperbolic spaces, especially in dimension 2. We prove a Mertens counting formula for the rational points over a definite quaternion algebra A over ${\mathbb{Q}}$ in the light cone of quaternionic Hermitian forms, as well as a Neville equidistribution theorem of the set of rational points over A in quaternionic Heisenberg groups.
On the stability of flat complex vector bundles over parallelizable manifolds
2017
We investigate the flat holomorphic vector bundles over compact complex parallelizable manifolds $G / \Gamma$, where $G$ is a complex connected Lie group and $\Gamma$ is a cocompact lattice in it. The main result proved here is a structure theorem for flat holomorphic vector bundles $E_\rho$ associated to any irreducible representation $\rho : \Gamma \rightarrow \text{GL}(r,{\mathbb C})$. More precisely, we prove that $E_{\rho}$ is holomorphically isomorphic to a vector bundle of the form $E^{\oplus n}$, where $E$ is a stable vector bundle. All the rational Chern classes of $E$ vanish, in particular, its degree is zero. We deduce a stability result for flat holomorphic vector bundles $E_{\r…
Gradient estimates for heat kernels and harmonic functions
2020
Let $(X,d,\mu)$ be a doubling metric measure space endowed with a Dirichlet form $\E$ deriving from a "carr\'e du champ". Assume that $(X,d,\mu,\E)$ supports a scale-invariant $L^2$-Poincar\'e inequality. In this article, we study the following properties of harmonic functions, heat kernels and Riesz transforms for $p\in (2,\infty]$: (i) $(G_p)$: $L^p$-estimate for the gradient of the associated heat semigroup; (ii) $(RH_p)$: $L^p$-reverse H\"older inequality for the gradients of harmonic functions; (iii) $(R_p)$: $L^p$-boundedness of the Riesz transform ($p<\infty$); (iv) $(GBE)$: a generalised Bakry-\'Emery condition. We show that, for $p\in (2,\infty)$, (i), (ii) (iii) are equivalent, wh…
Conformal invariance of the writhe of a knot
2008
We give a new proof of an old theorem by Banchoff and White 1975 that claims that the writhe of a knot is conformally invariant.
The Bianchi variety
2010
The totality Lie(V) of all Lie algebra structures on a vector space V over a field F is an algebraic variety over F on which the group GL(V) acts naturally. We give an explicit description of Lie(V) for dim V=3 which is based on the notion of compatibility of Lie algebra structures.
Pseudodifferential operators on manifolds with a Lie structure at infinity
2003
to appear in Anal. Math.; Several examples of non-compact manifolds $M_0$ whose geometry at infinity is described by Lie algebras of vector fields $V \subset \Gamma(TM)$ (on a compactification of $M_0$ to a manifold with corners $M$) were studied by Melrose and his collaborators. In math.DG/0201202 and math.OA/0211305, the geometry of manifolds described by Lie algebras of vector fields -- baptised "manifolds with a Lie structure at infinity" there -- was studied from an axiomatic point of view. In this paper, we define and study the algebra $\Psi_{1,0,\VV}^\infty(M_0)$, which is an algebra of pseudodifferential operators canonically associated to a manifold $M_0$ with the Lie structure at …
Partial data inverse problems for the Hodge Laplacian
2017
We prove uniqueness results for a Calderon type inverse problem for the Hodge Laplacian acting on graded forms on certain manifolds in three dimensions. In particular, we show that partial measurements of the relative-to-absolute or absolute-to-relative boundary value maps uniquely determine a zeroth order potential. The method is based on Carleman estimates for the Hodge Laplacian with relative or absolute boundary conditions, and on the construction of complex geometric optics solutions which reduce the Calderon type problem to a tensor tomography problem for 2-tensors. The arguments in this paper allow to establish partial data results for elliptic systems that generalize the scalar resu…
Algebraic models of the Euclidean plane
2018
We introduce a new invariant, the real (logarithmic)-Kodaira dimension, that allows to distinguish smooth real algebraic surfaces up to birational diffeomorphism. As an application, we construct infinite families of smooth rational real algebraic surfaces with trivial homology groups, whose real loci are diffeomorphic to $\mathbb{R}^2$, but which are pairwise not birationally diffeomorphic. There are thus infinitely many non-trivial models of the euclidean plane, contrary to the compact case.