相关论文: Is tame open?

A main purpose of this paper is to prove that the class of finite dimensional algebras which verify Han's conjecture is closed under split bounded extensions.

We investigate sets of the common zeros of non-constant semi-invariants for regular modules over canonical algebras. In particular, we show that if the considered algebra is tame then for big enough vectors these sets are complete…

We prove that the equational theory of Kleene algebra with commutativity conditions on primitives (or atomic terms) is undecidable, thereby settling a longstanding open question in the theory of Kleene algebra. While this question has also…

A notion of meromorphic open-string vertex algebra is introduced. A meromorphic open-string vertex algebra is an open-string vertex algebra in the sense of Kong and the author satisfying additional rationality (or meromorphicity) conditions…

We develop tame topology over dp-minimal structures equipped with definable uniformities satisfying certain assumptions. Our assumptions are enough to ensure that definable sets are tame: there is a good notion of dimension on definable…

The class of graded elementary quasi-Hopf algebras of tame type is classified. Combining with our previous work [19], this completes the trichotomy for such class of algebras according to their representation types. In addition, new…

We prove the Freiheitssatz for right-symmetric algebras and the decidability of the word problem for right-symmetric algebras with a single defining relation. We also prove that two generated subalgebras of free right-symmetric algebras are…

We show that the number of parameters for CM-modules of prescribed rank is semi-continuous in families of CM rings of Krull dimension 1. This transfers a result of Knoerrer from the commutative to the not necessarily commutative case. For…

Several open problems in algebraic logic are solved.

By developing the Tanaka theory for rank 2 distributions, we completely classify classical Monge equations having maximal finite-dimensional symmetry algebras with fixed (albeit arbitrary) pair of its orders. Investigation of the…

Let X be a separated scheme of finite type over an algebraically closed field k and let m be a natural number. By an explicit geometric construction using torsors we construct a pairing between the first mod m Suslin homology and the first…

There are many notions of rank in multilinear algebra: tensor rank, partition rank, slice rank, and strength (or Schmidt rank) are a few examples. Typically the rank $\le r$ locus is not Zariski closed, and understanding the closure (the…

Various notions of stable ranks are studied for topological algebras. Some partial answers to R.G. Swan's problem (Have two Banach or good Fr\'echet algebras as in the density theorem in K-theory the same stable rank ?) are obtained. For…

A tame filtration of an algebra is defined by the growth of its terms, which has to be majorated by an exponential function. A particular case is the degree filtration used in the definition of the growth of finitely generated algebras. The…

This is a survey article on the currently very active research area of free (=non-commutative) real algebra and geometry. We first review some of the important results from the commutative theory, and then explain similarities and…

Associated to a symmetric space there is a canonical connection with zero torsion and parallel curvature. This connection acts as a binary operator on the vector space of smooth sections of the tangent bundle, and it is linear with respect…

We introduce and study a class of algebraic stacks with finite inertia in positive and mixed characteristic, which we call tame algebraic stacks. They include tame Deligne-Mumford stacks, and are arguably better behaved than general…

So far, the scope of computer algebra has been needlessly restricted to exact algebraic methods. Its possible extension to approximate analytical methods is discussed. The entangled roles of functional analysis and symbolic programming,…

We prove a criterion for continuity of bilinear maps on countable direct sums of topological vector spaces. As a first application, we get a new proof for the fact (due to Hirai et al. 2001) that the map taking a pair of test functions on…

A logic is said to admit an equational completeness theorem when it can be interpreted into the equational consequence relative to some class of algebras. We characterize logics admitting an equational completeness theorem that are either…