Related papers: 5-dimensional geometries I: the general classifica…
The aim of this paper is to classify reduction types of algebraic curves. Reduction types capture the discrete invariants of fibres in one-dimensional families of curves, and they have been described in genus 1, 2 and 3. For fixed genus…
In descending generality I survey: five partial orderings of graphs, the induced-subgraph ordering, and examples like perfect, threshold, and mock threshold graphs. The emphasis is on how the induced subgraph ordering differs from other…
We define a class of groups based on parallel computations by pushdown automata. This class generalizes automatic groups. It includes the fundamental groups of all 3-manifolds which obey Thurston' s geometrization conjecture. It also…
We present alternative postulates for Euclidean geometry whose merit is that they lead to a new class of invariants and associated geometries for real finite-dimensional unital associative algebras.
We describe algorithms that produce accurate real-time interactive in-space views of the eight Thurston geometries using ray-marching. We give a theoretical framework for our algorithms, independent of the geometry involved. In addition to…
We derive a family of matrix models which encode solutions to the Seiberg-Witten theory in 4 and 5 dimensions. Partition functions of these matrix models are equal to the corresponding Nekrasov partition functions, and their spectral curves…
We develop a general theory of 3-dimensional ``orbifold completion'', to describe (generalised) orbifolds of topological quantum field theories as well as all their defects. Given a semistrict 3-category $\mathcal{T}$ with adjoints for all…
Special geometry is most known from 4-dimensional N=2 supergravity, though it contains also quaternionic and real geometries. In this review, we first repeat the connections between the various special geometries. Then the constructions are…
We describe standard forms for elements of the higher-dimensional Thompson groups $nV$ arising from gridding subdivision processes. These processes lead to standard normal form descriptions for elements in these groups, and sizes of these…
The supersymmetric Poisson Sigma model is studied as a possible worldsheet realization of generalized complex geometry. Generalized complex structures alone do not guarantee non-manifest N=(2,1) or N=(2,2) supersymmetry, but a certain…
Several tools have been developed to enhance automation of theorem proving in the 2D plane. However, in 3D, only a few approaches have been studied, and to our knowledge, nothing has been done in higher dimensions. In this paper, we present…
For $\Gamma_1$-structures on 3-manifolds, we give a very simple proof of Thurston's regularization theorem, first proved in \cite{thurston}, without using Mather's homology equivalence. Moreover, in the co-orientable case, the resulting…
In many areas of applied geometric/numeric computational mathematics, including geo-mapping, computer vision, computer graphics, finite element analysis, medical imaging, geometric design, and solid modeling, one has to compute incidences,…
Classifying isomorphism classes of group gradings on algebras presents a compelling challenge, particularly within the realms of non-simple and infinite-dimensional algebras, which have been relatively unexplored. This study focuses on a…
We announce two breakthrough results concerning important questions in the Theory of Computational Complexity. In this expository paper, a systematic and comprehensive geometric characterization of the Subset Sum Problem is presented. We…
Five-dimensional $\mathcal{N}=1$ theories with gauge group $U(N)$, $SU(N)$, $USp(2N)$ and $SO(N)$ are studied at large rank through localization on a large sphere. The phase diagram of theories with fundamental hypermultiplets is universal…
This document contains a description of physics entirely based on a geometric presentation: all of the theory is described giving only a pseudo-riemannian manifold (M, g) of dimension n > 5 for which the g tensor is, in studied domains,…
We compare three notions of genericity of separable metric structures. Our analysis provides a general model theoretic technique of showing that structures are generic in descriptive set theoretic (topological) sense and in measure…
The recent investigation of the gauge structure of extended geometry is generalised to situations when ancillary transformations appear in the commutator of two generalised diffeomorphisms. The relevant underlying algebraic structure turns…
We construct new explicit proper biharmonic functions on the $3$-dimensional Thurston geometries $\Sol$, $\Nil$, $\SL2$, $H^2\times\rn$ and $S^2\times\rn$.