Related papers: Geometric proof of the $\lambda$-lemma
We report about significant enhancements of the complex algebraic geometry theorem proving subsystem in GeoGebra for automated proofs in Euclidean geometry, concerning the extension of numerous GeoGebra tools with proof capabilities. As a…
We present a new proof of the bi-Lipschitz model theorem, which occupies the main part of the Ending Lamination Conjecture proved by Minsky and Brock-Canary-Minsky. Our proof is done by using techniques of standard hyperbolic geometry as…
We investigate the effect of a cosmological constant $\Lambda$ on the geometry generated by a two-dimensional disclination in a conformal metric framework. For $\Lambda>0$, we obtain an exact analytic solution of the Liouville-type…
In this paper we develop the compactness theorem for $\lambda$-surface in $\mathbb R^3$ with uniform $\lambda$, genus, and area growth. This theorem can be viewed as a generalization of Colding-Minicozzi's compactness theorem for…
It is investigated how two (standard or generalized) $\lambda-$symmetries of a given second-order ordinary differential equation can be used to solve the equation by quadratures. The method is based on the construction of two commuting…
We give another proof that a reductive algebraic group is geometrically reductive. We show that a quotient of the semi-stable locus (by a linear action of a reductive algebraic group on a projective scheme) exists, and from this Haboush's…
In this paper we give a geometric interpretation of a reduction method based on the so called $\lambda$-variational symmetry (C. Muriel, J.L. Romero and P. Olver 2006 \emph{Variational $C^{\infty}$-symmetries and Euler-Lagrange equations}…
The geodesics of bound spherical orbits i.e. of orbits performing Lense-Thirring precession, are obtained in the case of the $\Lambda$-term within gravito-electromagnetic formalism. It is shown that the presence of the $\Lambda$-term in the…
Proving that a finitely generated convex cone is closed is often considered the most difficult part of geometric proofs of Farkas' lemma. We provide a short simple proof of this fact and (for completeness) derive Farkas' lemma from it using…
Geometric algebra is the natural outgrowth of the concept of a vector and the addition of vectors. After reviewing the properties of the addition of vectors, a multiplication of vectors is introduced in such a way that it encodes the famous…
We give a semantics for the lambda-calculus based on a topological duality theorem in nominal sets. A novel interpretation of lambda is given in terms of adjoints, and lambda-terms are interpreted absolutely as sets (no valuation is…
This article provides a simple geometric interpretation of the quadratic formula. The geometry helps to demystify the formula's complex appearance and casts it into a much simpler existence, thus potentially benefits early algebra students.
The topics of Convexity and Concavity and Envelopes are central in Complex Analysis and extensively investigated. The aim of this paper is to find a possible counterpart in Algebraic Geometry. The article presents preliminary results on…
We show that $\lambda$-symmetries can be algorithmically obtained by using the Jacobi last multiplier. Several examples are provided.
Since $n$-dimensional $\lambda$-hypersurfaces in the Euclidean space $\mathbb {R}^{n+1}$ are critical points of the weighted area functional for the weighted volume-preserving variations, in this paper, we study the rigidity properties of…
We consider several basic questions pertaining to the geometry of image of a general quadratic map. In general the image of a quadratic map is non-convex, although there are several known classes of quadratic maps when the image is convex.…
This article provides a pedagogically oriented introduction to geometric (Clifford) calculus on pseudo-Riemannian manifolds. Unlike usual approaches to the topic, which rely on embedding the geometric algebra either within a tensor algebra…
We prove existence and uniqueness of solutions for an entropic version of the semi-geostrophic equations. We also establish convergence to a weak solution of the semi-geostrophic equations as the entropic parameter vanishes. Convergence is…
In this article we prove a global result in the spirit of Basener's theorem regarding the relation between q-pseudoconvexity and q-holomorphic convexity: we prove that any smoothly bounded strictly q-pseudoconvex open subset of the complex…
In this paper we show the existence of a closed, embedded $\lambda$-hypersurfaces $\Sigma \subset \mathbb{R}^{2n}$. The hypersurface is diffeomorhic to $\mathbb{S}^{n-1} \times \mathbb{S}^{n-1} \times \mathbb{S}^1$ and exhibits $SO(n)…