Related papers: Polytopal linear algebra
We investigate graded retracts of polytopal algebras (essentially the homogeneous rings of affine cones over projective toric varieties) as polytopal analogues of vector spaces. In many cases we show that these retracts are again polytopal…
Using elementary graded automorphisms of polytopal algebras (essentially the coordinate rings of projective toric varieties) polyhedral versions of the group of elementary matrices and the Steinberg and Milnor groups are defined. They…
We calculate the algebraic $K$-theory of the coordinate ring of a planar cuspidal curve over a regular $\mathbb{F}_p$-algebra, thereby verifying a conjecture due to Hesselholt. In the course of the proof we compute the Picard group of the…
We investigate the concept of definable, or inner, automorphism in the logical setting of partial Horn theories. The central technical result extends a syntactical characterization of the group of such automorphisms (called the covariant…
We define higher polyhedral K-groups for commutative rings, starting from the stable groups of elementary automorphisms of polyhedral algebras. Both Volodin's theory and Quillen's + construction are developed. In the special case of…
Polynomials in a category have been studied as a generalization of the traditional notion in mathematics. Their construction has recently been extended to higher groupoids, as formalized in homotopy type theory, by Finster, Mimram, Lucas…
In this paper we consider some classical varieties of linear algebras over the field which has characteristic 0. For every considered variety we take a category of the finite generated free algebras of this variety. And for every this…
This is an overview of results from our experiment of merging two seemingly unrelated disciplines - higher algebraic K-theory of rings and the theory of lattice polytopes. The usual K-theory is the ``theory of a unit simplex''. A conjecture…
The object of this paper is the tameness conjecture which describes an arbitrary graded k-algebra homomorphism of polytopal rings. We give further evidence of this conjecture by showing supporting results concerning joins, multiples and…
In this paper we explain the parallelism in the classification of three different kinds of mathematical objects: (i) Classical r-matrices. (ii) Generalized cohomology theories that have Chern classes for complex vector bundles. (iii)…
The present work investigates regular, semiregular, and chiral polytopes of any rank $d\geq 3$, whose automorphism groups are 2-groups. There is a large variety of rather small finite regular or alternating semiregular polytopes with…
We show that the triviality of the differential Galois cohomologies over a partial differential field K of a linear differential algebraic group is equivalent to K being algebraically, Picard-Vessiot, and linearly differentially closed.…
By homotopy linear algebra we mean the study of linear functors between slices of the $\infty$-category of $\infty$-groupoids, subject to certain finiteness conditions. After some standard definitions and results, we assemble said slices…
We present a classification of the so-called "additive symmetric 2-cocycles" of arbitrary degree and dimension over Z/p, along with a partial result and some conjectures for m-cocycles over Z/p, m > 2. This expands greatly on a result…
In this paper, we compute the homology group and cohomology algebra of various polyhedral product objects uniformly from the point of view of diagonal tensor product. As applications, we introduce the polyhedral product method into…
For an arbitrary rational polyhedron we consider its decompositions into Minkowski summands and, dual to this, the free extensions of the associated pair of semigroups. Being free for the pair of semigroups is equivalent to flatness for the…
In this paper we build an abstract description of vertex algebras from their basic axioms. Starting with Borcherds' notion of a vertex group, we naturally construct a family of multilinear singular maps parameterised by trees. These…
This paper is a continuation of our previous work in which we defined the notion of a polytope complex and its $K$-theory. In this paper we produce formulas for the delooping of a simplicial polytope complex and the cofiber of a morphism of…
We give a short introduction to generalized vertex algebras, using the notion of polylocal fields. We construct a generalized vertex algebra associated to a vector space h with a symmetric bilinear form. It contains as subalgebras all…
Every indefinite binary form occurs as the Picard lattice of some K3-surface. The group of its isometries, or automorphs, coincides with the automorphism group of the K3-surface, but only up to finite groups. The classical theory of…