Showing 1–13 of 13 results for author: Tripathi, G

Constructible Witt theory of schemes

Authors: Onkar Kamlakar Kale, Girja S Tripathi

Abstract: We study the constructible Witt theory of étale sheaves of $Λ$-modules on a scheme $X$ for coefficient rings $Λ$ having finite characteristic not equal to 2 and prime to the residue characteristics of the scheme $X$. Our construction is based on the recent advances by Cisinski and Déglise on six-functor formalism for derived categories of étale motives and offers a background for the study of cons… ▽ More We study the constructible Witt theory of étale sheaves of $Λ$-modules on a scheme $X$ for coefficient rings $Λ$ having finite characteristic not equal to 2 and prime to the residue characteristics of the scheme $X$. Our construction is based on the recent advances by Cisinski and Déglise on six-functor formalism for derived categories of étale motives and offers a background for the study of constructible Witt theory as a cohomological invariant for schemes. In the case of smooth complex algebraic varieties and finite coefficient rings, we show that the algebraic constructible Witt theory studied in this paper can be identified with the topological constructible Witt theory. △ Less

Submitted 31 December, 2024; v1 submitted 3 July, 2023; originally announced July 2023.

Endomorphisms of Equivariant Algebraic $K$-theory

Authors: K. Arun Kumar, Girja S Tripathi

Abstract: In this paper we study equivariant algebraic $K$-theory for an action of a finite constant group scheme in the equivariant motivic homotopy theory. We prove that the equivariant algebraic $K$-theory is represented by an equivariant ind-scheme defined by Grassmannians. Using this result we show that in the category of equivariant motivic spaces the set of endomorphisms of the motivic space defined… ▽ More In this paper we study equivariant algebraic $K$-theory for an action of a finite constant group scheme in the equivariant motivic homotopy theory. We prove that the equivariant algebraic $K$-theory is represented by an equivariant ind-scheme defined by Grassmannians. Using this result we show that in the category of equivariant motivic spaces the set of endomorphisms of the motivic space defined by $K_0(G,-)$ coincides with the set of endomorphisms of infinite Grassmannians in the equivariant motivic homotopy category. To this end we explicitly recall the folklore computation of equivariant $K$-theory of Grassmannians. △ Less

Submitted 5 April, 2023; originally announced April 2023.

Comments: 17 pages

Numerical Semigroups with unique Apery expansions II

Authors: Joydip Saha, Gaurab Tripathi

Abstract: In this paper, we carry out a fairly comprehensive study of special classes of numerical semigroups, and their tangent cones, generated by the sequence of partial sums of an arithmetic progression, in embedding dimension $5$. These classes have unique expansions of the Apery set elements. In this paper, we carry out a fairly comprehensive study of special classes of numerical semigroups, and their tangent cones, generated by the sequence of partial sums of an arithmetic progression, in embedding dimension $5$. These classes have unique expansions of the Apery set elements. △ Less

Submitted 22 June, 2022; originally announced June 2022.

Comments: 17 Pages

MSC Class: Primary 13F70; 13F65; 13D02 ACM Class: G.0; G.4

Quadrics defined by skew-symmetric matrices

Authors: Joydip Saha, Indranath Sengupta, Gaurab Tripathi

Abstract: In this paper we propose a model for computing a minimal free resolution for ideals of the form $I_{1}(X_{n}Y_{n})$, where $X_{n}$ is an $n\times n$ skew-symmetric matrix with indeterminate entries $x_{ij}$ and $Y_{n}$ is a generic column matrix with indeterminate entries $y_{j}$. We verify that the model works for $n=3$ and $n=4$ and pose some statements as conjectures. Answering the conjectures… ▽ More In this paper we propose a model for computing a minimal free resolution for ideals of the form $I_{1}(X_{n}Y_{n})$, where $X_{n}$ is an $n\times n$ skew-symmetric matrix with indeterminate entries $x_{ij}$ and $Y_{n}$ is a generic column matrix with indeterminate entries $y_{j}$. We verify that the model works for $n=3$ and $n=4$ and pose some statements as conjectures. Answering the conjectures in affirmative would enable us to compute a minimal free resolution for general $n$. △ Less

Submitted 12 June, 2018; originally announced June 2018.

MSC Class: 13D02; 13C40; 13P10; 13D07

Journal ref: International Journal of Algebra, Vol.11, 2017, no.8, 349-356

Transversal Intersection of Monomial Ideals

Authors: Joydip Saha, Indranath Sengupta, Gaurab Tripathi

Abstract: In this paper we prove conditions for transversal intersection of monomial ideals and derive a simplicial characterization of this phenomenon. In this paper we prove conditions for transversal intersection of monomial ideals and derive a simplicial characterization of this phenomenon. △ Less

Submitted 10 January, 2019; v1 submitted 1 May, 2017; originally announced May 2017.

Comments: arXiv admin note: text overlap with arXiv:1611.04732

MSC Class: 13C05; 13D02

