Related papers: The generic flat pregeometry
The notion of bounded expansion captures uniform sparsity of graph classes and renders various algorithmic problems that are hard in general tractable. In particular, the model-checking problem for first-order logic is fixed-parameter…
Complete complex parabolic geometries (including projective connections and conformal connections) are flat and homogeneous. This is the first global theorem on parabolic geometries.
The distribution of the deformations of elementary cells is studied in an abstract lattice constructed from the existence of the empty set. One combination rule determining oriented sequences with continuity of set-distance function in such…
Suppose $G$ is a locally solid lattice group. It is known that there are non-equivalent classes of bounded homomorphisms on $G$ which have topological structures. In this paper, our attempt is to assign lattice structures on them. More…
The first part of the paper is a brief overview of Hindman's finite sums theorem, its prehistory and a few of its further generalizations, and a modern technique used in proving these and similar results, which is based on idempotent…
We define a notion of Gorenstein flat dimension for unbounded complexes over left GF-closed rings. Over Gorenstein rings we introduce a notion of Gorenstein cohomology for complexes; we also define a generalized Tate cohomology for…
Tarski initiated a logic-based approach to formal geometry that studies first-order structures with a ternary betweenness relation \beta, and a quaternary equidistance relation \equiv. Tarski established, inter alia, that the first-order…
A generic method for combinatorial constructions of intrinsic geometrical spaces is presented. It is based on the well known inverse sequences of finite graphs that determine (in the limit) topological spaces. If a pattern of the…
Using an infinitary version of the Hypergraph Removal Lemma due to Towsner, we prove a model-theoretic higher amalgamation result. In particular, we obtain an independent amalgamation property which holds in structures which are measurable…
The importance of the first-class constraint algebra of general relativity is not limited just by its self-contained description of the gauge nature of spacetime, but it also provides conditions to properly evolve the geometry by selecting…
In this expository manuscript, we review the construction of Gromov-Witten virtual fundamental class via FOOO's theory of Kuranishi structures for moduli spaces of pseudo-holomorphic maps defined on closed Riemann surfaces. We consider…
We prove the Berenstein-Zelevinsky conjecture that the quantized coordinate rings of the double Bruhat cells of all finite dimensional simple algebraic groups admit quantum cluster algebra structures with initial seeds as specified by [4].…
In very rough terms, the main theorem is that the set, which consists of semistable vector bundles with trivial rational Chern classes and nontrivial kth cohomology on a smooth complex projective variety, is a degeneration of a union of…
The Standard Model of particle physics is standardly formulated in terms of principal fibre bundles and their associated representations -- what may be called a symmetry-first approach. This paper develops an alternative geometry-first…
Given a finitely-generated group $\pi$ and a linear algebraic group $G$, the representation variety Hom$(\pi,G)$ has a natural filtration by the characteristic varieties associated to a rational representation of $G$. Its algebraic…
Stringy canonical forms are a class of integrals that provide $\alpha'$-deformations of the canonical form of any polytopes. For generalized associahedra of finite-type cluster algebra, there exist completely rigid stringy integrals, whose…
We consider a right coherent ring R. We prove that the class of Gorenstein flat complexes is covering in the category of complexes of left R-modules Ch(R). When R is also left n-perfect, we prove that the class of Gorenstein projective…
In this century, a square-tiled translation surface (an origami) is intensively studied as an object with special properties of its translation structure and its $SL(2,\mathbb{R})$-orbit embedded in the moduli space. We generalize this…
Let $G$ be a topological group and let $\mu$ be the Lebesgue measure on the interval $[0,1]$. We let $L_0(G)$ to be the topological group of all $\mu$-equivalence classes of $\mu$-measurable functions defined on [0,1] with values in $G$,…
We propose a general quantum Hamiltonian formalism of a renormalization group (RG) flow with an emphasis on generalized symmetry by interpreting the elementary relationship between homomorphism, quotient ring, and projection. In our…