Related papers: The Relation Type of Varieties

This paper introduces Relational Type Theory (RelTT), a new approach to type theory with extensionality principles, based on a relational semantics for types. The type constructs of the theory are those of System F plus relational…

We study the relation between algebraic structures and Graph Theory. We have defined five different weighted digraphs associated to a finite dimensional algebra over a field in order to tackle important properties of the associated…

We show that the rational homotopy type of the complement of a toric arrangement is completely determined by two sets of combinatorial data. This is obtained by introducing a differential graded algebra over Q whose minimal model is…

We give some examples of non-complete invariant affine connections on nilpotent and filiform Lie groups. This permits to describe non-nilpotent faithful representations on the model of filiform n-dimensional Lie algebras and, in particular,…

We find all homogeneous symplectic varieties of connected reductive algebraic groups that admit an invariant linear connection.

We describe a class of affine toric varieties $V$ that are set-theoretically minimally defined by codim $V+1$ binomial equations over fields of any characteristic.

We define a differential graded algebra for Legendrian graphs and tangles in the standard contact Euclidean three space. This invariant is defined combinatorially by using ideas from Legendrian contact homology. The construction is…

L. Avramov, following D. Quillen, posed a conjecture to the effect that if $R \to A$ is a homomorphism of Noetherian rings then the Andr\'e-Quillen homology on the category of A-modules satisfies: $D_{s}(A|R;-) = 0$ for $s\gg 0$ implies…

In an earlier work, the author observed that Boolean inverse semi-groups, with semigroup homomorphisms preserving finite orthogonal joins, form a congruence-permutable variety of algebras, called biases. We give a full description of…

We provide a new foundational approach to the generalization of terms up to equational theories. We interpret generalization problems in a universal-algebraic setting making a key use of projective and exact algebras in the variety…

Differential algebraic geometry seeks to extend the results of its algebraic counterpart to objects defined by differential equations. Many notions, such as that of a projective algebraic variety, have close differential analogues but their…

We introduce and study a notion of large homomorphisms on the homotopy lie coalgebra; these homomorphisms are a variant of the large homomorphisms of Levin. As a consequence of our work, we establish new cases of a homotopy lie coalgebra…

In this note we discuss some examples of non torsion and non algebraic cohomology classes for varieties over finite fields. The approach follows the construction of Atiyah-Hirzebruch and Totaro.

In this paper we consider the very wide class of varieties of representations of Lie algebras over the field k, which has characteristic 0. We study the relation between the geometric equivalence and automorphic equivalence of the…

We study continuous homomorphisms between algebras of iterated Laurent series over a commutative ring. We give a full description of such homomorphisms in terms of a discrete data determined by the images of parameters. In similar terms, we…

Each choice of a K\"ahler class on a compact complex manifold defines an action of the Lie algebra $\slt$ on its total complex cohomology. If a nonempty set of such K\"ahler classes is given, then we prove that the corresponding…

Higher homological algebra, basically done in the framework of an $n$-cluster tilting subcategory $\mathcal{M}$ of an abelian category $\mathcal{A}$, has been the topic of several recent researches. In this paper, we study a relative…

In this paper we suggest a new general formalism for studying the invariants of polyhedra and manifolds comming from the theory of von Neumann algebras. First, we examine generality in which one may apply the construction of the extended…

In this paper, we introduce the concept of P-difference varieties and study the properties of toric P-difference varieties. Toric P-difference varieties are analogues of toric varieties in difference algebra geometry. The category of affine…

We consider a possibility of the existence of intersection homology morphism, which would be associated to a map of analytic varieties. We assume that the map is an inclusion of codimension one. Then the existence of a morphism follows from…