Searcharxiv⌕ Search

arXiv subjects

Yakov Karasik

Publications and source records attributed to Yakov Karasik.

12 recordsLinked to original sources
arXiv2022

Counting flags of primitive lattices

We count flags of primitive lattices, which are objects of the form ${0}=Λ^{(0)}<Λ^{(1)}< \cdots <Λ^{(\ell)}= \mathbb{Z}^n$, where every $Λ^{(i)}$ is a primitive lattice in $\mathbb{Z}^n$. The counting is with respect to two different natural height functions, allowing us to give a new proof of the Manin conjecture for flag varieties over rational numbers. We deduce the equidistribution of rational points in flag varieties, as well as the equidistribution of the shapes of the successive quotient lattices, $Λ^{(i)}/Λ^{(i-1)}$. In doing so, we generalize previous work of Schmidt, as well as our own, on counting primitive lattices of rank $d<n$.

math.NT↗
arXiv2022

On generic $G$-graded Azumaya algebras

Let $F$ be an algebraically closed field of characteristic zero and let $G$ be a finite group. Consider $G$-graded simple algebras $A$ which are finite dimensional and $e$-central over $F$, i.e. $Z(A)_{e} := Z(A)\cap A_{e} = F$. For any such algebra we construct a \textit{generic} $G$-graded algebra $\mathcal{U}$ which is \textit{Azumaya} in the following sense. $(1)$ \textit{$($Correspondence of ideals$)$}: There is one to one correspondence between the $G$-graded ideals of $\mathcal{U}$ and the ideals of the ring $R$, the $e$-center of $\mathcal{U}$. $(2)$ \textit{Artin-Procesi condition}: $\mathcal{U}$ satisfies the $G$-graded identities of $A$ and no nonzero $G$-graded homomorphic image of $\mathcal{U}$ satisfies properly more identities. $(3)$ \textit{Generic}: If $B$ is a $G$-graded algebra over a field then it is a specialization of $\mathcal{U}$ along an ideal $\mathfrak{a} \in spec(Z(\mathcal{U})_{e})$ if and only if it is a $G$-graded form of $A$ over its $e$-center. We apply this to characterize finite dimensional $G$-graded simple algebras over $F$ that admit a $G$-graded division algebra form over their $e$-center.

math.RA↗
arXiv2021

Semisimple Algebras and PI-Invariants of Finite Dimensional Algebras

Let $Γ$ be a $T$-ideal of identities of an affine PI-algebra over an algebraically closed field $F$ of characteristic zero. Consider the family $\mathcal{M}_Γ$ of finite dimensional algebras $Σ$ with $Id(Σ) = Γ$. By Kemer's theory it is known that such $Σ$ exists. We show there exists a semisimple algebra $U$ which satisfies the following conditions. $(1)$ There exists an algebra $A \in \mathcal{M}_Γ$ with Wedderburn-Malcev decomposition $A \cong U \oplus J_{A}$, where $J_{A}$ is the Jacobson's radical of $A$ $(2)$ If $B \in \mathcal{M}_Γ$ and $B \cong B_{ss} \oplus J_{B}$ is its Wedderburn-Malcev decomposition then $U$ is a direct summand of $B_{ss}$. We refer to $U$ as the unique minimal semisimple algebra corresponding to $Γ$. We fully extend this result to the non-affine $G$-graded setting where $G$ is a finite group. In particular we show that if $A$ and $B$ are finite dimensional $G_{2}:= \mathbb{Z}_{2} \times G$-graded simple algebras then they are $G_{2}$-graded isomorphic if and only if $E(A)$ and $E(B)$ are $G$-graded PI-equivalent, where $E$ is the unital infinite dimensional Grassmann algebra and $E(A)$ is the Grassmann envelope of $A$.

math.RA↗
arXiv2021

Equidistribution of primitive lattices in $\mathbb{R}^n$

We count primitive lattices of rank $d$ inside $\mathbb{Z}^{n}$ as their covolume tends to infinity, with respect to certain parameters of such lattices. These parameters include, for example, the subsapce that a lattice spans, namely its projection to the Grassmannian; its homothety class; and its equivalence class modulo rescaling and rotation, often referred to as a shape. We add to a prior work of Schmidt by allowing sets in the spaces of parameters that are general enough to conclude joint equidistribution of these parameters. In addition to the primitive $d$-lattices themselves, we also consider their orthogonal complements in $\mathbb{Z}^{n}$, and show that the equidistribution occurs jointly for primitive lattices and their orthogonal complements. Finally, our asymptotic formulas for the number of primitive lattices include an explicit error term.

math.NT↗
arXiv2021

Intersection spaces and multiple transverse recurrence

We study multiple recurrence properties along separated cross sections for pmp actions of unimodular lcsc group on Polish spaces. We establish a multiple transverse recurrence theorem under the assumption that sufficiently large powers of the return time set are Delone sets. Typical examples of such situations arise from the theory of uniform approximate lattices.

math.DS↗
arXiv2021

Equidistribution of primitive vectors, and the shortest solutions to their GCD equations

