On capitulation of logarithmic classes

Jean-François Jaulent

2024-11-08

Abstract:We establish a logarithmic version of the classical result of Artin-Furw{ä}ngler on the principalization ofideal classes in the Hilbert class-field by applying the group theoretic description of the transfert map to logarithmic class-groups of degree 0.

Number Theory

What problem does this paper attempt to address?

Imaginary logarithmic classes of abelian number fields

Jean-François Jaulent

2024-06-27

Abstract:We are interested in classical and logarithmic imaginary classes of abelian number fields in connection with Iwasawa theory. For any given odd prime ${\ell}$ and any imaginary abelian number field K, we compute the isotypic components of the logarithmic ${\ell}$-class group of K associated to imaginary irreducible ${\ell}$-adic characters of its Galois group and we extend to this situation the Gold criterium on lambda invariants. We first study the semi-simple case, thus the non semi-simple case in connection with transition formulas of genus for supercircular fields.

Number Theory
Logarithmic vanishing theorems on compact K\"{a}hler manifolds I

Chunle Huang,Kefeng Liu,Xueyuan Wan,Xiaokui Yang

2016-01-01

Abstract:In this paper, we first establish an $L^2$-type Dolbeault isomorphism for logarithmic differential forms by Hormanderu0027s $L^2$-estimates. By using this isomorphism and the construction of smooth Hermitian metrics, we obtain a number of new vanishing theorems for sheaves of logarithmic differential forms on compact Kahler manifolds with simple normal crossing divisors, which generalize several classical vanishing theorems, including Norimatsuu0027s vanishing theorem, Gibrauu0027s vanishing theorem, Le Potieru0027s vanishing theorem and a version of the Kawamata-Viehweg vanishing theorem.
A note on logarithmic equidistribution

Gerold Schefer

2023-08-14

Abstract:For every algebraic number $\kappa$ on the unit circle which is not a root of unity we prove the existence of a strict sequence of algebraic numbers whose height tends to zero, such that the averages of the evaluation of $f_\kappa(z)=\log|z -\kappa|$ in the conjugates are essentially bounded from above by $-h(\kappa)$. This completes a characterisation on functions $f_\kappa$ initiated by Autissier and Baker-Masser, who cover the cases $\kappa=2$ and $|\kappa|\ne 1$ respectively. Using the same ideas we also prove analogues in the $p$-adic setting.

Number Theory
Correspondences in log Hodge cohomology

Charles Godfrey

DOI: https://doi.org/10.48550/arXiv.2301.00517

2023-01-02

Algebraic Geometry

Abstract:We construct correspondences in logarithmic Hodge theory over a perfect field of arbitrary characteristic. These are represented by classes in the cohomology of sheaves of differential forms with log poles and, notably, log zeroes on cartesian products of varieties. From one perspective this generalizes work of Chatzistamatiou and R\"ulling, who developed (non-logarithmic) Hodge correspondences over perfect fields of arbitrary characteristic; from another we provide partial generalizations of more recent work of Binda, Park and {\O}stv{\ae}r on logarithmic Hodge correspondences by relaxing finiteness and strictness conditions on the correspondences considered.
Log homogeneous compactifications of some classical groups

Mathieu Huruguen

DOI: https://doi.org/10.48550/arXiv.1403.4337

2014-03-18

Abstract:We generalize in positive characteristics some results of Bien and Brion on log homogeneous compactifications of a homogeneous space under the action of a connected reductive group. We also construct an explicit smooth log homogeneous compactification of the general linear group by successive blow-ups starting from a grassmannian. By taking fixed points of certain involutions on this compactification, we obtain smooth log homogeneous compactifications of the special orthogonal and the symplectic groups.

Algebraic Geometry
De Rham logarithmic classes and Tate conjecture

Johann Bouali

2023-11-16

Abstract:We introduce the definition of De Rham logarithmic classes. We show that the De Rham class of an algebraic cycle of a smooth algebraic variety over a field of characteristic zero is logarithmic and conversely that a logarithmic class of bidegree $(d,d)$ is the De Rham class of an algebraic cycle (of codimension $d$). We also give for smooth algebraic varieties over a $p$-adic field an analytic version of this result. We deduce from the analytic case the Tate conjecture for smooth projective varieties over fields of finite type over $\mathbb Q$ and over $p$-adic fields for $\mathbb Q_p$ coefficients, under good reduction assumption.

Algebraic Geometry
Foundations of Logarithmic Adic Spaces

Hansheng Diao

DOI: https://doi.org/10.48550/arxiv.1709.05781

2017-01-01

Abstract:The main objects of study are adic spaces with logarithmic structures. After establishing the basic definitions, we analyze the Kummer \'etale and pro-Kummer \'etale topologies on log adic spaces. In particular, we show that log adic spaces are locally "log affinoid perfectoid" in the pro-Kummer \'etale topology. As an application, we prove finiteness of cohomologies for Kummer \'etale $\mathbb{F}_p$-local systems on proper log smooth adic spaces.
Berkovich log discrepancies in positive characteristic

