Related papers: Lattices and correction terms
Let $\mathbb{L}$ be a Dedekind complete unital $f$-algebra. We prove the Riesz-Kantorovich formulas for order bounded $\mathbb{L}$-module homomorphisms from a directed partially ordered $\mathbb{L}$-module with the Riesz Decomposition…
Scheme-theoretic methods are used to classify ternary quadratic forms with values in line bundles over arbitrary schemes and to canonically determine the isomorphisms between them. The association of a quadratic bundle to its even Clifford…
We prove a sharp upper bound on the number of distinct columns of a totally unimodular matrix with column sums $1$ improving upon Heller's classical bound. The proof uses Seymour's decomposition theorem. Such matrices are closely related to…
The first aim of this work is to characterize when the lattice of all submodules of a module is a direct product of two lattices. In particular, which decompositions of a module $M$ produce these decompositions: the \emph{lattice…
We introduce a pointfree theory of convergence on lattices and coframes. A convergence lattice is a lattice $L$ with a monotonic map $\lim_L$ from the lattice of filters on $L$ to $L$, meant to be an abstract version of the map sending…
We prove N\'{e}methi's conjecture: if $Y$ is a 3-manifold which is the boundary of a plumbing of a tree of disk bundles over $S^2$, then the lattice homology of $Y$ coincides with the Heegaard Floer homology of $Y$. We also give a…
This article is part of my upcoming masters thesis which investigates the following open problem from the book, Free Lattices, by R.Freese, J.Jezek, and J.B. Nation published in 1995: "Which lattices (and in particular which countable…
For any negative definite plumbed 3-manifold M we construct from its plumbed graph a graded Z[U]-module. This, for rational homology spheres, conjecturally equals the Heegaard-Floer homology of Ozsvath and Szabo, but it has even more…
We address primary decomposition conjectures for knot concordance groups, which predict direct sum decompositions into primary parts. We show that the smooth concordance group of topologically slice knots has a large subgroup for which the…
In the framework of algebraic topology the closed sequence of 4-dimensional polyhedra(algebraic polytopes) was defined. These polytopes were determined by the second coordination sphere of 8-dimensional lattice E8. The ordered…
Let $X$ be a nonempty real variety that is invariant under the action of a reflection group $G$. We conjecture that if $X$ is defined in terms of the first $k$ basic invariants of $G$ (ordered by degree), then $X$ meets a $k$-dimensional…
We introduce the notion of distributivity for implicative-orthomodular lattices, proving an analogue result of the Foulis-Holland theorem. Based on this result, we characterize the distributive implicative-orthomodular lattices. Moreover,…
For an even, integral hyperbolic lattice $L$, the symmetry group of $L$ is the quotient of the group of isometries of $L$ by the Weyl subgroup of $(-2)$-reflections. Following Nikulin, the exceptional lattice of $L$ is defined as the…
A general elliptic $N\times N$ matrix Lax scheme is presented, leading to two classes of elliptic lattice systems, one which we interpret as the higher-rank analogue of the Landau-Lifschitz equations, while the other class we characterize…
A series of recent papers by Bergfalk, Lupini and Panagiotopoulus developed the foundations of a field known as `definable algebraic topology,' in which classical cohomological invariants are enriched by viewing them as groups with a Polish…
Let $G$ be a simply connected, solvable Lie group and $\Gamma$ a lattice in $G$. The deformation space $\mathcal{D}(\Gamma,G)$ is the orbit space associated to the action of $\Aut(G)$ on the space $\mathcal{X}(\Gamma,G)$ of all lattice…
Hamkins and Kikuchi (2016 and 2017) show that in both set theory and class theory the definable subset ordering of the universe interprets a complete and decidable theory. If $\mathcal{M}$ is a model of set theory, then $\langle M,…
We complete the classification of the smooth, closed, oriented 4-manifolds having Euler characteristic less than four and a horizontal handlebody decomposition of genus one. We use the classification result to find a large family of…
Let $G$ be a real centre-free semisimple Lie group without compact factors. I prove that irreducible lattices in $G$ are rigid under two types of sublinear distortions. The first result is that the class of lattices in groups that do not…
We show that under a suitable transversality condition, the intersection of two rational subtori in an algebraic torus $(\C^*)^n$ is a finite group which can be determined using the torsion part of some associated lattice. Applications are…