Related papers: F-purity of hypersurfaces

We have developed in the past several algorithms with intrinsic complexity bounds for the problem of point finding in real algebraic varieties. Our aim here is to give a comprehensive presentation of the geometrical tools which are…

We prove semi-rationalification and semi-log-canonicalization for Gorenstein demi-normal surfaces. That is, given a Gorenstein demi-normal surface X with semi-rational (respectively, semi-log canonical) singularities in an open set U with…

We show that the intersection of the irreducible components of a hypersurface defined by a polynomial with square-free support has F-rational singularities in characteristic $p>0$. As a consequence, we obtain that hypersurfaces defined by…

We describe KSB smoothings of log canonical surface pairs $(S, D)$, where $D$ is a reduced curve. In sharp contrast with the $D=\emptyset$ case, cyclic quotient pairs always have KSB smoothings, usually forming many irreducible components.…

In this note, we define the notion of $F$-analytic $B$-pairs and we prove that its category is equivalent to the one of $F$-analytic $(\varphi_q,\Gamma_K)$-modules.

This is a report of a joint work with E. J\"arvenp\"a\"a, M. J\"arvenp\"a\"a, T. Rajala, S. Rogovin, and V. Suomala. In [3], we characterized uniformly porous sets in $s$-regular metric spaces in terms of regular sets by verifying that a…

We study normal forms of germs of singular real-analytic Levi-flat hypersurfaces. We prove the existence of rigid normal forms for singular Levi-flat hypersurfaces which are defined by the vanishing of the real part of complex…

We discuss some notions of compactness and convergence relative to a specified family F of subsets of some topological space X. The two most interesting particular cases of our construction appear to be the following ones. (1) The case in…

An $F$-manifold is complex manifold with a multiplication on the holomorphic tangent bundle with a certain integrability condition. Important examples are Frobenius manifolds and especially base spaces of universal unfoldings of isolated…

We characterize ultrafilter convergence and ultrafilter compactness in linearly ordered and generalized ordered topological spaces. In such spaces, and for every ultrafilter $D$, the notions of $D$-compactness and of $D$-pseudocompactness…

Two measurable sets $S, \Lambda \subseteq \mathcal{R}^d$ form a Heisenberg uniqueness pair, if every bounded measure $\mu$ with support in S whose Fourier transform vanishes on {\Lambda} must be zero. We show that a quadratic hypersurface…

We study relative hypersurfaces over curves, and prove an instability condition for the fibres. This gives an upper bound on the log canonical threshold of the relative hypersurface. We compare these results with the information that can be…

In order to generalize the results of Mazur-Ulam and Vogt, we shall prove that any map T which preserves equality of distance with T(0)=0 between two F-spaces without surjective condition is linear. Then, as a special case linear isometries…

A smooth hypersurface over a finite field $\mathbb{F}_q$ is called Frobenius nonclassical if the image of every geometric point under the $q$-th Frobenius endomorphism remains in the unique hyperplane tangent to the point. In this paper, we…

In this note, we establish a duality result under the residue paring between certain two-dimensional adelic spaces, which are associated to a closed point on an arithmetic surface.

We study global log canonical thresholds of cubic surfaces with canonical singularities, and we prove the existence of a Kahler-Einstein metric on two singular cubic surfaces.

Building on our previous papers (math.AG/0102173, math.AG/0105244, math.AG/0106192) we prove that every overconvergent F-isocrystal over k((t)) is quasi-unipotent (in the sense of Crew), for k a field of positive characteristic.

We introduce enriched notions of purity depending on the left class $\mathcal E$ of a factorization system on the base $\mathcal V$ of enrichment. Ordinary purity is given by the class of surjective mappings in the category of sets. Under…

If $(R,\mathfrak{m})$ is a complete local ring of mixed characteristic $(0,p)$ and $R/pR$ is an $F$-pure Gorenstein domain, we find a sufficient condition for $R$ to be perfectoid pure. This condition is related to the Cohen-Macaulayness of…

We classify smooth surfaces whose higher cohomologies of i-forms for all i vanish. We show that if such a surface is not affine, then it has essentially two possibilities.