SearcharxivSearch

arXiv subjects

Sheela Devadas

Publications and source records attributed to Sheela Devadas.

7 recordsLinked to original sources

Covers of curves, Ceresa cycles, and Unlikely intersections

Fix a smooth, projective, geometrically integral curve $C$ of genus $g \geq 2$ over a characteristic zero field. We prove that the Ceresa cycle $\mathrm{Cer}(\widetilde{C})$ of a very general ramified cover $\widetilde{C}$ of $C$ is nontorsion in the Chow group of its Jacobian. We also show that there exist infinitely many families of ramified covers of a varying family of curves where a general point of these families corresponds to a curve with nontorsion Ceresa cycle. To illustrate this, we write down two explicit $1$-dimensional and $2$-dimensional families of genus $6$ curves where the locus of curves with torsion Ceresa cycle is Zariski closed and has positive codimension. Our strategy is to reduce the question of whether the Ceresa cycle is torsion to the question of whether a related point on the Jacobian of the curve is torsion. For this, we use the ``relative canonical shadow" of the Ceresa cycle, which is a point in the Jacobian of the curve obtained by intersecting the Ceresa cycle with a natural correspondence arising from the covering map. We combine this with ideas from unlikely intersection theory (namely the relative Manin--Mumford theorem) to study the locus where the relative canonical shadows of the Ceresa cycle become torsion.

math.AG

Higher-weight Jacobians

We define and study Jacobians of Hodge structures with weight greater than 1. A complex variety has a Jacobian of weight 2 precisely when it has maximal Picard number; these weight 2 Jacobians naturally arise in the context of the Brauer group and the Tate conjecture. The case of surfaces of maximal Picard number has been previously studied by Beauville; the higher-dimensional case is also related to the work of Totaro on Hodge structures with no middle pieces. Higher-weight Jacobians are complex tori, and it is generally quite difficult to tell if they are algebraic. However, for abelian varieties of maximal Picard number, we are able to explicitly calculate their higher-weight Jacobians using algebraic number theory, and prove that they are not just abelian varieties but in fact also have maximal Picard number. We also compute higher-weight Jacobians for Kummer varieties and singular K3 surfaces. Via class field theory, we study the field of definition of abelian surfaces and singular K3 surfaces using their weight 2 Jacobians.

math.AG

GAGA for Henselian schemes

The global analogue of a Henselian local ring is a Henselian pair-a ring R and an ideal I which satisfy a condition resembling Hensel's lemma regarding lifting coprime factorizations of monic polynomials over R/I to factorizations over R. The geometric counterpart is the notion of a Henselian scheme, which can serve as a substitute for formal schemes in applications such as deformation theory. In this paper we prove a GAGA-style cohomology comparison result for Henselian schemes in positive characteristic, making use of a "Henselian \'etale" topology defined in previous work in order to leverage exactness of finite pushforward for abelian sheaves in the \'etale topology of schemes. We will also discuss algebraizability of coherent sheaves on the Henselization of a proper scheme, proving (without a positive characteristic restriction) algebraizability for coherent subsheaves. We can then deduce a Henselian version of Chow's theorem on algebraization and the algebraizability of maps between Henselizations of proper schemes.

math.AG

Henselian schemes in positive characteristic

The global analogue of a Henselian local ring is a Henselian pair: a ring A and an ideal I which satisfy a condition resembling Hensel's lemma regarding lifting coprime factorizations of polynomials over A/I to factorizations over A. The geometric counterpart is the notion of a Henselian scheme, which is an analogue of a tubular neighborhood in algebraic geometry. In this paper we revisit the foundations of the theory of Henselian schemes. The pathological behavior of quasi-coherent sheaves on Henselian schemes in characteristic 0 makes them poor models for an "algebraic tube" in characteristic 0. We show that such problems do not arise in positive characteristic, and establish good properties for analogues of smooth and \'etale maps in the general Henselian setting.

math.AG

The polynomial representation of the type $A_{n - 1}$ rational Cherednik algebra in characteristic $p \mid n$

We study the polynomial representation of the rational Cherednik algebra of type $A_{n-1}$ with generic parameter in characteristic $p$ for $p \mid n$. We give explicit formulas for generators for the maximal proper graded submodule, show that they cut out a complete intersection, and thus compute the Hilbert series of the irreducible quotient. Our methods are motivated by taking characteristic $p$ analogues of existing characteristic $0$ results.

math.RT

A Self-Tester for Linear Functions over the Integers with an Elementary Proof of Correctness

We present simple, self-contained proofs of correctness for algorithms for linearity testing and program checking of linear functions on finite subsets of integers represented as n-bit numbers. In addition we explore a generalization of self-testing to homomorphisms on a multidimensional vector space. We show that our self-testing algorithm for the univariate case can be directly generalized to vector space domains. The number of queries made by our algorithms is independent of domain size.

cs.CC

Representations of rational Cherednik algebras of G(m,r,n) in positive characteristic

We study lowest-weight irreducible representations of rational Cherednik algebras attached to the complex reflection groups G(m,r,n) in characteristic p. Our approach is mostly from the perspective of commutative algebra. By studying the kernel of the contravariant bilinear form on Verma modules, we obtain formulas for Hilbert series of irreducible representations in a number of cases, and present conjectures in other cases. We observe that the form of the Hilbert series of the irreducible representations and the generators of the kernel tend to be determined by the value of n modulo p, and are related to special classes of subspace arrangements. Perhaps the most novel (conjectural) discovery from the commutative algebra perspective is that the generators of the kernel can be given the structure of a "matrix regular sequence" in some instances, which we prove in some small cases.

math.RT