Completeness is determined by any non-algebraic trajectory

Alvaro Bustinduy,Luis Giraldo

DOI: https://doi.org/10.1016/j.aim.2012.05.013

IF: 1.675

2012-10-01

Advances in Mathematics

Abstract:It is proved that any polynomial vector field in two complex variables which is complete on a non-algebraic trajectory is complete.

mathematics

What problem does this paper attempt to address?

Completeness in supergravity constructions

V. Cortes,T. Mohaupt,H. Xu

DOI: https://doi.org/10.1007/s00220-012-1443-x

2011-01-27

Abstract:We prove that the supergravity r- and c-maps preserve completeness. As a consequence, any component H of a hypersurface {h=1} defined by a homogeneous cubic polynomial such that -d^2 h is a complete Riemannian metric on H defines a complete projective special Kahler manifold and any complete projective special Kahler manifold defines a complete quaternionic Kahler manifold of negative scalar curvature. We classify all complete quaternionic Kahler manifolds of dimension less or equal to 12 which are obtained in this way and describe some complete examples in 16 dimensions.

High Energy Physics - Theory,Differential Geometry
Completeness of trajectories associated to Appell hypergeometric functions

Lyonell Boulton

2023-04-12

Abstract:We examine the linear completeness of trajectories of eigenfunctions associated to non-linear eigenvalue problems, subject to Dirichlet boundary conditions on a segment. We pursue two specific goals. On the one hand, we establish that linear completeness persists for the non-linear Schrödinger equation, even when the trajectories lie far from those of the linear equation where bifurcations occur. On the other hand, we show that this is also the case for a fully non-linear version of this equation which is naturally associated with Appell hypergeometric functions. Both models shed new light on a framework for completeness in the non-linear setting, considered by L.E. Fraenkel over 40 years ago, that may have significant potential but which does not seem to have received much attention.

Spectral Theory,Classical Analysis and ODEs
Completeness for vector lattices

Youssef Azouzi

DOI: https://doi.org/10.48550/arXiv.1710.03128

2017-10-09

Abstract:The notion of unboundedly order converges has been recieved recently a particular attention by several authors. The main result of the present paper shows that the notion is efficient and deserves that care. It states that a vector lattice is universally complete if and only if it is unboundedly order complete. Another notion of completeness will be treated is the notion of sup-completion introduced by Donner.

Functional Analysis
Of model completeness and algebraic groups

Daniel Max Hoffmann,Piotr Kowalski,Chieu-Minh Tran,Jinhe Ye

2023-12-14

Abstract:We show that if G is a simply connected semi-simple algebraic group and K is a model complete field, then the theory of the group G(K) is model complete as well.

Logic
On Topologically Big Divergent Trajectories

Omri N. Solan,Nattalie Tamam

2023-06-20

Abstract:We study the behavior of $A$-orbits in $G/\Gamma$, when $G$ is a semisimple real algebraic $\mathbb{Q}$-group, $\Gamma$ is a non-uniform arithmetic lattice, and $A$ is a torus of dimension $\geq\operatorname{rank}_\mathbb{Q}(\Gamma)$. We show that every divergent trajectory of $A$ diverges due to a purely algebraic reason, % has a simple algebraic description. solving a longlasting conjecture of Weiss. In addition, we examine the intersections of $A$-orbits and show that in many cases every $A$-orbit intersects every deformation retract $X\subseteq G/\Gamma$. This solves the questions raised by Pettet and Souto. The proofs use algebraic and differential topology, as well as algebraic group theory.

Dynamical Systems
Completeness in affine and statistical geometry

Barbara Opozda

DOI: https://doi.org/10.48550/arXiv.2003.11984

2020-03-26

Abstract:We begin the study of completeness of affine connections, especially those on statistical manifolds as well as on affine hypersurfaces. We collect basic facts, prove new theorems and provide examples with remarkable properties.

Differential Geometry
A non-linear characterization of stochastic completeness of graphs

Marcel Schmidt,Ian Zimmermann

2024-03-22

Abstract:We study non-linear Schrödinger operators on graphs. We construct minimal nonnegative solutions to corresponding semi-linear elliptic equations and use them to introduce the notion of stochastic completeness at infinity in a non-linear setting. We provide characterizations for this property in terms of a semi-linear Liouville theorem. It is employed to establish a non-linear characterization for stochastic completeness, which is a graph version of a recent result on Riemannian manifolds.

Analysis of PDEs,Functional Analysis,Metric Geometry
Completeness of Ordered Fields

James Forsythe Hall

DOI: https://doi.org/10.48550/arXiv.1101.5652

2011-01-29

Abstract:The main goal of this project is to prove the equivalency of several characterizations of completeness of Archimedean ordered fields; some of which appear in most modern literature as theorems following from the Dedekind completeness of the real numbers, while a couple are not as well known and have to do with other areas of mathematics, such as nonstandard analysis. Continuing, we study the completeness of non-Archimedean fields, and provide several examples of such fields with varying degrees of properties, using nonstandard analysis to produce some relatively "nice" (in particular, they are Cantor complete) final examples. As a small detour, we present a short construction of the real numbers using methods from nonstandard analysis.

