Source author record

Ashvin Swaminathan

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

ResearcherUnclaimed source record

math.NT math.AG math.RT math.GR math.CA math.GN math.LO

Catalog footprint

Research overview

7works

7topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Hyperelliptic Curves with Maximal Galois Action on the Torsion Points of their Jacobians

In this article, we show that in each of four standard families of hyperelliptic curves, there is a density- $1$ subset of members with the property that their Jacobians have adelic Galois representation with image as large as possible. This result constitutes an explicit application of a general theorem on arbitrary rational families of abelian varieties to the case of families of Jacobians of hyperelliptic curves. Furthermore, we provide explicit examples of hyperelliptic curves of genus $2$ and $3$ over $\mathbb Q$ whose Jacobians have such maximal adelic Galois representations.

preprint2022arXiv

Surjectivity of Galois Representations in Rational Families of Abelian Varieties

In this article, we show that for any non-isotrivial family of abelian varieties over a rational base with big monodromy, those members that have adelic Galois representation with image as large as possible form a density- $1$ subset. Our results can be applied to a number of interesting families of abelian varieties, such as rational families dominating the moduli of Jacobians of hyperelliptic curves, trigonal curves, or plane curves. As a consequence, we prove that for any dimension $g \geq 3$ , there are infinitely many abelian varieties over $\mathbb Q$ with adelic Galois representation having image equal to all of $\operatorname{GSp}_{2g}(\widehat{\mathbb Z})$ .

preprint2020arXiv

Inflectionary Invariants for Isolated Complete Intersection Curve Singularities

We investigate the role played by curve singularity germs in the enumeration of inflection points in families of curves acquiring singular members. Let $N \geq 2$ , and consider an isolated complete intersection curve singularity germ $f \colon (\mathbb{C}^N,0) \to (\mathbb{C}^{N-1},0)$ . We introduce a numerical function $m \mapsto \operatorname{AD}_{(2)}^m(f)$ that arises as an error term when counting $m^{\mathrm{th}}$ -order weight- $2$ inflection points with ramification sequence $(0, \dots, 0, 2)$ in a $1$ -parameter family of curves acquiring the singularity $f = 0$ , and we compute $\operatorname{AD}_{(2)}^m(f)$ for various $(f,m)$ . Particularly, for a node defined by $f \colon (x,y) \mapsto xy$ , we prove that $\operatorname{AD}_{(2)}^m(xy) = {{m+1} \choose 4},$ and we deduce as a corollary that $\operatorname{AD}_{(2)}^m(f) \geq (\operatorname{mult}_0 Δ_f) \cdot {{m+1} \choose 4}$ for any $f$ , where $\operatorname{mult}_0 Δ_f$ is the multiplicity of the discriminant $Δ_f$ at the origin in the deformation space. Furthermore, we show that the function $m \mapsto \operatorname{AD}_{(2)}^m(f) -(\operatorname{mult}_0 Δ_f) \cdot {{m+1} \choose 4}$ is an analytic invariant measuring how much the singularity "counts as" an inflection point. We obtain similar results for weight- $2$ inflection points with ramification sequence $(0, \dots, 0, 1,1)$ and for weight- $1$ inflection points, and we apply our results to solve various related enumerative problems.

preprint2020arXiv

On the EKL-Degree of a Weyl Cover

More than four decades ago, Eisenbud, Khimšiašvili, and Levine introduced an analogue in the algebro-geometric setting of the notion of local degree from differential topology. Their notion of degree, which we call the EKL-degree, can be thought of as a refinement of the usual notion of local degree in algebraic geometry that works over non-algebraically closed base fields, taking values in the Grothendieck-Witt ring. In this note, we compute the EKL-degree at the origin of certain finite covers $f\colon \mathbb{A}^n\to \mathbb{A}^n$ induced by quotients under actions of Weyl groups. We use knowledge of the cohomology ring of partial flag varieties as a key input in our proofs, and our computations give interesting explicit examples in the field of $\mathbb{A}^1$ -enumerative geometry.

preprint2015arXiv

Analysis on Surreal Numbers

