Related papers: A comparative review of recent researches in geome…
This is largely a survey paper, dealing with Cartan geometries in the complex analytic category. We first remind some standard facts going back to the seminal works of F. Klein, E. Cartan and C. Ehresmann. Then we present the concept of a…
We report on our experience formalizing differential geometry with mathlib, the Lean mathematical library. Our account is geared towards geometers with no knowledge of type theory, but eager to learn more about the formalization of…
We show that the cyclic and epicyclic categories which play a key role in the encoding of cyclic homology and the lambda operations, are obtained from projective geometry in characteristic one over the infinite semifield F of "max-plus…
So far, the most magnificent breakthrough in mathematics in the 21st century is the Geometrization Theorem, a bold conjecture by William Thurston (generalizing Poincar\'e's Conjecture) and proved by Grigory Perelman, based on the program…
We provide a motivated introduction to the theory of categorical actions of groups and the local geometric Langlands program. Along the way we emphasize applications, old and new, to the usual representation theory of reductive and affine…
We give a $K$-theoretic realization of all affine Hecke algebras with two unequal parameters including exceptional types. This extends the celebrated work of Kazhdan and Lusztig, who gave a $K$-theoretic realization of affine Hecke algebras…
We introduce the Brackets package for the computer algebra system Macaulay2, which provides convenient syntax for computations involving the classical invariants of the special linear group. We describe our implementation of bracket rings…
The $n$-dimensional affine group over the integers is the group $\mathcal G_n$ of all affinities on $\mathbb R^{n}$ which leave the lattice $ \mathbb Z^{n}$ invariant. $\mathcal G_n$ yields a geometry in the classical sense of the Erlangen…
Of the great theories of classical mathematics, projective geometry, with its powerful concepts of symmetry and duality, has been exceptional in continuing to intrigue investigators. The challenge put forth by Errett Bishop (1928-1983),…
The theme of this book chapter is to discuss algorithms for identifying and reconstructing groups and clusters of galaxies out of the general galaxy distribution. I review the progress of detection techniques through time, from the very…
Contrastive learning (CL) is a predominant technique in image classification, but they showed limited performance with an imbalanced dataset. Recently, several supervised CL methods have been proposed to promote an ideal regular simplex…
Although the geometric equality of figures has already been studied thoroughly, little work has been done about the comparison of unequal figures. We are used to compare only similar figures but would it be meaningful to compare non similar…
We translate Erland Samuel Bring's treatise Meletemata quaedam Mathematica circa Transformationem Aequationum Alebraicarum (Some selected mathematics on the Transformation of Algebraic Equations) written as his Promotionschrift at the…
In physics, two systems that radically differ at short scales can exhibit strikingly similar macroscopic behaviour: they are part of the same long-distance universality class. Here we apply this viewpoint to geometry and initiate a program…
This article provides a historical overview of Geometry of Numbers. 1. Figures, 2. The circuit problem and its relatives, 3. Minkowski lattice point set, 4. The young Hermann Minkowski, 5. The geometry of numbers develops, 6. Minkowski…
Historian Herbert Mehrtens sought to portray the history of turn-of-the-century mathematics as a struggle of modern vs countermodern, led respectively by David Hilbert and Felix Klein. Some of Mehrtens' conclusions have been picked up by…
To understand the structure of an algebraic variety we often embed it in various projective spaces. This develops the notion of projective geometry which has been an invaluable tool in algebraic geometry. We develop a perfectoid analog of…
In this note, we will illuminate some immediate consequences of work done by Reineke that may prove to be useful in the study of elliptic curves. In particular, we will construct an isomorphism between the category of smooth projective…
The life of Ernst Ising and the steps to solving the model named after him are reported in parallel. Wilhelm Lenz suggested his student Ernst Ising to explain the existence of ferromagnetism on the basis of his publication in 1920. The…
What is the best representation for doing euclidean geometry on computers? These notes from a SIGGRAPH 2019 short course entitled "Geometric algebra for computer graphics" introduce projective geometric algebra (PGA) as a modern framework…