-
Density functions for epsilon multiplicity and families of ideals
Authors:
Suprajo Das,
Sudeshna Roy,
Vijaylaxmi Trivedi
Abstract:
A density function for an algebraic invariant is a measurable function on $\mathbb{R}$ which measures the invariant on an $\mathbb{R}$-scale. This function carries a lot more information related to the invariant without seeking extra data. It has turned out to be a useful tool, which was introduced by the third author, to study the characteristic $p$ invariant, namely Hilbert-Kunz multiplicity of…
▽ More
A density function for an algebraic invariant is a measurable function on $\mathbb{R}$ which measures the invariant on an $\mathbb{R}$-scale. This function carries a lot more information related to the invariant without seeking extra data. It has turned out to be a useful tool, which was introduced by the third author, to study the characteristic $p$ invariant, namely Hilbert-Kunz multiplicity of a graded ${\bf m}$-primary ideal.
Here we construct density functions $f_{A,\{I_n\}}$ for a Noetherian filtration $\{I_n\}_{n\in\mathbb{N}}$ of graded ideals and $f_{A,\{\widetilde{I^n}\}}$ for a filtration given by the saturation of powers of a graded ideal $I$ in a standard graded domain $A$. As a consequence, we get a density function $f_{\varepsilon(I)}$ for the epsilon multiplicity $\varepsilon(I)$ of a graded ideal $I$ in $A$. We further show that the function $f_{A,\{I_n\}}$ is continuous everywhere except possibly at one point, and $f_{A,\{\widetilde{I^n}\}}$ is a continuous function everywhere and is continuously differentiable except possibly at one point. As a corollary the epsilon density function $f_{\varepsilon(I)}$ is a compactly supported continuous function on $\mathbb{R}$ except at one point, such that $\int_{\mathbb{R}_{\geq 0}} f_{\varepsilon(I)} = \varepsilon(I)$.
All the three functions $f_{A,\{I^n\}}$, $f_{A,\{\widetilde{I^n}\}}$ and $f_{\varepsilon(I)}$ remain invariant under passage to the integral closure of $I$.
As a corollary of this theory, we express the mixed multiplicities $e_i(A[It])$ of the Rees algebra of a graded ideal $I$ in terms of the intersection numbers of two Cartier divisors on $X=\mathbf{Proj} \left(\oplus_{n\geq 0}\mathcal{I}^n\right)$, where $\mathcal{I}$ is the ideal sheaf associated to $I$ on $\mathrm{Proj}~A$.
△ Less
Submitted 5 May, 2024; v1 submitted 29 November, 2023;
originally announced November 2023.
-
A power law solution for FRLW Universe with observational constraints
Authors:
Lokesh Kumar Sharma,
Suresh Parekh,
Sanjay Maurya,
Kuldeep Singh,
Saibal Ray,
Kalyani C. K. Mehta,
Vaibhav Trivedi
Abstract:
This paper examines a power law solution under $f(R,T)$ gravity for an isotropic and homogeneous universe by considering its functional form as $f(R,T) = R + ξRT$, where $ξ$ is a positive constant. In $f(R,T)$ gravity, we have built the field equation for homogeneous and isotropic spacetime. The developed model's solution is $a = αt^β$. We have used the redshift in the range $0 \leq z \leq 1.965$…
▽ More
This paper examines a power law solution under $f(R,T)$ gravity for an isotropic and homogeneous universe by considering its functional form as $f(R,T) = R + ξRT$, where $ξ$ is a positive constant. In $f(R,T)$ gravity, we have built the field equation for homogeneous and isotropic spacetime. The developed model's solution is $a = αt^β$. We have used the redshift in the range $0 \leq z \leq 1.965$ and obtained the model parameters $α$, $β$, $H_0$ by using the Markov Chain Monte Carlo (MCMC) method. The constrained values of the model parameter are as follows: $H_0 = 67.098^{+2.148}_{-1.792}$ km s$^{-1}$ Mpc$^{-1}$, $H_0 = 67.588^{+2.229}_{-2.170}$ km s$^{-1}$ Mpc$^{-1}$, $H_0 = 66.270^{+2.215}_{-2.181}$ km s$^{-1}$ Mpc$^{-1}$, $H_0 = 65.960^{+2.380}_{-1.834}$ km s$^{-1}$ Mpc$^{-1}$, $H_0 = 66.274^{+2.015}_{-1.864}$ km s$^{-1}$ Mpc$^{-1}$ which have been achieved by bounding the model with the Hubble parameter ($H(z)$) dataset, Baryon Acoustic Oscillations (BAO) dataset, Pantheon dataset, joint $H(z)$ + Pantheon dataset and collective $H(z)$ + BAO + Pantheon dataset, respectively. These computed $H_o$ observational values agree well with the outcomes from the Plank collaboration group. Through an analysis of the energy conditions' behaviour on our obtained solution, the model has been examined and analysed. Using the Om diagnostic as the state finder diagnostic tool and the jerk parameter, we have also investigated the model's validity. Our results show that, within a certain range of restrictions, the proposed model agrees with the observed signatures.
△ Less
Submitted 28 October, 2023;
originally announced October 2023.
-
SplitEE: Early Exit in Deep Neural Networks with Split Computing
Authors:
Divya J. Bajpai,
Vivek K. Trivedi,
Sohan L. Yadav,
Manjesh K. Hanawal
Abstract:
Deep Neural Networks (DNNs) have drawn attention because of their outstanding performance on various tasks. However, deploying full-fledged DNNs in resource-constrained devices (edge, mobile, IoT) is difficult due to their large size. To overcome the issue, various approaches are considered, like offloading part of the computation to the cloud for final inference (split computing) or performing th…
▽ More
Deep Neural Networks (DNNs) have drawn attention because of their outstanding performance on various tasks. However, deploying full-fledged DNNs in resource-constrained devices (edge, mobile, IoT) is difficult due to their large size. To overcome the issue, various approaches are considered, like offloading part of the computation to the cloud for final inference (split computing) or performing the inference at an intermediary layer without passing through all layers (early exits). In this work, we propose combining both approaches by using early exits in split computing. In our approach, we decide up to what depth of DNNs computation to perform on the device (splitting layer) and whether a sample can exit from this layer or need to be offloaded. The decisions are based on a weighted combination of accuracy, computational, and communication costs. We develop an algorithm named SplitEE to learn an optimal policy. Since pre-trained DNNs are often deployed in new domains where the ground truths may be unavailable and samples arrive in a streaming fashion, SplitEE works in an online and unsupervised setup. We extensively perform experiments on five different datasets. SplitEE achieves a significant cost reduction ($>50\%$) with a slight drop in accuracy ($<2\%$) as compared to the case when all samples are inferred at the final layer. The anonymized source code is available at \url{https://anonymous.4open.science/r/SplitEE_M-B989/README.md}.
△ Less
Submitted 17 September, 2023;
originally announced September 2023.
-
Gravitational collapse of scalar and vector fields
Authors:
Karim Mosani,
Koushiki,
Pankaj S. Joshi,
Jay Verma Trivedi,
Tapobroto Bhanja
Abstract:
We study here the unhindered gravitational collapse of spatially homogeneous (SH) scalar fields $φ$ with a potential $V_{s}(φ)$, as well as vector fields $\tilde{A}$ with a potential $V_{v}(B)$ where $B=g(\tilde{A},\tilde{A})$ and $g$ is the metric tensor. We show that in both cases, classes of potentials exist that give rise to black holes or naked singularities depending on the choice of the pot…
▽ More
We study here the unhindered gravitational collapse of spatially homogeneous (SH) scalar fields $φ$ with a potential $V_{s}(φ)$, as well as vector fields $\tilde{A}$ with a potential $V_{v}(B)$ where $B=g(\tilde{A},\tilde{A})$ and $g$ is the metric tensor. We show that in both cases, classes of potentials exist that give rise to black holes or naked singularities depending on the choice of the potential. The strength of the naked singularity is examined, and they are seen to be strong, in the sense of Tipler, for a wide class of respective potentials. We match the collapsing scalar/vector field with a generalized Vaidya spacetime outside. We highlight that full generality is maintained within the domain of SH scalar or vector field collapse.
△ Less
Submitted 12 January, 2023;
originally announced January 2023.
-
The canonical trace of determinantal rings
Authors:
Antonino Ficarra,
Jürgen Herzog,
Dumitru I. Stamate,
Vijaylaxmi Trivedi
Abstract:
We compute the canonical trace of generic determinantal rings and provide a sufficient condition for the trace to specialize. As an application we determine the canonical trace $\mbox{tr}(ω_R)$ of a Cohen-Macaulay ring $R$ of codimension two, which is generically Gorenstein. It is shown that if the defining ideal $I$ of $R$ is generated by $n$ elements, then $\mbox{tr}(ω_R)$ is generated by the…
▽ More
We compute the canonical trace of generic determinantal rings and provide a sufficient condition for the trace to specialize. As an application we determine the canonical trace $\mbox{tr}(ω_R)$ of a Cohen-Macaulay ring $R$ of codimension two, which is generically Gorenstein. It is shown that if the defining ideal $I$ of $R$ is generated by $n$ elements, then $\mbox{tr}(ω_R)$ is generated by the $(n-2)$-minors of the Hilbert-Burch matrix of $I$.
△ Less
Submitted 4 December, 2022; v1 submitted 1 December, 2022;
originally announced December 2022.
-
Rescuing the End-user systems from Vulnerable Applications using Virtualization Techniques
Authors:
Vinayak Trivedi,
Tushar Gurjar,
Sumaiya Shaikh,
Saketh Maddamsetty,
Debadatta Mishra
Abstract:
In systems owned by normal end-users, many times security attacks are mounted by sneaking in malicious applications or exploiting existing software vulnerabilities through security non-conforming actions of users. Virtualization approaches can address this problem by providing a quarantine environment for applications, malicious devices, and device drivers, which are mostly used as entry points fo…
▽ More
In systems owned by normal end-users, many times security attacks are mounted by sneaking in malicious applications or exploiting existing software vulnerabilities through security non-conforming actions of users. Virtualization approaches can address this problem by providing a quarantine environment for applications, malicious devices, and device drivers, which are mostly used as entry points for security attacks. However, the existing methods to provide quarantine environments using virtualization are not transparent to the user, both in terms of application interface transparency and file system transparency. Further, software configuration level solutions like remote desktops and remote application access mechanisms combined with shared file systems do not meet the user transparency and security requirements. We propose qOS, a VM-based solution combined with certain OS extensions to meet the security requirements of end-point systems owned by normal users, in a transparent and efficient manner. We demonstrate the efficacy of qOS by empirically evaluating the prototype implementation in the Linux+KVM system in terms of efficiency, security, and user transparency.
△ Less
Submitted 4 November, 2022;
originally announced November 2022.
-
Rings of invariants for three dimensional modular representations
Authors:
Jürgen Herzog,
Vijaylaxmi Trivedi
Abstract:
Let $p>3$ be a prime number. We compute the rings of invariants of the elementary abelian $p$-group $(\mathbb Z/p\mathbb Z)^r$ for $3$-dimensional generic representations. Furthermore we show that these rings of invariants are complete intersections rings with embedding dimension $\lceil r/2\rceil +3$.
This proves a conjecture of Campbell, Shank and Wehlau in [CSW], which they proved for $r=3$,…
▽ More
Let $p>3$ be a prime number. We compute the rings of invariants of the elementary abelian $p$-group $(\mathbb Z/p\mathbb Z)^r$ for $3$-dimensional generic representations. Furthermore we show that these rings of invariants are complete intersections rings with embedding dimension $\lceil r/2\rceil +3$.
This proves a conjecture of Campbell, Shank and Wehlau in [CSW], which they proved for $r=3$, and later Pierron and Shank proved it for $r=4$.
△ Less
Submitted 30 August, 2023; v1 submitted 4 May, 2022;
originally announced May 2022.
-
Single-cell Bayesian deconvolution
Authors:
Gabriel Torregrosa,
David Oriola,
Vikas Trivedi,
Jordi Garcia-Ojalvo
Abstract:
Individual cells exhibit substantial heterogeneity in protein abundance and activity, which is frequently reflected in broad distributions of fluorescently labeled reporters. Since all cellular components are intrinsically fluorescent to some extent, the observed distributions contain background noise that masks the natural heterogeneity of cellular populations. This limits our ability to characte…
▽ More
Individual cells exhibit substantial heterogeneity in protein abundance and activity, which is frequently reflected in broad distributions of fluorescently labeled reporters. Since all cellular components are intrinsically fluorescent to some extent, the observed distributions contain background noise that masks the natural heterogeneity of cellular populations. This limits our ability to characterize cell-fate decision processes that are key for development, immune response, tissue homeostasis, and many other biological functions. It is therefore important to separate the contributions from signal and noise in single-cell measurements. Addressing this issue rigorously requires deconvolving the noise distribution from the signal, but approaches in that direction are still limited. Here we present a non-parametric Bayesian formalism that performs such a deconvolution efficiently on multidimensional measurements, in a way that allows estimating confidence intervals precisely. We use the approach to study the expression of the mesodermal transcription factor Brachyury in mouse embryonic stem cells undergoing differentiation.
△ Less
Submitted 11 June, 2023; v1 submitted 13 February, 2022;
originally announced February 2022.
-
HK multiplicity, $F$-threshold and the Paley-Wiener theorem
Authors:
Vijaylaxmi Trivedi
Abstract:
For a given algebraically closed field $k$ of characteristic $p>0$ we consider the set ${\mathcal C}_k$, of graded isomorphism classes of {\em standard graded pairs} $(R, I)$, where $R$ is a standard graded ring over the field and $I$ is a graded ideal of finite colength.
Here we give a ring homomorphism
$Π:\Z[{\mathcal C}_k] \longrightarrow H(\C)[X]$, where $H(\C)$ denotes the ring of entire…
▽ More
For a given algebraically closed field $k$ of characteristic $p>0$ we consider the set ${\mathcal C}_k$, of graded isomorphism classes of {\em standard graded pairs} $(R, I)$, where $R$ is a standard graded ring over the field and $I$ is a graded ideal of finite colength.
Here we give a ring homomorphism
$Π:\Z[{\mathcal C}_k] \longrightarrow H(\C)[X]$, where $H(\C)$ denotes the ring of entire functions.
The related entire function and the homomorphism $Π$ keep track of the two
positive characteristic invariants, $e_{HK}(R, I)$ and $c^I({\bf m})$ of the ring: (1) composing the map $Π$ with the evaluation map at $z=0$ gives a ring homomorphism
$Π_e:\Z[{\mathcal C}_k] \longrightarrow \R[X]$ which sends $$(R,I) \to e_{HK}(R^0, IR^0)+ e_{HK}(R^1, IR^1)X+\cdots + e_{HK}(R^d, IR^d)X^d,$$ where $R^i$ is the union of $i$ dimensional components of $R$ and $e_{HK}(R^i, IR^i)$ is the HK multiplicity of the pair $(R^i, IR^i)$, and in particular the top coefficient is $e_{HK}(R, I)$.
(2) If, in addition, $R$ is a two dimensional ring or $\mbox {Proj~R}$ is strongly $F$-regular, then the Fourier transform ${\widehat f}_{R, I}$
belongs to the Paley-Wiener class of the real number, namely
the $F$-threshold $c^I_{\bf m}(R)$ of the maximal ideal ${\bf m}$.
△ Less
Submitted 20 September, 2022; v1 submitted 17 December, 2021;
originally announced December 2021.
-
The Hilbert-Kunz density functions of quadric hypersurfaces
Authors:
Vijaylaxmi Trivedi
Abstract:
We show that the Hilbert-Kunz density function of a quadric hypersurface of Krull dimension $n+1$ is a piecewise polynomial on a subset of $[0, n]$, whose complement in $[0, n]$ has measure zero. Our explicit description of the Hilbert-Kunz density function confirms a conjecture of Watanabe-Yoshida on the lower bound of the Hilbert-Kunz multiplicity of the quadric of dimension $n+1$, provided the…
▽ More
We show that the Hilbert-Kunz density function of a quadric hypersurface of Krull dimension $n+1$ is a piecewise polynomial on a subset of $[0, n]$, whose complement in $[0, n]$ has measure zero. Our explicit description of the Hilbert-Kunz density function confirms a conjecture of Watanabe-Yoshida on the lower bound of the Hilbert-Kunz multiplicity of the quadric of dimension $n+1$, provided the characteristic is at least $n-1$. We also show that the Hilbert-Kunz multiplicity of a quadric of fixed dimension is an eventually strictly decreasing function of the characteristic confirming a conjecture of Yoshida.
The main input comes from the classification of Arithmetically Cohen-Macaulay bundles on the projective variety defined by the quadric via matrix factorizations.
△ Less
Submitted 3 July, 2023; v1 submitted 24 September, 2021;
originally announced September 2021.
-
The lower bound on the HK multiplicities of quadric hypersurfaces
Authors:
Vijaylaxmi Trivedi
Abstract:
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 appro…
▽ More
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.
△ Less
Submitted 11 January, 2021;
originally announced January 2021.
-
Arrested coalescence of multicellular aggregates
Authors:
David Oriola,
Miquel Marin-Riera,
Kerim Anlas,
Nicola Gritti,
Marina Matsumiya,
Germaine Aalderink,
Miki Ebisuya,
James Sharpe,
Vikas Trivedi
Abstract:
Multicellular aggregates are known to exhibit liquid-like properties. The fusion process of two cell aggregates is commonly studied as the coalescence of two viscous drops. However, tissues are complex materials and can exhibit viscoelastic behaviour. It is known that elastic effects can prevent the complete fusion of two drops, a phenomenon known as arrested coalescence. Here we report the presen…
▽ More
Multicellular aggregates are known to exhibit liquid-like properties. The fusion process of two cell aggregates is commonly studied as the coalescence of two viscous drops. However, tissues are complex materials and can exhibit viscoelastic behaviour. It is known that elastic effects can prevent the complete fusion of two drops, a phenomenon known as arrested coalescence. Here we report the presence of this phenomenon in stem cell aggregates and provide a theoretical framework which agrees with the experiments. In addition, agent-based simulations show that cell protrusion activity controls a solid-to-fluid phase transition, revealing that arrested coalescence can be found in the vicinity of an unjamming transition. By analysing the dynamics of the fusion process and combining it with nanoindentation measurements, we obtain the effective viscosity, shear modulus and surface tension of the aggregates. More generally, our work provides a simple, fast and inexpensive method to characterize the mechanical properties of viscoelastic materials.
△ Less
Submitted 27 May, 2021; v1 submitted 2 December, 2020;
originally announced December 2020.
-
Imaging the Beating Heart with Macroscopic Phase Stamping
Authors:
Vikas Trivedi,
Sara Madaan,
Daniel B. Holland,
Le A. Trinh,
Scott E. Fraser,
Thai V. Truong
Abstract:
We present a novel approach for imaging the beating embryonic heart, based on combining two independent imaging channels to capture the full spatio-temporal information of the moving 3D structure. High-resolution, optically-sectioned image recording is accompanied by simultaneous acquisition of low-resolution, whole-heart recording, allowing the latter to be used in post-acquisition processing to…
▽ More
We present a novel approach for imaging the beating embryonic heart, based on combining two independent imaging channels to capture the full spatio-temporal information of the moving 3D structure. High-resolution, optically-sectioned image recording is accompanied by simultaneous acquisition of low-resolution, whole-heart recording, allowing the latter to be used in post-acquisition processing to determine the macroscopic spatio-temporal phase of the heart beating cycle. Once determined, or 'stamped', the phase information common to both imaging channels is used to reconstruct the 3D beating heart. We demonstrated our approach in imaging the beating heart of the zebrafish embryo, capturing the entire heart over its full beating cycle, and characterizing cellular dynamic behavior with sub-cellular resolution.
△ Less
Submitted 3 November, 2020;
originally announced November 2020.
-
Studying evolution of the primary body axis in vivo and in vitro
Authors:
Kerim Anlas,
Vikas Trivedi
Abstract:
The metazoan body plan is established during early embryogenesis via collective cell rearrangements and evolutionarily conserved gene networks, as part of a process commonly referred to as gastrulation. While substantial progress has been achieved in terms of characterizing the embryonic development of several model organisms, underlying principles of many early patterning processes nevertheless r…
▽ More
The metazoan body plan is established during early embryogenesis via collective cell rearrangements and evolutionarily conserved gene networks, as part of a process commonly referred to as gastrulation. While substantial progress has been achieved in terms of characterizing the embryonic development of several model organisms, underlying principles of many early patterning processes nevertheless remain enigmatic. Despite the diversity of (pre-)gastrulating embryo and adult body shapes across the animal kingdom, the body axes, which are arguably the most fundamental features, generally remain identical between phyla. Recently there has been a renewed appreciation of ex vivo and in vitro embryo-like systems to model early embryonic patterning events. Here, we briefly review key examples and propose that similarities in morphogenesis as well as associated gene expression dynamics may reveal an evolutionarily conserved developmental mode as well as provide further insights into the role of external or extraembryonic cues in shaping the early embryo. In summary, we argue that embryo-like systems can be employed to inform previously uncharted aspects of animal body plan evolution as well as associated patterning rules.
△ Less
Submitted 23 November, 2020; v1 submitted 2 November, 2020;
originally announced November 2020.
-
$F$-thresholds $c^I({\bf m})$ for projective curves
Authors:
Vijaylaxmi Trivedi
Abstract:
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…
▽ More
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$.
△ Less
Submitted 24 July, 2020;
originally announced July 2020.
-
Hilbert-Kunz density function for graded domains
Authors:
Vijaylaxmi Trivedi,
Kei-Ichi Watanabe
Abstract:
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$…
▽ More
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]$.
△ Less
Submitted 16 March, 2020;
originally announced March 2020.
-
Nondiscreteness of $F$-thresholds
Authors:
Vijaylaxmi Trivedi
Abstract:
We give examples of two dimensional normal ${\mathbb Q}$-Gorenstein graded domains, where the set of $F$-thresholds of the maximal ideal is not discrete, thus answering a question by Mustaţă-Takagi-Watanabe.
We also prove that, for a two dimensional standard graded domain $(R, {\bf m})$ over a field of characteristic $0$, with graded ideal $I$, if $({\bf m}_p, I_p)$ is a reduction mod $p$ of…
▽ More
We give examples of two dimensional normal ${\mathbb Q}$-Gorenstein graded domains, where the set of $F$-thresholds of the maximal ideal is not discrete, thus answering a question by Mustaţă-Takagi-Watanabe.
We also prove that, for a two dimensional standard graded domain $(R, {\bf m})$ over a field of characteristic $0$, with graded ideal $I$, 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.
△ Less
Submitted 22 August, 2018;
originally announced August 2018.
-
Hilbert-Kunz density functions and $F$-thresholds
Authors:
Vijaylaxmi Trivedi,
Kei-Ichi Watanabe
Abstract:
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…
▽ More
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)$.
△ Less
Submitted 23 July, 2020; v1 submitted 13 August, 2018;
originally announced August 2018.
-
Density function for the second coefficient of the Hilbert-Kunz function
Authors:
Mandira Mondal,
Vijaylaxmi Trivedi
Abstract:
We prove that, analogous to the HK density function, (used for studying the Hilbert-Kunz multiplicity, the leading coefficient of the HK function), there exists a $β$-density function $g_{R, {\bf m}}:[0,\infty)\longrightarrow {\mathbb R}$, where $(R, {\bf m})$ is the homogeneous coordinate ring associated to the toric pair $(X, D)$, such that…
▽ More
We prove that, analogous to the HK density function, (used for studying the Hilbert-Kunz multiplicity, the leading coefficient of the HK function), there exists a $β$-density function $g_{R, {\bf m}}:[0,\infty)\longrightarrow {\mathbb R}$, where $(R, {\bf m})$ is the homogeneous coordinate ring associated to the toric pair $(X, D)$, such that $$\int_0^{\infty}g_{R, {\bf m}}(x)dx = β(R, {\bf m}),$$ where $β(R, {\bf m})$ is the second coefficient of the Hilbert-Kunz function for $(R, {\bf m})$, as constructed by Huneke-McDermott-Monsky.
Moreover we prove, (1) the function $g_{R, {\bf m}}:[0, \infty)\longrightarrow {\mathbb R}$ is compactly supported and is continuous except at finitely many points, (2) the function $g_{R, {\bf m}}$ is multiplicative for the Segre products with the expression involving the first two coefficients of the Hilbert polynomials of the rings involved.
Here we also prove and use a result (which is a refined version of a result by Henk-Linke) on the boundedness of the coefficients of rational Ehrhart quasi-polynomials of convex rational polytopes.
△ Less
Submitted 22 January, 2018;
originally announced January 2018.
-
Hilbert-Kunz density function and asymptotic Hilbert-Kunz multiplicity for projective toric varieties
Authors:
Mandira Mondal,
V. Trivedi
Abstract:
For a toric pair $(X, D)$, where $X$ is a projective toric variety of dimension $d-1\geq 1$ and $D$ is a very ample $T$-Cartier divisor, we show that the Hilbert-Kunz density function $HKd(X, D)(λ)$ is the $d-1$ dimensional volume of ${\overline {\mathcal P}}_D \cap \{z= λ\}$, where ${\overline {\mathcal P}}_D\subset {\mathbb R}^d$ is a compact $d$-dimensional set (which is a finite union of conve…
▽ More
For a toric pair $(X, D)$, where $X$ is a projective toric variety of dimension $d-1\geq 1$ and $D$ is a very ample $T$-Cartier divisor, we show that the Hilbert-Kunz density function $HKd(X, D)(λ)$ is the $d-1$ dimensional volume of ${\overline {\mathcal P}}_D \cap \{z= λ\}$, where ${\overline {\mathcal P}}_D\subset {\mathbb R}^d$ is a compact $d$-dimensional set (which is a finite union of convex polytopes).
We also show that, for $k\geq 1$, the function
$HKd(X, kD)$ can be replaced by another compactly supported continuous function $\varphi_{kD}$ which is `linear in $k$'. This gives the formula for the associated coordinate ring $(R, {\bf m})$: $$\lim_{k\to \infty}\frac{e_{HK}(R, {\bf m}^k) - e_0(R, {\bf m}^k)/d!}{k^{d-1}} = \frac{e_0(R, {\bf m})}{(d-1)!}\int_0^\infty\varphi_D(λ)dλ, $$ where $\varphi_D$ (see Proposition~1.2) is solely determined by the shape of the polytope $P_D$, associated to the toric pair $(X, D)$. Moreover $\varphi_D$ is a multiplicative function for Segre products.
This yields explicit computation of $\varphi_D$ (and hence the limit), for smooth Fano toric surfaces with respect to anticanonical divisor. In general, due to this formulation in terms of the polytope $P_D$, one can explicitly compute the limit for two dimensional toric pairs and their Segre products.
We further show that (Theorem~6.3) the renormailzed limit takes the minimum value if and only if the polytope $P_D$ tiles the space $M_{\mathbb R} = {\mathbb R}^{d-1}$ (with the lattice $M = {\mathbb Z}^{d-1}$). As a consequence, one gets an algebraic formulation of the tiling property of any rational convex polytope.
△ Less
Submitted 14 August, 2017; v1 submitted 19 July, 2017;
originally announced July 2017.
-
Arithmetic behaviour of Frobenius semistability of syzygy bundles for plane trinomial curves
Authors:
V. Trivedi
Abstract:
Here we consider the set of bundles $\{V_n\}_{n\geq 1}$ associated to the plane trinomial curves $k[x,y,z]/(h)$. We prove that the Frobenius semistability behaviour of the reduction mod $p$ of $V_n$ is a function of the congruence class of $p$ modulo $2λ_h$ (an integer invariant associated to $h$).
As one of the consequences of this, we prove that if $V_n$ is semistable in characteristic 0, then…
▽ More
Here we consider the set of bundles $\{V_n\}_{n\geq 1}$ associated to the plane trinomial curves $k[x,y,z]/(h)$. We prove that the Frobenius semistability behaviour of the reduction mod $p$ of $V_n$ is a function of the congruence class of $p$ modulo $2λ_h$ (an integer invariant associated to $h$).
As one of the consequences of this, we prove that if $V_n$ is semistable in characteristic 0, then its reduction mod $p$ is strongly semistable, for $p$ in a Zariski dense set of primes. Moreover, for any given finitely many such semistable bundles $V_n$, there is a common Zariski dense set of such primes.
△ Less
Submitted 26 January, 2017; v1 submitted 25 January, 2017;
originally announced January 2017.
-
Towards Hilbert-Kunz density functions in Characteristic $0$
Authors:
Vijaylaxmi Trivedi
Abstract:
For a pair $(R, I)$, where $R$ is a standard graded domain of dimension $d$ over an algebraically closed field of characteristic $0$ and $I$ is a graded ideal of finite colength, we prove that the existence of $\lim_{p\to \infty}e_{HK}(R_p, I_p)$ is equivalent, for any fixed $m\geq d-1$, to the existence of $\lim_{p\to \infty}\ell(R_p/I_p^{[p^m]})/p^{md}$.
This we get as a consequence of Theorem…
▽ More
For a pair $(R, I)$, where $R$ is a standard graded domain of dimension $d$ over an algebraically closed field of characteristic $0$ and $I$ is a graded ideal of finite colength, we prove that the existence of $\lim_{p\to \infty}e_{HK}(R_p, I_p)$ is equivalent, for any fixed $m\geq d-1$, to the existence of $\lim_{p\to \infty}\ell(R_p/I_p^{[p^m]})/p^{md}$.
This we get as a consequence of Theorem 1.1: As $p\rightarrow \infty $, the convergence of the HK density function $f{(R_p, I_p)}$ is equivalent to the convergence of the truncated HK density functions $f_m(R_p, I_p)$ (in $L^{\infty}$ norm) of the {\it mod $p$ reductions} $(R_p, I_p)$, for any fixed $m\geq d-1$.
In particular, to define the HK density function $f^{\infty}(R, I)$ in characteristic 0, it is enough to prove the existence of $\lim_{p\to \infty} f_m(R_p, I_p)$, for any fixed $m\geq d-1$.
This allows us to prove the existence of $e_{HK}^{\infty}(R, I)$ in many new cases, {\em e.g.}, when $\mbox{Proj~R}$ is a Segre product of curves, for example.
△ Less
Submitted 26 January, 2017; v1 submitted 8 January, 2016;
originally announced January 2016.
-
Hilbert-Kunz density function and Hilbert-Kunz multiplicity
Authors:
V. Trivedi
Abstract:
For a pair $(M, I)$, where $M$ is finitely generated graded module over a standard graded ring $R$ of dimension $d$, and $I$ is a graded ideal with $\ell(R/I) < \infty$, we introduce a new invariant $HKd(M, I)$ called the {\em Hilbert-Kunz density function}. In Theorem 1.1, we relate this to the Hilbert-Kunz multiplicity $e_{HK}(M,I)$ by an integral formula. We prove that the Hilbert-Kunz density…
▽ More
For a pair $(M, I)$, where $M$ is finitely generated graded module over a standard graded ring $R$ of dimension $d$, and $I$ is a graded ideal with $\ell(R/I) < \infty$, we introduce a new invariant $HKd(M, I)$ called the {\em Hilbert-Kunz density function}. In Theorem 1.1, we relate this to the Hilbert-Kunz multiplicity $e_{HK}(M,I)$ by an integral formula. We prove that the Hilbert-Kunz density function is additive. Moreover it satisfies a multiplicative formula for a Segre product of rings. This gives a formula for $e_{HK}$ of the Segre product of rings in terms of the HKd of the rings involved. As a corollary, $e_{HK}$ of the Segre product of any finite number of Projective curves is a rational number. As an another application we see that $e_{HK}(R, {\bf m}^k) - e(R, {\bf m}^k)/d!$ grows at least as a fixed positive multiple of $k^{d-1}$ as $k\to \infty$.
△ Less
Submitted 5 July, 2017; v1 submitted 12 October, 2015;
originally announced October 2015.
-
Hilbert-Kunz functions of a Hirzebruch surface
Authors:
V. Trivedi
Abstract:
Here we compute Hilbert-Kunz functions of any nontrivial ruled surface over ${\bf P}^1_k$, with respect to all ample line bundles on it.
Here we compute Hilbert-Kunz functions of any nontrivial ruled surface over ${\bf P}^1_k$, with respect to all ample line bundles on it.
△ Less
Submitted 23 September, 2015; v1 submitted 23 July, 2014;
originally announced July 2014.
-
Frobenius pull backs of vector bundles in higher dimensions
Authors:
V. Trivedi
Abstract:
Here we prove that for a smooth projective variety $X$ of arbitrary dimension and for a vector bundle $E$ over $X$, the Harder-Narasimhan filtration of a Frobenius pull back of $E$ is a refinement of the Frobenius pull-back of the Harder-Narasimhan filtration of $E$, provided there is a lower bound on the characteristic $p$ (in terms of rank of $E$ and the slope of the destabilising sheaf of the c…
▽ More
Here we prove that for a smooth projective variety $X$ of arbitrary dimension and for a vector bundle $E$ over $X$, the Harder-Narasimhan filtration of a Frobenius pull back of $E$ is a refinement of the Frobenius pull-back of the Harder-Narasimhan filtration of $E$, provided there is a lower bound on the characteristic $p$ (in terms of rank of $E$ and the slope of the destabilising sheaf of the cotangent bundle of $X$). We also recall some examples, due to Raynaud and Monsky,to show that some lower bound on $p$ is necessary. We further prove an analogue of this result for principal $G$-bundles over $X$. We also give a bound on the instability degree of the Frobenius pull back of $E$ in terms of the instability degree of $E$ and well defined invariants ot $X$ and $E$.
△ Less
Submitted 17 December, 2010; v1 submitted 8 November, 2010;
originally announced November 2010.
-
Frobenius pull backs of principal $G$-bundles and their canonical parabolics
Authors:
V. B. Mehta,
V. Trivedi
Abstract:
The paper is withdrawn.
The paper is withdrawn.
△ Less
Submitted 29 October, 2010; v1 submitted 20 October, 2010;
originally announced October 2010.
-
Semistablity of syzygy bundles on projective spaces in positive characteristics
Authors:
V. Trivedi
Abstract:
In char $k = p >0$, A. Langer proved a strong restriction theorem (in the style of H. Flenner) for semistable sheaves to a very general hypersurface of degree $d$, on certain varieties, with the condition that `char $k > d$'. He remarked that to remove this condition, it is enough to answer either of the following questions affirmatively: {\it For the syzygy bundle $\sV_d$ of ${\mathcal O}(d)$,…
▽ More
In char $k = p >0$, A. Langer proved a strong restriction theorem (in the style of H. Flenner) for semistable sheaves to a very general hypersurface of degree $d$, on certain varieties, with the condition that `char $k > d$'. He remarked that to remove this condition, it is enough to answer either of the following questions affirmatively: {\it For the syzygy bundle $\sV_d$ of ${\mathcal O}(d)$, is $\sV_d$ semistable for arbitrary $n, d$ and $p = {char} k$?, or is there a good estimate on $μ_{max}(\sV_d^*)$?}
Here we prove that (1) the bundle $\sV_d$ is semistable, for a certain infinite set of integers $d\geq 0$, and (2) for arbitrary $d$, there is a good enough estimate on $μ_{max}(\sV_d^*)$ in terms of $d$ and $n$.
In particular one obtains Langer's theorem, in arbitrary characeristic.
△ Less
Submitted 24 April, 2009; v1 submitted 3 April, 2008;
originally announced April 2008.
-
Restriction theorems for homogeneous bundles
Authors:
V. B. Mehta,
V. Trivedi
Abstract:
We prove that for an irreducible representation $τ:GL(n)\to GL(W)$, the associated homogeneous ${\bf P}_k^n$-vector bundle $W_τ$ is strongly semistable when restricted to any smooth quadric or to any smooth cubic in ${\bf P}_k^n$, where $k$ is an algebraically closed field of characteristic $\neq 2,3$ respectively. In particular $W_τ$ is semistable when restricted to general hypersurfaces of deg…
▽ More
We prove that for an irreducible representation $τ:GL(n)\to GL(W)$, the associated homogeneous ${\bf P}_k^n$-vector bundle $W_τ$ is strongly semistable when restricted to any smooth quadric or to any smooth cubic in ${\bf P}_k^n$, where $k$ is an algebraically closed field of characteristic $\neq 2,3$ respectively. In particular $W_τ$ is semistable when restricted to general hypersurfaces of degree $\geq 2$ and is strongly semistable when restricted to the $k$-generic hypersurface of degree $\geq 2$.
△ Less
Submitted 30 March, 2005; v1 submitted 29 November, 2004;
originally announced November 2004.
-
Hilbert-Kunz multiplicity and reduction mod p
Authors:
V. Trivedi
Abstract:
We show that the Hilbert-Kunz multiplicities of the reductions to positive characteristics of an irreducible projective curve in characteristic 0 have a well-defined limit as the characteristic tends to infinity.
We show that the Hilbert-Kunz multiplicities of the reductions to positive characteristics of an irreducible projective curve in characteristic 0 have a well-defined limit as the characteristic tends to infinity.
△ Less
Submitted 30 March, 2005; v1 submitted 29 July, 2004;
originally announced July 2004.
-
Semistability and Hilbert-Kunz multiplicities for curves
Authors:
V. Trivedi
Abstract:
We study Hilbert-Kunz multiplicity of non-singular curves in positive characteristic. We analyse the relationship between the Frobenius semistability of the kernel sheaf associated with the curve and its ample line bundle, and the HK multiplicity. This leads to a lower bound, achieved iff the kernel sheaf is Frobenius semistable, and otherwise to formulas for the HK multiplicity in terms of para…
▽ More
We study Hilbert-Kunz multiplicity of non-singular curves in positive characteristic. We analyse the relationship between the Frobenius semistability of the kernel sheaf associated with the curve and its ample line bundle, and the HK multiplicity. This leads to a lower bound, achieved iff the kernel sheaf is Frobenius semistable, and otherwise to formulas for the HK multiplicity in terms of parameters measuring the failure of Frobenius semistability. As a byproduct, an explicit example of a vector bundle on a curve is given whose $n$-th iterated Frobenius pullback is not semistable, while its $(n-1)$-th such pullback is semistable, where $n>0$ is arbitrary.
△ Less
Submitted 13 December, 2004; v1 submitted 15 February, 2004;
originally announced February 2004.