Journal ref: Proceedings - Mathematical Sciences 2019

$d$-sequence and Regular sequence of Quadrics

Authors: Joydip Saha, Indranath Sengupta, Gurab Tripathi

Abstract: Let $K$ be a field and $X$, $Y$ denote matrices such that, the entries of $X$ are either indeterminates over $K$ or $0$ and the entries of $Y$ are indeterminates over $K$ which are different from those appearing in $X$. We consider ideals of the form $I_{1}(XY)$, which is the ideal generated by the homogeneous polynomials of degree $2$ given by the $1\times 1$ minors of the matrix $XY$. We prove t… ▽ More Let $K$ be a field and $X$, $Y$ denote matrices such that, the entries of $X$ are either indeterminates over $K$ or $0$ and the entries of $Y$ are indeterminates over $K$ which are different from those appearing in $X$. We consider ideals of the form $I_{1}(XY)$, which is the ideal generated by the homogeneous polynomials of degree $2$ given by the $1\times 1$ minors of the matrix $XY$. We prove that $d$-sequences and regular sequences arise naturally as part of generators of $I_{1}(XY)$ for some special cases. We use this information to calculate the equations defining the Rees algebra of $I_{1}(XY)$. △ Less

Submitted 5 April, 2020; v1 submitted 6 March, 2017; originally announced March 2017.

MSC Class: Primary 13C40; 13P10

Transversal Intersection and Sum of Polynomial Ideals

Authors: Joydip Saha, Indranath Sengupta, Gaurab Tripathi

Abstract: In this paper we derive some conditions for transversal intersection of polynomial ideals. We exhibit some examples. Finally, as an application of the results proved, we compute the Betti numbers for ideals of the form $I_{1}(XY) + J$, where $X$ and $Y$ are matrices and $J$ is the ideal generated by the $2\times 2$ minors of the matrix consisting of any two rows of $X$. In this paper we derive some conditions for transversal intersection of polynomial ideals. We exhibit some examples. Finally, as an application of the results proved, we compute the Betti numbers for ideals of the form $I_{1}(XY) + J$, where $X$ and $Y$ are matrices and $J$ is the ideal generated by the $2\times 2$ minors of the matrix consisting of any two rows of $X$. △ Less

Submitted 8 May, 2018; v1 submitted 15 November, 2016; originally announced November 2016.

MSC Class: 13D02 (Primary); 13C40; 13P10; 13D07 (Secondary)

Primary decomposition and normality of certain determinantal ideals

Authors: Joydip Saha, Indranath Sengupta, Gaurab Tripathi

Abstract: In this paper we study primality and primary decomposition of certain ideals which are generated by homogeneous degree $2$ polynomials and occur naturally from determinantal conditions. Normality is derived from these results. In this paper we study primality and primary decomposition of certain ideals which are generated by homogeneous degree $2$ polynomials and occur naturally from determinantal conditions. Normality is derived from these results. △ Less

Submitted 10 January, 2019; v1 submitted 4 October, 2016; originally announced October 2016.

Comments: arXiv admin note: substantial text overlap with arXiv:1609.02765

MSC Class: 13C40; 13P10

Journal ref: Proceedings - Mathematical Sciences 2019

Ideals of the form $I_{1}(XY)$

Authors: Joydip Saha, Indranath Sengupta, Gaurab Tripathi

Abstract: In this paper we compute Gröbner bases for determinantal ideals of the form $I_{1}(XY)$, where $X$ and $Y$ are both matrices whose entries are indeterminates over a field $K$. We use the Gröbner basis structure to determine Betti numbers for such ideals. In this paper we compute Gröbner bases for determinantal ideals of the form $I_{1}(XY)$, where $X$ and $Y$ are both matrices whose entries are indeterminates over a field $K$. We use the Gröbner basis structure to determine Betti numbers for such ideals. △ Less

Submitted 10 January, 2019; v1 submitted 9 September, 2016; originally announced September 2016.

Comments: 20 pages

MSC Class: 13P10; 13C40; 13D02

Journal ref: Journal of Symbolic Computation 91(2019) 17-29

Minimal Graded Free Resolution for Monomial Curves in $\mathbb{A}^{4}$ defined by almost arithmetic sequences

Authors: Achintya Kumar Roy, Indranath Sengupta, Gaurab Tripathi

