English
Related papers

Related papers: The F-signature Function on the Ample Cone

200 papers

Polstra showed that the cardinality of the torsion subgroup of the divisor class group of a local strongly $F$-regular ring is finite. We expand upon this result and prove that the reciprocal of the $F$-signature of a local strongly…

Commutative Algebra · Mathematics 2021-11-30 Isaac Martin

The $F$-signature of a local ring of prime characteristic is a numerical invariant that detects many interesting properties. For example, this invariant detects (non)singularity and strong $F$-regularity. However, it is very difficult to…

Commutative Algebra · Mathematics 2019-09-30 Holger Brenner , Jack Jeffries , Luis Núñez-Betancourt

We present a unified approach to the study of Hilbert-Kunz multiplicity, F-signature, and related limits governed by Frobenius and Cartier linear actions in positive characteristic commutative algebra. We introduce general techniques that…

Commutative Algebra · Mathematics 2018-04-04 Thomas Polstra , Kevin Tucker

We show that a function $f : X \to \mathbb R$ defined on a closed uniformly polynomially cuspidal set $X$ in $\mathbb R^n$ is real analytic if and only if $f$ is smooth and all its composites with germs of polynomial curves in $X$ are real…

Classical Analysis and ODEs · Mathematics 2023-11-07 Armin Rainer

It is known that a certain invariant subring $R$ has finite $F$-representation type. Thus, we can write the $R$-module ${}^eR$ as a finite direct sum of finitely many $R$-modules. In such a decomposition of ${}^eR$, we pay attention to the…

Commutative Algebra · Mathematics 2015-08-06 Mitsuyasu Hashimoto , Yusuke Nakajima

We express the F-signature of the coordinate ring of an affine toric variety as the volume of a certain polytope, generalizing a formula of Watanabe and Yoshida. We also compute the F-signature of pairs and triples of a toric singularity.

Commutative Algebra · Mathematics 2011-11-02 Michael Von Korff

We study the cones of q-ample divisors on smooth complex varieties. In favourable cases, we identify a part where the closure of this cone and the nef cone have the same boundary. This is especially interesting for Fano (or almost Fano)…

Algebraic Geometry · Mathematics 2016-02-17 Robert Laterveer

We extend the notion of Frobenius Betti numbers and F-splitting ratio to large classes of finitely generated modules over rings of prime characteristic, which are not assumed to be local. We also prove that the strong F-regularity of a pair…

Commutative Algebra · Mathematics 2018-11-28 Alessandro De Stefani , Thomas Polstra , Yongwei Yao

Let $M$ be a complete Riemannian manifold possessing a strictly convex Lipschitz continuous exhaustion function. We show that the isoperimetric profile of $M$ is a continuous and non-decreasing function. Particular cases are Hadamard…

Metric Geometry · Mathematics 2017-03-07 Manuel Ritoré

The $F$-signature is a numerical invariant defined by the number of free direct summands in the Frobenius push-forward, and it measures singularities in positive characteristic. It can be generalized by focussing on the number of non-free…

Commutative Algebra · Mathematics 2020-09-04 Akihiro Higashitani , Yusuke Nakajima

We provide some necessary and sufficient conditions for a proper lower semicontinuous convex function, defined on a real Banach space, to be locally or globally Lipschitz continuous. Our criteria rely on the existence of a bounded selection…

Functional Analysis · Mathematics 2019-11-13 Bao Tran Nguyen , Pham Duy Khanh

In this paper we study extension problems for torsors in positive characteristic. Let $F$ be a field of characteristic $p>0$ and $U/F$ be a unipotent algebraic group. As our first main result, we prove that every $U$-torsor defined over the…

Algebraic Geometry · Mathematics 2026-05-07 Gabriel Bassan

For any $M, n \geq 2$ and any open set $\Omega \subset \mathbb{R}^n$ we find a smooth, strongly polyconvex function $F\colon \mathbb{R}^{M\times n}\to \mathbb{R}$ and a Lipschitz map $u\colon \mathbb{R}^n \to \mathbb{R}^M$ that is a weak…

Analysis of PDEs · Mathematics 2024-05-28 Katarzyna Mazowiecka , Armin Schikorra

In this article, we study exponents which preserve complete monotonicity of functions on lattices. We prove that for any completely monotone function $f$ on a finite lattice, $f^\alpha$ is completely monotone for all $\alpha\geq c$, where…

Probability · Mathematics 2023-12-06 Jnaneshwar Baslingker , Biltu Dan

We describe the effective and the big cones of a projective symmetric variety. Moreover, we give a necessary and sufficient combinatorial criterion for the bigness of a nef divisor on a projective symmetric variety. When the variety is…

Algebraic Geometry · Mathematics 2010-05-04 Alessandro Ruzzi

We prove curvature estimates for general curvature functions. As an application we show the existence of closed, strictly convex hypersurfaces with prescribed curvature $F$, where the defining cone of $F$ is $\C_+$. $F$ is only assumed to…

Differential Geometry · Mathematics 2009-10-19 Claus Gerhardt

We show that Bertini theorems hold for $F$-signature and Hilbert--Kunz multiplicity. In particular, if $X \subseteq \mathbb{P}^n$ is normal and quasi-projective with $F$-signature greater than $\lambda$ (respectively the Hilbert--Kunz…

Algebraic Geometry · Mathematics 2022-03-01 Javier Carvajal-Rojas , Karl Schwede , Kevin Tucker

We prove an extension theorem (with non-tangential limits) for vector-valued Baire one functions. Moreover, at every point where the function is continuous (or bounded), the continuity (or boundedness) is preserved. More precisely: Let $H$…

Functional Analysis · Mathematics 2016-05-25 Jan Kolář , Martin Koc

M. Von Korff introduced the $F$-signature of a normal projective variety, and computed the $F$-signature of the product of two projective lines $\mathbb{P}^1\times \mathbb{P}^1$. In this paper, we compute $F$-signatures of Hirzebruch…

Algebraic Geometry · Mathematics 2017-01-10 Daisuke Hirose , Tadakazu Sawada

The following representation theorem is proven: A partially ordered commutative ring $R$ is a subring of a ring of almost everywhere defined continuous real-valued functions on a compact Hausdorff space $X$ if and only if $R$ is archimedean…

Rings and Algebras · Mathematics 2024-10-10 Matthias Schötz