Search results for " mani"

showing 10 items of 623 documents

Universal infinitesimal Hilbertianity of sub-Riemannian manifolds

2019

We prove that sub-Riemannian manifolds are infinitesimally Hilbertian (i.e., the associated Sobolev space is Hilbert) when equipped with an arbitrary Radon measure. The result follows from an embedding of metric derivations into the space of square-integrable sections of the horizontal bundle, which we obtain on all weighted sub-Finsler manifolds. As an intermediate tool, of independent interest, we show that any sub-Finsler distance can be monotonically approximated from below by Finsler ones. All the results are obtained in the general setting of possibly rank-varying structures.

Mathematics - Differential GeometryMetric Geometry (math.MG)Sobolev spaceFunctional Analysis (math.FA)Mathematics - Functional AnalysisRiemannin monistotdifferentiaaligeometriasub-Finsler manifoldMathematics - Metric GeometryDifferential Geometry (math.DG)infinitesimal hilbertianityFOS: MathematicsMathematics::Metric Geometrysub-Riemannian manifoldMathematics::Differential GeometrymonistotfunktionaalianalyysiMathematics::Symplectic Geometry53C23 46E35 53C17 55R25Analysis
researchProduct

Universal cocycles and the graph complex action on homogeneous Poisson brackets by diffeomorphisms

2020

The graph complex acts on the spaces of Poisson bi-vectors $P$ by infinitesimal symmetries. We prove that whenever a Poisson structure is homogeneous, i.e. $P = L_{\vec{V}}(P)$ w.r.t. the Lie derivative along some vector field $\vec{V}$, but not quadratic (the coefficients of $P$ are not degree-two homogeneous polynomials), and whenever its velocity bi-vector $\dot{P}=Q(P)$, also homogeneous w.r.t. $\vec{V}$ by $L_{\vec{V}}(Q)=n\cdot Q$ whenever $Q(P)= Or(\gamma)(P^{\otimes^n})$ is obtained using the orientation morphism $Or$ from a graph cocycle $\gamma$ on $n$ vertices and $2n-2$ edges in each term, then the $1$-vector $\vec{X}=Or(\gamma)(\vec{V}\otimes P^{\otimes^{n-1}})$ is a Poisson co…

Mathematics - Differential GeometryPhysicsNuclear and High Energy PhysicsRadiationFOS: Physical sciencesMathematical Physics (math-ph)Atomic and Molecular Physics and OpticsAction (physics)CohomologyOrientation (vector space)CombinatoricsPoisson bracketDifferential Geometry (math.DG)Mathematics - Symplectic GeometryPoisson manifoldMathematics - Quantum AlgebraHomogeneous spaceLie algebraFOS: MathematicsCosetSymplectic Geometry (math.SG)Quantum Algebra (math.QA)Radiology Nuclear Medicine and imagingMathematical Physics
researchProduct

Tensor tomography on Cartan–Hadamard manifolds

2017

We study the geodesic X-ray transform on Cartan-Hadamard manifolds, and prove solenoidal injectivity of this transform acting on functions and tensor fields of any order. The functions are assumed to be exponentially decaying if the sectional curvature is bounded, and polynomially decaying if the sectional curvature decays at infinity. This work extends the results of Lehtonen (2016) to dimensions $n \geq 3$ and to the case of tensor fields of any order.

Mathematics - Differential GeometryPure mathematicsGeodesic01 natural sciencesTheoretical Computer ScienceTensor fieldHadamard transform44A12 53C21 53C22 45Q05Euclidean geometryFOS: MathematicsSectional curvatureTensor0101 mathematicsMathematical PhysicsMathematicsCartan-Hadamard manifoldsSolenoidal vector fieldApplied Mathematics010102 general mathematicsComputer Science Applications010101 applied mathematicsDifferential Geometry (math.DG)Bounded functionSignal Processingtensor tomographyMathematics::Differential GeometryInverse Problems
researchProduct

X-ray transforms in pseudo-Riemannian geometry

2016

We study the problem of recovering a function on a pseudo-Riemannian manifold from its integrals over all null geodesics in three geometries: pseudo-Riemannian products of Riemannian manifolds, Minkowski spaces and tori. We give proofs of uniqueness anc characterize non-uniqueness in different settings. Reconstruction is sometimes possible if the signature $(n_1,n_2)$ satisfies $n_1\geq1$ and $n_2\geq2$ or vice versa and always when $n_1,n_2\geq2$. The proofs are based on a Pestov identity adapted to null geodesics (product manifolds) and Fourier analysis (other geometries). The problem in a Minkowski space of any signature is a special case of recovering a function in a Euclidean space fro…

Mathematics - Differential GeometryPure mathematicsGeodesic44A12 53C50 11D09Riemannian geometry01 natural sciencespseudo-Riemannian manifoldsinversio-ongelmatsymbols.namesakeray transformsMathematics - Analysis of PDEsMinkowski spaceFOS: Mathematics0101 mathematicsMathematicsEuclidean space010102 general mathematicsNull (mathematics)Manifold010101 applied mathematicsnull geodesicsDifferential Geometry (math.DG)Differential geometryProduct (mathematics)symbolsGeometry and TopologyMathematics::Differential GeometryAnalysis of PDEs (math.AP)
researchProduct

The geodesic X-ray transform with matrix weights

2019

