Related papers: The Relation Type of Varieties

We introduce the notion of a relative spherical category. We prove that such a category gives rise to the generalized Kashaev and Turaev-Viro-type 3-manifold invariants defined in arXiv:1008.3103 and arXiv:0910.1624, respectively. In this…

We describe the quantum cohomology rings of a class of toric varieties. The description includes, in addition to the (already known) ring presentations, the (new) analogues for toric varieties of the sorts of quantum Giambelli formulas…

This is a survey on the finite basis problem for varieties of algebraic systems. Our exposition is in two directions: (i) We give numerous examples of varieties which are not finitely based. (ii) We give examples of important varieties with…

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…

We introduce the notion of a logical model category which is a Quillen model category satisfying some additional conditions. Those conditions provide enough expressive power that one can soundly interpret dependent products and sums in it.…

This note studies the behavior of Euler characteristics and of intersection homology Euler characterstics under proper morphisms of algebraic (or analytic) varieties. The methods also yield, for algebraic (or analytic) varieties, formulae…

This is an expository article on the theory of formal group laws in homotopy theory, with the goal of leading to the connection with higher-dimensional abelian varieties and automorphic forms. These are roughly based on a talk at the…

We use the theory of varieties for modules arising from Hochschild cohomology to give an alternative version of the wildness criterion of Bergh and Solberg: If a finite dimensional self-injective algebra has a module of complexity at least…

We introduce and study elementary properties of graph homology of algebras. This new homology theory shares many features of cyclic and Hochschild homology. We also define a graph K-theory together with an analog of Chern character.

An algebraic theory, sometimes called an equational theory, is a theory defined by finitary operations and equations, such as the theories of groups and of rings. It is well known that algebraic theories are equivalent to finitary monads on…

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…

Using an approach to the Jacobian Conjecture by L.M. Dru\.zkowski and K. Rusek 12], G. Gorni and G. Zampieri [19], and A.V. Yagzhev[27], we describe a correspondence between finite dimensional symmetric algebras and homogeneous tuples of…

Self-similar potentials generalize the concept of shape-invariance which was originally introduced to explore exactly-solvable potentials in quantum mechanics. In this article it is shown that previously introduced algebraic approach to the…

We study analogues of Tate's conjecture on homomorphisms for abelian varieties when the ground field is finitely generated over an algebraic closure of a finite field. Our results cover the case of abelian varieties without nontrivial…

We present a common framework to study varieties in great generality from a categorical point of view. The main application of this study is in the setting of algebraic categories, where we introduce Birkhoff varieties which are essentially…

We describe a deterministic process to associate a practical, permanent label to isomorphism classes of abelian varieties defined over finite fields with commutative endomorphism algebra as long as they are ordinary or defined over a prime…

We give a new proof of the fact that affine Deligne-Lusztig varieties for an algebraic group of adjoint type, associated with superbasic elements, are of finite type. The proof uses a property of the associated Hecke algebra, which we…

We exhibit a computational type theory which combines the higher-dimensional structure of cartesian cubical type theory with the internal parametricity primitives of parametric type theory, drawing out the similarities and distinctions…

We introduce a class of real algebraic varieties characterised by a simple rationality condition, which exhibit strong properties regarding approximation of continuous and smooth mappings by regular ones. They form a natural counterpart to…

We prove that a quasi-finite endomorphism of an algebraic variety over an algebraically closed field of characteristic zero, that is injective on the complement of a closed subvariety, is an automorphism. We also prove that an endomorphism…