On the Euler characteristic of the links of a set determined by smooth definable functions

Krzysztof Jan Nowak

Displaying similar documents to “On the Euler characteristic of the links of a set determined by smooth definable functions”

Definable stratification satisfying the Whitney property with exponent 1

Beata Kocel-Cynk (2007)

Annales Polonici Mathematici

Similarity:

We prove that for a finite collection of sets $A ₁, . . ., A_{s} \subset ℝ^{k + n}$ definable in an o-minimal structure there exists a compatible definable stratification such that for any stratum the fibers of its projection onto $ℝ^{k}$ satisfy the Whitney property with exponent 1.

On some properties of three-dimensional minimal sets in $ℝ^{4}$

Tien Duc Luu (2013)

Annales de la faculté des sciences de Toulouse Mathématiques

Similarity:

We prove in this paper the Hölder regularity of Almgren minimal sets of dimension 3 in $ℝ^{4}$ around a $𝕐$ -point and the existence of a point of particular type of a Mumford-Shah minimal set in $ℝ^{4}$ , which is very close to a $𝕋$ . This will give a local description of minimal sets of dimension 3 in $ℝ^{4}$ around a singular point and a property of Mumford-Shah minimal sets in $ℝ^{4}$ .

Zero-set property of o-minimal indefinitely Peano differentiable functions

Andreas Fischer (2008)

Annales Polonici Mathematici

Similarity:

Given an o-minimal expansion ℳ of a real closed field R which is not polynomially bounded. Let $^{\infty}$ denote the definable indefinitely Peano differentiable functions. If we further assume that ℳ admits $^{\infty}$ cell decomposition, each definable closed subset A of Rⁿ is the zero-set of a $^{\infty}$ function f:Rⁿ → R. This implies $^{\infty}$ approximation of definable continuous functions and gluing of $^{\infty}$ functions defined on closed definable sets.

Weierstrass division theorem in definable $C^{\infty}$ germs in a polynomially bounded o-minimal structure

Abdelhafed Elkhadiri, Hassan Sfouli (2006)

Annales Polonici Mathematici

Similarity:

We give some examples of polynomially bounded o-minimal expansions of the ordered field of real numbers where the Weierstrass division theorem does not hold in the ring of germs, at the origin of ℝⁿ, of definable $C^{\infty}$ functions.

O-minimal fields with standard part map

Jana Maříková (2010)

Fundamenta Mathematicae

Similarity:

Let R be an o-minimal field and V a proper convex subring with residue field k and standard part (residue) map st: V → k. Let $k_{i n d}$ be the expansion of k by the standard parts of the definable relations in R. We investigate the definable sets in $k_{i n d}$ and conditions on (R,V) which imply o-minimality of $k_{i n d}$ . We also show that if R is ω-saturated and V is the convex hull of ℚ in R, then the sets definable in $k_{i n d}$ are exactly the standard parts of the sets definable in (R,V).

On the sum of the first n values of the Euler function

R. Balasubramanian, Florian Luca, Dimbinaina Ralaivaosaona (2014)

Acta Arithmetica

Similarity:

Let ϕ(n) be the Euler function of n. We put $E (n) = \sum_{m \leq n} ϕ (m) - (3 / π ²) n ²$ and give an asymptotic formula for the second moment of E(n).

Extending piecewise polynomial functions in two variables

Andreas Fischer, Murray Marshall (2013)

Annales de la faculté des sciences de Toulouse Mathématiques

Similarity:

We study the extensibility of piecewise polynomial functions defined on closed subsets of $ℝ^{2}$ to all of $ℝ^{2}$ . The compact subsets of $ℝ^{2}$ on which every piecewise polynomial function is extensible to $ℝ^{2}$ can be characterized in terms of local quasi-convexity if they are definable in an o-minimal expansion of $ℝ$ . Even the noncompact closed definable subsets can be characterized if semialgebraic function germs at infinity are dense in the Hardy field of definable germs. We also present a piecewise...

A note on minimal zero-sum sequences over ℤ

Papa A. Sissokho (2014)

Acta Arithmetica

Similarity:

A zero-sum sequence over ℤ is a sequence with terms in ℤ that sum to 0. It is called minimal if it does not contain a proper zero-sum subsequence. Consider a minimal zero-sum sequence over ℤ with positive terms $a ₁, . . ., a_{h}$ and negative terms $b ₁, . . ., b_{k}$ . We prove that h ≤ ⌊σ⁺/k⌋ and k ≤ ⌊σ⁺/h⌋, where $σ ⁺ = \sum_{i = 1}^{h} a_{i} = - \sum_{j = 1}^{k} b_{j}$ . These bounds are tight and improve upon previous results. We also show a natural partial order structure on the collection of all minimal zero-sum sequences over the set i∈ ℤ : -n ≤ i ≤ n for any positive...

