Search results for "FOS: Mathematics"
showing 10 items of 1448 documents
Triple planes with $p_g=q=0$
2019
We show that general triple planes with p_g=q=0 belong to at most 12 families, that we call surfaces of type I,..., XII, and we prove that the corresponding Tschirnhausen bundle is direct sum of two line bundles in cases I, II, III, whereas is a rank 2 Steiner bundle in the remaining cases. We also provide existence results and explicit constructions for surfaces of type I,..., VII, recovering all classical examples and discovering several new ones. In particular, triple planes of type VII provide counterexamples to a wrong claim made in 1942 by Bronowski.
Almost disjoint families of countable sets and separable complementation properties
2012
We study the separable complementation property (SCP) and its natural variations in Banach spaces of continuous functions over compacta $K_{\mathcal A}$ induced by almost disjoint families ${\mathcal A}$ of countable subsets of uncountable sets. For these spaces, we prove among others that $C(K_{\mathcal A})$ has the controlled variant of the separable complementation property if and only if $C(K_{\mathcal A})$ is Lindel\"of in the weak topology if and only if $K_{\mathcal A}$ is monolithic. We give an example of ${\mathcal A}$ for which $C(K_{\mathcal A})$ has the SCP, while $K_{\mathcal A}$ is not monolithic and an example of a space $C(K_{\mathcal A})$ with controlled and continuous SCP …
Automorphism groups of some affine and finite type Artin groups
2004
We observe that, for fixed n ≥ 3, each of the Artin groups of finite type An, Bn = Cn, and affine type ˜ An−1 and ˜ Cn−1 is a central extension of a finite index subgroup of the mapping class group of the (n + 2)-punctured sphere. (The centre is trivial in the affine case and infinite cyclic in the finite type cases). Using results of Ivanov and Korkmaz on abstract commensurators of surface mapping class groups we are able to determine the automorphism groups of each member of these four infinite families of Artin groups. A rank n Coxeter matrix is a symmetric n × n matrix M with integer entries mij ∈ N ∪ {∞} where mij ≥ 2 for ij, and mii = 1 for all 1 ≤ i ≤ n. Given any rank n Coxeter matr…
Three-page encoding and complexity theory for spatial graphs
2004
We construct a series of finitely presented semigroups. The centers of these semigroups encode uniquely up to rigid ambient isotopy in 3-space all non-oriented spatial graphs. This encoding is obtained by using three-page embeddings of graphs into the product of the line with the cone on three points. By exploiting three-page embeddings we introduce the notion of the three-page complexity for spatial graphs. This complexity satisfies the properties of finiteness and additivity under natural operations.
Local dimensions of measures on infinitely generated self-affine sets
2014
We show the existence of the local dimension of an invariant probability measure on an infinitely generated self-affine set, for almost all translations. This implies that an ergodic probability measure is exactly dimensional. Furthermore the local dimension equals the minimum of the local Lyapunov dimension and the dimension of the space. We also give an estimate, that holds for all translation vectors, with only assuming the affine maps to be contractive.
Weighted norm inequalities in a bounded domain by the sparse domination method
2019
AbstractWe prove a local two-weight Poincaré inequality for cubes using the sparse domination method that has been influential in harmonic analysis. The proof involves a localized version of the Fefferman–Stein inequality for the sharp maximal function. By establishing a local-to-global result in a bounded domain satisfying a Boman chain condition, we show a two-weight p-Poincaré inequality in such domains. As an application we show that certain nonnegative supersolutions of the p-Laplace equation and distance weights are p-admissible in a bounded domain, in the sense that they support versions of the p-Poincaré inequality.
Guaranteed and computable error bounds for approximations constructed by an iterative decoupling of the Biot problem
2021
The paper is concerned with guaranteed a posteriori error estimates for a class of evolutionary problems related to poroelastic media governed by the quasi-static linear Biot equations. The system is decoupled by employing the fixed-stress split scheme, which leads to an iteratively solved semi-discrete system. The error bounds are derived by combining a posteriori estimates for contractive mappings with functional type error control for elliptic partial differential equations. The estimates are applicable to any approximation in the admissible functional space and are independent of the discretization method. They are fully computable, do not contain mesh-dependent constants, and provide r…
ADI schemes for valuing European options under the Bates model
2018
Abstract This paper is concerned with the adaptation of alternating direction implicit (ADI) time discretization schemes for the numerical solution of partial integro-differential equations (PIDEs) with application to the Bates model in finance. Three different adaptations are formulated and their (von Neumann) stability is analyzed. Ample numerical experiments are provided for the Bates PIDE, illustrating the actual stability and convergence behaviour of the three adaptations.
On multiples of divisors associated to Veronese embeddings with defective secant variety
2009
In this note we consider multiples aD, where D is a divisor of the blow-up of P^n along points in general position which appears in the Alexander and Hirschowitz list of Veronese embeddings having defective secant varieties. In particular we show that there is such a D with h^1(X,D) > 0 and h^1(X,2D) = 0.
Double adjunctions and free monads
2011
We characterize double adjunctions in terms of presheaves and universal squares, and then apply these characterizations to free monads and Eilenberg--Moore objects in double categories. We improve upon our earlier result in "Monads in Double Categories", JPAA 215:6, pages 1174-1197, 2011, to conclude: if a double category with cofolding admits the construction of free monads in its horizontal 2-category, then it also admits the construction of free monads as a double category. We also prove that a double category admits Eilenberg--Moore objects if and only if a certain parameterized presheaf is representable. Along the way, we develop parameterized presheaves on double categories and prove …