Related papers: Perfectoid spaces arising from arithmetic jet spac…
In a previous work, "pure data" is proposed as an axiomatic foundation for mathematics and computing, based on "finite sequence" as the foundational concept rather than based on logic or type. Within this framework, objects with…
This paper proposes a new notion of smoothness of algebras, termed differential smoothness, that combines the existence of a top form in a differential calculus over an algebra together with a strong version of the Poincar\'e duality…
The small angle approximation often fails to explain experimental data, does not even predict if a plane pendulum's period increases or decreases with increasing amplitude. We make a perturbation ansatz for the Conserved Energy Surfaces of…
We study affine maps between CAT(0) spaces with geometric actions, and show that they essentially split as products of dilations and linear maps (on the Euclidean factor). This extends known results from the Riemannian case. Furthermore, we…
Synthetic algebraic geometry uses homotopy type theory extended with three axioms to develop algebraic geometry internal to a higher version of the Zariski topos. In this article we make no essential use of the higher structure and use…
From descent theory to higher geometry, the idea of gluing has been embedded in many elegant and powerful techniques, proving instrumental for the solution of many problems. In this paper, we introduce a framework that allows to link…
Deleting a hyperplane from a polar space associated with a symplectic polarity we get a specific, symplectic, affine polar space. Similar geometry, called an \afsempol\ arises as a result of generalization of the notion of an alternating…
We study a class of holomorphic matrix models. The integrals are taken over middle dimensional cycles in the space of complex square matrices. As the size of the matrices tends to infinity, the distribution of eigenvalues is given by a…
In previous papers it was shown that the left and right O-module structure of the jet bundles on the projective line differed. In this paper we show that similar statements hold for jet bundles on projective space in any dimension. We also…
Formulating a perfect fluid filled spherically symmetric metric utilizing the 3+1 formalism for general relativity, we show that the metric coefficients are completely determined by the mass-energy distribution, and its time rate of change…
The theory of moduli of morphisms on P^n generalizes the study of rational maps on P^1. This paper proves three results about the space of morphisms on P^n of degree d > 1, and its quotient by the conjugation action of PGL(n+1). First, we…
We define pointwise partial differential relations for holomorphic discs. Given a relative homotopy class, a relation, and a generic almost complex structure we provide the moduli space of discs which have an injective point with the…
We study the problem of perfect tiling in the plane and exploring the possibility of tiling a rectangle using integral distinct squares. Assume a set of distinguishable squares (or equivalently a set of distinct natural numbers) is given,…
A class of differential calculi is explored which is determined by a set of automorphisms of the underlying associative algebra. Several examples are presented. In particular, differential calculi on the quantum plane, the $h$-deformed…
A classical result in differential geometry states that for a free and proper Lie group action, the quotient map to the orbit space induces an isomorphism between the de Rham complex of differential forms on the orbit space and the basic…
A perfect Euler cuboid is a rectangular parallelepiped with integer edges and integer face diagonals whose space diagonal is also integer. Such cuboids are not yet discovered and their non-existence is also not proved. Perfect Euler cuboids…
This paper is the third in a series that researches the Morse Theory, gradient flows, concavity and complexity on smooth compact manifolds with boundary. Employing the local analytic models from \cite{K2}, for \emph{traversally generic…
A perfect cuboid is a rectangular parallelepiped with integer edges and integer face diagonals whose space diagonal is also integer. The existence of such cuboids is neither proved, nor disproved. A rational perfect cuboid is a natural…
We obtain results on approximation of holomorphic maps by algebraic maps, jet transversality theorems for holomorphic and algebraic maps, and the homotopy principle for holomorphic submersions of Stein manifolds to certain algebraic…
We show that a map $\mathrm{Spa}\,B \to \mathrm{Spa}\,A$ of sous-perfectoid affinoid adic spaces is \'etale if and only if there exists a presentation $B \cong A\langle X_{1},\dots, X_{n} \rangle/(f_{1},\dots,f_{n})$ such that the…