Lecture notes introduce differential geometry using sheaves and differential operators.
problem Exploring differential geometry concepts.
method Using sheaves, differential operators, and horizontal subbundles.
result Presented an approach to fundamental differential geometry structures.
Studies projective geometry and partial differential equations prolongation.
problem Understanding the prolongation of overdetermined geometric partial differential equations.
method Introduction to differential geometry and tractor calculus, study of prolongation of equations.
result Recovery of projective tractor and cotractor connections via partial differential equations prolongation.
A new field of discrete differential geometry is presently emerging on the border between differential and discrete geometry. Whereas classical differential geometry investigates smooth geometric shapes (such as surfaces), and discrete geometry studies geometric shapes with finite number of elements (such as polyhedra)…
Explains curves and surfaces in differential geometry.
problem Understanding smooth curves and surfaces in differential geometry.
method Problem-centered, elementary, visual approach focusing on essential techniques.
result Provides a solid foundation for further study in differential geometry.
Quaternionic differential geometry expands geometric concepts using quaternions.
problem Generalizing geometric concepts to quaternionic constraints.
method Generalizing curves and surfaces, curvature, torsion, differential forms, and directional derivatives to quaternionic constraints.
result Quaternionic formalism provides a suitable language for differential geometry.
PINNs solve differential geometry problems in complex shapes.
problem Solving differential geometry problems in complex shapes.
method Training neural networks with loss functions inspired by differential conditions.
result PINNs are effective for differential geometry problems.
These notes introduce key techniques in differential geometry for curves and surfaces.
problem Understanding the basics of differential geometry for curve and surface analysis.
method Problem-centered, elementary, visual approach to teaching essential techniques.
result Provides a solid foundation for further study in differential geometry.
Lecture notes on geodesics in differential geometry.
problem Understanding geodesics in differential geometry.
method Expository lecture notes with exercises.
result Explains the geometry of geodesics.
In our previous paper entitled "Axiomatic differential geometry -towards model categories of differential geometry-, we have given a category-theoretic framework of differential geometry. As the first part of our series of papers concerned with differential-geometric developments within the above axiomatic scheme, this…
Developed a theory of ultradifferentiable sheafs with applications.
problem Ultradifferentiable functions and their sheafs.
method Abstract theory development for ultradifferentiable sheafs.
result Applications to linear PDEs, differential geometry, and CR geometry.
Survey of geometry developments, including complex structures on surfaces.
problem Enumerative geometry and complex structures on surfaces.
method Differential and algebraic geometry, nonlinear elliptic PDEs.
result Extensions to 4-manifolds and complex structures on surfaces of general type.
Study surfaces with constant ratio of principal curvatures in Euclidean and isotropic geometries.
problem Characterize surfaces with constant ratio of principal curvatures in different geometries.
method Differential geometry, line geometry, Lie sphere geometry, ordinary differential equations, algebraic geometry.
result Characterized various types of surfaces like rotational, channel, ruled, helical, and translational.
Introduces tractors for basic examples and modern differential calculus.
problem None explicitly stated, focuses on introduction.
method Classical examples and modern invariant differential calculus.
result Introduction to tractors and related modern differential calculus.
Analytic proof solves differential geometry problem.
problem Solving the system of equations ∣ablau∣=f(u), Δu=g(u) in connected domains. method Analytic approach to solve differential equations.
result Validated Segre's Theorem in differential geometry.
In this paper is proposed a kind of model theory for our axiomatic differential geometry. It is claimed that smooth manifolds, which have occupied the center stage in differential geometry, should be replaced by functors on the category of Weil algebras. Our model theory is geometrically natural and conceptually motiva…
Extends differential geometry concepts to manifolds with super tangent bundles.
problem No specific problem stated; extending differential geometry to super tangent bundles.
method Introduces super tangent bundle and extends differential geometry concepts.
result Basic notions of differential geometry extended to manifolds with super tangent bundles.
Diffeology extends differential geometry to complex spaces.
problem Handling singular and infinite-dimensional settings in differential geometry.
method Introduces diffeology as a new framework.
result Diffeology provides a natural and effective framework for complex spaces.
The study sets limits on the complexity of Klein geometries.
problem Understanding the complexity of Klein geometries.
method Simple upper and lower bounds for the order of Klein geometries.
result Established upper and lower bounds for the order of Klein geometries.
The paper explores quaternionic curves using differential geometry.
problem Understanding quaternionic curves.
method Differential geometry applied to quaternionic curves.
result Simpler formulations of quaternionic curves.
Parametric Cartan theory of exterior differential systems, and explicit cohomology of projective manifolds reveal united rationality features of differential algebraic geometry.
We study the fundamental properties of curvature in groupoids within the framework of synthetic differential geometry. As is usual in synthetic differential geometry, its combinatorial nature is emphasized. In particular, the classical Bianchi identity is deduced from its combinatorial one.
Global homotopies upgrade classical map in differential geometry.
problem Upgrade classical Hochschild-Kostant-Rosenberg map to a deformation retract.
method Combining symbol calculus and coalgebraic van Est theorem.
result Develop deformation retracts in various settings.
Projective geometry aids in analyzing fields near compact manifolds.
problem Analyzing fields near compact manifolds.
method Developed a projective exterior differential tractor calculus.
result Analogous calculus for projectively compact manifolds.
Segre embedding was introduced by C. Segre (1863--1924) in his famous 1891 article \cite{segre}. The Segre embedding plays an important roles in algebraic geometry as well as in differential geometry, mathematical physics, and coding theory. In this article, we survey main results on Segre embedding in differential geo…
In this paper, as the second in our series of papers on differential geometry of microlinear Frolicher spaces, we study differenital forms. The principal result is that the exterior differentiation is uniquely determined geometrically, just as grad (ient), div (ergence) and rot (ation) are uniquely determined geometric…
Explains Cartan geometries for graduate students.
problem None explicitly stated, focuses on definition.
method Definition and explanation.
result Defines Cartan geometries for a specific audience.
Formalizes synthetic differential geometry in Lean.
problem Formalizing synthetic differential geometry in a proof assistant.
method Formalization of synthetic differential geometry with Lean and mathlib.
result Proves a Taylor theorem for functions of several variables.
Groupoids provide a more appropriate framework for differential geometry than principal bundles. Synthetic differential geometry is the avant-garde branch of differential geometry, in which nilpotent infinitesimals are available in abundance. The principal objective in this paper is to show within our favorite framewor…
We give a brief review of a research made in the field of differential geometry in Estonia in the period from the beginning of the 19th century to the present time. The biographic data of mathematicians who made a valuable contribution to the development of differential geometry in Estonia in mentioned period are prese…
The paper uses complex-valued functions to simplify plane differential geometry and kinematics.
problem Simplifying complex problems in plane differential geometry and kinematics.
method Consistent use of complex-valued functions of a real variable.
result Derives results in a particularly simple, uniform, and transparent way.
Algebraic geometry replaces manifolds in differential geometry.
problem Eliminate the need for manifolds in differential geometry.
method Introduce algebraifolds and use commutative algebras with finitely generated projective module of derivations.
result General relativity can be formulated using algebraifolds.
We give an abstract formulation of the formal theory partial differential equations (PDEs) in synthetic differential geometry, one that would seamlessly generalize the traditional theory to a range of enhanced contexts, such as super-geometry, higher (stacky) differential geometry, or even a combination of both. A moti…
Review of metallic Riemannian geometry advances.
problem No specific problem stated; focuses on advancements.
method No specific method mentioned; focuses on review of advances.
result Rich potential and diverse applications of metallic Riemannian geometry.
The relation between differential geometry of surfaces and some Heisenberg ferromagnet models is considered.
New algebraic-geometry method for Ribaucour transformations.
problem Classical differential geometry problems.
method Algebraic-geometry approach to constructing orthogonal nets.
result Obtains smooth orthogonal nets as Ribaucour transformations.
Symmetry-breaking in three differential geometry conjectures.
problem Exploring the role of symmetry in three differential geometry conjectures.
method Examining the Carathéodory, Willmore, and Lawson Conjectures through the lens of symmetry in 3D space-forms.
result Symmetry is broken, and more general ambient metrics are considered, leading to the failure of the conjectures.
A connection between differential geometry and soliton equations is discussed
Some differential equations are considered in the context of Synthetic Differential Geometry. Here, this means that not only nilpotent infinitesimals, but also the formation of function spaces, is exploited. In particular, we utilize distribution spaces in our study of wave and heat equations.
Advances M-polyfolds for complex geometry applications.
problem Complex geometry challenges in differential geometry.
method Introduces and proves geometric structures within M-polyfolds.
result Establishes M-polyfolds as useful differential geometric objects.
Criteria for smoothness of ambiskew polynomial rings.
problem Smoothness of ambiskew polynomial rings.
method Determined sufficient criteria for differential smoothness.
result Criteria for differential smoothness of ambiskew polynomial rings.
Explains conformal symmetry with examples in geometry and analysis.
problem None explicitly stated; focuses on introduction.
method Introduction based on examples of Yamabe operator and its applications.
result Illustrates conformal symmetry in geometry and analysis.
Introduces non-regular spacetime geometry without smooth calculus.
problem Defining gravity without smooth spacetime geometry.
method Discusses non-regular spacetime geometry and curvature without differential calculus.
result Curvature and gravity can be defined without smooth spacetime calculus.
Cauchy used infinitesimals in differential geometry and integral geometry.
problem Applying infinitesimals in differential and integral geometry.
method Using infinitesimals as numbers in differential and integral geometry.
result Valid application of infinitesimals in geometric probability, differential geometry, elasticity, and Dirac delta functions.
This book is a textbook for the basic course of differential geometry. It is recommended as an introductory material for this subject.
The field of multiple view geometry has seen tremendous progress in reconstruction and calibration due to methods for extracting reliable point features and key developments in projective geometry. Point features, however, are not available in certain applications and result in unstructured point cloud reconstructions.…
Proof confirms preservation of projective limits in synthetic differential geometry.
problem Prove preservation of projective limits in synthetic differential geometry.
method Detailed proof using synthetic differential geometry and Cahiers topos.
result Projective limits preserved in synthetic differential geometry.
Quantum complexity lowerbound proved using differential geometry.
problem Proving lower bounds on quantum complexity.
method Applied the Bishop-Gromov bound to Nielsen's complexity geometry.
result Lower bounds on quantum complexity are exponentially large.
Survey talk on certain aspects of the subject, stressing the neighbor relation as a basic notion in differential geometry.