Related papers: The Cyclic Vector Lemma

This article is concerned with Galois theory for iterative differential fields (ID-fields) in positive characteristic. More precisely, we consider purely inseparable Picard-Vessiot extensions, because these are the ones having an…

In our previous paper entitled "Axiomatic differential geometry -towards model categories of differential geometry-, we have given a category-theoretic framework of differential geometry. As the first part of our series of papers concerned…

Let $E/F$ be a cyclic Galois extension of degree $p^l$ with Galois group $G$. It is shown that the Galois module structure of both sides of the Kummer pairing (for Kummer extensions of $E$) are the same. In other words, we show that the…

Let p denote an odd prime. For all p-admissible conductors c over a quadratic number field \(K=\mathbb{Q}(\sqrt{d})\), p-ring spaces \(V_p(c)\) modulo c are introduced by defining a morphism \(\psi:\,f\mapsto V_p(f)\) from the divisor…

Let $X$ be a compact metric space and $f:X\to X$ a homeomorphism on $X$. We construct a fundamental domain for the set with finite peaks for each cocycle induced by $\phi\in C(X,R)$. In particular we prove that if a partially hyperbolic…

Consider a discrete valuation ring $R$ whose residue field is finite of cardinality at least $3$. For a finite torsion module, we consider transitive subsets $O$ under the action of the automorphism group of the module. We prove that the…

Let $\mathscr{V}\mathrm{ect}_n$ be the moduli stack of vector bundles of rank $n$ on schemes. We prove that, if $E$ is a Zariski sheaf of ring spectra which is equipped with finite quasi-smooth transfers and satisfies the projective bundle…

For a totally real field F of degree d>1 and a quadratic space V of signature (m,2)^{d_+} x (m+2,0)^{d-d_+} with associated Shimura variety Sh(V), we consider the subring of cohomology generated by the classes of weighted special cycles. We…

Let L/K be a finite Galois extension of complete local fields with finite residue fields and let G=Gal(L/K). Let G_1 and G_2 be the first and second ramification groups. Thus L/K is tamely ramified when G_1 is trivial and we say that L/K is…

We prove the functoriality for proper push-forward of the characteristic cycles of constructible complexes by morphisms of smooth projective schemes over a perfect field, under the assumption that the direct image of the singular support…

The two main theorems proved here are as follows: If $A$ is a finite dimensional algebra over an algebraically closed field, the identity component of the algebraic group of outer automorphisms of $A$ is invariant under derived equivalence.…

Let $f : X \rightarrow Y$ be a separable finite surjective map between irreducible normal projective varieties defined over an algebraically closed field, such that the corresponding homomorphism between \'etale fundamental groups $f_* :…

Let G < SL(V) be a finite group, V is finite dimensional over a field F, p=char F and S(V) is the symmetric algebra of V. We determine when the subring of G-invariants S(V)^G is a polynomial ring. As a consequence, we classify, if F is…

Let n be a positive integer, F be a non-Archimedean locally compact field of odd residue characteristic p and G be an inner form of GL(2n,F). This is a group of the form GL(r,D) for a positive integer r and division F-algebra D of reduced…

Let $\mathcal C$ be a class of modules and $\mathcal L = \varinjlim \mathcal C$ the class of all direct limits of modules from $\mathcal C$. The class $\mathcal L$ is well understood when $\mathcal C$ consists of finitely presented modules:…

A new cohomology, induced by a vector field, is defined on pairs of differential forms ($1$--differentiable forms) in a manifold. It is proved a link with the classical de Rham cohomology and an $1$-differentable cohomology of Lichnerowicz…

Let A be a commutative noetherian ring. Call a functor <<commutative A-algebras>> --> <<sets>> coherent if it can be built up (via iterated finite limits) from functors of the form B \mapsto M tensor_A B, where M is a f.g. A-module. When…

Let $M$ be a non-compact connected manifold with a cocompact and properly discontinuous action of a discrete group $G$. We establish a Poincar\'{e}-Hopf theorem for a bounded vector field on $M$ satisfying a mild condition on zeros. As an…

Let $k$ be a field of positive characteristic $p$, and $X$ be a separated of finite type $k$-scheme of dimension $d$. We construct a cycle map from the additive cycle complex to the residual complex of Serre-Grothendieck coherent duality…

The freedom in choosing finite renormalizations in quantum field theories (QFT) is characterized by a set of parameters $\{c_i \}, i = 1 ..., n >...$, which specify the renormalization prescriptions used for the calculation of physical…