ترغب بنشر مسار تعليمي؟ اضغط هنا

Varieties

183   0   0.0 ( 0 )
 نشر من قبل Pascal Weil
 تاريخ النشر 2015
  مجال البحث الهندسة المعلوماتية
والبحث باللغة English




اسأل ChatGPT حول البحث

This text is devoted to the theory of varieties, which provides an important tool, based in universal algebra, for the classification of regular languages. In the introductory section, we present a number of examples that illustrate and motivate the fundamental concepts. We do this for the most part without proofs, and often without precise definitions, leaving these to the formal development of the theory that begins in Section 2. Our presentation of the theory draws heavily on the work of Gehrke, Grigorieff and Pin (2008) on the equational theory of lattices of regular languages. In the subsequent sections we consider in more detail aspects of varieties that were only briefly evoked in the introduction: Decidability, operations on languages, and characterizations in formal logic.



قيم البحث

اقرأ أيضاً

236 - Edoardo Ballico 2021
Let $Xsubset mathbb{P}^r$ be an integral and non-degenerate variety. Let $sigma _{a,b}(X)subseteq mathbb{P}^r$, $(a,b)in mathbb{N}^2$, be the join of $a$ copies of $X$ and $b$ copies of the tangential variety of $X$. Using the classical Alexander-Hir schowitz theorem (case $b=0$) and a recent paper by H. Abo and N. Vannieuwenhoven (case $a=0$) we compute $dim sigma _{a,b}(X)$ in many cases when $X$ is the $d$-Veronese embedding of $mathbb{P}^n$. This is related to certain additive decompositions of homogeneous polynomials. We give a general theorem proving that $dim sigma _{0,b}(X)$ is the expected one when $X=Ytimes mathbb{P}^1$ has a suitable Segre-Veronese style embedding in $mathbb{P}^r$. As a corollary we prove that if $d_ige 3$, $1le i le n$, and $(d_1+1)(d_2+1)ge 38$ the tangential variety of $(mathbb{P}^1)^n$ embedded by $|mathcal{O} _{(mathbb{P} ^1)^n}(d_1,dots ,d_n)|$ is not defective and a similar statement for $mathbb{P}^ntimes mathbb{P}^1$. For an arbitrary $X$ and an ample line bundle $L$ on $X$ we prove the existence of an integer $k_0$ such that for all $tge k_0$ the tangential variety of $X$ with respect to $|L^{otimes t}|$ is not defective.
Exponential varieties arise from exponential families in statistics. These real algebraic varieties have strong positivity and convexity properties, familiar from toric varieties and their moment maps. Among them are varieties of inverses of symmetri c matrices satisfying linear constraints. This class includes Gaussian graphical models. We develop a general theory of exponential varieties. These are derived from hyperbolic polynomials and their integral representations. We compare the multidegrees and ML degrees of the gradient map for hyperbolic polynomials.
This paper studies affine Deligne-Lusztig varieties in the affine flag manifold of a split group. Among other things, it proves emptiness for certain of these varieties, relates some of them to those for Levi subgroups, extends previous conjectures c oncerning their dimensions, and generalizes the superset method.
Motivated by the study of the secant variety of the Segre-Veronese variety we propose a general framework to analyze properties of the secant varieties of toric embeddings of affine spaces defined by simplicial complexes. We prove that every such sec ant is toric, which gives a way to use combinatorial tools to study singularities. We focus on the Segre-Veronese variety for which we completely classify their secants that give Gorenstein or $mathbb Q$-Gorenstein varieties. We conclude providing the explicit description of the singular locus.
We study the anti-commuting variety which consists of pairs of anti-commuting $ntimes n$ matrices. We provide an explicit description of its irreducible components and their dimensions. The GIT quotient of the anti-commuting variety with respect to t he conjugation action of $GL_n$ is shown to be of pure dimension $n$. We also show the semi-nilpotent anti-commuting variety (in which one matrix is required to be nilpotent) is of pure dimension $n^2$ and describe its irreducible components.
التعليقات
جاري جلب التعليقات جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
mircosoft-partner

هل ترغب بارسال اشعارات عن اخر التحديثات في شمرا-اكاديميا