Related papers: Notes on Frobenius stable direct images

We give a new differential-geometric proof of Grauert's theorem on the coherence of the higher direct image of a coherent sheaf under a proper holomorphic morphism between complex analytic spaces. In the smooth case, our approach is based…

In this short note a new proof of the monotone con- vergence theorem of Lebesgue integral on \sigma-class is given.

The goal of this note is to exhibit the integrability properties (in the sense of the Frobenius theorem) of holomorphic p-forms with values in certain line bundles with seminegative curvature on a compact Kaehler manifold. There are in fact…

We study stable rank 2 vector bundles with trivial determinant whose Frobenius pull back is non stable over a general curve of genus g>1. In genus 2, we apply recent results about the theta divisor associated to the bundle B of locally…

We study the coherence and conservativity of extensions of dependent type theories by additional strict equalities. By considering notions of congruences and quotients of models of type theory, we reconstruct Hofmann's proof of the…

In this small note we ask several questions which are relevant to the construction of the self-consistent neutrino theory of light. The previous confusions in such attempts are explained in the more detailed publication.

We propose a quantitative direct method of proving the stability result for Gaussian rough differential equations in the sense of Gubinelli \cite{gubinelli}. Under the strongly dissipative assumption of the drift coefficient function, we…

Let k be an infinite perfect field. We provide a general criterion for a spectrum in the stable homotopy category over k to be effective, i.e. to be in the localizing subcategory generated by the suspension spectra of smooth schemes. As a…

Frobenius built a representation theory of finite groups in the process of obtaining the irreducible factorization of the group determinant. Here, we give a generalization of Frobenius' theorem. The generalization leads to a corollary on…

The aim of this paper is to prove characterization theorems for higher order derivations. Among others we prove that the system defining higher order derivations is stable. Further characterization theorems in the spirit of N.~G.~de Bruijn…

We prove a motivic stabilization result for the cohomology of the local systems on configuration spaces of varieties over $\mathbb{C}$ attached to character polynomials. Our approach interprets the stabilization as a probabilistic…

Let $n$ be a non-negative integer. An exact category $\C$ is said to be an $n$-Frobenius category, provided that it has enough $n$-projectives and $n$-injectives and the $n$-projectives coincide with the $n$-injectives. It is proved that…

We prove an effective stabilization result for the sheaf cohomology groups of line bundles on flag varieties parametrizing complete flags in k^n, as well as for the sheaf cohomology groups of polynomial functors applied to the cotangent…

In this note we prove a variational open adelic image theorem for the Galois action on the cohomology of smooth proper $S$-schemes where $S$ is a smooth variety over a finitely generated field of positive characteristic. A central tool is a…

We combine Homotopy Type Theory with axiomatic cohesion, expressing the latter internally with a version of "adjoint logic" in which the discretization and codiscretization modalities are characterized using a judgmental formalism of "crisp…

This note gives results on the existence of semi-continuous solutions of a Fredholm integral equation of the second kind using Tarski's fixed point theorem.

In this paper we continue the investigation of coherent systems of type (n,d,k) on the projective line which are stable with respect to some value of the parameter \alpha. We work mainly with k<n and obtain existence results for arbitrary k…

In their paper on the gamma conjecture in mirror symmetry, Golyshev and Zagier introduce what we refer to as Frobenius constants associated to an ordinary linear differential operator L with a reflection type singularity. These numbers…

We consider a scalar diffusion equation with a sign-changing coefficient in its principle part. The well-posedness of such problems has already been studied extensively provided that the contrast of the coefficient is non-critical.…

The purpose of this note is to give an affirmative answer to a conjecture appearing in [Integral Transforms Spec. Funct. 26 (2015) 90-95].