Search results for "C2"

showing 10 items of 879 documents

Existence of common zeros for commuting vector fields on 3‐manifolds II. Solving global difficulties

2020

We address the following conjecture about the existence of common zeros for commuting vector fields in dimension three: if $X,Y$ are two $C^1$ commuting vector fields on a $3$-manifold $M$, and $U$ is a relatively compact open such that $X$ does not vanish on the boundary of $U$ and has a non vanishing Poincar\'e-Hopf index in $U$, then $X$ and $Y$ have a common zero inside $U$. We prove this conjecture when $X$ and $Y$ are of class $C^3$ and every periodic orbit of $Y$ along which $X$ and $Y$ are collinear is partially hyperbolic. We also prove the conjecture, still in the $C^3$ setting, assuming that the flow $Y$ leaves invariant a transverse plane field. These results shed new light on t…

Pure mathematicsConjectureGeneral Mathematics37C85010102 general mathematicsZero (complex analysis)Boundary (topology)Field (mathematics)Dynamical Systems (math.DS)01 natural sciences37C25Flow (mathematics)Relatively compact subspace0103 physical sciences58C30 (primary)FOS: MathematicsVector field010307 mathematical physics0101 mathematicsInvariant (mathematics)Mathematics - Dynamical Systems[MATH]Mathematics [math]57S05Mathematics
researchProduct

Least gradient functions in metric random walk spaces

2019

In this paper we study least gradient functions in metric random walk spaces, which include as particular cases the least gradient functions on locally finite weighted connected graphs and nonlocal least gradient functions on $\mathbb{R}^N$. Assuming that a Poincar\'e inequality is satisfied, we study the Euler-Lagrange equation associated with the least gradient problem. We also prove the Poincar\'e inequality in a few settings.

Pure mathematicsControl and Optimization05C81 35R02 26A45 05C21 45C99010102 general mathematicsPoincaré inequalityRandom walk01 natural sciences010101 applied mathematicsComputational Mathematicssymbols.namesakeMathematics - Analysis of PDEsControl and Systems EngineeringMetric (mathematics)FOS: Mathematicssymbols0101 mathematicsAnalysis of PDEs (math.AP)MathematicsESAIM: Control, Optimisation and Calculus of Variations
researchProduct

On the quasi-isometric and bi-Lipschitz classification of 3D Riemannian Lie groups.

2021

AbstractThis note is concerned with the geometric classification of connected Lie groups of dimension three or less, endowed with left-invariant Riemannian metrics. On the one hand, assembling results from the literature, we give a review of the complete classification of such groups up to quasi-isometries and we compare the quasi-isometric classification with the bi-Lipschitz classification. On the other hand, we study the problem whether two quasi-isometrically equivalent Lie groups may be made isometric if equipped with suitable left-invariant Riemannian metrics. We show that this is the case for three-dimensional simply connected groups, but it is not true in general for multiply connec…

Pure mathematicsDimension (graph theory)Quasi-isometricisometric53C2301 natural sciencesdifferentiaaligeometria0103 physical sciencesSimply connected spaceMathematics::Metric Geometry0101 mathematicsIsometric20F65bi-LipschitzMathematicsTransitive relationOriginal PaperLie groupsRiemannian manifold010102 general mathematics22D05ryhmäteoriaLie groupBi-Lipschitz; Classification; Isometric; Lie groups; Quasi-isometric; Riemannian manifoldRiemannian manifoldLipschitz continuityClassificationmetriset avaruudetquasi-isometricBi-LipschitzclassificationDifferential geometrygeometria010307 mathematical physicsGeometry and TopologyMathematics::Differential GeometryCounterexampleGeometriae dedicata
researchProduct

Characterisation of upper gradients on the weighted Euclidean space and applications

2020

In the context of Euclidean spaces equipped with an arbitrary Radon measure, we prove the equivalence among several different notions of Sobolev space present in the literature and we characterise the minimal weak upper gradient of all Lipschitz functions.

Pure mathematicsEuclidean spaceApplied MathematicsMathematics::Analysis of PDEsContext (language use)Sobolev spaceLipschitz continuityFunctional Analysis (math.FA)46E35 53C23 26B05differentiaaligeometriaSobolev spaceMathematics - Functional AnalysisMathematics - Analysis of PDEsRadon measureEuclidean geometryFOS: MathematicsWeighted Euclidean spaceDecomposability bundlefunktionaalianalyysiEquivalence (measure theory)MathematicsAnalysis of PDEs (math.AP)
researchProduct

Expecting the unexpected: Quantifying the persistence of unexpected hypersurfaces

2021

If $X \subset \mathbb P^n$ is a reduced subscheme, we say that $X$ admits an unexpected hypersurface of degree $t$ for multiplicity $m$ if the imposition of having multiplicity $m$ at a general point $P$ fails to impose the expected number of conditions on the linear system of hypersurfaces of degree $t$ containing $X$. Conditions which either guarantee the occurrence of unexpected hypersurfaces, or which ensure that they cannot occur, are not well understand. We introduce new methods for studying unexpectedness, such as the use of generic initial ideals and partial elimination ideals to clarify when it can and when it cannot occur. We also exhibit algebraic and geometric properties of $X$ …

