Related papers: On Strongly $F$-Regular Inversion of Adjunction

Here we investigate the property of effectivity for adjoint divisors. Among others, we prove the following results: (i) A normal projective variety $X$ with at most canonical singularities is uniruled if and only if for each very ample…

Let $F/E$ be a finite Galois extension of fields with abelian Galois group $\Gamma$. A self-dual normal basis for $F/E$ is a normal basis with the additional property that $Tr_{F/E}(g(x),h(x))=\delta_{g,h}$ for $g,h\in\Gamma$.…

The existence of invariant transversals for a normal subgroup $H$ in a group $G$ is investigated. This yields counterexamples to a conjecture in case $H$ is abelian and $G$ is finite.

This paper mainly studies nonnegativity decision of forms based on variable substitutions. Unlike existing research, the paper regards simplex subdivisions as new perspectives to study variable substitutions, gives some subdivisions of the…

This note contains a new proof of a theorem of Gang Xiao saying that the bicanonical map of a surface S of general type is generically finite if and only if the second plurigenus of S is strictly larger than 2. Such properties are also…

We will prove the following results for $3$-fold pairs $(X,B)$ over an algebraically closed field $k$ of characteristic $p>5$: log flips exist for $\Q$-factorial dlt pairs $(X,B)$; log minimal models exist for projective klt pairs $(X,B)$…

We introduce and study strongly invertible Legendrian links in the standard contact three-dimensional space. We establish the equivariant analogs of basic results separately well-known for strongly invertible and Legendrian links, i.e. the…

A propositional proof system $P$ has the strong feasible disjunction property iff there is a constant $c \geq 1$ such that whenever $P$ admits a size $s$ proof of $\bigvee_i \alpha_i$ with no two $\alpha_i$ sharing an atom then one of…

We deal with countable alphabet locally compact random subshifts of finite type (the latter merely meaning that the symbol space is generated by an incidence matrix) under the absence of Big Images Property and under the absence of uniform…

Let T : Lp --> Lp be a positive contraction, with p strictly between 1 and infinity. Assume that T is analytic, that is, there exists a constant K such that \norm{T^n-T^{n-1}} < K/n for any positive integer n. Let q strictly betweeen 2 and…

We prove the following theorem characterizing Du Bois singularities. Suppose that $Y$ is smooth and that $X$ is a reduced closed subscheme. Let $\pi : \tld Y \to Y$ be a log resolution of $X$ in $Y$ that is an isomorphism outside of $X$. If…

We prove that the Hilbert scheme of the plane in positive characteristic admits an invertible top differential form. This implies certain integrability properties of the symmetric powers of the plane. This allows to define a function on the…

Let F and G be homogeneous polynomials in disjoint sets of variables. We prove that the Waring rank is additive, thus proving the symmetric Strassen conjecture, when either F or G is a power, or F and G have two variables, or either F or G…

An inverse monoid $S$ is called $F$-inverse if each $\sigma$-class of $S$, where $\sigma$ is the minimum group congruence of $S$, has a maximum element with respect to the natural order of $S$. Since the property of an inverse monoid being…

We augment LP with a strong conditional operator, to yield a logic we call "strong LP," or LP=>. The resulting logic can speak of consistency in more discriminating ways, but introduces new possibilities for trivializing paradoxes.

Hochster and Huneke showed that the property of F-regularity deforms for Gorenstein rings, i.e., if (R,m) is a Gorenstein local ring such that R/tR is F-regular for some nonzerodivisor t in m, then R is F-regular. This result was later…

We prove the normality of minimal log canonical centers on threefold pairs which residue fields are perfect of residue characteristics $p\neq 2,3 $ and $5$. We also show that the union of all log canonical centers on threefold pairs with…

Let $S(X,B)$ be a symmetric (``palindromic'') word in two letters $X$ and $B$. A theorem due to Hillar and Johnson states that for each pair of positive definite matrices $B$ and $P$, there is a positive definite solution $X$ to the word…

For a real constant $b,$ we give sharp estimates of $\log|f(z)/z|+b\arg[f(z)/z]$ for subclasses of normalized univalent functions $f$ on the unit disk.

We prove that a certain positivity condition, considerably more general than pseudoconvexity, enables one to conclude that the regular order of contact and singular order of contact agree when these numbers are $4$.