Search results for " Geometry"
showing 10 items of 2294 documents
On the projective geometry of entanglement and contextuality
2019
$\mathbb{A}^1$-cylinders over smooth affine surfaces of negative Kodaira dimension
2019
International audience; The Zariski Cancellation problem for smooth affine surfaces asks whether two suchsurfaces whose products with the affine line are isomorphic are isomorphic themselves. Byresults of Iitaka-Fujita, the answer is positive for surfaces of non-negative Kodaira dimen-sion. By a characterization due to Miyanishi, surfaces of negative Kodaira dimension arefibered by the affine line, and by a celebrated result of Miyanishi-Sugie, the answer to theproblem is positive if one of the surfaces is the affine plane. On the other hand, exam-ples of non-isomorphicA1-fibered affine surfaces with isomorphicA1-cylinders were firstconstructed by Danielewski in 1989, and then by many other…
Stable motivic homotopy theory at infinity
2021
In this paper, we initiate a study of motivic homotopy theory at infinity. We use the six functor formalism to give an intrinsic definition of the stable motivic homotopy type at infinity of an algebraic variety. Our main computational tools include cdh-descent for normal crossing divisors, Euler classes, Gysin maps, and homotopy purity. Under $\ell$-adic realization, the motive at infinity recovers a formula for vanishing cycles due to Rapoport-Zink; similar results hold for Steenbrink's limiting Hodge structures and Wildeshaus' boundary motives. Under the topological Betti realization, the stable motivic homotopy type at infinity of an algebraic variety recovers the singular complex at in…
A Symplectic Kovacic's Algorithm in Dimension 4
2018
Let $L$ be a $4$th order differential operator with coefficients in $\mathbb{K}(z)$, with $\mathbb{K}$ a computable algebraically closed field. The operator $L$ is called symplectic when up to rational gauge transformation, the fundamental matrix of solutions $X$ satisfies $X^t J X=J$ where $J$ is the standard symplectic matrix. It is called projectively symplectic when it is projectively equivalent to a symplectic operator. We design an algorithm to test if $L$ is projectively symplectic. Furthermore, based on Kovacic's algorithm, we design an algorithm that computes Liouvillian solutions of projectively symplectic operators of order $4$. Moreover, using Klein's Theorem, algebraic solution…
Quantifier elimination in the quasi-analytic framework
2012
We associate to every compact polydisk B [belonging to ] Rn an algebra CB of real functions defined in a neighborhood of B. The collection of these algebras is supposed to be closed under several operations, such as composition and partial derivatives. Moreover, if the center of B is the origin, we assume that the algebra of germs at the origin of elements of CB is quasianalytic (it does not contain any flat germ). We define with these functions the collection of C-semianalytic and C-subanalytic sets according to the classical process in real analytic geometry. Our main result is an analogue of Tarski-Seidenberg's usual result for these sets. It says that the sub-C-subanalytic sets may be d…
Local monomialization of generalized real analytic functions
2011
Generalized power series extend the notion of formal power series by considering exponents ofeach variable ranging in a well ordered set of positive real numbers. Generalized analytic functionsare defined locally by the sum of convergent generalized power series with real coe cients. Weprove a local monomialization result for these functions: they can be transformed into a monomialvia a locally finite collection of finite sequences of local blowingsup. For a convenient frameworkwhere this result can be established, we introduce the notion of generalized analytic manifoldand the correct definition of blowing-up in this category.
Famille à un paramètre de coniques utilisant des courbes de Bézier à poids complexes
2019
The paper deals with conics in a rational Bézier representation based on mass points where the weights are complex numbers here. A special representation of conics using weighted points and vectors offers a calculus flexibility in the handle elementary geometrical transformations as rotations, homotheties and direct similarity transformations. Some examples are proposed to the reader.
Points massiques, hyperbole et hyperboloïde à une nappe
2015
National audience; Les courbes de Bézier rationnelles quadratiques jouent un rôle fondamental pour la modélisation d'arcs de coniques propre. Cependant, lorsque les deux points extrémaux de l'arc ne sont pas sur la même branche d'une hyperbole, l'utilisation des courbes de Bézier classiques est impossible. Il suffit de considérer les points massiques, à la place des points pondérés, pour remédier à ce problème. De plus, nous gardons la structure (pseudo)-métrique du plan dans lequel nous nous trouvons et il possible de modéliser une branche d'hyperbole dont les extrémités sont deux vecteurs, non colinéaires, de même norme, définis par les directions des asymptotes. Nous donnons comme applic…
Minimal number of periodic orbits for nonsingular Morse-Smale flows in odd dimension
2020
We compute the minimal number p_min of closed orbits of any Morse-Smale flow on any compact odd-dimensional manifold with boundary in terms of some given homological information. The underlying algorithm is based on optimization theory in network flows and transport systems. Such a number p_min is a lower bound in the general case but we provide, for any initial homological data, a Morse-Smale model for which p_min is attained. We also apply our techniques to the problem of the continuation of Lyapnov graphs to Lyapnov graphs of Smale type.
Snapshot imaging of postpulse transient molecular alignment revivals
2008
Laser induced field-free alignment of linear molecules is investigated by using a single-shot spatial imaging technique. The measurements are achieved by femtosecond time-resolved optical polarigraphy (FTOP). Individual alignment revivals recorded at high resolution in ${\text{CO}}_{2}$, as well as simultaneous observation of several alignment revivals produced within the rotational period of the ${\text{O}}_{2}$ molecule are reported. The data are analyzed with a theoretical model describing the alignment experienced by each molecule standing within the interaction region observed by the detector. The temporal dynamics, intensity dependence, and degree of alignment are measured and compare…