Related papers: A categorical view of varieties and equations

A classification of ordinary differential equations and finite-difference equations in one variable having polynomial solutions (the generalized Bochner problem) is given. The method used is based on the spectral problem for a polynomial…

We describe a bigraded generalization of the Weil algebra, of its basis and of the characteristic homomorphism which besides ordinary characteristic classes also maps on Donaldson invariants.

In this note we show that any basic abelian variety with additional structures over an arbitrary algebraically closed field of characteristic $p>0$ is isogenous to another one defined over a finite field. We also show that the category of…

Given an algebraic theory which can be described by a (possibly symmetric) operad $P$, we propose a definition of the \emph{weakening} (or \emph{categorification}) of the theory, in which equations that hold strictly for $P$-algebras hold…

The p-cohomology of an algebraic variety in characteristic p lies naturally in the category $D_{c}^{b}(R)$ of coherent complexes of graded modules over the Raynaud ring (Ekedahl-Illusie-Raynaud). We study homological algebra in this…

We introduce the bicategory of bialgebras with coverings (which can be thought of as coalgebra-indexed families of morphisms), and provide a motivating application to the transfer of formulas for primitives and antipode. Additionally, we…

By means of fixed point index theory for multi-valued maps, we provide an analogue of the classical Birkhoff--Kellogg Theorem in the context of discontinuous operators acting on affine wedges in Banach spaces. Our theory is fairly general…

This paper provides a complete presentation of $K_1(Var)$, the $K_1$ group of varieties, resolving and simplifying a problem left open in \cite{ZakhK1}. Our approach adapts Gillet-Grayson's $G$-Construction to define an un-delooped…

We generalise the definition of a group algebra so that it makes sense for non-locally compact topological groups, in particular, we require that the representation theory of the group algebra is isomorphic (in the sense of Gelfand-Raikov)…

In this paper we generalise the notion of Drinfeld modular form for the group $\Gamma$ := GL2(Fq[$\theta$]) to a vector-valued setting, where the target spaces are certain modules over positive characteristic Banach algebras over which are…

We develop an analogue of universal algebra in which generating symbols are interpreted as relations. We prove a variety theorem for these relational algebraic theories, in which we find that their categories of models are precisely the…

We propose a new framework for the study of homological properties for (compactly generated) triangulated categories such as regularity, finiteness of global or finitistic dimension, gorensteinness or injective generation and the relation…

A modeloid, a certain set of partial bijections, emerges from the idea to abstract from a structure to the set of its partial automorphisms. It comes with an operation, called the derivative, which is inspired by Ehrenfeucht-Fra\"iss\'e…

We consider the set of forms of a toric variety over an arbitrary field: those varieties which become isomorphic to a toric variety after base field extension. In contrast to most previous work, we also consider arbitrary isomorphisms…

The goal of this paper is to consider some relations between varieties of representations of groups and varieties of associative algebras. The main emphasis is put on the varieties of representations of groups induced by the varieties of…

Detecting and exploiting similarities between seemingly distant objects is without doubt an important human ability. This paper develops \textit{from the ground up} an abstract algebraic and qualitative notion of similarity based on the…

In this short note, we give a new sufficient condition for a linear map from a product of copies of a field to endomorphisms of a finite dimensional vector space over the same field to be an algebra homomorphism. We expect that this result…

We show that differential calculus (in its usual form, or in the general form of topological differential calculus) can be fully imdedded into a functor category (functors from a small category of anchord tangent algebras to anchored sets).…

This paper is an expanded and updated version of the preprint arXiv:math/0406499. It includes a more detailed description of the basics of the theory of Cherednik and Hecke algebras of varieties started in arXiv:math/0406499, as well as a…

We propose a new framework for integrating quantifiers with other logical connectives in a higher-categorical setting. Our method systematically incorporates key coherence conditions-including those akin to the Beck-Chevalley property-and…