Related papers: Unification and projectivity in Fregean varieties
The inconsistence of Dirac-Weyl field equations with the universal U(1) gauge invariance of neutrinos in quantum mechanics led to generalize the special relativity to the generic relativity, which was composed of the special relativity and…
We initiate the construction of gauge fluxes in F-theory compactifications on genus-one fibrations which only have a multi-section as opposed to a section. F-theory on such spaces gives rise to discrete gauge symmetries in the effective…
A new hierarchy of "exact" unification types is introduced, motivated by the study of admissible rules for equational classes and non-classical logics. In this setting, unifiers of identities in an equational class are preordered, not by…
In this paper we will study the projetivity of various natural modules associated to operator Segal algebras of the Fourier algebra of a locally compact group. In particular, we will focus on the question of identifying when such modules…
We introduce a new method for expanding an abelian category and study it using recollements. In particular, we give a criterion for the existence of cotilting objects. We show, using techniques from noncommutative algebraic geometry, that…
Let $G$ be a complex quasi-simple algebraic group and $G/P$ be a partial flag variety. The projections of Richardson varieties from the full flag variety form a stratification of $G/P$. We show that the closure partial order of projected…
Several known constructions relate initial degenerations of projective toric varieties and Grassmannians to regular subdivisions of appropriate point configurations. We define a general framework which allows for partial generalizations of…
In this paper, we prove that any two birational projective varieties with finite quotient singularities can be realized as two geometric GIT quotients of a non-singular projective variety by a reductive algebraic group. Then, by applying…
In this paper, for a given finitely generated algebra (an algebraic structure with arbitrary operations and no predicates) A we study finitely generated limit algebras of A, approaching them via model theory and algebraic geometry. Along…
The geometric and algebraic properties of smooth projective varieties with 1-regular structure sheaf are well understood, and the complete classification of these varieties is a classical result. The aim of this paper is to study the next…
In this paper we introduce new affine algebraic varieties whose points correspond to associative algebras. We show that the algebras within a variety share many important homological properties. In particular, any two algebras in the same…
Euler-symmetric projective varieties are nondegenerate projective varieties admitting many C*-actions of Euler type. They are quasi-homogeneous and uniquely determined by their fundamental forms at a general point. We show that…
We prove global convergence of classical projection algorithms for feasibility problems involving union convex sets, which refer to sets expressible as the union of a finite number of closed convex sets. We present a unified strategy for…
We define partially ample subvarieties of projective varieties, generalizing Ottem's work on ample subvarieties, and show their ubiquity. As an application, we obtain a connectedness result for pre-images of subvarieties by morphisms,…
Classes of algebraic structures that are defined by equational laws are called varieties or equational classes. A variety is finitely generated if it is defined by the laws that hold in some fixed finite algebra. We show that every…
With a small suitable modification, dropping the projectivity condition, we extend the notion of a Frobenius algebra to grant that a Frobenius algebra over a Frobenius commutative ring is itself a Frobenius ring. The modification introduced…
Here we explore the geometry of the osculating spaces to projective varieties of arbitrary dimension. In particular, we classify varieties having very degenerate higher order osculating spaces and we determine mild conditions for the…
We introduce the notion of the full quiver of a representation of an algebra, which is a cover of the (classical) quiver, but which captures properties of the representation itself. Gluing of vertices and of arrows enables one to study…
The motivation of this work is to construct an analog of compactified moduli of abelian varieties and toric pairs in the case of non-commutative algebraic group G. We introduce a class of "stable reductive varieties" which contain connected…
We investigate unital, subtractive and strongly unital regular categories with enough projectives and give characterizations of their projective covers. The categorical equation "strongly unital = unital + subtractive" is explored: this…