For a field extension $E/k$ and a Chow motive $M$, let $I_E(M)=\ker\bigl(\operatorname{End}_k(M)\longrightarrow \operatorname{End}_E(M_E)\bigr)$ be the base-change ideal. We establish explicit nilpotence bounds for these ideals in several geometric settings. We also prove effective generic descent: if $M$ is a summand of $h(X)(a)$ and $M_{k(X)}$ has uniform Rost exponent $s$, then $M$ has exponent $s(\dim X+1)$. This yields the integral exponent $2n-1$ for twisted Milnor hyperplane sections of dimension $2n-2$. In characteristic zero, a weighted local-block refinement of the multilinear Rost filtration improves the uniform bounds of Gille and upgrades the elementwise estimates of Rosenschon--Sawant to uniform bounds at the ideal level. Using the Kahn--Sujatha description of pure birational motives, we obtain quantitative lifting results from birational to ordinary Chow motives, with applications to threefolds, including varieties birational to toric models and varieties admitting a decomposition of the diagonal supported on a surface. Finally, we extend the Kok--Zhou detector from individual correspondences to entire base-change ideals, obtaining an explicit ideal nilpotence bound from uniform annihilation of the critical refined unramified cohomology groups.
Let $(A,\mathfrak{m})$ be a Gorenstein local ring with $G(A)$ Cohen-Macaulay, and let $M$ be a Cohen-Macaulay $A$-module of finite projective dimension. In \cite{Quasipure}, the authors proved that $e_1(M)\geq \binom{c+1}{2}$, where $c=\operatorname{reg}G(A)$ and $e_i(M)$ is the $i$th Hilbert coefficient of $M$. We fir...
Let $G=\operatorname{Gr}(k,V)$ be a complex Grassmannian in its Pl$\"u$cker embedding, and let $Y_E$ be a general codimension-$r$ linear section. We study the open Hilbert scheme $R_2(Y_E)$ of smooth conics using the kernel and span of a conic. These define a flag variety $B=\operatorname{Fl}(k-2,k+2;V)$ and a relative...
Let $R$ be a commutative ring and $f(a_1, \ldots, a_n) = \sum_{i=1}^k r_{i1}^{a_1} \cdots r_{in}^{a_n} m_i$ be a linear-exponential map over an $R$-module $M$. Dong and Shafrir (2026) showed that, when $\ell M = 0$ for some $\ell \in \mathbb{N}_{>0}$, the zero set of $f$ is the intersection of effectively computable $p...
Let $A$ be an abelian group and $E=\Endo_{\Z}(A)$. We give a module-theoretic description of the singular $E$-submodules asked for in Fuchs'Problem~1.2. For a unital ring $R$ and a left $R$-module $M$, put $W=I_R({}_RR)\oplus I_R(M)$ and $J=\Jaco(\Endo_R(W))$, and let $u$ be the image of $1_R$. The classical essential-...
Let $k$ be an algebraically closed field of characteristic $2$ and let $q=2^h$, $h\ge3$. We construct ordinary bielliptic curves $X$ of genus $q+1$ for which \[ \Aut(X)\cong \Dih(C_q)\times C_2, \qquad |\Aut(X)|=4q=4(g(X)-1). \] These curves realize case \textup{(ib)} in the classification of Giulietti--Korchm\'aros an...
Let $Q$ be a Gorenstein local ring, let $I$ be a proper ideal of $Q$, and set $R=Q/I$. We investigate when finite injective dimension of the conormal module $I/I^2$ forces $I$ to be generated by a regular sequence. We prove this implication for every ideal in the linkage class of a complete intersection. When $Q$ is re...
Mohsen Gheibi, Kaito Kimura· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.