Related papers: The F-signature Function on the Ample Cone
We prove that any $q$-automatic multiplicative function $f:\mathbb{N}\to\mathbb{C}$ either essentially coincides with a Dirichlet character, or vanishes on all sufficiently large primes. This confirms a strong form of a conjecture of J.…
Given a smooth, symmetric, homogeneous of degree one function $f\left(\lambda_{1},\cdots,\,\lambda_{n}\right)$ satisfying $\partial_{i}f>0$ for all $i=1,\cdots,\,n$, and a rotationally symmetric cone $\mathcal{C}$ in $\mathbb{R}^{n+1}$, we…
We prove the following theorem: let $\widetilde{\mathcal R}$ be an expansion of the real field $\overline{\mathbb R}$, such that every definable set (I) is a uniform countable union of semialgebraic sets, and (II) contains a "semialgebraic…
Finite $F$-representation type is an important notion in characteristic-$p$ commutative algebra, but explicit examples of varieties with or without this property are few. We prove that a large class of homogeneous coordinate rings in…
We explore the birational structure and invariants of a foliated surface $(X, \mathcal F)$ in terms of the adjoint divisor $K_{\mathcal F}+\epsilon K_X$, $0< \epsilon \ll 1$. We then establish a bound on the automorphism group of an adjoint…
A multiple-valued function $f:X\to {\bf Q}_Q(Y)$ is essentially a rule assigning $Q$ unordered and non necessarily distinct elements of $Y$ to each element of $X$. We study the Lipschitz extension problem in this context by using two…
We show that any Kawamata log terminal del Pezzo surface over an algebraically closed field of large characteristic is globally F-regular or it admits a log resolution which is liftable to characteristic zero. As a consequence, we prove the…
The notion of $F$-signature is defined by C. Huneke and G. Leuschke and this numerical invariant characterizes some singularities. This notion is extended to finitely generated modules and called dual $F$-signature. In this paper, we…
Generalizing the notion of domains of dependence in the Minkowski space, we define and study regular domains in the affine space with respect to a proper convex cone. In dimension three, we show that every proper regular domain is uniquely…
We study some basic properties of the function $f_0:M\rightarrow\IR$ on Hadamard manifolds defined by $$ f_0(x):=\langle u_0,\exp_{x_0}^{-1}x\rangle\quad\mbox{for any $x\in M$}. $$ A characterization for the function to be linear affine is…
The {\em override} operation $\sqcup$ is a natural one in computer science, and has connections with other areas of mathematics such as hyperplane arrangements. For arbitrary functions $f$ and $g$, $f\sqcup g$ is the function with domain…
The property of isotonicity of a continuous convex function defined on the entire space or only on the positive cone is characterized via subdifferentials. Numerous examples illustrating the obtained results are included.
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…
Fix $K/\mathbf{Q}_p$ a finite extension and let $L/K$ be an infinite, strictly APF extension in the sense of Fontaine--Wintenberger. Let $X_K(L)$ denote its associated norm field. The goal of this paper is to associate to $L/K$, in a…
A construction analogous to that of Godefroy-Kalton for metric spaces allows to embed isometrically, in a canonical way, every quasi-metric space $(X,d)$ to an asymmetric normed space $\mathcal{F}_a(X,d)$ (its quasi-metric free space, also…
A pointed convex cone naturally induces a partial order, and further a notion of nondecreasingness for functions. We consider extended real-valued functions defined on the cone. Monotone conjugates for these functions can be defined in an…
We introduce the concept of F-decomposable systems, well-ordered inverse systems of Hausdorff compacta with fully closed bonding mappings. A continuous mapping between Hausdorff compacta is called fully closed if the intersection of the…
Let f:X-->R be a function defined on a connected nonsingular real algebraic set X in R^n. We prove that regularity of f can be detected on either algebraic curves or surfaces in X. If dimX>1 and k is a positive integer, then f is a regular…
We introduce the set-self-Tietze property, an analogue of the self-Tietze property for upper semi-continuous set-valued functions. A topological space $X$ is self-Tietze, if for every closed $A \subseteq X$ and continuous function $f \colon…
We prove that torsors under parahoric group schemes on the punctured spectrum of Fontaine's ring $A_{\mathrm{inf}}$, extend to the whole spectrum. Using descent we can extend a similar result for the ring $\mathfrak{S}$ of Kisin and Pappas…