共找到 20 条结果
Coleman integrals is a major tool in the explicit arithmetic of algebraic varieties, notably in the study of rational points on curves. One of the inputs to compute Coleman integrals is the availability of an affine model. We develop a model-free algorithm that computes single Coleman integrals between any two points on modular curves. Using Hecke operators, any Coleman integral can be broken down into a sum of tiny integrals. We illustrate this using several examples computed in SageMath and Magma. We also suggest some future directions for this work, including a possible extension to iterated Coleman integrals.
In this paper, we prove that finite groups with semidihedral Sylow 2-subgroup have Class-preserving Coleman outer automorphism group of odd order. As a consequence, these groups satisfy the normalizer problem. In particular, we extend some existing results in the literature concerning class-preserving Coleman automorphisms of finite groups with semidihedral Sylow 2-subgroups.
We construct big generalized Heegner classes by interpolating $p$-adically the generalized Heegner classes associated to quaternionic modular forms along a Coleman (finite slope) family, following the approach introduced by Jetchev--Loeffler--Zerbes.
The kinetic mixing of two U(1) gauge theories can result in a massless photon that has perturbative couplings to both electric and magnetic charges. This framework can be used to perturbatively calculate in a quantum field theory with both kinds of charge. Here we re-examine the running of the magnetic charge, where the calculations of Schwinger and Coleman sharply disagree. We calculate the running of both electric and magnetic couplings and show that the disagreement between Schwinger and Coleman is due to an incomplete summation of topological terms in the perturbation series. We present a momentum space prescription for calculating the loop corrections in which the topological terms can be systematically separated for resummation. Somewhat in the spirit of modern amplitude methods we avoid using a vector potential and use the field strength itself, thereby trading gauge redundancy for the geometric redundancy of Stokes surfaces. The resulting running of the couplings demonstrates that Dirac charge quantization is independent of renormalization scale, as Coleman predicted. As a simple application we also bound the parameter space of magnetically charged states through the experi
The Coleman power series defined on a Lubin-Tate tower of extensions over $K$ are compatible with respect to two formal group laws: the multiplicative formal group law and some Lubin-Tate formal group law defined over $\mathcal{O}_K$. We ask if it is possible to generalize these power series in order to find power series which are compatible with respect to two Lubin-Tate formal group laws in the same way. We provide a precise formulation of this question and a partial answer towards the classification of all such power series which involves the eigenspaces of Coleman's trace operator. Some additional eigenspaces of Coleman's trace operator are also introduced.
For a given Coleman family of modular forms, we construct a formal modeland prove the existence of a family of Galois representations associated to the Colemanfamily. As an application, we study the variations of Iwasawa $λ$- and $μ$-invariants of dualfine (strict) Selmer groups over the cyclotomic Zp-extension of Q in Coleman families ofmodular forms. This generalizes an earlier work of Jha and Sujatha for Hida families.
We use the anti-de Sitter/conformal field theory (AdS/CFT) correspondence to find the least bounce action in an AdS false vacuum state, i.e., the most probable decay process of the metastable AdS vacuum within the Euclidean formalism by Callan and Coleman. It was shown that the $O(4)$ symmetric bounce solution leads to the action minimum in the absence of gravity, but it is non-trivial in the presence of gravity. The AdS/CFT duality is used to evade the difficulties particular to a metastable gravitational system, such as the problems of negative modes and unbounded action. To this end, we show that the Fubini bounce solution in CFT, corresponding to the Coleman de Luccia bounce in AdS, gives the least action among all finite bounce solutions in a conformal scalar field theory. Thus, we prove that the Coleman de Luccia action is the least action when (i) the background is AdS, (ii) the AdS radii, $L_+$ and $L_-$, in the false and true vacua, respectively, satisfy $L_+ / L_- \simeq 1$, and (iii) a metastable potential gives a thin-wall bounce much larger than the AdS radii.
We provably compute the full set of rational points on 1403 Picard curves defined over $\mathbb{Q}$ with Jacobians of Mordell-Weil rank $1$ using the Chabauty-Coleman method. To carry out this computation, we extend Magma code of Balakrishnan and Tuitman for Coleman integration. The new code computes $p$-adic (Coleman) integrals on curves to points defined over number fields where the prime $p$ splits completely and implements effective Chabauty for curves whose Jacobians have infinite order points that are not the image of a rational point under the Abel-Jacobi map. We discuss several interesting examples of curves where the Chabauty-Coleman set contains points defined over number fields.
This paper is a sequel to our earlier paper "Wach modules and Iwasawa theory for modular forms" (arXiv: 0912.1263), where we defined a family of Coleman maps for a crystalline representation of the Galois group of Qp with nonnegative Hodge-Tate weights. In this paper, we study these Coleman maps using Perrin-Riou's p-adic regulator L_V. Denote by H(Γ) the algebra of Qp-valued distributions on Γ= Gal(Qp(μ(p^\infty) / Qp). Our first result determines the H(Γ)-elementary divisors of the quotient of D_{cris}(V) \otimes H(Γ) by the H(Γ)-submodule generated by (φ* N(V))^{ψ= 0}, where N(V) is the Wach module of V. By comparing the determinant of this map with that of L_V (which can be computed via Perrin-Riou's explicit reciprocity law), we obtain a precise description of the images of the Coleman maps. In the case when V arises from a modular form, we get some stronger results about the integral Coleman maps, and we can remove many technical assumptions that were required in our previous work in order to reformulate Kato's main conjecture in terms of cotorsion Selmer groups and bounded p-adic L-functions.
In this paper, we aimed at constructing a two-variable Coleman map for a given $p$-adic family of eigen cuspforms with a fixed non-zero slope (Coleman family). A Coleman map is a machinary which transforms a hypothetical $p$-adic family of zeta elements to a $p$-adic $L$-function. The result would be a non-ordinary generalization of a two-variable Coleman map for a given Hida deformation obtained by the second-named author.
We prove for primes $p\ge 5$ a conjecture of Coleman on the analytic continuation of the family of modular functions $\frac{E^\ast_κ}{V(E^\ast_κ)}$ derived from the family of Eisenstein series $E^\ast_κ$. The precise, quantitative formulation of the conjecture involved a certain on $p$ depending constant. We show by an example that the conjecture with the constant that Coleman conjectured cannot hold in general for all primes. On the other hand, the constant that we give is also shown not to be optimal in all cases. The conjecture is motivated by its connection to certain central statements in works by Buzzard and Kilford, and by Roe, concerning the "halo" conjecture for the primes $2$ and $3$, respectively. We show how our results generalize those statements and comment on possible future developments.
In this paper, we show that all Coleman automorphisms of a finite group with self-central minimal non-trivial characteristic subgroup are inner; therefore the normalizer property holds for these groups. Using our methods we show that the holomorph and wreath product of finite simple groups, among others, have no non-inner Coleman automorphisms. As a further application of our theorems, we provide partial answers to questions raised by M. Hertweck and W. Kimmerle. Furthermore, we characterize the Coleman automorphisms of extensions of a finite nilpotent group by a cyclic $p$-group. Lastly, we note that class-preserving automorphisms of 2-power order of some nilpotent-by-nilpotent groups are inner, extending a result by J. Hai and J. Ge.
Results in $p$-adic transcendence theory are applied to two problems in the Chabauty-Coleman method. The first is a question of McCallum and Poonen regarding repeated roots of Coleman integrals. The second is to give lower bounds on the $p$-adic distance between rational points in terms of the heights of a set of Mordell-Weil generators of the Jacobian. We also explain how, in some cases, a conjecture on the 'Wieferich statistics' of Jacobians of curves implies a bound on the height of rational points of curves of small rank, in terms of the usual invariants of the curve and the height of Mordell-Weil generators of its Jacobian. The proof uses the Chabauty-Coleman method, together with effective methods in transcendence theory. We also discuss generalisations to the Chabauty-Kim method.
Building on work by Chabauty from 1941, Coleman proved in 1985 an explicit bound for the number of rational points of a curve $C$ of genus $g\ge 2$ defined over a number field $F$, with Jacobian of rank at most $g-1$. Namely, in the case $F=\mathbb{Q}$, if $p>2g$ is a prime of good reduction, then the number of rational points of $C$ is at most the number of $\mathbb{F}_p$-points plus a contribution coming from the canonical class of $C$. We prove a result analogous to Coleman's bound in the case of a hyperbolic surface $X$ over a number field, embedded in an abelian variety $A$ of rank at most one, under suitable conditions on the reduction type at the auxiliary prime. This provides the first extension of Coleman's explicit bound beyond the case of curves. The main innovation in our approach is a new method to study the intersection of a $p$-adic analytic subgroup with a subvariety of $A$ by means of overdetermined systems of differential equations in positive characteristic.
We give a direct proof that the Mazur-Tate and Coleman-Gross heights on elliptic curves coincide. The main ingredient is to extend the Coleman-Gross height to the case of divisors with non-disjoint support and, doing some $p$-adic analysis, show that, in particular, its component above $p$ gives, in the special case of an ordinary elliptic curve, the $p$-adic sigma function. We use this result to give a short proof of a theorem of Kim characterizing integral points on elliptic curves in some cases under weaker assumptions. As a further application, we give new formulas to compute double Coleman integrals from tangential basepoints.
These notes were taken by Brian Hill during Sidney Coleman's lectures on Quantum Field Theory (Physics 253), given at Harvard University in Fall semester of the 1986-1987 academic year. They were recently typeset and edited by Yuan-Sen Ting and Bryan Gin-ge Chen. Although most of topics in the second part of the course (Physics 253b) were assembled and published in Coleman's book "Aspects of Symmetry", these notes remain the principal source for the Physics 253a materials. [See also http://www.physics.harvard.edu/about/Phys253.html for a video version of the course given in 1975-1976. ]
Coleman's theory of p-adic integration figures prominently in several number-theoretic applications, such as finding torsion and rational points on curves, and computing p-adic regulators in K-theory (including p-adic heights on elliptic curves). We describe an algorithm for computing Coleman integrals on hyperelliptic curves, and its implementation in Sage.
The Coleman integral is a $p$-adic line integral that plays a key role in computing several important invariants in arithmetic geometry. We give an algorithm for explicit Coleman integration on curves, using the algorithms of the second author to compute the action of Frobenius on $p$-adic cohomology. We present a collection of examples computed with our implementation. This includes integrals on a genus 55 curve, where other methods do not currently seem practical.
We reconsidered the Coleman de Luccia solution building an AdS4 bubble expanding into a false flat vacuum. In this construction when junction conditions are imposed we find an upper bound to the radius of the AdS4 and a domain wall whose tension is a function of the minimum of the scalar potential. We prove that this solution is exactly the solution found by Coleman and de Luccia, but in addition there is a new condition that restricts the AdS4 radius and a precise relation between the tension and the minimum of the scalar potential. The applicability of the ADS/CFT correspondence is discussed.
In this short letter we identify a relationship between the Kondo lattice model formulated in Coleman {\it et.al}, Phys. Rev. Lett. {\bf 129}, 177601 (2022) and Ancilla Layer formulation of the Hubbard model recently proposed by Zhang and Sachdev.