Search results for " differential geometry"
showing 10 items of 148 documents
Homogeneous Weyl connections of non-positive curvature
2015
We study homogenous Weyl connections with non-positive sectional curvatures. The Cartesian product $\mathbb S^1 \times M$ carries canonical families of Weyl connections with such a property, for any Riemmanian manifold $M$. We prove that if a homogenous Weyl connection on a manifold, modeled on a unimodular Lie group, is non-positive in a stronger sense (streched non-positive), then it must be locally of the product type.
An upper gradient approach to weakly differentiable cochains
2012
Abstract The aim of the present paper is to define a notion of weakly differentiable cochain in the generality of metric measure spaces and to study basic properties of such cochains. Our cochains are (sub)additive functionals on a subspace of chains, and a suitable notion of chains in metric spaces is given by Ambrosio–Kirchheimʼs theory of metric currents. The notion of weak differentiability we introduce is in analogy with Heinonen–Koskelaʼs concept of upper gradients of functions. In one of the main results of our paper, we prove continuity estimates for cochains with p-integrable upper gradient in n-dimensional Lie groups endowed with a left-invariant Finsler metric. Our result general…
Integral binary Hamiltonian forms and their waterworlds
2018
We give a graphical theory of integral indefinite binary Hamiltonian forms $f$ analogous to the one by Conway for binary quadratic forms and the one of Bestvina-Savin for binary Hermitian forms. Given a maximal order $\mathcal O$ in a definite quaternion algebra over $\mathbb Q$, we define the waterworld of $f$, analogous to Conway's river and Bestvina-Savin's ocean, and use it to give a combinatorial description of the values of $f$ on $\mathcal O\times\mathcal O$. We use an appropriate normalisation of Busemann distances to the cusps (with an algebraic description given in an independent appendix), and the $\operatorname{SL}_2(\mathcal O)$-equivariant Ford-Voronoi cellulation of the real …
Corners in non-equiregular sub-Riemannian manifolds
2014
We prove that in a class of non-equiregular sub-Riemannian manifolds corners are not length minimizing. This extends the results of (G.P. Leonardi and R. Monti, Geom. Funct. Anal. 18 (2008) 552-582). As an application of our main result we complete and simplify the analysis in (R. Monti, Ann. Mat. Pura Appl. (2013)), showing that in a 4-dimensional sub-Riemannian structure suggested by Agrachev and Gauthier all length-minimizing curves are smooth. Mathematics Subject Classification. 53C17, 49K21, 49J15.
L2-torsion of hyperbolic manifolds
1998
The L^2-torsion is an invariant defined for compact L^2-acyclic manifolds of determinant class, for example odd dimensional hyperbolic manifolds. It was introduced by John Lott and Varghese Mathai and computed for hyperbolic manifolds in low dimensions. In this paper we show that the L^2-torsion of hyperbolic manifolds of arbitrary odd dimension does not vanish. This was conjectured by J. Lott and W. Lueck. Some concrete values are computed and an estimate of their growth with the dimension is given.
Wolfe's theorem for weakly differentiable cochains
2014
Abstract A fundamental theorem of Wolfe isometrically identifies the space of flat differential forms of dimension m in R n with the space of flat m -cochains, that is, the dual space of flat chains of dimension m in R n . The main purpose of the present paper is to generalize Wolfe's theorem to the setting of Sobolev differential forms and Sobolev cochains in R n . A suitable theory of Sobolev cochains has recently been initiated by the second and third author. It is based on the concept of upper norm and upper gradient of a cochain, introduced in analogy with Heinonen–Koskela's concept of upper gradient of a function.
A rigidity problem on the round sphere
2015
We consider a class of overdetermined problems in rotationally symmetric spaces, which reduce to the classical Serrin's overdetermined problem in the case of the Euclidean space. We prove some general integral identities for rotationally symmetric spaces which imply a rigidity result in the case of the round sphere.
Sets with constant normal in Carnot groups: properties and examples
2019
We analyze subsets of Carnot groups that have intrinsic constant normal, as they appear in the blowup study of sets that have finite sub-Riemannian perimeter. The purpose of this paper is threefold. First, we prove some mild regularity and structural results in arbitrary Carnot groups. Namely, we show that for every constant-normal set in a Carnot group its sub-Riemannian-Lebesgue representative is regularly open, contractible, and its topological boundary coincides with the reduced boundary and with the measure-theoretic boundary. We infer these properties from a cone property. Such a cone will be a semisubgroup with nonempty interior that is canonically associated with the normal directio…
Counting and equidistribution in Heisenberg groups
2014
We strongly develop the relationship between complex hyperbolic geometry and arithmetic counting or equidistribution applications, that arises from the action of arithmetic groups on complex hyperbolic spaces, especially in dimension $2$. We prove a Mertens' formula for the integer points over a quadratic imaginary number fields $K$ in the light cone of Hermitian forms, as well as an equidistribution theorem of the set of rational points over $K$ in Heisenberg groups. We give a counting formula for the cubic points over $K$ in the complex projective plane whose Galois conjugates are orthogonal and isotropic for a given Hermitian form over $K$, and a counting and equidistribution result for …
Harnack estimates for degenerate parabolic equations modeled on the subelliptic $p-$Laplacian
2014
Abstract We establish a Harnack inequality for a class of quasi-linear PDE modeled on the prototype ∂ t u = − ∑ i = 1 m X i ⁎ ( | X u | p − 2 X i u ) where p ⩾ 2 , X = ( X 1 , … , X m ) is a system of Lipschitz vector fields defined on a smooth manifold M endowed with a Borel measure μ, and X i ⁎ denotes the adjoint of X i with respect to μ. Our estimates are derived assuming that (i) the control distance d generated by X induces the same topology on M ; (ii) a doubling condition for the μ-measure of d-metric balls; and (iii) the validity of a Poincare inequality involving X and μ. Our results extend the recent work in [16] , [36] , to a more general setting including the model cases of (1)…