Related papers: Symplectic completion over smooth affine algebras
Let R be a Lie nilpotent algebra of index k over a field K of characteristic zero. If G is an n-element subgroup of Aut(R) of the K-automorphisms, then we prove that R is right integral over Fix(G) of degree n^k. In the presence of a…
We prove that any affine ring $R$ over a field $k$ has full cosupport, i.e., the cosupport of $R$ is equal to ${\rm Spec}\, R$. Using this fact, we give a complete description of all terms in a minimal pure-injective resolution of $R$,…
Let $p\neq 2$, and let $R$ be a smooth affine algebra of dimension $3$ over $\overline{F}_p$ and $P, Q$ be projective $R$-modules of rank $2$, each with trivial determinant. We prove: $P$ is isomorphic to $Q$ if and only if there is an…
Let $(M, g)$ be a compact real analytic Riemannian manifold and $\pi \colon \widetilde{M} \to M$ its universal cover. Assume that $\widetilde{M}$ can be realised as a manifold definable in an o-minimal structure $\Sigma$ expanding…
For a closed smooth manifold $M$ admitting a symplectic structure, we define a smooth topological invariant $Z(M)$ using almost-K\"ahler metrics, i.e. Riemannian metrics compatible with symplectic structures. We also introduce $Z(M,…
On a symplectic manifold $(M, \omega)$, a spacefilling brane structure is a closed 2-form $F$ which determines a complex structure, with respect to which $F +i\omega$ is holomorphic symplectic. For holomorphic symplectic compact K\"ahler…
We prove that up to automorphisms a line admits a unique embedding into the regular part of of a simplicial toric variety of dimension n>=4 over an algebraically closed field of characteristic zero which is smooth in codimension 2.
Let $k$ be a field of positive characteristic. Building on the work of the second named author, we define a new class of $k$-algebras, called diagonally $F$-regular algebras, for which the so-called Uniform Symbolic Topology Property (USTP)…
Let $S$ be an abelian surface over an algebraically closed field $k$ with characteristic different from $2$ and $3$, and $\mathcal{L}$ a symmetric ample line bundle defining a polarisation of type $(1,3)$. Then the linear system…
We study systems of polynomial equations in several classes of finitely generated rings and algebras. For each ring $R$ (or algebra) in one of these classes we obtain an interpretation by systems of equations of a ring of integers $O$ of a…
Let $v$ be a discrete valuation of a field $K$, which indicates that the valuation group of $v$ is isomorphic to the integers $\mathbb{Z}$ with the natural order, and let $L$ be a finite separable extension of $K$ with a complete set…
Let $A$ be a residually finite dimensional algebra (not necessarily associative) over a field $k$. Suppose first that $k$ is algebraically closed. We show that if $A$ satisfies a homogeneous almost identity $Q$, then $A$ has an ideal of…
Modulo trivial exceptions, we show that smoothly nontrivial symplectic sums of symplectic 4-manifolds along surfaces of positive genus are never rational or ruled, and we enumerate each case in which they have Kodaira dimension zero (i.e.,…
In this paper we state and prove ad hoc "Separation Theorems" of the so-called Smooth Commutative Algebra, the Commutative Algebra of \(\mathcal{C}^{\infty}-\)rings. These results are formally similar to the ones we find in (ordinary)…
We prove the following result. Let k be an infinite perfect field of positive characteristic and assume that strong resolution of singularities holds over k. Let R be a localization of a commutative d-dimensional k-algebra of finite type…
Let $J$ be an almost complex structure on a 4-dimensional and unimodular Lie algebra $\mathfrak{g}$. We show that there exists a symplectic form taming $J$ if and only if there is a symplectic form compatible with $J$. We also introduce…
In this note we consider a notion of relative Frobenius pairs of commutative rings $S/R$. To such a pair, we associate an $\mathbb{N}$-graded $R$-algebra $\Pi_R(S)$ which has a simple description and coincides with the preprojective algebra…
We show that for any positive integer $k$ there exists a closed symplectic $4$-manifold $(M,\omega)$, such that $H^1_\mathrm{dR}(M;\mathbb{R})$ is a $k$-dimensional real vector space and its Flux group is equal to…
Let $G$ be the adjoint group of a real simple Lie algebra $\mathfrak{g}_0$ equal either $\mathfrak{s}\mathfrak{u}(n,1)$ or $\mathfrak{s}\mathfrak{o}(n,1),$ $K$ its maximal compact subgroup, ${\cal U}(\mathfrak{g})$ the universal enveloping…
We investigate the notion of symplectic divisorial compactification for symplectic 4-manifolds with either convex or concave type boundary. This is motivated by the notion of compactifying divisors for open algebraic surfaces. We give a…