Eric Canton

DOI: https://doi.org/10.4310/PAMQ.2020.v16.n5.a6

2019-06-17

Abstract:We introduce and study a log discrepancy function on the space of semivaluations centered on an integral noetherian scheme of positive characteristic. Our definition shares many properties with the analogue in characteristic zero; we prove that if log resolutions exist, then our definition agrees with previous approaches to log discrepancies of semivaluations that these resolutions. We then apply this log discrepancy to a variety of topics in singularity theory over fields of positive characteristic. Strong F-regularity and sharp $F$-purity of Cartier subalgebras are detected using positivity and non-negativity of log discrepancies of semivaluations, just as Kawamata log terminal and log canonical singularities are defined using divisorial log discrepancies, making precise a long-standing heuristic. We prove, in positive characteristic, several theorems of Jonsson and Mustata in characteristic zero regarding log canonical thresholds of graded sequences of ideals. Along the way, we give a valuation-theoretic proof that asymptotic multiplier ideals are coherent on strongly F-regular schemes.

Algebraic Geometry,Commutative Algebra
Logarithmic operators and logarithmic conformal field theories

Victor Gurarie

DOI: https://doi.org/10.1088/1751-8113/46/49/494003

2013-03-06

Abstract:Logarithmic operators and logarithmic conformal field theories are reviewed. Prominent examples considered here include c=-2 and c=0 logarithmic conformal field theories. c=0 logarithmic conformal field theories are especially interesting since they describe some of the critical points of a variety of longstanding problems involving a two dimensional quantum particle moving in a spatially random potential, as well as critical two dimensional self avoiding random walks and percolation. Lack of classification of logarithmic conformal field theories remains a major impediment to progress towards finding complete solutions to these problems.

Statistical Mechanics,Disordered Systems and Neural Networks,High Energy Physics - Theory
Frobenius and non logarithmic ramification

Stéphanie Réglade

DOI: https://doi.org/10.48550/arXiv.1406.1145

2015-01-28

Abstract:A $\ell$-extension is said logarithmically unramified if it is locally cyclotomic. The purpose of this article is to explain the construction of the logarithmic Frobenius, which plays the role usually played by the classical Frobenius, but in the context of the logarithmic <a class="link-external link-http" href="http://ramification.The" rel="external noopener nofollow">this http URL</a> interesting point is that usual and logarithmic Frobenius coincide when usual and logarithmic ramification are the same.

Number Theory
Logarithmic A_ Inf-Cohomology

Hansheng Diao,Zijian Yao

2024-01-01

Abstract:We extend the construction of A_ inf-cohomology byBhatt-Morrow-Scholze to the context of log p-adic formal schemes over a logperfectoid base. In particular, using coordinates, we prove comparison theoremsbetween log A_ inf-cohomology with other p-adic cohomology theories,including log de Rham, log (q-)crystalline, log prismatic, and Kummer étalecohomology, as well as the derived A_ inf-cohomology of certain infiniteroot stacks. Along the way, we define and give a combinatorial characterizationof a new class of maps between saturated log schemes, called pseudo-saturatedmaps, which is of independent interest. They are related to (and slightlyweaker than) the notion of quasi-saturated maps and maps of Cartier typestudied by Tsuji.
Logarithmic cohomological field theories

David Holmes,Pim Spelier

2023-10-25

Abstract:We introduce a new logarithmic structure on the moduli stack of stable curves, admitting logarithmic gluing maps. Using this we define cohomological field theories taking values in the logarithmic Chow cohomology ring, a refinement of the usual notion of a cohomological field theory. We realise the double ramification cycle as a partial logarithmic cohomological field theory.

Algebraic Geometry
A kit for linear forms in three logarithms

Maurice Mignotte,Paul Voutier

2023-09-29

Abstract:We provide a technique to obtain explicit bounds for problems that can be reduced to linear forms in three complex logarithms of algebraic numbers. This technique can produce bounds significantly better than general results on lower bounds for linear forms in logarithms. We give worked examples to demonstrate both the use of our technique and the improvements it provides. Publicly shared code is also available.

Number Theory
Remarks on logarithmic étale sheafification

Samouil Molcho,Jonathan Wise

2023-11-09

Abstract:We prove criteria for a presheaf on logarithmic schemes to be a sheaf in the full logarithmic étale topology and describe several situations where the structure sheaf and logarithmic structure are logarithmic étale sheaves. We deduce that the logarithmic Picard group is a stack in the full logarithmic étale topology on logarithmic schemes whose structure sheaves satisfy logarithmic étale descent.

Algebraic Geometry
Logarithmic Comparison Theorems

Francisco-Jesús Castro-Jiménez,David Mond,Luis Narváez-Macarro

2023-03-10

Abstract:In this paper we study the comparison between the logarithmic and the meromorphic de Rham complexes along a divisor in a complex manifold. We focus on the case of free divisors, starting with the case of locally quasihomogeneous divisors, and we explain how D-module theory can be used for this comparison.

