Related papers: The conorm code of an AG-code

Let $F$ be a function field of characteristic $p>0$, $\F/F$ a Galois extension with $Gal(\F/F)\simeq \Z_l^d$ (for some prime $l\neq p$) and $E/F$ a non-isotrivial elliptic curve. We study the behaviour of Selmer groups $Sel_E(L)_r$ ($r$ any…

We provide a construction of the fixed points of functors which may not be inital algebras or final coalgebras. For an endofunctor F, this fixed point construction may be expressed as a pair of adjoint functors between F-coalgebras and…

Let $H$ be a Hopf algebra. We consider $H$-equivariant modules over a Hopf module category $\mathcal C$ as modules over the smash extension $\mathcal C\# H$. We construct Grothendieck spectral sequences for the cohomologies as well as the…

We study the functional codes $C_2(X)$ defined on a projective variety $X$, in the case where $X \subset {\mathbb{P}}^3$ is a non-degenerate hermitian surface. We first give some bounds for $# X_{Z(\mathcal{Q})}(\mathbb{F}_{q})$, which are…

We prove a prime number theorem first for the classical Rankin-Selberg L-function $L(s,\pi\times\pi')$ over any Galois extension with $\pi$ and $\pi'$ unitary automorphic cuspidal representations of $GL_n$ and $GL_m$ respectively with at…

For a totally real number field $F$ and a nonarchimedean prime $\mathfrak{p}$ of $F$ lying above a prime number $p$ we introduce certain sheaf cohomology groups that intertwine the $\mathfrak{p}^{\infty}$-tower of a quaternionic Hilbert…

Character groups of Hopf algebras appear in a variety of mathematical contexts such as non-commutative geometry, renormalisation of quantum field theory, numerical analysis and the theory of regularity structures for stochastic partial…

We show that various actions of topological conformal theories that were suggested recentely are particular cases of a general action. We prove the invariance of these models under transformations generated by nilpotent fermionic generators…

Cogent is a restricted functional language designed to reduce the cost of developing verified systems code. Because of its sometimes-onerous restrictions, such as the lack of support for recursion and its strict uniqueness type system,…

Cogent is a restricted functional language designed to reduce the cost of developing verified systems code. Because of its sometimes-onerous restrictions, such as the lack of support for recursion and its strict uniqueness type system,…

Developing ideas of \cite{Fei}, we introduce canonical cosimplicial cohomology of meromorphic functions for infinite-dimensional Lie algebra formal series with prescribed analytic behavior on domains of a complex manifold $M$. Graded…

In this paper we study a general class of conics starting from a quotient field. We give a group structure over these conics generalizing the construction of a group over the Pell hyperbola. Furthermore, we generalize the definition of…

Quasi-cyclic (QC) codes form an important generalization of cyclic codes. It is well know that QC codes of length $s\ell$ with index $s$ over the finite field $\mathbb{F}$ are $\mathbb{F}[y]$-submodules of the ring $\frac{\mathbb{F}[x,y]}{<…

A propositional logic program $P$ may be identified with a $P_fP_f$-coalgebra on the set of atomic propositions in the program. The corresponding $C(P_fP_f)$-coalgebra, where $C(P_fP_f)$ is the cofree comonad on $P_fP_f$, describes…

A code is called propelinear if its automorphism group contains a subgroup that acts regularly on its codewords, which is called a propelinear structure on the code. In the paper a classification of the propelinear structures on the…

This paper presents results on both the kernel and cokernel of the S-capitulation map C_{F,S}\ra C_{K,S}^{G} for arbitrary finite Galois extensions K/F (with Galois group G) and arbitrary finite sets of primes S of F (assumed to contain the…

Let p be an odd prime number, E an elliptic curve over a number field k, and F/k a Galois extension of degree twice a power of p. We study the Z_p-corank rk_p(E/F) of the p-power Selmer group of E over F. We obtain lower bounds for…

We prove a version of both Jacobi's and Montel's Theorems for the case of continuous functions defined over the field $\mathbb{Q}_p$ of $p$-adic numbers. In particular, we prove that, if \[ \Delta_{h_0}^{m+1}f(x)=0 \ \ \text{for all}…

Let $E$ be an arbitrary subset of $\mathbb{R}^n$ (not necessarily bounded), and $f:E\to\mathbb{R}$, $G:E\to\mathbb{R}^n$ be functions. We provide necessary and sufficient conditions for the $1$-jet $(f,G)$ to have an extension $(F, \nabla…

Let $p$ be a prime number and $F/F^+$ a CM extension of a totally real field such that every place of $F^+$ above $p$ is unramified and inert in $F$. We fix a finite place $v$ of $F^+$ above $p$, and let $\overline{r}:…