Researcher profile

Deepam Patel

Deepam Patel contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 19 - UnverifiedVerification L1Unclaimed author
5works
0followers
5topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

5 published item(s)

preprint2026arXiv

Local Monodromy of Constructible Sheaves

Given a morphism $f: X \rightarrow S$ of complex algebraic varieties and a constructible sheaf $\mathcal{G}$ on $X$, we compute the local monodromy of $Rf_*(\mathcal{G})$ and $Rf_!(\mathcal{G})$ in terms of the local monodromy of $\mathcal{G}$. Our results generalize previous results by Brieskorn, Borel, Clemens, Deligne, Landsman, Griffiths, Grothendieck, and Kashiwara in the setting of quasi-unipotent sheaves. In the following, we consider the general setting of sheaves of $R$-modules for a commutative noetherian ring $R$, and give applications to computing local monodromy of abelian covers in a uniform manner. We also obtain applications in the context of `generalized Alexander modules' and intersection cohomology with torsion coefficients.

preprint2020arXiv

Connectivity of joins, cohomological quantifier elimination, and an algebraic Toda's theorem

Let $X \subset \mathbb{P}^{n}$ be a non-empty closed subscheme over an algebraically closed field $k$, and $\mathrm{J}^{[p]}(X) = \mathrm{J}(X,\mathrm{J}(X,\cdots,\mathrm{J}(X,X)\cdots)$ denote the $p$-fold iterated join of $X$ with itself. In this article, we prove that the restriction homomorphism on cohomology $\mathrm{H}^{i}(\mathbb{P}^{N}) \rightarrow \mathrm{H}^{i}(\mathrm{J}^{[p]}(X))$, with $N = (p+1)(n+1)-1$, is an isomorphism for $0 \leq i < p$, and injective for $i=p$, for any good cohomology theory. We also prove this result in the more general setting of relative joins for $X$ over a base scheme $S$, where $S$ is of finite type over $k$. We give several applications of these results including a cohomological version of classical quantifier elimination in the first order theory of algebraically closed fields of arbitrary characteristic, as well as an algebraic version of Toda&#39;s theorem in complexity theory valid over algebraically closed fields of arbitrary characteristic. We also apply our results to obtain effective bounds on the Betti numbers of image of projective varieties under projection map.

preprint2014arXiv

A relative version of the Beilinson-Hodge conjecture

Let k be an algebraically closed subfield of the complex numbers, and X a variety defined over k. One version of the Beilinson-Hodge conjecture that seems to survive scrutiny is the statement that the Betti cycle class map cl_{r,m} : H_M^{2r-m}(k(X),Q(r)) -> hom_{MHS}(Q(0),H^{2r-m}(k(X)(C),Q(r))) is surjective, that being equivalent to the Hodge conjecture in the case m=0. Now consider a smooth and proper map ρ: X -> S of smooth quasi-projective varieties over k. We formulate a version of this conjecture for the generic fibre, expecting the corresponding cycle class map to be surjective. We provide some evidence in support of this in the case where X is a product, the map is the projection to one factor, and m=1.

preprint2014arXiv

Arithmetic differential operators on a semistable model of ${\mathbb P}^1$

In this paper we study sheaves of logarithmic arithmetic differential operators on a particular semistable model of the projective line. The main result here is that the first cohomology group of these sheaves is non-torsion. We also consider a refinement of the order filtration on the sheaf of level zero (before taking the p-adic completion). The associated graded sheaf, which we explicitly determine, explains to some extent the occurrence of the cohomology classes in degree one.

preprint2013arXiv

Integral models of P^1 and analytic distribution algebras for GL_2

In the first part of the paper we show that the ring of global sections of arithmetic differential operators on the formal projective line over Zp is isomorphic to the analytic distribution algebra of the &#39;wide open&#39; congruence subgroup of level zero of GL(2,Zp). In the second part we study rings of logarithmic differential operators on semistable integral models of the projective line over Zp and we relate these to analytic distribution algebra of &#39;wide open&#39; congruence subgroups of higher level.