The class $\mathbf{No}$ of surreal numbers, which John Conway discovered while studying combinatorial games, possesses a rich numerical structure and shares many arithmetic and algebraic properties with the real numbers. Some work has also been done to develop analysis on $\mathbf{No}$ . In this paper, we extend this work with a treatment of functions, limits, derivatives, power series, and integrals. We propose surreal definitions of the arctangent and logarithm functions using truncations of Maclaurin series. Using a new representation of surreals, we present a formula for the limit of a sequence, and we use this formula to provide a complete characterization of convergent sequences and to evaluate certain series and infinite Riemann sums via extrapolation. A similar formula allows us to evaluates limits (and hence derivatives) of functions. By defining a new topology on $\mathbf{No}$ , we obtain the Intermediate Value Theorem even though $\mathbf{No}$ is not Cauchy complete, and we prove that the Fundamental Theorem of Calculus would hold for surreals if a consistent definition of integration exists. Extending our study to defining other analytic functions, evaluating power series in generality, finding a consistent definition of integration, proving Stokes' Theorem to generalize surreal integration, and studying differential equations remains open.

preprint2015arXiv

Linnik's Theorem for Sato-Tate Laws on Elliptic Curves with Complex Multiplication

Let $E/\mathbb{Q}$ be an elliptic curve with complex multiplication (CM), and for each prime $p$ of good reduction, let $a_E(p) = p + 1 - \#E(\mathbb{F}_p)$ denote the trace of Frobenius. By the Hasse bound, $a_E(p) = 2\sqrt{p} \cos θ_p$ for a unique $θ_p \in [0, π]$ . In this paper, we prove that the least prime $p$ such that $θ_p \in [α, β] \subset [0, π]$ satisfies $p \ll \left(\frac{N_E}{β- α}\right)^A,$ where $N_E$ is the conductor of $E$ and the implied constant and exponent $A > 2$ are absolute and effectively computable. Our result is an analogue for CM elliptic curves of Linnik's Theorem for arithmetic progressions, which states that the least prime $p \equiv a \pmod q$ for $(a,q)=1$ satisfies $p \ll q^L$ for an absolute constant $L > 0$ .

preprint2015arXiv

On Arboreal Galois Representations of Rational Functions

The action of the absolute Galois group $\text{Gal}(K^{\text{ksep}}/K)$ of a global field $K$ on a tree $T(ϕ, α)$ of iterated preimages of $α\in \mathbb{P}^1(K)$ under $ϕ\in K(x)$ with $\text{deg}(ϕ) \geq 2$ induces a homomorphism $ρ: \text{Gal}(K^{\text{ksep}}/K) \to \text{Aut}(T(ϕ, α))$ , which is called an arboreal Galois representation. In this paper, we address a number of questions posed by Jones and Manes about the size of the group $G(ϕ,α) := \text{im} ρ= \underset{\leftarrow n}\lim\text{Gal}(K(ϕ^{-n}(α))/K)$ . Specifically, we consider two cases for the pair $(ϕ, α)$ : (1) $ϕ$ is such that the sequence $\{a_n\}$ defined by $a_0 = α$ and $a_n = ϕ(a_{n-1})$ is periodic, and (2) $ϕ$ commutes with a nontrivial Mobius transformation that fixes $α$ . In the first case, we resolve a question posed by Jones about the size of $G(ϕ, α)$ , and taking $K = \mathbb{Q}$ , we describe the Galois groups of iterates of polynomials $ϕ\in \mathbb{Z}[x]$ that have the form $ϕ(x) = x^2 + kx$ or $ϕ(x) = x^2 - (k+1)x + k$ . When $K = \mathbb{Q}$ and $ϕ\in \mathbb{Z}[x]$ , arboreal Galois representations are a useful tool for studying the arithmetic dynamics of $ϕ$ . In the case of $ϕ(x) = x^2 + kx$ for $k \in \mathbb{Z}$ , we employ a result of Jones regarding the size of the group $G(ψ, 0)$ , where $ψ(x) = x^2 - kx + k$ , to obtain a zero-density result for primes dividing terms of the sequence $\{a_n\}$ defined by $a_0 \in \mathbb{Z}$ and $a_n = ϕ(a_{n-1})$ . In the second case, we resolve a conjecture of Jones about the size of a certain subgroup $C(ϕ, α) \subset \text{Aut}(T(ϕ, α))$ that contains $G(ϕ, α)$ , and we present progress toward the proof of a conjecture of Jones and Manes concerning the size of $G(ϕ, α)$ as a subgroup of $C(ϕ, α)$ .

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.

Ashvin Swaminathan

Research overview

Is this your work?

7 publications

Hyperelliptic Curves with Maximal Galois Action on the Torsion Points of their Jacobians

Surjectivity of Galois Representations in Rational Families of Abelian Varieties

Inflectionary Invariants for Isolated Complete Intersection Curve Singularities

On the EKL-Degree of a Weyl Cover

Analysis on Surreal Numbers

Linnik's Theorem for Sato-Tate Laws on Elliptic Curves with Complex Multiplication

On Arboreal Galois Representations of Rational Functions

See the researcher in context

Building this map preview