Related papers: $K_2$-regularity and normality
We prove local regularity up to flat part of boundary, for certain classes of distributional solutions that are $L_{\infty}L^{3,q}$ with $q$ finite.
We consider fully nonlinear obstacle-type problems of the form \begin{equation*} \begin{cases} F(D^{2}u,x)=f(x) & \text{a.e. in}B_{1}\cap\Omega,|D^{2}u|\le K & \text{a.e. in}B_{1}\backslash\Omega, \end{cases} \end{equation*} where $\Omega$…
Let $X$ be an integral affine or projective hypersurface over a field $F$ of characteristic $p>0$, and let $F(X)$ denote its function field. In a recent article, Dolphin and Hoffmann obtained an explicit description of the kernel of the…
Relations between some kinds of formal and standard smoothness, for morphisms of schemes, are clarified in surprisingly simple and direct ways, bypassing much of the customarily employed machinery. Even the deep local-to-global property of…
The paper is mainly devoted to systematic developments and applications of geometric aspects of second-order variational analysis that are revolved around the concept of parabolic regularity of sets. This concept has been known in…
We prove that the function field of an algebraic variety of dimension greater than 1 over an algebraically closed field of characteristic zero is determined by its first and second Milnor K-groups.
We classify the possible finite symmetries of conformal field theories with an affine Lie algebra su(2) and su(3), and discuss the results from the perspective of the graphs associated with the modular invariants. The highlights of the…
We notice that for any positive integer $k$, the set of $(1,2)$-specialized characters of level $k$ standard $A_{1}^{(1)}$-modules is the same as the set of rescaled graded dimensions of the subspaces of level $2k+1$ standard…
Regularity, complete intersection and Gorenstein properties of a local ring can be characterized by homological conditions on the canonical homomorphism into its residue field (Serre, Avramov, Auslander). It is also known that in positive…
We explain how the geometric framework introduced in arXiv:2508.11621 [math.AG] provides a universal property for the 2-rings of perfect complexes on qcqs spectral or Dirac spectral schemes. As an application, given a qcqs spectral or Dirac…
We show that the algebraic K-theory of semi-valuation rings with stably coherent regular semi-fraction ring satisfies homotopy invariance. Moreover, we show that these rings are regular if their valuation is non-trivial. Thus they yield…
Let $K$ be a complete discretely valued field of residue characteristic not $2$ and $O_K$ its ring of integers. We explicitly construct a regular model over $O_K$ with strict normal crossings of any hyperelliptic curve $C/K:y^2=f(x)$. For…
An associative division algebra D is said to be _affine_ over a central subfield k if D is finitely generated as a k-algebra. In 1956 Amitsur famously proved that, when k is uncountable, D cannot be k-affine unless D is algebraic over k. In…
If $K$ is a field with involution and $E$ an arbitrary graph, the involution from $K$ naturally induces an involution of the Leavitt path algebra $L_K(E).$ We show that the involution on $L_K(E)$ is proper if the involution on $K$ is…
We give an overview of invariants of algebraic singularities over perfect fields. We then show how they lead to a synthetic proof of embedded resolution of singularities of 2-dimensional schemes.
We study the regularity of solutions of parabolic fully nonlinear nonlocal equations. We proof Holder regularity in space and time and for translation invariant equations and under different assumptions on the kernels Holder regularity for…
We first introduce the percolation problems associated with the graph theoretical concepts of $(k,l)$-sparsity, and make contact with the physical concepts of ordinary and rigidity percolation. We then devise a renormalization…
The objective of this article is to give an effective algebraic characterization of normal crossing hypersurfaces in complex manifolds. It is shown that a hypersurface has normal crossings if and only if it is a free divisor, has a radical…
We describe smooth rational projective algebraic surfaces over an algebraically closed field of characteristic different from 2 which contain $n \ge \b_2-2$ disjoint smooth rational curves with self-intersection -2, where $\b_2$ is the…
Let $X$ denote an equivariant embedding of a connected reductive group $G$ over an algebraically closed field $k$. Let $B$ denote a Borel subgroup of $G$ and let $Z$ denote a $B \times B$-orbit closure in $X$. When the characteristic of $k$…