Related papers: Taylor is prime
We introduce a framework of translation quiver varieties which includes Nakajima quiver varieties as well as their graded and cyclic versions. An important feature of translation quiver varieties is that the sets of their fixed points under…
We characterize the languages in the individual levels of the quantifier alternation hierarchy of first-order logic with two variables by identities. This implies decidability of the individual levels. More generally we show that the…
We study Lie algebroids in positive characteristic and moduli spaces of their modules. In particular, we show a Langton's type theorem for the corresponding moduli spaces. We relate Langton's construction to Simpson's construction of…
Given a relatively projective birational morphism $f\colon X\to Y$ of smooth algebraic spaces with dimension of fibers bounded by 1, we construct tilting relative (over $Y$) generators $T_{X,f}$ and $S_{X,f}$ in $\mathcal{D}^b(X)$. We…
We study the finite model property of subframe logics with expressible transitive reflexive closure modality. For $m>0$, let $\mathrm{L}_m$ be the logic defined by axiom $\lozenge^{m+1} p\to \lozenge p\vee p$. We construct filtrations for…
We study tropicalization of symplectic flag varieties with respect to the Pl\"ucker embedding. We identify a particular maximal prime cone in this tropicalization by explicitly giving its facets. For every interior point of this maximal…
The goal of this paper is to define families of toric varieties and to study their properties. These families are locally trivial fibrations over some base, whose fibres are isomorphic to a fixed complete toric variety. The study is…
Dilworth's theorem. Every finite distributive lattice $D$ can be represented as the congruence lattice of a finite lattice $L$. We want: Every finite distributive lattice $D$ can be represented as the congruence lattice of a nice finite…
M.S. Rao recently investigated some sorts of special filters in distributive pseudocomplemented lattices. In our paper we extend this study to lattices which need neither be distributive nor pseudocomplemented. For this sake we define a…
We completely classify all standard elements in the lattice of all monoid varieties. In particular, we prove that an element of this lattice is standard if and only if it is neutral.
In this paper we study prime, maximal and two--class congruences from the point of view of the relationships between them in various kinds of universal algebras, as well as their direct and inverse images through morphisms. This research…
In this paper we prove an existence theorem concerning linear forms of a given Diophantine type and apply it to study the structure of the spectrum of lattice exponents.
In this study, we present two results that relate Tutte polynomials. First, we provide new and complete polynomial invariants for graphs. We note that the number of variables of our polynomials is one. Second, let L_1 and L_2 be two…
Working in any model theoretic structure, we single out a class of definable bipartite graphs that admit definable, close to perfect matchings. We use this result to prove a strengthening of Tarski's theorem for the definable setting.
For any first order theory T we construct a Boolean valued model M, in which precisely the T--provable formulas hold, and in which every (Boolean valued) subset which is invariant under all automorphisms of M is definable by a first order…
Vision models are interpretable when they classify objects on the basis of features that a person can directly understand. Recently, methods relying on visual feature prototypes have been developed for this purpose. However, in contrast to…
We define a decidable class of TAGs that is strongly equivalent to CFGs and is cubic-time parsable. This class serves to lexicalize CFGs in the same manner as the LCFGs of Schabes and Waters but with considerably less restriction on the…
For \ell \neq p odd primes, we examine PSL_2(\ell)-covers of the projective line branched at one point over an algebraically closed field of characteristic p, where PSL_2(\ell) has order divisible by p. We show that such covers can be…
We characterize when a finite lattice is distributive by the existences of some particular classes of Koszul filtrations.
We continue our work on the model theory of free lattices, solving two of the main open problems from our first paper on the subject. Our main result is that the universal (existential) theory of infinite free lattices is decidable. Our…