A note on generalized projections in c₀

Beata Deręgowska, Barbara Lewandowska (2014)

Annales Polonici Mathematici

Similarity:

Let V ⊂ Z be two subspaces of a Banach space X. We define the set of generalized projections by $_{V} (X, Z) : = {P \in (X, Z) : P |}_{V} = i d$ . Now let X = c₀ or $l_{\infty}^{m}$ , Z:= kerf for some f ∈ X* and $V : = Z \cap l ⁿ_{\infty}$ (n < m). The main goal of this paper is to discuss existence, uniqueness and strong uniqueness of a minimal generalized projection in this case. Also formulas for the relative generalized projection constant and the strong uniqueness constant will be given (cf. J. Blatter and E. W. Cheney [Ann. Mat. Pura Appl. 101 (1974), 215-227] and...

On a problem concerning quasianalytic local rings

Hassan Sfouli (2014)

Annales Polonici Mathematici

Similarity:

Let (ₙ)ₙ be a quasianalytic differentiable system. Let m ∈ ℕ. We consider the following problem: let $f \in_{m}$ and f̂ be its Taylor series at $0 \in ℝ^{m}$ . Split the set $ℕ^{m}$ of exponents into two disjoint subsets A and B, $ℕ^{m} = A \cup B$ , and decompose the formal series f̂ into the sum of two formal series G and H, supported by A and B, respectively. Do there exist $g, h \in_{m}$ with Taylor series at zero G and H, respectively? The main result of this paper is the following: if we have a positive answer to the above problem for some...

A Menon-type identity using Klee's function

Arya Chandran, Neha Elizabeth Thomas, K. Vishnu Namboothiri (2022)

Czechoslovak Mathematical Journal

Similarity:

Menon’s identity is a classical identity involving gcd sums and the Euler totient function $φ$ . A natural generalization of $φ$ is the Klee’s function $Φ_{s}$ . We derive a Menon-type identity using Klee’s function and a generalization of the gcd function. This identity generalizes an identity given by Y. Li and D. Kim (2017).

The minimal resultant locus

Robert Rumely (2015)

Acta Arithmetica

Similarity:

Let K be a complete, algebraically closed nonarchimedean valued field, and let φ(z) ∈ K(z) have degree d ≥ 2. We study how the resultant of φ varies under changes of coordinates. For γ ∈ GL₂(K), we show that the map $γ \mapsto o r d (R e s (φ^{γ}))$ factors through a function $o r d R e s_{φ} (\cdot)$ on the Berkovich projective line, which is piecewise affine and convex up. The minimal resultant is achieved either at a single point in $P ¹_{K}$ , or on a segment, and the minimal resultant locus is contained in the tree in $P ¹_{K}$ spanned by the fixed points...

Minimal $𝒮$ -universality criteria may vary in size

Noam D. Elkies, Daniel M. Kane, Scott Duke Kominers (2013)

Journal de Théorie des Nombres de Bordeaux

Similarity:

In this note, we give simple examples of sets $𝒮$ of quadratic forms that have minimal $𝒮$ -universality criteria of multiple cardinalities. This answers a question of Kim, Kim, and Oh [KKO05] in the negative.

Minimality properties of Tsirelson type spaces

Denka Kutzarova, Denny H. Leung, Antonis Manoussakis, Wee-Kee Tang (2008)

Studia Mathematica

Similarity:

We study minimality properties of partly modified mixed Tsirelson spaces. A Banach space with a normalized basis $(e_{k})$ is said to be subsequentially minimal if for every normalized block basis $(x_{k})$ of $(e_{k})$ , there is a further block basis $(y_{k})$ of $(x_{k})$ such that $(y_{k})$ is equivalent to a subsequence of $(e_{k})$ . Sufficient conditions are given for a partly modified mixed Tsirelson space to be subsequentially minimal, and connections with Bourgain’s ℓ¹-index are established. It is also shown that a large class of...

Minimal systems and distributionally scrambled sets

Piotr Oprocha (2012)

Bulletin de la Société Mathématique de France

Similarity:

In this paper we investigate numerous constructions of minimal systems from the point of view of $(ℱ_{1}, ℱ_{2})$ -chaos (but most of our results concern the particular cases of distributional chaos of type $1$ and $2$ ). We consider standard classes of systems, such as Toeplitz flows, Grillenberger $K$ -systems or Blanchard-Kwiatkowski extensions of the Chacón flow, proving that all of them are DC2. An example of DC1 minimal system with positive topological entropy is also introduced. The above mentioned results...

Euler characteristics of moduli spaces of curves

Gilberto Bini, John Harer (2011)

Journal of the European Mathematical Society

Similarity:

Let $M_{g}^{n}$ be the moduli space of $n$ -pointed Riemann surfaces of genus $g$ . Denote by $\bar{M_{g}^{n}}$ the Deligne-Mumford compactification of $M_{g}^{n}$ . In the present paper, we calculate the orbifold and the ordinary Euler characteristic of $\bar{M_{g}^{n}}$ for any $g$ and $n$ such that $n > 2 - 2 g$ .

On the Extension of Certain Maps with Values in Spheres

Carlos Biasi, Alice K. M. Libardi, Pedro L. Q. Pergher, Stanisław Spież (2008)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

Let E be an oriented, smooth and closed m-dimensional manifold with m ≥ 2 and V ⊂ E an oriented, connected, smooth and closed (m-2)-dimensional submanifold which is homologous to zero in E. Let $S^{n - 2} \subset S ⁿ$ be the standard inclusion, where Sⁿ is the n-sphere and n ≥ 3. We prove the following extension result: if $h : V \to S^{n - 2}$ is a smooth map, then h extends to a smooth map g: E → Sⁿ transverse to $S^{n - 2}$ and with $g^{- 1} (S^{n - 2}) = V$ . Using this result, we give a new and simpler proof of a theorem of Carlos Biasi related to the ambiental...

Nonvanishing of a certain Bernoulli number and a related topic

Humio Ichimura (2013)

Acta Arithmetica

Similarity:

Let $p = 1 + 2^{e + 1} q$ be an odd prime number with q an odd integer. Let δ (resp. φ) be an odd (resp. even) Dirichlet character of conductor p and order $2^{e + 1}$ (resp. order $d_{φ}$ dividing q), and let ψₙ be an even character of conductor $p^{n + 1}$ and order pⁿ. We put χ = δφψₙ, whose value is contained in $K ₙ = ℚ (ζ_{(p - 1) p ⁿ})$ . It is well known that the Bernoulli number $B_{1, χ}$ is not zero, which is shown in an analytic way. In the extreme cases $d_{φ} = 1$ and q, we show, in an algebraic and elementary manner, a stronger nonvanishing result: $T r_{n / 1} (ξ B_{1, χ}) \neq 0$ for any...

Divisors in global analytic sets

Francesca Acquistapace, A. Díaz-Cano (2011)

Journal of the European Mathematical Society

Similarity:

We prove that any divisor $Y$ of a global analytic set $X \subset ℝ^{n}$ has a generic equation, that is, there is an analytic function vanishing on $Y$ with multiplicity one along each irreducible component of $Y$ . We also prove that there are functions with arbitrary multiplicities along $Y$ . The main result states that if $X$ is pure dimensional, $Y$ is locally principal, $X / Y$ is not connected and $Y$ represents the zero class in $H_{q - 1}^{\infty} (X, ℤ_{2})$ then the divisor $Y$ is globally principal.

On a magnetic characterization of spectral minimal partitions

Bernard Helffer, Thomas Hoffmann-Ostenhof (2013)

Journal of the European Mathematical Society

Similarity:

Given a bounded open set $Ω$ in $ℝ^{n}$ (or in a Riemannian manifold) and a partition of $Ω$ by $k$ open sets $D_{j}$ , we consider the quantity ${𝚖𝚊𝚡}_{j} λ (D_{j})$ where $λ (D_{j})$ is the ground state energy of the Dirichlet realization of the Laplacian in $D_{j}$ . If we denote by $ℒ_{k} (Ω)$ the infimum over all the $k$ -partitions of ${𝚖𝚊𝚡}_{j} λ (D_{j})$ , a minimal $k$ -partition is then a partition which realizes the infimum. When $k = 2$ , we find the two nodal domains of a second eigenfunction, but the analysis of higher $k$ ’s is non trivial and quite interesting. In this...

Algebraic independence of the values at algebraic points of a class of functions considered by Mahler

N. Ch. Wass

Similarity:

This thesis is concerned with the problem of determining a measure of algebraic independence for a particular m-tuple θ₁,..., $θ_{m}$ of complex numbers. Specifically, let K be a number field and let f₁(z),..., $f_{m} (z)$ be elements of K[[z]] algebraically independent over K(z) satisfying equations of the form(*) $f_{j} (z^{b}) = \sum_{i = 1}^{m} f_{i} (z) a_{i j} (z) + b_{j} (z)$ (j = i,...,m)for b ≥ 2, $a_{i j} (z)$ , $b_{j} (z)$ in K(z). Suppose finally that α ∈ K is such that 0 < |α| < 1, the $f_{j} (z$ ) converge at z = α and the $a_{i j} (z)$ , $b_{j} (z)$ are analytic at $z = α, α^{b}, α^{b ²}, . . .$ Then the $θ_{i} = f_{i} (α)$ are algebraically independent...

A symmetry problem in the calculus of variations

Graziano Crasta (2006)

Journal of the European Mathematical Society

Similarity:

We consider the integral functional $J (u) = \int_{Ω} [f (| D u |) - u] d x$ , $u \in W_{0}^{1, 1} (Ω)$ , where $Ω \subset ℝ^{n}$ , $n \geq 2$ , is a nonempty bounded connected open subset of $ℝ^{n}$ with smooth boundary, and $ℝ ∋ s \mapsto f (| s |)$ is a convex, differentiable function. We prove that if $J$ admits a minimizer in $W_{0}^{1, 1} (Ω)$ depending only on the distance from the boundary of $Ω$ , then $Ω$ must be a ball.

$Z ₂^{k}$ -actions with a special fixed point set

Pedro L. Q. Pergher, Rogério de Oliveira (2005)

Fundamenta Mathematicae

Similarity:

Let Fⁿ be a connected, smooth and closed n-dimensional manifold satisfying the following property: if $N^{m}$ is any smooth and closed m-dimensional manifold with m > n and $T : N^{m} \to N^{m}$ is a smooth involution whose fixed point set is Fⁿ, then m = 2n. We describe the equivariant cobordism classification of smooth actions $(M^{m}; Φ)$ of the group $G = Z ₂^{k}$ on closed smooth m-dimensional manifolds $M^{m}$ for which the fixed point set of the action is a submanifold Fⁿ with the above property. This generalizes a result of F....

Diagonalization and rationalization of algebraic Laurent series

Boris Adamczewski, Jason P. Bell (2013)

Annales scientifiques de l'École Normale Supérieure

Similarity:

We prove a quantitative version of a result of Furstenberg [20] and Deligne [14] stating that the diagonal of a multivariate algebraic power series with coefficients in a field of positive characteristic is algebraic. As a consequence, we obtain that for every prime $p$ the reduction modulo $p$ of the diagonal of a multivariate algebraic power series $f$ with integer coefficients is an algebraic power series of degree at most $p^{A}$ and height at most $A p^{A}$ , where $A$ is an effective constant that only...

A class of non-rational surface singularities with bijective Nash map

Camille Plénat, Patrick Popescu-Pampu (2006)

Bulletin de la Société Mathématique de France

Similarity:

Let $(𝒮, 0)$ be a germ of complex analytic normal surface. On its minimal resolution, we consider the reduced exceptional divisor $E$ and its irreducible components $E_{i}$ , $i \in I$ . The Nash map associates to each irreducible component $C_{k}$ of the space of arcs through $0$ on $𝒮$ the unique component of $E$ cut by the strict transform of the generic arc in $C_{k}$ . Nash proved its injectivity and asked if it was bijective. As a particular case of our main theorem, we prove that this is the case if $E \cdot E_{i} < 0$ for any $i \in I$ . ...

The signature package on Witt spaces

Pierre Albin, Éric Leichtnam, Rafe Mazzeo, Paolo Piazza (2012)

Annales scientifiques de l'École Normale Supérieure

Similarity:

In this paper we prove a variety of results about the signature operator on Witt spaces. First, we give a parametrix construction for the signature operator on any compact, oriented, stratified pseudomanifold $X$ which satisfies the Witt condition. This construction, which is inductive over the ‘depth’ of the singularity, is then used to show that the signature operator is essentially self-adjoint and has discrete spectrum of finite multiplicity, so that its index—the analytic signature...

Lagrangian fibrations on hyperkähler manifolds – On a question of Beauville

Daniel Greb, Christian Lehn, Sönke Rollenske (2013)

Annales scientifiques de l'École Normale Supérieure

Similarity:

Let $X$ be a compact hyperkähler manifold containing a complex torus $L$ as a Lagrangian subvariety. Beauville posed the question whether $X$ admits a Lagrangian fibration with fibre $L$ . We show that this is indeed the case if $X$ is not projective. If $X$ is projective we find an almost holomorphic Lagrangian fibration with fibre $L$ under additional assumptions on the pair $(X, L)$ , which can be formulated in topological or deformation-theoretic terms. Moreover, we show that for any such almost holomorphic...