# Questions tagged [smoothness]

The tag has no usage guidance.

129 questions
Filter by
Sorted by
Tagged with
43 views

281 views

### Smoothing a map $f:X\to \mathbb{R}$ while fixing it over a closed $C\subset X$

$\newcommand{\R}{\mathbb{R}}$I have a map $f\in C^0(X,\mathbb{R})$, where $X$ is a compact and Hausdorff topological space, which is a manifold outside of a compact subset $K\subset X$. I would like ...
78 views

29 views

430 views

### Zero points of a smooth function on $\mathbb{R}$

Assume $f(x)$ is a smooth function on $\mathbb{R}$ and $f$ does not vanish on any interval. In other words, $f$ can have zero points but we cannot find any interval $(a, b)$ such that $f(x)=0$ for all ...
78 views

68 views

127 views

### A question regarding base change of a smooth algebra via completion

Let $(R,m)$ be an excellent Noetherian local ring. Let $S$ be a smooth (i.e. $R \rightarrow S$ is flat and has geometrically regular fibers) Noetherian $R$-algebra. Let $T$ be the $m S$-adic ...
139 views

### Transversal intersection with linear subspaces

Let us work over an algebraically closed field $K$. If $X\subset \mathbb{P}^n$ is a closed subset of dimension $r$, then there should exist a linear subspace $L\subset \mathbb{P}^n$ of dimension $n-r$ ...
191 views

### Effective bounds for a Bertini-type result

Suppose $X$ is a projective subvariety of $\mathbb{P}^n$ of codimension $r$ over $\mathbb{C}$, defined set-theoretically by $r$ homogeneous polynomials $P_1,\dots,P_r$ of degree at most $d$. By ...
102 views

### etale locally infinitesimal lifting property

For a morphism $X\rightarrow Y$ of qcqs schemes, one has the usual notion of formal smoothness which says that for a pair $(R,I)$ with $I^2=0$, if there is a point $y\in Y(R)$ such that $y_{\vert R/I}$...
333 views

There are three ways to define when a ($\mathbb{R}$-valued) function on a closed interval is smooth: $f$ can be extended to a smooth function on $(a - \epsilon, b + \epsilon)$ for some $\epsilon > ... 1 vote 0 answers 132 views ### On smoothness and roughness of a number related to triangular numbers Define$\triangle_n$to be the$n$th triangular number. Define $$M_n=(2\triangle_n-1)2\triangle_n(2\triangle_n+1)=2\triangle_n(4\triangle_n^2-1).$$ Define$(\ell,k)$-smough numbers to be numbers that ... 5 votes 1 answer 117 views ### Critical Smoothness on Besov Spaces$B^s_{p}$: how does it evolved with$p$? We denote by$B_{p}^s(\mathbb{T}) := B_{p,p}^s(\mathbb{T})$the Besov space over the circle$\mathbb{T}$with parameters$p=q \in (0, \infty]$and smoothness$s \in \mathbb{R}$. For$p>0$fixed and ... 6 votes 1 answer 343 views ### A smooth function$\mathbb{R}\to\mathbb{R}$agrees with an analytic function on a bounded infinite set Fix a smooth function$f:\mathbb{R}\to\mathbb{R}$. Do there exist real numbers$a<b$, an infinite set$S\subset (a, b)$and an analytic function$g$defined on$(a-\epsilon, b+\epsilon)$for some$\... 140 views

### How smooth can this be?

If $a$ is an even integer then how smooth can $a^2-1$ be? Approximately how many integers in $a\in[0,t]$ are there such that $a^2-1$ is $k$-smooth?
200 views

### On Glaeser's result for the square-root of a smooth non-negative function

One of the results due to Georges Glaeser is the following: there exists a non-negative $C^\infty$ function $f$ on the real line, flat at its zeroes, such that $\sqrt{f}$ is not $C^2$. On the other ...
219 views

### On the proof of "Mapping space is a Chen space"

According to the page 5 in the paper Convenient Categories of Smooth Spaces https://arxiv.org/pdf/0807.1704.pdf by Baez and Hoffnung, Chen space is defined as follows: (Note:I used different ...
175 views

### Understanding Krantz's proof of Hefer's lemma in $\mathbb{C}^2$

Note: I initially phrased the question in a different way, and it did not receive much attention. In the hope to make it more interesting, I have included a (long) introduction to contextualize and ...
97 views

### When is the quotient of a manifold by a discrete group of diffeomorphisms a diffeological covering space?

I was reading An Introduction to Diffeology by Patrick Iglesias-Zemmour and he defines a diffeological covering space as a diffeological fiber bundle with discrete fiber. My question: Consider a ...
408 views

### Is the square root of a monotonic function whose all derivatives vanish smooth?

Let $g:[0,\infty] \to [0,\infty]$ be a smooth strictly increasing function satisfying $g(0)=0$ and $g^{(k)}(0)=0$ for every natural $k$. Is $\sqrt g$ is infinitely (right) differentiable at $x=0$? ...
307 views

### On Glaeser's Theorem for non-smooth functions

Glaeser's Theorem says that a $C^\infty$ function $F$ on $\mathbb R^n$ which is invariant under permutation of the variables is a smooth function of the symmetric polynomials of $(x_1, \dots, x_n)$. ...
144 views

### Morphism between jet spaces smooth

In this article "Introduction to Jet Schemes and Arc Spaces" S. Ishii introduces the spaces of $m$-jets: Let $X$ be a variety over algebraically closed field $k$. The space $X_m$ of $m$-jets ...
191 views

### Smoothness of the radius of convergence

Let $(x\mapsto a_n(x))_n$ be a sequence of smooth functions defined on some fixed interval $I$. Consider the power series $\sum_{n\geq 0}a_n(x)t^n$ and denote by $R(x)$ its radius of convergence. Does ...
161 views

### Lifting a Frobenius endomorphism under an étale morphism

Let $X$ be a smooth affine scheme over $\mathbb{Z}/{p^2}$ that is a complete intersection, say $X$ is the spectrum of $\mathbb{Z}/{p^2}[x_1,...x_n]/(f_1, ... f_r)$, where $n-r$ is the dimension of $X$....
1 vote
75 views

### Definition of Morphisms of algebraic stacks smooth of relative dimension n

There is a notion of smooth morphism of algebraic stacks e.g. Tag 075U and a notion of relative dimension of a locally of finite type morphism $T\to \mathcal{X}$ from an algebraic space into an ...
104 views

1 vote
88 views

### Factorizations of closed embeddings of smooth schemes

All schemes will be of finite type over a field $k$. Say I have a closed embedding $\iota: X \hookrightarrow Y$ of smooth $S$-schemes for some scheme $S$ (in particular it is a regular embedding). ...
146 views

### Existence and smoothness for viscous Burgers equation?

What do we currently know about (references please!) the existence and smoothness of solutions to the viscous Burgers equation, in 1D, 2D, and 3D?
329 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 ...
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?