Consider a compact Riemannian manifold of dimension $\geq 3$ with strictly convex boundary, such that the manifold admits a strictly convex function. We show that the attenuated ray transform in the presence of an arbitrary connection and Higgs field is injective modulo the natural obstruction for functions and one-forms. We also show that the connection and the Higgs field are uniquely determined by the scattering relation modulo gauge transformations. The proofs involve a reduction to a local result showing that the geodesic X-ray transform with a matrix weight can be inverted locally near a point of strict convexity at the boundary, and a detailed analysis of layer stripping arguments ba…

Mathematics - Differential GeometryPure mathematicsGeodesicGeneral Mathematicsmath-phBoundary (topology)FOS: Physical sciences01 natural sciencesinversio-ongelmatintegraaliyhtälötMathematics - Analysis of PDEsmath.MPFOS: MathematicsSectional curvature0101 mathematicsMathematical Physicsmath.APMathematicsX-ray transform010102 general mathematicsMathematical Physics (math-ph)Riemannian manifoldPure MathematicsManifoldConnection (mathematics)math.DGDifferential Geometry (math.DG)monistotConvex functionAnalysis of PDEs (math.AP)
researchProduct

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…

Mathematics - Differential GeometryPure mathematicsParallelizable manifoldChern class010102 general mathematicsHolomorphic functionVector bundleLie groupGeneral MedicineStable vector bundle01 natural sciences53B21 53C56 53A55010101 applied mathematicsMathematics - Algebraic GeometryDifferential Geometry (math.DG)Irreducible representationFOS: Mathematics0101 mathematicsAlgebraic Geometry (math.AG)Mathematics::Symplectic GeometryQuotientMathematicsComptes Rendus Mathematique
researchProduct

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 …

Mathematics - Differential GeometryPure mathematicsVector algebraRiemannian geometry01 natural sciencessymbols.namesakeMathematics (miscellaneous)Mathematics - Analysis of PDEs0103 physical sciencesLie algebraFOS: MathematicsCompactification (mathematics)0101 mathematicsMathematics010102 general mathematicsHigh Energy Physics::PhenomenologyRiemannian manifoldDifferential operatorCompact operatorAlgebraOperator algebraDifferential Geometry (math.DG)[MATH.MATH-DG]Mathematics [math]/Differential Geometry [math.DG]symbols010307 mathematical physicsStatistics Probability and Uncertainty[MATH.MATH-DG] Mathematics [math]/Differential Geometry [math.DG]Analysis of PDEs (math.AP)
researchProduct

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…

Mathematics - Differential GeometryPure mathematicsadmissible manifoldsType (model theory)partial data01 natural sciences58J32inversio-ongelmatMathematics - Analysis of PDEsFOS: MathematicsBoundary value problemUniquenessTensor0101 mathematicsMathematicsNumerical Analysisabsolute and relative boundary conditionsGeometrical opticsinverse problemsApplied Mathematicsta111010102 general mathematicsScalar (physics)Inverse problemCarleman estimates010101 applied mathematics35R30Differential Geometry (math.DG)Hodge LaplacianLaplace operatorAnalysisAnalysis of PDEs (math.AP)Analysis & PDE
researchProduct

Symplectic Applicability of Lagrangian Surfaces

2009

We develop an approach to affine symplectic invariant geometry of Lagrangian surfaces by the method of moving frames. The fundamental invariants of elliptic Lagrangian immersions in affine symplectic four-space are derived together with their integrability equa- tions. The invariant setup is applied to discuss the question of symplectic applicability for elliptic Lagrangian immersions. Explicit examples are considered.

Mathematics - Differential GeometryPure mathematicsdifferential invariantsSymplectic vector spaceFOS: MathematicsSymplectomorphismMoment mapMathematics::Symplectic GeometryMathematical PhysicsMathematicsSymplectic manifoldapplicabilityLagrangian surfaceslcsh:MathematicsMathematical analysisSymplectic representationmoving frameslcsh:QA1-939Symplectic matrixaffine symplectic geometryAffine geometry of curvesDifferential Geometry (math.DG)Lagrangian surfaces; affine symplectic geometry; moving frames; differential invariants; applicability.Geometry and TopologyAnalysisSymplectic geometry
researchProduct

Nonlinear hyperbolic equations in surface theory: integrable discretizations and approximation results

2006

A numerical scheme is developed for solution of the Goursat problem for a class of nonlinear hyperbolic systems with an arbitrary number of independent variables. Convergence results are proved for this difference scheme. These results are applied to hyperbolic systems of differential-geometric origin, like the sine-Gordon equation describing the surfaces of the constant negative Gaussian curvature (K-surfaces). In particular, we prove the convergence of discrete K--surfaces and their Backlund transformations to their continuous counterparts. This puts on a firm basis the generally accepted belief (which however remained unproved untill this work) that the classical differential geometry of…

Mathematics - Differential GeometrySurface (mathematics)Algebra and Number TheoryNonlinear Sciences - Exactly Solvable and Integrable SystemsIntegrable systemDiscretizationApplied MathematicsMathematical analysisHyperbolic manifoldFOS: Physical sciencesNumerical Analysis (math.NA)Nonlinear systemsymbols.namesakeDifferential geometryDifferential Geometry (math.DG)Gaussian curvaturesymbolsFOS: MathematicsMathematics - Numerical AnalysisExactly Solvable and Integrable Systems (nlin.SI)Hyperbolic partial differential equationAnalysisMathematics
researchProduct