Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [smoothness]

The tag has no usage guidance.

8
votes
2answers
276 views

Can smoothness of curves into a convenient locally convex vector space be tested with just a dense subspace of the dual?

Let $E$ be a (Hausdorff) locally convex vector space (from now on just "lcs" for short). We say that $E$ is convenient (also called locally complete, Mackey-complete or $c^\infty$-complete) if, given ...
0
votes
0answers
136 views

The stalk local nature of formal smoothness

Under finite presentation hypothesis on $X/S$, I believe it should be possible to define formal smoothness using only artin local rings as the test rings. What would a reference for this fact be?
3
votes
1answer
98 views

Smoothness of a curve vs. smoothness of the squared distance from the curve to points on Riemann manifolds

I know that the squared distance function from a point $p$ on a Riemann manifold $M$ is smooth in a n-hood of $p$. Therefore for a smooth curve $c:\mathbb{R}\to M$ the concatenation $d(p,\cdot)^2\circ ...
5
votes
2answers
202 views

Path algebras are formally smooth

In Ginzburg's notes Lectures on Noncommutative Geometry, he claim that the path algebra of a quiver is formally smooth (See Section 19.2). I have two questions. First, how to show this claim and ...
11
votes
0answers
165 views

How much smoothness does the tennis ball theorem need?

The tennis ball theorem states that a smooth-enough curve that bisects the surface area of a sphere must have at least four inflection points. There are plenty of sources on this but most of them are ...
7
votes
1answer
452 views

Bertini's theorem over non-algebraically closed field

Let $K$ be a non-algebraically closed (infinite) field of characteristic $0$ and $X$ a smooth, projective $K$-variety. Does there exist an ample invertible sheaf $\mathcal{L}$ on $X$ such that a ...
8
votes
0answers
235 views

Criterion for smooth functions [duplicate]

Let $f:\mathbb{R}→\mathbb{R}$ a real-valued function and $m,n∈\mathbb{N}^∗$ coprime, i.e. greatest common divisor of m and n is 1, and define $f^m:=f\cdot f\cdot\ldots\cdot f.$ Show that $$f^m,f^n\in ...
8
votes
0answers
140 views

How should I try to imagine exotic smoothness in R4?

I am trying to wrap my mind around the concept of exotic smoothness in (and only in) $\mathbb{R}^4$. I have some mathematical literature, but can anyone point to a semi-intuitive, semi-visual example?...
1
vote
2answers
187 views

Uniqueness of tangent space given local injectivity of orthogonal projection onto it

Definition. Let $X\subset \mathbb R^n$ be a locally Euclidean subset. Say it has a tangent space at $p\in X$ if there exists a linear subspace $V\leq \mathbb R^n$ satisfying the following conditions. ...
1
vote
1answer
76 views

Estimate for de Bruijn function with small fixed smoothness bound