Pure mathematicsGeneral MathematicsComplete intersectionVector bundleAlgebraic geometrysymbols.namesakeMathematics - Algebraic GeometryAV-sequence; Complete intersection; Generic initial ideal; Hilbert function; Partial elimination ideal; Unexpected hypersurfaceUnexpected hypersurfaceFOS: MathematicsAlgebraic numberAV-sequenceAlgebraic Geometry (math.AG)Complete intersectionGeneric initial idealMathematicsHilbert series and Hilbert polynomialSequencePartial elimination idealSettore MAT/02 - AlgebraHypersurfaceHyperplanePrimary: 14C20 13D40 14Q10 14M10 Secondary: 14M05 14M07 13E10Hilbert functionsymbolsSettore MAT/03 - GeometriaAV-sequence Complete intersection Generic initial ideal Hilbert function Partial elimination ideal Unexpected hypersurface
researchProduct

Representation Theorems for Indefinite Quadratic Forms Revisited

2010

The first and second representation theorems for sign-indefinite, not necessarily semi-bounded quadratic forms are revisited. New straightforward proofs of these theorems are given. A number of necessary and sufficient conditions ensuring the second representation theorem to hold is proved. A new simple and explicit example of a self-adjoint operator for which the second representation theorem does not hold is also provided.

Pure mathematicsGeneral MathematicsFOS: Physical sciencesMathematical proofDirac operator01 natural sciencesMathematics - Spectral Theorysymbols.namesakeOperator (computer programming)Simple (abstract algebra)0103 physical sciencesFOS: Mathematics0101 mathematicsSpectral Theory (math.SP)Mathematical PhysicsMathematicsRepresentation theorem010102 general mathematicsRepresentation (systemics)Mathematical Physics (math-ph)16. Peace & justice47A07 47A55 15A63 46C20Functional Analysis (math.FA)Mathematics - Functional AnalysisTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESsymbolsIndefinite quadratic forms ; representation theorems ; perturbation theory ; Krein spaces ; Dirac operator010307 mathematical physicsPerturbation theory (quantum mechanics)
researchProduct

The volume of geodesic balls and tubes about totally geodesic submanifolds in compact symmetric spaces

1997

AbstractLet M be a compact Riemannian symmetric space. We give an analytical expression for the area and volume functions of geodesic balls in M and for the area and volume functions of tubes around some totally geodesic submanifolds P of M. We plot the graphs of these functions for some compact irreducible Riemannian symmetric spaces of rank two.

Pure mathematicsGeodesictube53C21.Mathematical analysisGeodesic mapgeodesic balltotally geodesic submanifold.53C35Computational Theory and MathematicsSymmetric spaceTotally geodesicMathematics::Differential GeometryGeometry and TopologyCompact Riemannian symmetric spaceminimal focal distancerestricted rootsExponential map (Riemannian geometry)injectivity radiusAnalysisMathematicsDifferential Geometry and its Applications
researchProduct

Singularities of lightlike hypersurfaces in Minkowski four-space

2006

We classify singularities of lightlike hypersurfaces in Minkowski 4-space via the contact invariants for the corresponding spacelike surfaces and lightcones.

Pure mathematicsLightlike hypersurfaceGeneral MathematicsMathematical analysisspacelike surfacelightconePhysics::Classical PhysicsSpace (mathematics)53A3541458C27Computer Science::OtherLorentzian distance-squared functionGeneral Relativity and Quantum CosmologyMinkowski spaceGravitational singularityMathematics::Differential GeometryMathematicsTohoku Mathematical Journal
researchProduct

When are profinite many-sorted algebras retracts of ultraproducts of finite many-sorted algebras?

2017

For a set of sorts $S$ and an $S$-sorted signature $\Sigma$ we prove that a profinite $\Sigma$-algebra, i.e., a projective limit of a projective system of finite $\Sigma$-algebras, is a retract of an ultraproduct of finite $\Sigma$-algebras if the family consisting of the finite $\Sigma$-algebras underlying the projective system is with constant support. In addition, we provide a categorial rendering of the above result. Specifically, after obtaining a category where the objects are the pairs formed by a nonempty upward directed preordered set and by an ultrafilter containing the filter of the final sections of it, we show that there exists a functor from the just mentioned category whose o…

Pure mathematicsLogic010102 general mathematicsMathematics::General TopologyMathematics - Category TheoryUltraproduct01 natural sciences03C20 08A68 (Primary) 18A30 (Secondary)010101 applied mathematicsMathematics::Category TheoryFOS: MathematicsCategory Theory (math.CT)Àlgebra0101 mathematicsMathematics
researchProduct

On cubic elliptic varieties

2013

Let X->P^(n-1) be an elliptic fibration obtained by resolving the indeterminacy of the projection of a cubic hypersurface Y of P^(n+1) from a line L not contained in Y. We prove that the Mordell-Weil group of the elliptic fibration is finite if and only if the Cox ring of X is finitely generated. We also provide a presentation of the Cox ring of X when it is finitely generated.

Pure mathematicsMathematics::Commutative AlgebraGroup (mathematics)Applied MathematicsGeneral MathematicsFibrationMathematics - Algebraic GeometryHypersurfaceMathematics::Algebraic GeometryProjection (mathematics)Line (geometry)14C20 14DxxFOS: MathematicsMathematics (all)Finitely-generated abelian groupSettore MAT/03 - GeometriaCox ringAlgebraic Geometry (math.AG)Mathematics
researchProduct