Source author record

Vijaylaxmi Trivedi

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AC math.AG

Catalog footprint

Research overview

4works

2topics

1close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2021arXiv

The lower bound on the HK multiplicities of quadric hypersurfaces

Here we prove that the Hilbert-Kunz mulitiplicity of a quadric hypersurface of dimension $d$ and odd characteristic $p\geq 2d-4$ is bounded below by $1+m_d$ , where $m_d$ is the $d^{th}$ coefficient in the expansion of $\mbox{sec}+\mbox{tan}$. This proves a part of the long standing conjecture of Watanabe-Yoshida. We also give an upper bound on the HK multiplicity of such a hypersurface. We approach the question using the HK density function and the classification of ACM bundles on the smooth quadrics via matrix factorizations.

preprint2020arXiv

$F$ -thresholds $c^I({\bf m})$ for projective curves

We show that if $R$ is a two dimensional standard graded ring (with the graded maximal ideal ${\bf m}$ ) of characteristic $p>0$ and $I\subset R$ is a graded ideal with $\ell(R/I) <\infty$ then the $F$ -threshold $c^I({\bf m})$ can be expressed in terms of a strong HN (Harder-Narasimahan) slope of the canonical syzygy bundle on $\mbox{Proj}~R$. Thus $c^I({\bf m})$ is a rational number. This gives us a well defined notion, of the $F$ -threshold $c^I({\bf m})$ in characteristic $0$ , in terms of a HN slope of the syzygy bundle on $\mbox{Proj}~R$. This generalizes our earlier result (in [TrW]) where we have shown that if $I$ has homogeneous generators of the same degree, then the $F$ -threshold $c^I({\bf m})$ is expressed in terms of the minimal strong HN slope (in char $p$ ) and in terms of the minimal HN slope (in char $0$ ), respectively, of the canonical syzygy bundle on $\mbox{Proj}~R$. Here we also prove that, for a given pair $(R, I)$ over a field of characteristic $0$ , if $({\bf m}_p, I_p)$ is a reduction mod $p$ of $({\bf m}, I)$ then $c^{I_p}({\bf m}_p) \neq c^I_{\infty}({\bf m})$ implies $c^{I_p}({\bf m}_p)$ has $p$ in the denominator, for almost all $p$ .

preprint2020arXiv

Hilbert-Kunz density function for graded domains

We prove the existence of HK density function for a pair $(R, I)$ , where $R$ is a ${\mathbb N}$ -graded domain of finite type over a perfect field and $I\subset R$ is a graded ideal of finite colength. This generalizes our earlier result where one proves the existence of such a function for a pair $(R, I)$ , where, in addition $R$ is standard graded. As one of the consequences we show that if $G$ is a finite group scheme acting linearly on a polynomial ring $R$ of dimension $d$ then the HK density function $f_{R^G, {\bf m}_G}$ , of the pair $(R^G, {\bf m}_G)$ , is a piecewise polynomial function of degree $d-1$ . We also compute the HK density functions for $(R^G, {\bf m}_G)$ , where $G\subset SL_2(k)$ is a finite group acting linearly on the ring $k[X, Y]$ .

preprint2020arXiv

Hilbert-Kunz density functions and $F$ -thresholds

We had shown earlier that for a standard graded ring $R$ and a graded ideal $I$ in characteristic $p>0$ , with $\ell(R/I) <\infty$ , there exists a compactly supported continuous function $f_{R, I}$ whose Riemann integral is the HK multiplicity $e_{HK}(R, I)$ . We explore further some other invariants, namely the shape of the graph of $f_{R, {\bf m}}$ (where ${\bf m}$ is the graded maximal ideal of $R$ ) and the maximum support (denoted as $α(R,I)$ ) of $f_{R, I}$ . In case $R$ is a domain of dimension $d\geq 2$ , we prove that $(R, {\bf m})$ is a regular ring if and only if $f_{R, {\bf m}}$ has a symmetry $f_{R, {\bf m}}(x) = f_{R, {\bf m}}(d-x)$ , for all $x$ . If $R$ is strongly $F$ -regular on the punctured spectrum then we prove that the $F$ -threshold $c^I({\bf m})$ coincides with $α(R,I)$ . As a consequence, if $R$ is a two dimensional domain and $I$ is generated by homogeneous elements of the same degree, thene have (1) a formula for the $F$ -threshold $c^I({\bf m})$ in terms of the minimum strong Harder-Narasimahan slope of the syzygy bundle and (2) a well defined notion of the $F$ -threshold $c^I({\bf m})$ in characteristic $0$ . This characterisation readily computes $c^{I(n)}({\bf m})$ , for the set of all irreducible plane trinomials $k[x,y,z]/(h)$ , where ${\bf m} = (x,y,z)$ and $I(n) = (x^n, y^n, z^n)$ .

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Vijaylaxmi Trivedi

Research overview

Is this your work?

4 publications

The lower bound on the HK multiplicities of quadric hypersurfaces

$F$ -thresholds $c^I({\bf m})$ for projective curves

Hilbert-Kunz density function for graded domains

Hilbert-Kunz density functions and $F$ -thresholds

See the researcher in context

Building this map preview

Vijaylaxmi Trivedi

Research overview

Is this your work?

4 publications

The lower bound on the HK multiplicities of quadric hypersurfaces

FFF-thresholds cI(m)c^I({\bf m})cI(m) for projective curves

Hilbert-Kunz density function for graded domains

Hilbert-Kunz density functions and FFF-thresholds

See the researcher in context

Building this map preview

$F$ -thresholds $c^I({\bf m})$ for projective curves

Hilbert-Kunz density functions and $F$ -thresholds