Related papers: Grothendieck Duality and Transitivity I: Formal Sc…

In this paper, the necessary and sufficient conditions in order that a smooth mapping F be a dependence of a complete solution of some second-order ordinary differential equation on Neumann conditions are deduced. These necessary and…

We formalize in Lean the following foundational result in commutative algebra: Let $R \to S$ be a faithfully flat map of (not necessarily noetherian) commutative rings, and let $P$ be an arbitrary $R$-module. Then $P$ is projective over $R$…

We study shadowing property for random infinite pseudotrajectories of a continuous map $f$ of a compact metric space. For the cases of transitive maps and transitive attractors we prove a dichotomy: either $f$ satisfies shadowing property…

We realize the infinitesimal Abel-Jacobi map as a morphism of formal deformation theories, realized as a morphism in the homotopy category of differential graded Lie algebras. The whole construction is carried out in a general setting, of…

Let $\mathcal{G}^{(\lambda)}$ be a group scheme which deforms $\mathbb{G}_a$ to $\mathbb{G}_m$. We explicitly describe the Cartier dual of the $l$-th Frobenius type kernel $N_l$ of the group scheme $\mathcal{E}^{(\lambda,\mu;D)}$ which is…

In recent years, researchers have discovered various large algebraic structures that have surprising finiteness properties, such as FI-modules and Delta-modules. In this paper, we add another example to the growing list: we show that…

Voevodsky proved that normal schemes of finite type over finitely generated fields of characteristic $0$ can be reconstructed from their \'etale sites. Let $K$ be a field that is finitely generated over $\mathbb{F}_p(t)$. Grothendieck…

Over the past two decades several different approaches to defining a geometry over ${\mathbb F}_1$ have been proposed. In this paper, relying on To\"en and Vaqui\'e's formalism, we investigate a new category…

Via the construction of a functor from $\mathsf{C}_{u}(H)$ to an auxiliary category we associate, with any triplet $(G,F,\rho)$, two natural transformations, $\mathfrak{m}_{\star}$ morphism of…

Conformal transformations of a Euclidean (complex) plane have some kind of completeness (sufficiency) for the solution of many mathematical and physical-mathematical problems formulated on this plane. There is no such completeness in the…

Let $\mathcal{M}$ be a semifinite von Neumann algebra equipped with a normal faithful semifinite trace $\tau$, and let $L_p(\mathcal{M})$ denote the associated noncommutative $L_p$-space for $1<p<\infty$. Let $n\in\mathbb{N}$ and let $a, b$…

Let S be a Noetherian scheme and f:X -> S a proper morphism. By SGA 4 XIV, for any constructible sheaf F of Z/nZ-modules on X, the sheaves of Z/nZ-modules R^if_*F obtained by direct image (for the etale topology) are also constructible:…

Given a field $\mathbb{F}$, we introduce a novel group $SD(\mathbb{F})$ of its self-maps: the solutions $f \colon \mathbb{F} \twoheadrightarrow \mathbb{F}$ to the functional equation $f \left( (x+y)/(x-y) \right) = (f(x) + f(y))/(f(x) -…

Let f : X -> Y be a morphism between normal complex varieties, and assume that Y is Kawamata log terminal. Given any differential form, defined on the smooth locus of Y, we construct a "pull-back form" on X. The pull-back map obtained by…

We show that any pointed, preordered module map $\mathfrak{BF}_{\mathrm{gr}}(E) \to \mathfrak{BF}_{\mathrm{gr}}(F)$ between Bowen-Franks modules of finite graphs can be lifted to a unital, graded, diagonal preserving $\ast$-homomorphism…

We introduce a notion of proper morphism for schematic finite spaces and prove the analogue of Grothendieck's finiteness theorem for it by means of the classic result for schemes and general descent arguments. This result also generalizes…

Polynomial maps attached to polynomials of an Ore extension are naturally defi ned. In this setting we show the importance of pseudo-linear transformations and give some applications. In particular, factorizations of polynomials in an Ore…

We prove the Nagata compactification theorem for any separated map of finite type between quasi-compact and quasi-separated algebraic spaces, generalizing earlier results of Raoult. Along the way we also prove (and use) absolute noetherian…

In this work we are going to consider the classical H\'enon-Devaney map given by \begin{eqnarray*} f: \mathbb{R}^2\setminus \{y=0\} &\rightarrow& \mathbb{R}^2 \\ (x,y) &\mapsto& \left(x+\dfrac{1}{y}, y-\dfrac{1}{y}-x\right) \end{eqnarray*}…

Let $C(\mathbf I)$ be the set of all continuous self-maps from ${\mathbf I}=[0,1]$ with the topology of uniformly convergence. A map $f\in C({\mathbf I})$ is called a transitive map if for every pair of non-empty open sets $U,V$ in…