Logic
A complex limit cycle not intersecting the real plane

Ali Taghavi

DOI: https://doi.org/10.48550/arXiv.2202.01982

2022-02-02

Dynamical Systems

Abstract:We give a precise example of a polynomial vector field on $\mathbb{R}^2$ whose corresponding singular holomorphic foliation of $\mathbb{C}^2$ possesses a complex limit cycle which does not intersect the real plane $\mathbb{R}^2$.
Trajectories of vector fields asymptotic to formal invariant curves

Olivier Le Gal,Fernando Sanz Sánchez

2023-11-12

Abstract:We prove that a formal curve $\Gamma$ that is invariant by a $C^\infty$ vector field $\xi$ of $\mathbb{R}^m$ has a geometrical realization, as soon as the Taylor expansion of $\xi$ is not identically zero along $\Gamma$. This means that there is a trajectory $\gamma$ of $\xi$ which is asymptotic to $\Gamma$. This result solves a natural question proposed by Bonckaert nearly forty years ago. We also construct an invariant $C^0$ manifold $S$ in some open horn around $\Gamma$ which is composed entirely of trajectories asymptotic to $\Gamma$, and contains the germ of any such trajectory. If $\xi$ is analytic, we prove that there exists a trajectory asymptotic to $\Gamma$ which is, moreover, non-oscillating with respect to subanalytic sets.

Dynamical Systems,Classical Analysis and ODEs
Completeness of systems of inner functions

Nazar Miheisi

2024-07-22

Abstract:For two inner functions $\vartheta,\varphi\in H^\infty$, we give a simple sufficient condition for the system $\vartheta^m,\; \varphi^n$, $m,n\in\mathbb{Z}$, to be complete in the weak-$^*$ topology of $L^\infty(\mathbb{T})$. To be precise, we show that this system is complete whenever there is an arc $I$ of the unit circle $\mathbb{T}$ such that $\vartheta$ is univalent on $I$ and $\varphi$ is univalent on $\mathbb{T}\setminus I$. As an application of this result, we describe a class of analytic curves $\Gamma$ such that $(\Gamma, \mathcal{X})$ is a Heisenberg uniqueness pair, where $\mathcal{X}$ is the lattice cross $\{(m,n)\in\mathbb{Z}^2:\, mn=0\}$. Our main result extends a theorem of Hedenmalm and Montes-Rodríguez for atomic inner functions with one singularity.

Functional Analysis,Complex Variables
Finite quotients, arithmetic invariants, and hyperbolic volume

Yi Liu

2023-08-19

Abstract:For any pair of orientable closed hyperbolic $3$--manifolds, this paper shows that any isomorphism between the profinite completions of their fundamental groups witnesses a bijective correspondence between the Zariski dense $\mathrm{PSL}(2,\mathbb{Q}^{\mathtt{ac}})$--representations of their fundamental groups, up to conjugacy; moreover, corresponding pairs of representations have identical invariant trace fields and isomorphic invariant quaternion algebras. (Here, $\mathbb{Q}^{\mathtt{ac}}$ denotes an algebraic closure of $\mathbb{Q}$.) Next, assuming the $p$--adic Borel regulator injectivity conjecture for number fields, this paper shows that uniform lattices in $\mathrm{PSL}(2,\mathbb{C})$ with isomorphic profinite completions have identical invariant trace fields, isomorphic invariant quaternion algebras, identical covolume, and identical arithmeticity.

Geometric Topology,Group Theory,Number Theory
On the trajectories of a particle in a translation invariant involutive field

Cristian Cobeli,Alexandru Zaharescu

2024-03-28

Abstract:We introduce a double-folded operator that, upon iterative application, generates a dynamical system with two types of trajectories: a cyclic one and, another that grows endlessly on parabolas. These trajectories produce two distinct partitions of the set of lattice points in the plane.

Number Theory
Structural completeness in quasivarieties

Paolo Aglianó,Alex CItkin

2024-01-05

Abstract:In this paper we study various forms of (hereditary) structural completeness for quasivarieties of algebras, using mostly algebraic techniques. More specifically we study relative weakly projective algebras and the way they interact with structural completeness in quasivarieties. These ideas are then applied to the study of $C$-structural completeness and $C$-primitivity, through an algebraic generalization of Prucnal's substitution. Finally we study in depth dual i-discriminator quasivarieties in which a particular instance of Prucnal's substitution is used to prove that if each fundamental operation commutes with the i-discriminator, then it is primitive.

Logic
Completeness classes in algebraic complexity theory

Peter Bürgisser

2024-06-10

Abstract:The purpose of this overview is to explain the enormous impact of Les Valiant's eponymous short conference contribution from 1979 on the development of algebraic complexity.