We prove effective joint equidistribution of several natural parameters associated to primitive vectors in $\mathbb{Z}^{n}$, as the norm of these vectors tends to infinity. These parameters include the direction, the orthogonal lattice, and the length of the shortest solution to the associated $\gcd$ equation. We show that the first two parameters equidistribute w.r.t. the Haar measure on the corresponding spaces, which are the unit sphere and the space of unimodular rank $n-1$ lattices in $\mathbb{R}^{n}$ respectively. The main novelty is the equidistribution of the shortest solutions to the $\gcd$ equations: we show that, when normalized by the covering radius of the orthogonal lattice, the lengths of these solutions equidistribute in the interval $\left[0,1\right]$ w.r.t. a measure that is Lebesgue only when $n=2$, and non-Lebesgue otherwise. These equidistribution results are deduced from effectively counting lattice points in domains which are defined w.r.t. a generalization of the Iwasawa decomposition in simple algebraic Lie groups, where we apply a method due to A. Gorodnik and A. Nevo.

math.NT↗
arXiv2020

A practical guide to well roundedness

Let $G$ be a semisimple algebraic group. We develop a machinery for manipulation and manufacture of well-rounded families $\left\{ \mathcal{B}_{T}\right\} _{T>0}\subset G$ as they were defined in a work by A. Gorodnik and A. Nevo. The importance of these types of families is that one can asymptotically count lattice points in them and even obtain an error term. Lattice counting is highly effective for solving asymptotic problems from number theory and the geometry of numbers. The tools we develop are handy especially when the family is given w.r.t. some decomposition of $G$ (e.g. Iwasawa or Cartan) and also when it depends upon a sub-quotients of the form $\mathcal{M}/H$, where $\mathcal{M}\subset G$ is a submanifold and $H<G$ is a closed subgroup.

math.DS↗
arXiv2020

Division algebras graded by a finite group

Let $k$ be a field containing an algebraically closed field of characteristic zero. If $G$ is a finite group and $D$ is a division algebra over $k$, finite dimensional over its center, we can associate to a faithful $G$-grading on $D$ a normal abelian subgroup $H$, a positive integer $d$ and an element of $Hom(M(H), k^\times)^G$, where $M(H)$ is the Schur multiplier of $H$. Our main theorem is the converse: Given an extension $1\rightarrow H\rightarrow G\rightarrow G/H\rightarrow 1$, where $H$ is abelian, a positive integer $d$, and an element of $Hom(M(H), k^\times)^G$, there is a division algebra with center containing $k$ that realizes these data. We apply this result to classify the $G$-simple algebras over an algebraically closed field of characteristic zero that admit a division algebra form over a field containing an algebraically closed field.

math.RA↗
arXiv2018

Verbally prime T-ideals and graded division algebras

Let $F$ be an algebraically closed field of characteristic zero and let $G$ be a finite group. We consider graded Verbally prime $T$-ideals in the free $G$-graded algebra. It turns out that equivalent definitions in the ordinary case (i.e. ungraded) extend to nonequivalent definitions in the graded case, namely verbally prime $G$-graded $T$-ideals and strongly verbally prime $T$-ideals. At first, following Kemer's ideas, we classify $G$-graded verbally prime $T$-ideals. The main bulk of the paper is devoted to the stronger notion. We classify $G$-graded strongly verbally prime $T$-ideals which are $T$-ideal of affine $G$-graded algebras or equivalently $G$-graded $T$-ideals that contain a Capelli polynomial. It turns out that these are precisely the $T$-ideal of $G$-graded identities of finite dimensional $G$-graded, central over $F$ (i.e. $Z(A)_{e}=F$) which admit a $G$-graded division algebra twisted form over a field $k$ which contains $F$ or equivalently over a field $k$ which contains enough roots of unity (e.g. a primitive $n$-root of unity where $n = ord(G)$).

math.RA↗
arXiv2016

The Polynomial Part of the Codimension Growth of Affine PI Algebras

Let $F$ be a field of characteristic zero and $W$ be an associative affine $F$-algebra satisfying a polynomial identity (PI). The codimension sequence associated to $W$, $c_n(W)$, is known to be of the form $Θ(c n^t d^n)$, where $d$ is the well known (PI) exponent of $W$. In this paper we establish an algebraic interpretation of the polynomial part (the constant $t$) by means of Kemer's theory. In particular, we show that in case $W$ is a basic algebra, then $t = \frac{d-q}{2} + s$, where $q$ is the number of simple component in $W/J(W)$ and $s+1$ is the nilpotency degree of $J(W)$. Thus proving a conjecture of Giambruno.

math.RA↗
arXiv2016

G-Graded Central Polynomials and G-Graded Posner's Theorem

Let F be characteristic zero field, G a residually finite group and W a G-prime and PI F-algebra. By constructing G-graded central polynomials for W, we prove the G-graded version of Posner's theorem. More precisely, if S denotes all non-zero degree e central elements of W, the algebra S^{-1}W is G-graded simple and finite dimensional over its center. Furthermore, we show how to use this theorem in order to recapture the result of Aljadeff and Haile stating that two G-simple algebras of finite dimension are isomorphix iff their ideals of graded identities coincide.

math.RA↗