Algebraic Geometry
Logarithmic geometry beyond fs

Piotr Achinger,Katharina Hübner,Marcin Lara,Jakob Stix

2024-11-21

Abstract:We develop the foundations of logarithmic structures beyond the standard finiteness conditions. The motivation is the study of semistable models over general valuation rings. The key new notion is that of a morphism of finite presentation up to saturation (sfp), which is one that is qcqs and which is locally isomorphic to the saturated base change of a finitely presented morphism between fs log schemes. As in the case of schemes, sfp maps can (locally on the base) be approximated by maps between fs log schemes of finite type over $\mathbb{Z}$. Based on sfp maps, we define smooth, étale, and Kummer étale maps. Importantly, the maps of schemes underlying such maps are no longer of finite type in general, though surprisingly they are if the base is the spectrum of a valuation ring with algebraically closed field of fractions. These foundations allow us to extend beyond the fs case the theory of the Kummer étale site and of the Kummer étale fundamental group.

Algebraic Geometry
On Generalised Albert Forms over Discretely Valued Fields

Nico Lorenz

2024-04-22

Abstract:For a discrete valuation ring $R$ with quotient field $K$ and residue field $F$ both of characteristic not 2, we study low-dimensional quadratic forms with Witt class in the $n$-th power of the fundamental ideal of $F$ resp. $K$ and point out connections between forms over these fields. We analyse the minimal number of Pfister forms such that a given form is Witt equivalent to the sum of these and study forms congruent modulo a higher power of the fundamental ideal towards similarity.

Number Theory
Logarithmic models and meromorphic functions in dimension two

Jane Bretas,Rogério Mol

2024-08-29

Abstract:In this article we describe the construction of logarithmic models for germs of plane singular analytic foliations, both real and complex. A logarithmic model is a germ of closed meromorphic 1-form with simple poles produced upon some specified geometric data: the structure of dicritical (non-invariant) components in the exceptional divisor of its reduction of singularities, a prescribed finite set of separatrices - invariant analytic branches at the origin - and Camacho-Sad indices with respect to these separatrices. As an application, we use logarithmic models in order to construct real and complex germs of meromorphic functions with a given indeterminacy structure and prescribed sets of zeroes and poles. Also, in the real case, logarithmic models are used in order to build germs of analytic vector fields with a given Bendixson's sectorial decomposition of a neighborhood of $0 \in \mathbb{R}^{2}$ into hyperbolic, parabolic and elliptic sectors. This is carried out in the specific case where all trajectories accumulating to the origin are contained in analytic curves. As a consequence, we can produce real meromorphic functions with a prescribed sectorial decomposition.

Complex Variables,Classical Analysis and ODEs,Dynamical Systems
The 3-Adic Regulators and Wild Kernels

Xuejun Guo,Hourong Qin

DOI: https://doi.org/10.1016/j.jalgebra.2007.02.039

IF: 0.908

2007-01-01

Journal of Algebra

Abstract:For any number field, J.-F. Jaulent introduced a new invariant called the group of logarithmic classes in 1994. This invariant is proved to be closely related to the wild kernels of number fields. In this paper, we show how to compute the kernel of the natural homomorphism from the group of logarithmic classes to the group of p-ideal classes by computing the p-adic regulator which is a classical invariant in number theory. As an application, we prove Gangl's conjecture on 9-rank of the tame kernel of imaginary quadratic field Q(−9k−3).
Logarithmic geometry and Frobenius

Kazuya Kato,Chikara Nakayama,Sampei Usui

2024-04-30

Abstract:Based on the logarithmic algebraic geometry and the theory of Deligne systems, we define an abelian category of $\ell$-adic sheaves with weight filtrations on a logarithmic scheme over a finite field, which is similar to the category of variations of mixed Hodge structure. We consider asymptotic behaviors and simple cases of higher direct images of objects of this category. This category is closely related to the monodromy-weight conjecture.

Algebraic Geometry

On capitulation of logarithmic classes

Imaginary logarithmic classes of abelian number fields

Logarithmic vanishing theorems on compact K\"{a}hler manifolds I

A note on logarithmic equidistribution

Correspondences in log Hodge cohomology

Log homogeneous compactifications of some classical groups

De Rham logarithmic classes and Tate conjecture

Foundations of Logarithmic Adic Spaces

Berkovich log discrepancies in positive characteristic

Logarithmic operators and logarithmic conformal field theories

Frobenius and non logarithmic ramification

Logarithmic A_ Inf-Cohomology

Logarithmic cohomological field theories

A kit for linear forms in three logarithms

Remarks on logarithmic étale sheafification

Logarithmic Comparison Theorems

Logarithmic geometry beyond fs

On Generalised Albert Forms over Discretely Valued Fields

Logarithmic models and meromorphic functions in dimension two

The 3-Adic Regulators and Wild Kernels

Logarithmic geometry and Frobenius