k-Normalization and (k+1)-level inflation of varieties

Valerie Cheng; Shelly Wismath

Displaying similar documents to “k-Normalization and (k+1)-level inflation of varieties”

2-normalization of lattices

Ivan Chajda, W. Cheng, S. L. Wismath (2008)

Czechoslovak Mathematical Journal

Similarity:

Let $τ$ be a type of algebras. A valuation of terms of type $τ$ is a function $v$ assigning to each term $t$ of type $τ$ a value $v (t) \geq 0$ . For $k \geq 1$ , an identity $s \approx t$ of type $τ$ is said to be $k$ -normal (with respect to valuation $v$ ) if either $s = t$ or both $s$ and $t$ have value $\geq k$ . Taking $k = 1$ with respect to the usual depth valuation of terms gives the well-known property of normality of identities. A variety is called $k$ -normal (with respect to the valuation $v$ ) if all its identities are $k$ -normal. For any variety $V$ , there...

Interpolating discrete multiplicity varieties for $A ⁰_{p} (ℂ ⁿ)$

Bao Qin Li, Enrique Villamor (2006)

Studia Mathematica

Similarity:

A necessary and sufficient condition is obtained for a discrete multiplicity variety to be an interpolating variety for the space $A ⁰_{p} (ℂ ⁿ)$ .

A note on normal varieties of monounary algebras

Ivan Chajda, Helmut Länger (2002)

Czechoslovak Mathematical Journal

Similarity:

A variety is called normal if no laws of the form $s = t$ are valid in it where $s$ is a variable and $t$ is not a variable. Let $L$ denote the lattice of all varieties of monounary algebras $(A, f)$ and let $V$ be a non-trivial non-normal element of $L$ . Then $V$ is of the form $M o d (f^{n} (x) = x)$ with some $n > 0$ . It is shown that the smallest normal variety containing $V$ is contained in $H S C (M o d (f^{m n} (x) = x))$ for every $m > 1$ where $C$ denotes the operator of forming choice algebras. Moreover, it is proved that the sublattice of $L$ consisting of all normal...

The lattice of subvarieties of the biregularization of the variety of Boolean algebras

Jerzy Płonka (2001)

Discussiones Mathematicae - General Algebra and Applications

Similarity:

Let τ: F → N be a type of algebras, where F is a set of fundamental operation symbols and N is the set of all positive integers. An identity φ ≈ ψ is called biregular if it has the same variables in each of it sides and it has the same fundamental operation symbols in each of it sides. For a variety V of type τ we denote by $V_{b}$ the biregularization of V, i.e. the variety of type τ defined by all biregular identities from Id(V). Let B be the variety of Boolean algebras of type $τ_{b} : +, \cdot, ´ \to N$ , where...

Categorical equivalences of varieties generated by algebras $𝔄$ and $𝔄^{r}$

K. Denecke (1988)

Banach Center Publications

Similarity:

Special m-hyperidentities in biregular leftmost graph varieties of type (2,0)

Apinant Anantpinitwatna, Tiang Poomsa-ard (2009)

Discussiones Mathematicae - General Algebra and Applications

Similarity:

Graph algebras establish a connection between directed graphs without multiple edges and special universal algebras of type (2,0). We say that a graph G satisfies a term equation s ≈ t if the corresponding graph algebra $\underset{̲}{A (G)}$ satisfies s ≈ t. A class of graph algebras V is called a graph variety if $V = M o d_{g} Σ$ where Σ is a subset of T(X) × T(X). A graph variety $V^{'} = M o d_{g} Σ^{'}$ is called a biregular leftmost graph variety if Σ’ is a set of biregular leftmost term equations. A term equation s ≈ t is called an identity...

Asymptotics of eigensections on toric varieties

A. Huckleberry, H. Sebert (2013)

Annales de l’institut Fourier

Similarity:

Using exhaustion properties of invariant plurisubharmonic functions along with basic combinatorial information on toric varieties, we prove convergence results for sequences of densities $| ϕ_{n} |^{2} = | s_{N} |^{2} / | | s_{N} {| |}_{L^{2}}^{2}$ for eigensections $s_{N} \in Γ (X, L^{N})$ approaching a semiclassical ray. Here $X$ is a normal compact toric variety and $L$ is an ample line bundle equipped with an arbitrary positive bundle metric which is invariant with respect to the compact form of the torus. Our work was motivated by and extends that of Shiffman, Tate...

Minimal generics from subvarieties of the clone extension of the variety of Boolean algebras

Jerzy Płonka (2008)

Colloquium Mathematicae

Similarity:

Let τ be a type of algebras without nullary fundamental operation symbols. We call an identity φ ≈ ψ of type τ clone compatible if φ and ψ are the same variable or the sets of fundamental operation symbols in φ and ψ are nonempty and identical. For a variety of type τ we denote by $^{c}$ the variety of type τ defined by all clone compatible identities from Id(). We call $^{c}$ the clone extension of . In this paper we describe algebras and minimal generics of all subvarieties of $^{c}$ , where is the...

Bases for certain varieties of completely regular semigroups

Mario Petrich (2021)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

Completely regular semigroups equipped with the unary operation of inversion within their maximal subgroups form a variety, denoted by $𝒞ℛ$ . The lattice of subvarieties of $𝒞ℛ$ is denoted by $ℒ (𝒞ℛ)$ . For each variety in an $⋂$ -subsemilattice $Γ$ of $ℒ (𝒞ℛ)$ , we construct at least one basis of identities, and for some important varieties, several. We single out certain remarkable types of bases of general interest. As an application for the local relation $L$ , we construct $𝐋$ -classes of all varieties in $Γ$ . Two...

On varieties of Hilbert type

Lior Bary-Soroker, Arno Fehm, Sebastian Petersen (2014)

Annales de l’institut Fourier

Similarity:

A variety $X$ over a field $K$ is of Hilbert type if $X (K)$ is not thin. We prove that if $f : X \to S$ is a dominant morphism of $K$ -varieties and both $S$ and all fibers $f^{- 1} (s)$ , $s \in S (K)$ , are of Hilbert type, then so is $X$ . We apply this to answer a question of Serre on products of varieties and to generalize a result of Colliot-Thélène and Sansuc on algebraic groups.

A new necessary condition for analytic varieties satisfying the local Phragmén-Lindelöf condition

Tobias Heinrich (2005)

Annales Polonici Mathematici

Similarity:

For an analytic variety V in ℂⁿ containing the origin which satisfies the local Phragmén-Lindelöf condition $P L_{l o c} (0)$ it is shown that for each real simple curve γ and each d ≥ 1 the limit variety $T_{γ, d} V$ satisfies the strong Phragmén-Lindelöf condition (SPL).

Varieties of Algebras of Polynomial Growth

Daniela La Mattina (2008)

Bollettino dell'Unione Matematica Italiana

Similarity:

Let $\mathcal{V}$ be a proper variety of associative algebras over a field $F$ of characteristic zero. It is well-known that $\mathcal{V}$ can have polynomial or exponential growth and here we present some classification results of varieties of polynomial growth. In particular we classify all subvarieties of the varieties of almost polynomial growth, i.e., the subvarieties of $\operatorname{\textbf{var}}(G)$ and $\operatorname{\textbf{var}}(UT_{2})$ , where $G$ is the Grassmann algebra and $UT_{2}$ is the algebra of $2\times 2$ upper triangular matrices.

Some Remarks on Prym-Tyurin Varieties

Giuliano Parigi (2007)

Bollettino dell'Unione Matematica Italiana

Similarity:

The aims of the present paper can be described as follows: a) In [2] Beauville showed that if some endomorphism $u$ a Jacobian $J(C)$ has connected kernel, the principal polarization on $J(C)$ induces a multiple of the principal polarization on the image of $u$ . We reformulate and complete this theorem proving "constructively" the following: Theorem. Let $Z\subset J(C)$ be an abelian subvariety and $Y$ its complementary variety. $Z$ is a Prym-Tyurin variety with respect to $J(C)$ if and only if the following sequence...

Complexity of hypersubstitutions and lattices of varieties

Thawhat Changphas, Klaus Denecke (2003)

Discussiones Mathematicae - General Algebra and Applications

Similarity:

Hypersubstitutions are mappings which map operation symbols to terms. The set of all hypersubstitutions of a given type forms a monoid with respect to the composition of operations. Together with a second binary operation, to be written as addition, the set of all hypersubstitutions of a given type forms a left-seminearring. Monoids and left-seminearrings of hypersubstitutions can be used to describe complete sublattices of the lattice of all varieties of algebras of a given type. The...

Lagrangian fibrations on generalized Kummer varieties

Martin G. Gulbrandsen (2007)

Bulletin de la Société Mathématique de France

Similarity:

We investigate the existence of Lagrangian fibrations on the generalized Kummer varieties of Beauville. For a principally polarized abelian surface $A$ of Picard number one we find the following: The Kummer variety $K^{n} A$ is birationally equivalent to another irreducible symplectic variety admitting a Lagrangian fibration, if and only if $n$ is a perfect square. And this is the case if and only if $K^{n} A$ carries a divisor with vanishing Beauville-Bogomolov square.