Let $\Psi(x,B)$ denote the number of $B$-smooth numbers less than $x$. Wikipedia gives the following "good estimate" for small, fixed $B$: $$\Psi(x,B) \sim \frac{1}{\pi(B)!} \prod_{p\le B}\frac{\log ...
0
votes
1answer
94 views

Elegant / Canonical way to Extend Integer Iterates of a Function to a Real Parameter

Any map $f \colon \mathbb{R} \to \mathbb{R}$ induces a "composition map" $$f^\circ\colon \mathbb{R} \times \mathbb{N} \to \mathbb{R},$$ where $$f^{\circ n}(x) = \underbrace{f \circ \dotsb \circ f}_{...
3
votes
0answers
163 views

Formal smoothness implies local freeness of the sheaf of relative differentials

What is the least restrictive finiteness assumptions guaranteeing that for a formally smooth morphism of schemes $f:X\rightarrow Y$, the sheaf of relative differentials $\Omega _{X/Y}$ would be ...
1
vote
0answers
54 views

Smoothing in linear hyperbolic equations

This is a bit fuzzy, but I've somewhere read or heard something like: "For linear hyperbolic equations smoothing in time leads to smoothing in space" Is this in any sense true? References, ...
6
votes
0answers
149 views

Unitary representations of finite dimensional Lie groups on infinite-dimensional Hilbert spaces

I am interested in the proofs of continuity of some standard unitary representations appearing in Physics. Additionally, I am interested in the integration of finite-dimensional Lie algebras of skew-...
1
vote
1answer
164 views

Gevrey estimate of derivatives

Let $\phi$ be the $C^\infty$ function defined on $\mathbb R_+^*$ by $e^{-t^{-2}}$ and by $0$ on $\mathbb R_-$. Question: I think that there exists $\rho>0$ such that $$ \forall t\in \mathbb R,\...
1
vote
0answers
68 views

Smoothness of the solution of 1D diffusion equation

How do I show that the solution of 1D diffusion equation is smooth for all t>0? I do know that in order to show a nonlinear PDE, for example Burger's equation, develops corners (instead of smooth ...
20
votes
1answer
595 views

A differentiable isometry is smooth?

I posted this question in MSE but got no response (even after giving a bounty), so I am trying here. Let $M,N$ be smooth $d$-dimensional Riemannian manifolds. Suppose $f:M \to N$ is a differentiable ...
4
votes
0answers
103 views

Smoothness in von Neumann algebra of measurable functions

Let $A=L^{\infty}(M)$ be an algebra of essentially bounded measurable function on manifold $M$. Let $D$ be a first order elliptic differential operator acting on some hermitian bundle $S$ over $M$ (...
4
votes
1answer
308 views

Isomorphic algebras determine diffeomorphic manifolds

It is a kind of folklore but I would like to see the proof of the following fact: given two smooth manifolds $M$ and $N$ if we assume that the algebras $C^{\infty}_0(M)$ and $C^{\infty}_0(N)$ are ...
7
votes
1answer
343 views

Smoothness of a projective variety via the derived category

Let $X$ be a smooth projective integral variety over an algebraically closed field $k$. Let $Y$ be a (not necessarily smooth) projective integral variety over $k$. Assume that $D^b(X) \cong D^b(Y)$. ...
3
votes
1answer
205 views

Continuation of a smooth function, whose every derivative is strictly monotonic

Let $f$ be a function defined on $(-\infty, a]$ such that every derivative of $f$ is strictly monotonic. Does it guarantee uniqueness of a smooth continuation $g$ of $f$ to the whole real line, where ...
2
votes
0answers
169 views

Holomorphic symplectic form on the moduli space of Higgs bundles

I have the following problem: consider the moduli space $\mathcal{M}:=\mathcal{M}_X(n, 0)$ of semistable Higgs bundles of rank $n$ and degree $0$ on a compact Riemann surface $X$ of genus $g\geq2$. ...
5
votes
2answers
675 views

Derivatives of $C^{\infty}$ non analytic function

Question: Given $f\in C^{\infty}$ which is not analytic on a bounded domain $\Omega \subseteq \mathbb{R}$. What can we say about the sequence $\lbrace f^{(m)} \rbrace _{m=1}^{\infty} $? Specifically - ...
6
votes
1answer
272 views

Are metric isometries smooth at the boundary?

Let $M,N$ be smooth Riemannian manifolds with boundary (In particular, we assume the boundaries are smooth). Suppose we have a map $\phi:M \to N$ which satisfies the following properties: $$(1) \, \,...
10
votes
3answers
486 views

smooth functional to detect whether a function has a zero

Does there exist a function $F : C^\infty(\mathbb{R}, [0, \infty)) \to \mathbb{R}$ with the following properties: $F(f) = 0$ if and only if there exists an $x \in [0,1]$ such that $f(x) = 0$. $F$ is ...
7
votes
0answers
172 views

Smooth dependence on parameters of invariant manifolds

This may be considered a followup question to smooth dependence of stable manifold on parameters. In particular, I would like to know in more detail how smooth parameter dependence of a (generalized) ...
5
votes
1answer
331 views

Confusion with formally unramified = immersion and formally smooth = submersion

From this MO question I learned to tentatively think of formally unramified arrows as immersions and of formally smooth arrows as submersions. I'm trying to semi-formally handwave myself into ...
16
votes
5answers
1k views

Smoothness of the closest point on a submanifold

Let $(M,g)$ be a smooth Riemannian manifold, and let $S \subseteq M$ be a compact submanifold. Assume that for each $p \in M$, there exist a unique closest point on $S$, i.e a unique point $\tilde s(...
1
vote
0answers
153 views

Quotient of two smooth functions extension

Assume we are given smooth functions $f, g: U \to \mathbb{C}$, where $0 \in U \subset \mathbb{R}^n$ is open and $0 \in g^{-1}(0) \subset \{x_n = 0\}$. Furthermore, suppose that $\nabla g \neq 0$ on ...
3
votes
1answer
223 views

Uniqueness of smooth compactification upto a smooth morphism

By a $k$-variety, we will mean a separated scheme of finte type over a field $k$. Let $k$ be of characteristic 0. Given a smooth quasi-projective $k$-variety $X$, there is a projective $k$-variety $\...
5
votes
1answer
210 views

Extension of functions from geodesically convex compact sets in a Riemannian manifold

In the paper Extension operators for spaces of infinite differentiable Whitney jets (J. reine angew. Math. 602 (2007), 123—154, DOI:10.1515/crelle.2007.005) by Leonhard Frerick, a convenient condition ...
1
vote
0answers
99 views

Smoothness of the incicence correspondence associated to the join of two varieties

Let $Y\subseteq X\subsetneq\mathbb{P}^{N}$ be smooth projective varieties, and let $$ S_{X,Y}=\overline{\{(x,y,z)\in X\times Y\times \mathbb{P}^{N}:x\neq y, z\in\langle x,y\rangle\}}. $$ Can we ...
0
votes
0answers
208 views

Unit sphere of a norm is a submanifold implies the norm is smooth?

Let us call a norm on $\mathbb{R}^n$ smooth if its restriction $\| \cdot \|:\mathbb{R}^n\setminus \{ 0 \} \to \mathbb{R}$ is a smooth map. Suppose the unit sphere of a norm $\| \cdot \|$ is an ...
1
vote
1answer
309 views

Composition algebra of Gevrey function for $s<1$

Let $g,f$ be real-valued functions defined on the real line. Let $s$ be a real number. Assuming that $g,f$ are both in the Gevrey class $G^{s}$, it is true that $g\circ f$ belongs to $G^{s}$ if $s\ge ...
1
vote
1answer
360 views

Bertini-type theorem in positive characteristic [closed]

Let $f:X \to Y$ be a morphism of finite type of irreducible schemes over an algebraically closed field of characteristic $0$. Assume that $Y$ is non-singular. Let $x \in X$ be a closed point and $T_xf:...
2
votes
0answers
286 views

Blow up along a section of a smooth morphism

Let $C$ be a ground locally notherian and quasiprojective scheme. Let $\pi:S\to B$ be a $C$-morphism of finite type $C$-schemes. We call $\pi$ a $C$-smooth morphism if the morphisms $S\to C$ and $B\to ...
0
votes
2answers
99 views

Smoothness of a power of smooth non-negative function [closed]

Let $f$ be a non-negative infinitely smooth function on the real line. Is it true that for any constant $\alpha$ the function $f^\alpha$ is infinitely smooth?
1
vote
0answers
110 views

Set of smooth curves on the Hilbert scheme is open. H

Let $H = Hilb_{d,g,r}$ be the Hilbert scheme of genus $g$ curves of degree $d$ in proyective space $\mathbb{P}^r$, over an algebraically closed field $k$. Is it true that the set of points of $H$ ...
1
vote
0answers
199 views

Separability and smoothness

Let $A \subseteq B$ be commutative noetherian rings. I have found the following claim: "Separability implies smoothness" with the following explanation: "The natural thing is to prove that a separable ...
10
votes
2answers
489 views

Do locally convex topological vector spaces embed into diffeological spaces?

The nLab casually remarks that locally convex tvs embed into diffeological spaces by (discussion around) a corollary in Kriegl and Michor, namely 3.14, but this deals with Boman's theorem and results ...
5
votes
2answers
141 views

Differentiability of polytope shadow areas

Let $P$ be an opaque convex polyhedron containing the origin in $\mathbb{R}^3$, and let $S$ be an origin-centered sphere strictly containing $P$: $S \supset P$. For a point $x$ on $S$, let $\sigma(x)$ ...
2
votes
0answers
50 views

Smooth bivariate functions identifiable under permutations

Consider a "smooth" $f : [0,1]^2 \to [0,1]$ and let $\pi : [n] \to [n]$ be a permutation of $[n] =\{1,\dots,n\}$. Let us define $$ A^{f,\pi} := \Big( f\Big(\frac{\pi(i)}{n},\frac{\pi(j)}{n}\Big) \...
-1
votes
1answer
66 views

Glueing smooth functions give a smooth function if reparametrized [closed]

Given $\mathbf{r}:(t_0-\varepsilon, t_0+\varepsilon)\to\mathbb{R}^2$ be a $C^{1}$ application, with $\mathbf{r}'(t)=(0,0)\Longleftrightarrow\ t=t_0$, and $$\mathbf{r}(t)=\begin{cases} \mathbf{r}_1 (t)...
2
votes
0answers
63 views

Compute the smoothing of functions

Given a function $g:R^d\rightarrow R$, which is not necessarily continuous, I want to compute the "smoothing" of $g$, i.e., $G(\vec{y})=\int_{R^n} g(\vec{x}) f_{\vec{y}, \sigma}(\vec{x}) d\vec{x} $ ...
2
votes
0answers
89 views

Dominating affine varieties over $k$ with affine smooth varieties over $k$

Given a geometrically integral affine variety $X:=\mathrm{Spec}(K[X_1,\ldots, X_n])/(f_1,\ldots, f_m)$ over a possibly imperfect field $K$, does there always exist an affine variety $\tilde{X}$ ...
5
votes
4answers
694 views

How singular can the Stein factorization of a proper map between smooth varieties be?

A little bit of motivation (the question starts below the line): I am studying a proper, generically finite map of varieties $X \to Y$, with $X$ and $Y$ smooth. Since the map is proper, we can use the ...
2
votes
1answer
143 views

Are the fibers of this morphism geometrically regular?

Let $A\rightarrow B$ be a local morphism of complete noetherian rings making $B$ a formally smooth $A$-algebra. Does the induced morphism $\textrm{Spec}(B)\to\textrm{Spec}(A)$ have geometrically ...
0
votes
1answer
177 views

Gluing submanifolds along their common boundary

This might be too elementary for this site, but I asked first on math.stackexchange and didn't get an answer even after offering 250 bounty points. Let $M$ be a smooth $m$-manifold and $N_1$, $N_2$ ...
9
votes
1answer
896 views

on the local structure of schemes

Let $X$ be an integral finite type scheme over $\mathbb{C}$. Let $x\in X$, such that there exists a neighborhood $U$ of $x$, such that the sheaf of differentials $\Omega^{1}_{U}$ decomposes into: $\...
1
vote
1answer
270 views

Smoothness and smoothness over formal neighborhood

Let $f:X\rightarrow Y$ a locally finitely presented map. Let $x\in X$ and $y=f(x)$. We assume that the map on the level of fomal neighborhoods $X_{x}\rightarrow Y_{y}$ is formally smooth, can we find ...