arXiv subjects

Rahul Ajit

Publications and source records attributed to Rahul Ajit.

5 recordsLinked to original sources

arXiv2026

Bertini theorems for Hilbert-Samuel multiplicity over finite fields

Let $X$ be a quasiprojective subscheme of $\mathbb{P}^n_{\mathbb{F}_q}$. We prove a Bertini theorem for Hilbert--Samuel multiplicity of $X$; that is, there exists a positive-density set of hypersurfaces $H_f$ such that for every point $\xi\in X\cap H_f$, one has $\operatorname{ord}_\xi(f)=1$ and $e_\xi(X\cap H_f)=e_\xi(X)$. Furthermore, we extend this result on hypersurfaces to complete intersections, hypersurfaces containing a prescribed subscheme, and semiample linear systems.

math.AG↗

arXiv2026

$\mathbf{F}$-jumping numbers can be irrational

Let $k$ be an $F$-finite and infinite field of characteristic $p>2$. We show, there exist infinitely many $F$-finite local domains $(R,\mathfrak{m})$ which are not $\mathbb{Q}$-Gorenstein and $\tau_{\mathrm{b}}(R;\mathfrak{m}^t)$ has all but finitely many \emph{irrational} $F$-jumping numbers.

math.AG↗

arXiv2025

On a Grauert-Riemenschneider vanishing theorem in dimension 3

Suppose $R$ is an excellent ring of dimension $3$ and has rational singularities. Let $\pi:X \longrightarrow \mathrm{Spec} \ R$ be a blow-up and $\phi: W \longrightarrow X$ be any projective, birational morphism such that $X$ and $W$ are both normal, Cohen-Macaulay, and have pseudorational singularities in codimension $2$. Then $R^{i}\phi_{*}\omega_{W}=0 \ \text{ and }R^{i}\pi_{*}\omega_{X} = 0$ for all $i>0$ and $X$ has rational singularities. We use this result to prove Lipman's vanishing conjecture in dimension $3$ for arbitrary characteristics and provide a few applications.

math.AG↗

arXiv2025

Multiplier Modules of extended Rees algebras

Given a local ring $(R, \mathfrak{m})$ and an ideal $\mathfrak{a}$ of positive height, we give a way of computing multiplier module ${J}(\omega_{{T}}, t^{-\lambda})$ for the extended Rees algebra ${T} =R[\mathfrak{a} t, t^{-1}]$ for an ideal $\mathfrak{a}$ by proving a decomposition theorem for ${J}(\omega_{{T}}, t^{-\lambda})$, (also see the works of Budur, Musta\c{t}\u{a} and Saito). We compute the multiplier module ${J}(\omega_{{S}}, (\mathfrak{a} \cdot {S})^{\lambda})$ for the Rees algebra ${S} =R[\mathfrak{a} t]$ as well (also see the works of Hyry and Kotal-Kummini). We use these decompositions to understand relationships between associated graded rings, Rees and extended Rees algebras having rational singularities (also see the works of Hara, Watanabe, and Yoshida).

math.AG↗

arXiv2025

Test Modules of Extended Rees Algebras

Given a reduced, local ring $R$ and an ideal $\mathfrak{a}$ of positive height, we give a decomposition of the test module, $\tau(\omega_T, t^{-\lambda})$, of the extended Rees algebra, $T =R[\mathfrak{a} t, t^{-1}]$. In particular, the degree zero component of this test module is $\tau(R, \mathfrak{a}^\lambda)$, thereby reducing the computation of test modules for non-principal ideals to the much easier case of principal ideals. Additionally, we apply our decomposition to generalize results on the $F$-rationality of Rees and extended Rees algebras [HWY02a, Conjecture 4.1],[KK21] as well as give simplified proofs of discreteness and rationality of F-jumping numbers, among other applications.

math.AC↗