Related papers: Unification and projectivity in Fregean varieties

The success of the Higgs mechanism in the standard model has led to the speculation that the standard model gauge group might arise through an analogous breaking of a yet more unified group. Such `grand unified theories' have the advantage…

We classify affine varieties with an action of a connected, reductive algebraic group such that the group is isomorphic to an open orbit in the variety. This is accomplished by associating a set of one-parameter subgroups of the group to…

Let G be a semisimple affine algebraic group over a field F. Assuming that G becomes of inner type over some finite field extension of F of degree a power of a prime p, we investigate the structure of the Chow motives with coefficients in a…

We propose a generic framework for establishing the decidability of a wide range of logical entailment problems (briefly called querying), based on the existence of countermodels that are structurally simple, gauged by certain types of…

We prove that the classical algebraic varieties over algebraically closed fields can be defined over arbitrary fields $k.$ Then we prove that for associative algebras $A$, there exist local representing objects $A_M$ for simple modules $M.$…

We characterize embeddability of algebraic varieties into smooth toric varieties and prevarieties. Our embedding results hold also in an equivariant context and thus generalize a well known embedding theorem of Sumihiro on quasiprojective…

Let $A$ be an abelian variety and $G$ a finite group of automorphisms of $A$ fixing the origin such that $A/G$ is smooth. The quotient $A/G$ can be seen as a fibration over an abelian variety whose fibers are isomorphic to a product of…

We give an algorithm for computing Segre classes of subschemes of arbitrary projective varieties by computing degrees of a sequence of linear projections. Based on the fact that Segre classes of projective varieties commute with…

By the fundamental work of Griffiths one knows that, under suitable assumption, homological and algebraic equivalence do not coincide for a general hypersurface section of a smooth projective variety $Y$. In the present paper we prove the…

A subvariety of a complex projective space has a well-known dual variety, which is the set of its tangent hyperplanes. The purpose of this paper is to generalise this notion for a subvariety of a quite general partial flag variety. A…

Given a morphism of (small) groupoids with injective object map, we provide sufficient and necessary conditions under which the induction and co-induction functors between the categories of linear representations are naturally isomorphic. A…

A variety V has Boolean factor congruences (BFC) if the set of factor congruences of every algebra in V is a distributive sublattice of its congruence lattice; this property holds in rings with unit and in every variety which has a…

In light of null results from New Physics searches at the LHC, we look at unification of the gauge couplings as a model-building principle. As a first step, we consider extensions of the Standard Model with vector-like fermions. We present…

We consider generalized gradients in the general context of $G$-structures. They are natural first order differential operators acting on sections of vector bundles associated to irreducible $G$-representations. We study their geometric…

Congruences, or $2$-parameter families of lines in $3$-space are of interest in many situations, in particular in geometric optics. In this paper we consider elements of their geometry which are invariant under affine changes of…

We study projective completions of affine algebraic varieties induced by filtrations on their coordinate rings. In particular, we study the effect of the 'multiplicative' property of filtrations on the corresponding completions and…

Variational analysis presents a unified theory encompassing in particular both smoothness and convexity. In a Euclidean space, convex sets and smooth manifolds both have straightforward local geometry. However, in the most basic hybrid case…

We define and study the invariance properties of homological units. Some applications are given to the derived invariance of Hodge numbers. In particular, we prove that if X and Y are derived equivalent smooth projective varieties of…

The notion of associativity (which differs from the straightforward generalization of the usual associativity given by the move of parentheses in the relevant expression) for operations of high arity is introduced. It is proved that the…

This paper provides a unifying framework for a range of categorical constructions characterised by universal mapping properties, within the realm of compactifications of discrete structures. Some classic examples fit within this broad…