English
Related papers

Related papers: Invitation to higher local fields, Part I, section…

200 papers

Local fields, and fields complete with respect to a discrete valuation, are essential objects in commutative algebra, with applications to number theory and algebraic geometry. We formalize in Lean the basic theory of discretely valued…

Logic in Computer Science · Computer Science 2023-12-19 María Inés de Frutos-Fernández , Filippo Alberto Edoardo Nuccio Mortarino Majno Di Capriglio

This is an introduction to noncommutative local reciprocity maps for totally ramified Galois extensions with arithmetically profinite group. These maps in general are not homomorphisms but Galois cycles; a description of their image and…

Number Theory · Mathematics 2009-09-25 Ivan Fesenko

Let k be an algebraically closed field of characteristic zero, F its algebraically closed extension, and G be the group of k-automorphisms of F endowed with a natural topology. One of the purposes of this paper is to show that any…

Representation Theory · Mathematics 2009-04-07 M. Rovinsky

We introduce in this paper a hypercohomology version of the resonance varieties and obtain some relations to the characteristic varieties of rank one local systems on a smooth quasi-projective complex variety $M$, see Theorem (3.1) and…

Algebraic Geometry · Mathematics 2019-02-20 Alexandru Dimca

For a field F with discrete valuation and residue field $k$ we relate the third homology of SL_2(F) with half-integral coefficients to the third homology of SL_2(k) and a certain refined scissors congruence group of k. As an application, we…

K-Theory and Homology · Mathematics 2016-05-24 Kevin Hutchinson

Let $k$ be an algebraically closed field of characteristic zero, $F$ be an algebraically closed extension of $k$ of transcendence degree one, and $G$ be the group of automorphisms over $k$ of the field $F$. The purpose of this note is to…

Algebraic Geometry · Mathematics 2009-04-07 M. Rovinsky

For a mixed characteristic complete discrete valuation field $K$ which contains a $p^n$-th root of unity, we determine the graded quotients of the filtration on the Milnor $K$-groups $K_q^M(K)$ modulo $p^n$ in terms of differential forms of…

K-Theory and Homology · Mathematics 2011-12-30 Toshiro Hiranouchi

We study function fields of curves over a base field $K$ which is either a global field or a large field having a separable field extension of degree divisible by $4$. We show that, for any such function field, Hilbert's 10th Problem has a…

Number Theory · Mathematics 2025-09-24 Karim Johannes Becher , Nicolas Daans , Philip Dittmann

We construct the deformation functor associated to a couple of morphisms of differential graded Lie algebras, and use it to study the infinitesimal deformations of a holomorphic map of compact complex manifolds. In particular, in the case…

Algebraic Geometry · Mathematics 2007-05-23 Donatella Iacono

In this note, we presented a new decomposition of elements of finite fields of even order and illustrated that it is an effective tool in evaluation of some specific exponential sums over finite fields, the explicit value of some…

Combinatorics · Mathematics 2013-11-12 Xiwang Cao

Basic concepts of higher local fields and topologies on their additive and multiplicative groups are introduced.

Number Theory · Mathematics 2007-05-23 Igor Zhukov

We study holomorphic vector fields whose singular locus contains a local complete intersection smooth positive-dimensional component. We prove global and local formulas expressing the limiting Milnor/Poincare-Hopf contribution along such a…

Algebraic Geometry · Mathematics 2026-02-11 Maurício Corrêa , Gilcione Nonato Costa , Alejandra Salamanca Russi

We give a complete list of formal invariants for a large class of formal differential 1-forms $\w \in \Bbb C [[ x, y]]dx + \Bbb C [[ x, y]]dy$. \indent A $\hat{SL}$-equisingular deformation is an equireducible deformation which leaves…

Dynamical Systems · Mathematics 2007-05-23 Jean-Francois Mattei , Eliane Salem

We give a vanishing and classification result for holomorphic differential forms on smooth projective models of the moduli spaces of pointed K3 surfaces. We prove that there is no nonzero holomorphic k-form for 0<k<10 and for even k>19. In…

Algebraic Geometry · Mathematics 2024-11-27 Shouhei Ma

Starting from essentially commutative exponential map $E(B|I)$ for generic tensor-valued 2-forms $B$, introduced in \cite{Akh} as direct generalization of the ordinary non-commutative $P$-exponent for 1-forms with values in matrices (i.e.…

High Energy Physics - Theory · Physics 2008-11-26 E. T. Akhmedov , V. Dolotin , A. Morozov

We consider 1-forms on, so called, essentially isolated determinantal singularities (a natural generalization of isolated ones), show how to define analogues of the Poincar\'e--Hopf index for them, and describe relations between these…

Algebraic Geometry · Mathematics 2008-06-03 W. Ebeling , S. M. Gusein-Zade

We classify the algebraic combinatorial geometries of arbitrary field extensions of transcendence degree greater than 4 and describe their groups of automorphisms. Our results and proofs extend similar results and proofs by Evans and…

Logic · Mathematics 2009-03-10 Jakub Gismatullin

We improve results of Belair, Macintyre, and Scanlon on valued fields with a valuation preserving automorphism by weakening their assumptions on the residue difference field. In the equicharacteristic zero case we also determine the induced…

Logic · Mathematics 2009-11-24 Salih Azgin , Lou van den Dries

In this article, we study the structure of finitely ramified mixed characteristic valued fields. For any two complete discrete valued fields $K_1$ and $K_2$ of mixed characteristic with perfect residue fields, we show that if the $n$-th…

Logic · Mathematics 2021-01-01 Junguk Lee , Wan Lee

Let $k$ be an algebraically closed field of positive characteristic $p$ and let $\mathbb{G}_a$ denote the additive group of $k$. Let $n \geq 1$ and let ${\rm Mat}(n, k[T])^E$ denote the set of all exponential matrices of ${\rm Mat}(n,…

Representation Theory · Mathematics 2025-11-24 Ryuji Tanimoto