Abstract: Let $\mm=(m_0,m_1,m_2,n)$ be an almost arithmetic sequence, i.e., a sequence of positive integers with ${\rm gcd}(m_0,m_1,m_2,n) = 1$, such that $m_0<m_1<m_2$ form an arithmetic progression, $n$ is arbitrary and they minimally generate the numerical semigroup $Γ= m_0\N + m_1\N + m_2\N + n\N$. Let $k$ be a field. The homogeneous coordinate ring $k[Γ]$ of the affine monomial curve parametrically def… ▽ More Let $\mm=(m_0,m_1,m_2,n)$ be an almost arithmetic sequence, i.e., a sequence of positive integers with ${\rm gcd}(m_0,m_1,m_2,n) = 1$, such that $m_0<m_1<m_2$ form an arithmetic progression, $n$ is arbitrary and they minimally generate the numerical semigroup $Γ= m_0\N + m_1\N + m_2\N + n\N$. Let $k$ be a field. The homogeneous coordinate ring $k[Γ]$ of the affine monomial curve parametrically defined by $X_0=t^{m_0},X_{1}=t^{m_1},X_2=t^{m_3},Y=t^{n}$ is a graded $R$-module, where $R$ is the polynomial ring $k[X_0,X_1,X_3, Y]$ with the grading $°{X_i}:=m_i, °{Y}:=n$. In this paper, we construct a minimal graded free resolution for $k[Γ]$. △ Less

Submitted 1 January, 2016; v1 submitted 9 March, 2015; originally announced March 2015.

Comments: Accepted for publication in Communication in Algebra

Quotients of MGL, their slices and their geometric parts

Authors: Marc Levine, Girja Shanker Tripathi

Abstract: Let $x_1, x_2,\ldots$ be a system of homogeneous polynomial generators for the Lazard ring $\mathbb{L}^*=MU^{2*}$ and let $MGL_S$ denote Voevodsky's algebraic cobordism spectrum in the motivic stable homotopy category over a base-scheme $S$.Take $S$ essentially smooth over a field $k$. Relying on Hopkins-Morel-Hoyois isomorphism of the 0th slice $s_0MGL_S$ for Voevodsky's slice tower with… ▽ More Let $x_1, x_2,\ldots$ be a system of homogeneous polynomial generators for the Lazard ring $\mathbb{L}^*=MU^{2*}$ and let $MGL_S$ denote Voevodsky's algebraic cobordism spectrum in the motivic stable homotopy category over a base-scheme $S$.Take $S$ essentially smooth over a field $k$. Relying on Hopkins-Morel-Hoyois isomorphism of the 0th slice $s_0MGL_S$ for Voevodsky's slice tower with $MGL_S/(x_1, x_2,\ldots)$ (after inverting the characteristic of $k$), Spitzweck computes the remaining slices of $MGL_S$ as $s_nMGL_S=Σ^n_TH\mathbb{Z}\otimes \mathbb{L}^{-n}$ (again, after inverting the characteristic of $k$). We apply Spitzweck's method to compute the slices of a quotient spectrum $MGL_S/(\{x_i:i\in I\})$ for $I$ an arbitrary subset of $\mathbb{N}$, as well as the mod $p$ version $MGL_S/(\{p, x_i:i\in I\})$ and localizations with respect to a system of homogeneous elements in $\mathbb{Z}[\{x_j:j\not\in I\}]$. In case $S=\text{Spec}\, k$, $k$ a field of characteristic zero, we apply this to show that for $\mathcal{E}$ a localization of a quotient of $MGL$ as above, there is a natural isomorphism for the theory with support \[ Ω_*(X)\otimes_{\mathbb{L}^{-*}}\mathcal{E}^{-2*,-*}(k)\to \mathcal{E}^{2m-2*, m-*}_X(M) \] for $X$ a closed subscheme of a smooth quasi-projective $k$-scheme $M$, $m=$dim${}_kM$. △ Less

Submitted 11 January, 2015; originally announced January 2015.

Comments: 30 pages

MSC Class: Primary 14C25; 19E15; Secondary 19E08 14F42; 55P42

Geometric models for higher Grothendieck-Witt groups in A1-homotopy theory

Authors: Marco Schlichting, Girja Shanker Tripathi

Abstract: We show that the higher Grothendieck-Witt groups, a.k.a. algebraic hermitian K-groups, are represented by an infinite orthogonal Grassmannian in the A1-homotopy category of smooth schemes over a regular base for which 2 is a unit in the ring of regular functions. We also give geometric models for various P1- and S1-loop spaces of hermitian K-theory. We show that the higher Grothendieck-Witt groups, a.k.a. algebraic hermitian K-groups, are represented by an infinite orthogonal Grassmannian in the A1-homotopy category of smooth schemes over a regular base for which 2 is a unit in the ring of regular functions. We also give geometric models for various P1- and S1-loop spaces of hermitian K-theory. △ Less

Submitted 23 September, 2013; originally announced September 2013.

Comments: 20 pages

Nilpotency of Elementary Operators on B(E)

Authors: Gyan Prakash Tripathi, Nand Lal

Abstract: In this paper, we shall give a necessary and sufficient condition for nilpotency of elementary multiplication operators and some sufficient conditions for elementary operators to be nilpotent on B(E), where E is Banach space. In this paper, we shall give a necessary and sufficient condition for nilpotency of elementary multiplication operators and some sufficient conditions for elementary operators to be nilpotent on B(E), where E is Banach space. △ Less

Submitted 4 July, 2012; originally announced July 2012.

Journal ref: Kochi Journal of Mathematics, 4(2009) 119-122