Computational Complexity
Completeness of $n$--tuple of projections in $C^*$--algebras

Shanwen Hu,Yifeng Xue

DOI: https://doi.org/10.48550/arXiv.1210.4670

2012-10-17

Abstract:Let $(P_1,...,P_n)$ be an $n$--tuple of projections in a unital $C^*$--algebra $å$. We say $\pn$ is complete in $å$ if $å$ is the linear direct sum of the closed subspaces $P_1å,...,P_nå$. In this paper, we give some necessary and sufficient conditions for the completeness of $\pn$ and discuss the perturbation problem and topology of the set of all complete $n$--tuple of projections in $å$. Some interesting and significant results are obtained in this paper.

Operator Algebras,Functional Analysis
Nonuniqueness of trajectories on a set of full measure for Sobolev vector fields

Anuj Kumar

2023-12-28

Abstract:In this paper, we resolve an important long-standing question of Alberti \cite{alberti2012generalized} that asks if there is a continuous vector field with bounded divergence and of class $W^{1, p}$ for some $p \geq 1$ such that the ODE with this vector field has nonunique trajectories on a set of initial conditions with positive Lebesgue measure? This question belongs to the realm of well-known DiPerna--Lions theory for Sobolev vector fields $W^{1, p}$. In this work, we design a divergence-free vector field in $W^{1, p}$ with $p < d$ such that the set of initial conditions for which trajectories are not unique is a set of full measure. The construction in this paper is quite explicit; we can write down the expression of the vector field at any point in time and space. Moreover, our vector field construction is novel. We build a vector field $\boldsymbol{u}$ and a corresponding flow map $X^{\boldsymbol{u}}$ such that after finite time $T > 0$, the flow map takes the whole domain $\mathbb{T}^d$ to a Cantor set $\mathcal{C}_\Phi$, i.e., $X^{\boldsymbol{u}}(T, \mathbb{T}^d) = \mathcal{C}_\Phi$ and the Hausdorff dimension of this Cantor set is strictly less than $d$. The flow map $X^{\boldsymbol{u}}$ constructed as such is not a regular Lagrangian flow. The nonuniqueness of trajectories on a full measure set is then deduced from the existence of the regular Lagrangian flow in the DiPerna--Lions theory.

Analysis of PDEs
Complexity of the LTI system trajectory boundedness problem

Guillaume O. Berger,Raphaël M. Jungers

DOI: https://doi.org/10.48550/arXiv.2108.00728

2021-09-23

Abstract:We study the algorithmic complexity of the problem of deciding whether a Linear Time Invariant dynamical system with rational coefficients has bounded trajectories. Despite its ubiquitous and elementary nature in Systems and Control, it turns out that this question is quite intricate, and, to the best of our knowledge, unsolved in the literature. We show that classical tools, such as Gaussian Elimination, the Routh--Hurwitz Criterion, and the Euclidean Algorithm for GCD of polynomials indeed allow for an algorithm that is polynomial in the bit size of the instance. However, all these tools have to be implemented with care, and in a non-standard way, which relies on an advanced analysis.

Systems and Control
A Survey on Bergman Completeness

Bo-Yong Chen

DOI: https://doi.org/10.1007/978-4-431-55744-9_7

2015-01-01

Abstract:We provide a survey of results on Bergman completeness of open complex manifolds
Completeness of exponential systems and the perimeter of the convex hull

B. N. Khabibullin,E. G. Kudasheva,R. R. Muryasov

2023-04-05

Abstract:We give a new scale of completeness conditions for exponential systems in two types of functional spaces on subsets of the complex plane. The first is the Banach spaces of functions that are continuous on a compact and simultaneously holomorphic in the interior of this compact, if this interior is nonempty, with a uniform norm. The second is the spaces of holomorphic functions on a bounded open set with a topology of uniform convergence on compacts. These conditions are formulated in terms of the perimeter of the convex hull of the domain of determining of functions from space and new characteristics of distribution of exponents of exponential system.

Complex Variables

Completeness is determined by any non-algebraic trajectory

Completeness in supergravity constructions

Completeness of trajectories associated to Appell hypergeometric functions

Completeness for vector lattices

Of model completeness and algebraic groups

On Topologically Big Divergent Trajectories

Completeness in affine and statistical geometry

A non-linear characterization of stochastic completeness of graphs

Completeness of Ordered Fields

A complex limit cycle not intersecting the real plane

Trajectories of vector fields asymptotic to formal invariant curves

Completeness of systems of inner functions

Finite quotients, arithmetic invariants, and hyperbolic volume

On the trajectories of a particle in a translation invariant involutive field

Structural completeness in quasivarieties

Completeness classes in algebraic complexity theory

Completeness of $n$--tuple of projections in $C^*$--algebras

Nonuniqueness of trajectories on a set of full measure for Sobolev vector fields

Complexity of the LTI system trajectory boundedness problem

A Survey on Bergman Completeness

Completeness of exponential systems and the perimeter of the convex hull